semolina 0.1.4

Optimized field arithmetic for Pasta moduli for x86-64 and aarch64
Documentation
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
OPTION	DOTNAME
.text$	SEGMENT ALIGN(256) 'CODE'

PUBLIC	pasta_add


ALIGN	32
pasta_add	PROC PUBLIC
	DB	243,15,30,250
	mov	QWORD PTR[8+rsp],rdi	;WIN64 prologue
	mov	QWORD PTR[16+rsp],rsi
	mov	r11,rsp
$L$SEH_begin_pasta_add::
	mov	rdi,rcx
	mov	rsi,rdx
	mov	rdx,r8
	mov	rcx,r9



	push	rbp

	push	rbx

	sub	rsp,8

$L$SEH_body_pasta_add::


	mov	r8,QWORD PTR[rsi]
	mov	r9,QWORD PTR[8+rsi]
	mov	r10,QWORD PTR[16+rsi]
	mov	r11,QWORD PTR[24+rsi]

$L$oaded_a_pasta_add::
	add	r8,QWORD PTR[rdx]
	adc	r9,QWORD PTR[8+rdx]
	mov	rax,r8
	adc	r10,QWORD PTR[16+rdx]
	mov	rsi,r9
	adc	r11,QWORD PTR[24+rdx]
	sbb	rdx,rdx

	mov	rbx,r10
	sub	r8,QWORD PTR[rcx]
	sbb	r9,QWORD PTR[8+rcx]
	sbb	r10,QWORD PTR[16+rcx]
	mov	rbp,r11
	sbb	r11,QWORD PTR[24+rcx]
	sbb	rdx,0

	cmovc	r8,rax
	cmovc	r9,rsi
	mov	QWORD PTR[rdi],r8
	cmovc	r10,rbx
	mov	QWORD PTR[8+rdi],r9
	cmovc	r11,rbp
	mov	QWORD PTR[16+rdi],r10
	mov	QWORD PTR[24+rdi],r11

	mov	rbx,QWORD PTR[8+rsp]

	mov	rbp,QWORD PTR[16+rsp]

	lea	rsp,QWORD PTR[24+rsp]

$L$SEH_epilogue_pasta_add::
	mov	rdi,QWORD PTR[8+rsp]	;WIN64 epilogue
	mov	rsi,QWORD PTR[16+rsp]

	DB	0F3h,0C3h		;repret

$L$SEH_end_pasta_add::
pasta_add	ENDP


PUBLIC	pasta_cneg


ALIGN	32
pasta_cneg	PROC PUBLIC
	DB	243,15,30,250
	mov	QWORD PTR[8+rsp],rdi	;WIN64 prologue
	mov	QWORD PTR[16+rsp],rsi
	mov	r11,rsp
$L$SEH_begin_pasta_cneg::
	mov	rdi,rcx
	mov	rsi,rdx
	mov	rdx,r8
	mov	rcx,r9



	push	rbp

	push	rbx

	push	r12

$L$SEH_body_pasta_cneg::


	mov	r12,QWORD PTR[rsi]
	mov	r9,QWORD PTR[8+rsi]
	mov	r10,QWORD PTR[16+rsi]
	mov	r8,r12
	mov	r11,QWORD PTR[24+rsi]
	or	r12,r9
	or	r12,r10
	or	r12,r11
	mov	rbp,-1

	mov	rax,QWORD PTR[rcx]
	cmovnz	r12,rbp
	mov	rsi,QWORD PTR[8+rcx]
	mov	rbx,QWORD PTR[16+rcx]
	and	rax,r12
	mov	rbp,QWORD PTR[24+rcx]
	and	rsi,r12
	and	rbx,r12
	and	rbp,r12

	sub	rax,r8
	sbb	rsi,r9
	sbb	rbx,r10
	sbb	rbp,r11

	or	rdx,rdx

	cmovz	rax,r8
	cmovz	rsi,r9
	mov	QWORD PTR[rdi],rax
	cmovz	rbx,r10
	mov	QWORD PTR[8+rdi],rsi
	cmovz	rbp,r11
	mov	QWORD PTR[16+rdi],rbx
	mov	QWORD PTR[24+rdi],rbp

	mov	r12,QWORD PTR[rsp]

	mov	rbx,QWORD PTR[8+rsp]

	mov	rbp,QWORD PTR[16+rsp]

	lea	rsp,QWORD PTR[24+rsp]

$L$SEH_epilogue_pasta_cneg::
	mov	rdi,QWORD PTR[8+rsp]	;WIN64 epilogue
	mov	rsi,QWORD PTR[16+rsp]

	DB	0F3h,0C3h		;repret

$L$SEH_end_pasta_cneg::
pasta_cneg	ENDP


PUBLIC	pasta_sub


ALIGN	32
pasta_sub	PROC PUBLIC
	DB	243,15,30,250
	mov	QWORD PTR[8+rsp],rdi	;WIN64 prologue
	mov	QWORD PTR[16+rsp],rsi
	mov	r11,rsp
$L$SEH_begin_pasta_sub::
	mov	rdi,rcx
	mov	rsi,rdx
	mov	rdx,r8
	mov	rcx,r9



	push	rbp

	push	rbx

	sub	rsp,8

$L$SEH_body_pasta_sub::


	mov	r8,QWORD PTR[rsi]
	mov	r9,QWORD PTR[8+rsi]
	mov	r10,QWORD PTR[16+rsi]
	mov	r11,QWORD PTR[24+rsi]

	sub	r8,QWORD PTR[rdx]
	mov	rax,QWORD PTR[rcx]
	sbb	r9,QWORD PTR[8+rdx]
	mov	rsi,QWORD PTR[8+rcx]
	sbb	r10,QWORD PTR[16+rdx]
	mov	rbx,QWORD PTR[16+rcx]
	sbb	r11,QWORD PTR[24+rdx]
	mov	rbp,QWORD PTR[24+rcx]
	sbb	rdx,rdx

	and	rax,rdx
	and	rsi,rdx
	and	rbx,rdx
	and	rbp,rdx

	add	r8,rax
	adc	r9,rsi
	mov	QWORD PTR[rdi],r8
	adc	r10,rbx
	mov	QWORD PTR[8+rdi],r9
	adc	r11,rbp
	mov	QWORD PTR[16+rdi],r10
	mov	QWORD PTR[24+rdi],r11

	mov	rbx,QWORD PTR[8+rsp]

	mov	rbp,QWORD PTR[16+rsp]

	lea	rsp,QWORD PTR[24+rsp]

$L$SEH_epilogue_pasta_sub::
	mov	rdi,QWORD PTR[8+rsp]	;WIN64 epilogue
	mov	rsi,QWORD PTR[16+rsp]

	DB	0F3h,0C3h		;repret

$L$SEH_end_pasta_sub::
pasta_sub	ENDP


ALIGN	32
__lshift_mod_256	PROC PRIVATE
	DB	243,15,30,250
	add	r8,r8
	adc	r9,r9
	mov	rax,r8
	adc	r10,r10
	mov	rsi,r9
	adc	r11,r11
	sbb	r12,r12

	mov	rbx,r10
	sub	r8,QWORD PTR[rcx]
	sbb	r9,QWORD PTR[8+rcx]
	sbb	r10,QWORD PTR[16+rcx]
	mov	rbp,r11
	sbb	r11,QWORD PTR[24+rcx]
	sbb	r12,0

	cmovc	r8,rax
	cmovc	r9,rsi
	cmovc	r10,rbx
	cmovc	r11,rbp

	DB	0F3h,0C3h		;repret
__lshift_mod_256	ENDP


PUBLIC	pasta_lshift


ALIGN	32
pasta_lshift	PROC PUBLIC
	DB	243,15,30,250
	mov	QWORD PTR[8+rsp],rdi	;WIN64 prologue
	mov	QWORD PTR[16+rsp],rsi
	mov	r11,rsp
$L$SEH_begin_pasta_lshift::
	mov	rdi,rcx
	mov	rsi,rdx
	mov	rdx,r8
	mov	rcx,r9



	push	rbp

	push	rbx

	push	r12

$L$SEH_body_pasta_lshift::


	mov	r8,QWORD PTR[rsi]
	mov	r9,QWORD PTR[8+rsi]
	mov	r10,QWORD PTR[16+rsi]
	mov	r11,QWORD PTR[24+rsi]

$L$oop_lshift_mod_256::
	call	__lshift_mod_256
	dec	edx
	jnz	$L$oop_lshift_mod_256

	mov	QWORD PTR[rdi],r8
	mov	QWORD PTR[8+rdi],r9
	mov	QWORD PTR[16+rdi],r10
	mov	QWORD PTR[24+rdi],r11

	mov	r12,QWORD PTR[rsp]

	mov	rbx,QWORD PTR[8+rsp]

	mov	rbp,QWORD PTR[16+rsp]

	lea	rsp,QWORD PTR[24+rsp]

$L$SEH_epilogue_pasta_lshift::
	mov	rdi,QWORD PTR[8+rsp]	;WIN64 epilogue
	mov	rsi,QWORD PTR[16+rsp]

	DB	0F3h,0C3h		;repret

$L$SEH_end_pasta_lshift::
pasta_lshift	ENDP


PUBLIC	pasta_rshift


ALIGN	32
pasta_rshift	PROC PUBLIC
	DB	243,15,30,250
	mov	QWORD PTR[8+rsp],rdi	;WIN64 prologue
	mov	QWORD PTR[16+rsp],rsi
	mov	r11,rsp
$L$SEH_begin_pasta_rshift::
	mov	rdi,rcx
	mov	rsi,rdx
	mov	rdx,r8
	mov	rcx,r9



	push	rbp

	push	rbx

	sub	rsp,8

$L$SEH_body_pasta_rshift::


	mov	rbp,QWORD PTR[rsi]
	mov	r9,QWORD PTR[8+rsi]
	mov	r10,QWORD PTR[16+rsi]
	mov	r11,QWORD PTR[24+rsi]

$L$oop_rshift_mod_256::
	mov	r8,rbp
	and	rbp,1
	mov	rax,QWORD PTR[rcx]
	neg	rbp
	mov	rsi,QWORD PTR[8+rcx]
	mov	rbx,QWORD PTR[16+rcx]

	and	rax,rbp
	and	rsi,rbp
	and	rbx,rbp
	and	rbp,QWORD PTR[24+rcx]

	add	r8,rax
	adc	r9,rsi
	adc	r10,rbx
	adc	r11,rbp
	sbb	rax,rax

	shr	r8,1
	mov	rbp,r9
	shr	r9,1
	mov	rbx,r10
	shr	r10,1
	mov	rsi,r11
	shr	r11,1

	shl	rbp,63
	shl	rbx,63
	or	rbp,r8
	shl	rsi,63
	or	r9,rbx
	shl	rax,63
	or	r10,rsi
	or	r11,rax

	dec	edx
	jnz	$L$oop_rshift_mod_256

	mov	QWORD PTR[rdi],rbp
	mov	QWORD PTR[8+rdi],r9
	mov	QWORD PTR[16+rdi],r10
	mov	QWORD PTR[24+rdi],r11

	mov	rbx,QWORD PTR[8+rsp]

	mov	rbp,QWORD PTR[16+rsp]

	lea	rsp,QWORD PTR[24+rsp]

$L$SEH_epilogue_pasta_rshift::
	mov	rdi,QWORD PTR[8+rsp]	;WIN64 epilogue
	mov	rsi,QWORD PTR[16+rsp]

	DB	0F3h,0C3h		;repret

$L$SEH_end_pasta_rshift::
pasta_rshift	ENDP
.text$	ENDS
.pdata	SEGMENT READONLY ALIGN(4)
ALIGN	4
	DD	imagerel $L$SEH_begin_pasta_add
	DD	imagerel $L$SEH_body_pasta_add
	DD	imagerel $L$SEH_info_pasta_add_prologue

	DD	imagerel $L$SEH_body_pasta_add
	DD	imagerel $L$SEH_epilogue_pasta_add
	DD	imagerel $L$SEH_info_pasta_add_body

	DD	imagerel $L$SEH_epilogue_pasta_add
	DD	imagerel $L$SEH_end_pasta_add
	DD	imagerel $L$SEH_info_pasta_add_epilogue

	DD	imagerel $L$SEH_begin_pasta_cneg
	DD	imagerel $L$SEH_body_pasta_cneg
	DD	imagerel $L$SEH_info_pasta_cneg_prologue

	DD	imagerel $L$SEH_body_pasta_cneg
	DD	imagerel $L$SEH_epilogue_pasta_cneg
	DD	imagerel $L$SEH_info_pasta_cneg_body

	DD	imagerel $L$SEH_epilogue_pasta_cneg
	DD	imagerel $L$SEH_end_pasta_cneg
	DD	imagerel $L$SEH_info_pasta_cneg_epilogue

	DD	imagerel $L$SEH_begin_pasta_sub
	DD	imagerel $L$SEH_body_pasta_sub
	DD	imagerel $L$SEH_info_pasta_sub_prologue

	DD	imagerel $L$SEH_body_pasta_sub
	DD	imagerel $L$SEH_epilogue_pasta_sub
	DD	imagerel $L$SEH_info_pasta_sub_body

	DD	imagerel $L$SEH_epilogue_pasta_sub
	DD	imagerel $L$SEH_end_pasta_sub
	DD	imagerel $L$SEH_info_pasta_sub_epilogue

	DD	imagerel $L$SEH_begin_pasta_lshift
	DD	imagerel $L$SEH_body_pasta_lshift
	DD	imagerel $L$SEH_info_pasta_lshift_prologue

	DD	imagerel $L$SEH_body_pasta_lshift
	DD	imagerel $L$SEH_epilogue_pasta_lshift
	DD	imagerel $L$SEH_info_pasta_lshift_body

	DD	imagerel $L$SEH_epilogue_pasta_lshift
	DD	imagerel $L$SEH_end_pasta_lshift
	DD	imagerel $L$SEH_info_pasta_lshift_epilogue

	DD	imagerel $L$SEH_begin_pasta_rshift
	DD	imagerel $L$SEH_body_pasta_rshift
	DD	imagerel $L$SEH_info_pasta_rshift_prologue

	DD	imagerel $L$SEH_body_pasta_rshift
	DD	imagerel $L$SEH_epilogue_pasta_rshift
	DD	imagerel $L$SEH_info_pasta_rshift_body

	DD	imagerel $L$SEH_epilogue_pasta_rshift
	DD	imagerel $L$SEH_end_pasta_rshift
	DD	imagerel $L$SEH_info_pasta_rshift_epilogue

.pdata	ENDS
.xdata	SEGMENT READONLY ALIGN(8)
ALIGN	8
$L$SEH_info_pasta_add_prologue::
DB	1,0,5,00bh
DB	0,074h,1,0
DB	0,064h,2,0
DB	0,003h
DB	0,0
$L$SEH_info_pasta_add_body::
DB	1,0,9,0
DB	000h,034h,001h,000h
DB	000h,054h,002h,000h
DB	000h,074h,004h,000h
DB	000h,064h,005h,000h
DB	000h,022h
DB	000h,000h
$L$SEH_info_pasta_add_epilogue::
DB	1,0,4,0
DB	000h,074h,001h,000h
DB	000h,064h,002h,000h
DB	000h,000h,000h,000h

$L$SEH_info_pasta_cneg_prologue::
DB	1,0,5,00bh
DB	0,074h,1,0
DB	0,064h,2,0
DB	0,003h
DB	0,0
$L$SEH_info_pasta_cneg_body::
DB	1,0,11,0
DB	000h,0c4h,000h,000h
DB	000h,034h,001h,000h
DB	000h,054h,002h,000h
DB	000h,074h,004h,000h
DB	000h,064h,005h,000h
DB	000h,022h
DB	000h,000h,000h,000h,000h,000h
$L$SEH_info_pasta_cneg_epilogue::
DB	1,0,4,0
DB	000h,074h,001h,000h
DB	000h,064h,002h,000h
DB	000h,000h,000h,000h

$L$SEH_info_pasta_sub_prologue::
DB	1,0,5,00bh
DB	0,074h,1,0
DB	0,064h,2,0
DB	0,003h
DB	0,0
$L$SEH_info_pasta_sub_body::
DB	1,0,9,0
DB	000h,034h,001h,000h
DB	000h,054h,002h,000h
DB	000h,074h,004h,000h
DB	000h,064h,005h,000h
DB	000h,022h
DB	000h,000h
$L$SEH_info_pasta_sub_epilogue::
DB	1,0,4,0
DB	000h,074h,001h,000h
DB	000h,064h,002h,000h
DB	000h,000h,000h,000h

$L$SEH_info_pasta_lshift_prologue::
DB	1,0,5,00bh
DB	0,074h,1,0
DB	0,064h,2,0
DB	0,003h
DB	0,0
$L$SEH_info_pasta_lshift_body::
DB	1,0,11,0
DB	000h,0c4h,000h,000h
DB	000h,034h,001h,000h
DB	000h,054h,002h,000h
DB	000h,074h,004h,000h
DB	000h,064h,005h,000h
DB	000h,022h
DB	000h,000h,000h,000h,000h,000h
$L$SEH_info_pasta_lshift_epilogue::
DB	1,0,4,0
DB	000h,074h,001h,000h
DB	000h,064h,002h,000h
DB	000h,000h,000h,000h

$L$SEH_info_pasta_rshift_prologue::
DB	1,0,5,00bh
DB	0,074h,1,0
DB	0,064h,2,0
DB	0,003h
DB	0,0
$L$SEH_info_pasta_rshift_body::
DB	1,0,9,0
DB	000h,034h,001h,000h
DB	000h,054h,002h,000h
DB	000h,074h,004h,000h
DB	000h,064h,005h,000h
DB	000h,022h
DB	000h,000h
$L$SEH_info_pasta_rshift_epilogue::
DB	1,0,4,0
DB	000h,074h,001h,000h
DB	000h,064h,002h,000h
DB	000h,000h,000h,000h


.xdata	ENDS
END