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
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
|
;;
;; Copyright (c) 2017-2018, Intel Corporation
;;
;; Redistribution and use in source and binary forms, with or without
;; modification, are permitted provided that the following conditions are met:
;;
;; * Redistributions of source code must retain the above copyright notice,
;; this list of conditions and the following disclaimer.
;; * Redistributions in binary form must reproduce the above copyright
;; notice, this list of conditions and the following disclaimer in the
;; documentation and/or other materials provided with the distribution.
;; * Neither the name of Intel Corporation nor the names of its contributors
;; may be used to endorse or promote products derived from this software
;; without specific prior written permission.
;;
;; THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
;; AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
;; IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
;; DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE
;; FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
;; DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
;; SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
;; CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
;; OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
;; OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
;;
;; Stack must be aligned to 32 bytes before call
;;
;; Registers: RAX RBX RCX RDX RBP RSI RDI R8 R9 R10 R11 R12 R13 R14 R15
;; -----------------------------------------------------------
;; Windows clobbers: RAX RDX RSI RDI R9 R10 R11 R12 R13 R14 R15
;; Windows preserves: RCX
;; -----------------------------------------------------------
;; Linux clobbers: RAX RCX RDX RSI R9 R10 R11 R12 R13 R14 R15
;; Linux preserves: RDI
;; -----------------------------------------------------------
;; Clobbers ZMM0-31
%include "os.asm"
;%define DO_DBGPRINT
%include "dbgprint.asm"
%include "mb_mgr_datastruct.asm"
; re-use K256 from sha256_oct_avx2.asm
extern K256
;; code to compute x16 SHA256 using AVX512
%macro TRANSPOSE16 18
%define %%r0 %1
%define %%r1 %2
%define %%r2 %3
%define %%r3 %4
%define %%r4 %5
%define %%r5 %6
%define %%r6 %7
%define %%r7 %8
%define %%r8 %9
%define %%r9 %10
%define %%r10 %11
%define %%r11 %12
%define %%r12 %13
%define %%r13 %14
%define %%r14 %15
%define %%r15 %16
%define %%t0 %17
%define %%t1 %18
; r0 = {a15 a14 a13 a12 a11 a10 a9 a8 a7 a6 a5 a4 a3 a2 a1 a0}
; r1 = {b15 b14 b13 b12 b11 b10 b9 b8 b7 b6 b5 b4 b3 b2 b1 b0}
; r2 = {c15 c14 c13 c12 c11 c10 c9 c8 c7 c6 c5 c4 c3 c2 c1 c0}
; r3 = {d15 d14 d13 d12 d11 d10 d9 d8 d7 d6 d5 d4 d3 d2 d1 d0}
; r4 = {e15 e14 e13 e12 e11 e10 e9 e8 e7 e6 e5 e4 e3 e2 e1 e0}
; r5 = {f15 f14 f13 f12 f11 f10 f9 f8 f7 f6 f5 f4 f3 f2 f1 f0}
; r6 = {g15 g14 g13 g12 g11 g10 g9 g8 g7 g6 g5 g4 g3 g2 g1 g0}
; r7 = {h15 h14 h13 h12 h11 h10 h9 h8 h7 h6 h5 h4 h3 h2 h1 h0}
; r8 = {i15 i14 i13 i12 i11 i10 i9 i8 i7 i6 i5 i4 i3 i2 i1 i0}
; r9 = {j15 j14 j13 j12 j11 j10 j9 j8 j7 j6 j5 j4 j3 j2 j1 j0}
; r10 = {k15 k14 k13 k12 k11 k10 k9 k8 k7 k6 k5 k4 k3 k2 k1 k0}
; r11 = {l15 l14 l13 l12 l11 l10 l9 l8 l7 l6 l5 l4 l3 l2 l1 l0}
; r12 = {m15 m14 m13 m12 m11 m10 m9 m8 m7 m6 m5 m4 m3 m2 m1 m0}
; r13 = {n15 n14 n13 n12 n11 n10 n9 n8 n7 n6 n5 n4 n3 n2 n1 n0}
; r14 = {o15 o14 o13 o12 o11 o10 o9 o8 o7 o6 o5 o4 o3 o2 o1 o0}
; r15 = {p15 p14 p13 p12 p11 p10 p9 p8 p7 p6 p5 p4 p3 p2 p1 p0}
; r0 = {p0 o0 n0 m0 l0 k0 j0 i0 h0 g0 f0 e0 d0 c0 b0 a0}
; r1 = {p1 o1 n1 m1 l1 k1 j1 i1 h1 g1 f1 e1 d1 c1 b1 a1}
; r2 = {p2 o2 n2 m2 l2 k2 j2 i2 h2 g2 f2 e2 d2 c2 b2 a2}
; r3 = {p3 o3 n3 m3 l3 k3 j3 i3 h3 g3 f3 e3 d3 c3 b3 a3}
; r4 = {p4 o4 n4 m4 l4 k4 j4 i4 h4 g4 f4 e4 d4 c4 b4 a4}
; r5 = {p5 o5 n5 m5 l5 k5 j5 i5 h5 g5 f5 e5 d5 c5 b5 a5}
; r6 = {p6 o6 n6 m6 l6 k6 j6 i6 h6 g6 f6 e6 d6 c6 b6 a6}
; r7 = {p7 o7 n7 m7 l7 k7 j7 i7 h7 g7 f7 e7 d7 c7 b7 a7}
; r8 = {p8 o8 n8 m8 l8 k8 j8 i8 h8 g8 f8 e8 d8 c8 b8 a8}
; r9 = {p9 o9 n9 m9 l9 k9 j9 i9 h9 g9 f9 e9 d9 c9 b9 a9}
; r10 = {p10 o10 n10 m10 l10 k10 j10 i10 h10 g10 f10 e10 d10 c10 b10 a10}
; r11 = {p11 o11 n11 m11 l11 k11 j11 i11 h11 g11 f11 e11 d11 c11 b11 a11}
; r12 = {p12 o12 n12 m12 l12 k12 j12 i12 h12 g12 f12 e12 d12 c12 b12 a12}
; r13 = {p13 o13 n13 m13 l13 k13 j13 i13 h13 g13 f13 e13 d13 c13 b13 a13}
; r14 = {p14 o14 n14 m14 l14 k14 j14 i14 h14 g14 f14 e14 d14 c14 b14 a14}
; r15 = {p15 o15 n15 m15 l15 k15 j15 i15 h15 g15 f15 e15 d15 c15 b15 a15}
; process top half (r0..r3) {a...d}
vshufps %%t0, %%r0, %%r1, 0x44 ; t0 = {b13 b12 a13 a12 b9 b8 a9 a8 b5 b4 a5 a4 b1 b0 a1 a0}
vshufps %%r0, %%r0, %%r1, 0xEE ; r0 = {b15 b14 a15 a14 b11 b10 a11 a10 b7 b6 a7 a6 b3 b2 a3 a2}
vshufps %%t1, %%r2, %%r3, 0x44 ; t1 = {d13 d12 c13 c12 d9 d8 c9 c8 d5 d4 c5 c4 d1 d0 c1 c0}
vshufps %%r2, %%r2, %%r3, 0xEE ; r2 = {d15 d14 c15 c14 d11 d10 c11 c10 d7 d6 c7 c6 d3 d2 c3 c2}
vshufps %%r3, %%t0, %%t1, 0xDD ; r3 = {d13 c13 b13 a13 d9 c9 b9 a9 d5 c5 b5 a5 d1 c1 b1 a1}
vshufps %%r1, %%r0, %%r2, 0x88 ; r1 = {d14 c14 b14 a14 d10 c10 b10 a10 d6 c6 b6 a6 d2 c2 b2 a2}
vshufps %%r0, %%r0, %%r2, 0xDD ; r0 = {d15 c15 b15 a15 d11 c11 b11 a11 d7 c7 b7 a7 d3 c3 b3 a3}
vshufps %%t0, %%t0, %%t1, 0x88 ; t0 = {d12 c12 b12 a12 d8 c8 b8 a8 d4 c4 b4 a4 d0 c0 b0 a0}
; use r2 in place of t0
vshufps %%r2, %%r4, %%r5, 0x44 ; r2 = {f13 f12 e13 e12 f9 f8 e9 e8 f5 f4 e5 e4 f1 f0 e1 e0}
vshufps %%r4, %%r4, %%r5, 0xEE ; r4 = {f15 f14 e15 e14 f11 f10 e11 e10 f7 f6 e7 e6 f3 f2 e3 e2}
vshufps %%t1, %%r6, %%r7, 0x44 ; t1 = {h13 h12 g13 g12 h9 h8 g9 g8 h5 h4 g5 g4 h1 h0 g1 g0}
vshufps %%r6, %%r6, %%r7, 0xEE ; r6 = {h15 h14 g15 g14 h11 h10 g11 g10 h7 h6 g7 g6 h3 h2 g3 g2}
vshufps %%r7, %%r2, %%t1, 0xDD ; r7 = {h13 g13 f13 e13 h9 g9 f9 e9 h5 g5 f5 e5 h1 g1 f1 e1}
vshufps %%r5, %%r4, %%r6, 0x88 ; r5 = {h14 g14 f14 e14 h10 g10 f10 e10 h6 g6 f6 e6 h2 g2 f2 e2}
vshufps %%r4, %%r4, %%r6, 0xDD ; r4 = {h15 g15 f15 e15 h11 g11 f11 e11 h7 g7 f7 e7 h3 g3 f3 e3}
vshufps %%r2, %%r2, %%t1, 0x88 ; r2 = {h12 g12 f12 e12 h8 g8 f8 e8 h4 g4 f4 e4 h0 g0 f0 e0}
; use r6 in place of t0
vshufps %%r6, %%r8, %%r9, 0x44 ; r6 = {j13 j12 i13 i12 j9 j8 i9 i8 j5 j4 i5 i4 j1 j0 i1 i0}
vshufps %%r8, %%r8, %%r9, 0xEE ; r8 = {j15 j14 i15 i14 j11 j10 i11 i10 j7 j6 i7 i6 j3 j2 i3 i2}
vshufps %%t1, %%r10, %%r11, 0x44 ; t1 = {l13 l12 k13 k12 l9 l8 k9 k8 l5 l4 k5 k4 l1 l0 k1 k0}
vshufps %%r10, %%r10, %%r11, 0xEE ; r10 = {l15 l14 k15 k14 l11 l10 k11 k10 l7 l6 k7 k6 l3 l2 k3 k2}
vshufps %%r11, %%r6, %%t1, 0xDD ; r11 = {l13 k13 j13 113 l9 k9 j9 i9 l5 k5 j5 i5 l1 k1 j1 i1}
vshufps %%r9, %%r8, %%r10, 0x88 ; r9 = {l14 k14 j14 114 l10 k10 j10 i10 l6 k6 j6 i6 l2 k2 j2 i2}
vshufps %%r8, %%r8, %%r10, 0xDD ; r8 = {l15 k15 j15 115 l11 k11 j11 i11 l7 k7 j7 i7 l3 k3 j3 i3}
vshufps %%r6, %%r6, %%t1, 0x88 ; r6 = {l12 k12 j12 112 l8 k8 j8 i8 l4 k4 j4 i4 l0 k0 j0 i0}
; use r10 in place of t0
vshufps %%r10, %%r12, %%r13, 0x44 ; r10 = {n13 n12 m13 m12 n9 n8 m9 m8 n5 n4 m5 m4 n1 n0 a1 m0}
vshufps %%r12, %%r12, %%r13, 0xEE ; r12 = {n15 n14 m15 m14 n11 n10 m11 m10 n7 n6 m7 m6 n3 n2 a3 m2}
vshufps %%t1, %%r14, %%r15, 0x44 ; t1 = {p13 p12 013 012 p9 p8 09 08 p5 p4 05 04 p1 p0 01 00}
vshufps %%r14, %%r14, %%r15, 0xEE ; r14 = {p15 p14 015 014 p11 p10 011 010 p7 p6 07 06 p3 p2 03 02}
vshufps %%r15, %%r10, %%t1, 0xDD ; r15 = {p13 013 n13 m13 p9 09 n9 m9 p5 05 n5 m5 p1 01 n1 m1}
vshufps %%r13, %%r12, %%r14, 0x88 ; r13 = {p14 014 n14 m14 p10 010 n10 m10 p6 06 n6 m6 p2 02 n2 m2}
vshufps %%r12, %%r12, %%r14, 0xDD ; r12 = {p15 015 n15 m15 p11 011 n11 m11 p7 07 n7 m7 p3 03 n3 m3}
vshufps %%r10, %%r10, %%t1, 0x88 ; r10 = {p12 012 n12 m12 p8 08 n8 m8 p4 04 n4 m4 p0 00 n0 m0}
;; At this point, the registers that contain interesting data are:
;; t0, r3, r1, r0, r2, r7, r5, r4, r6, r11, r9, r8, r10, r15, r13, r12
;; Can use t1 and r14 as scratch registers
vmovdqa32 %%r14, [PSHUFFLE_TRANSPOSE16_MASK1]
vpermi2q %%r14, %%t0, %%r2 ; r14 = {h8 g8 f8 e8 d8 c8 b8 a8 h0 g0 f0 e0 d0 c0 b0 a0}
vmovdqa32 %%t1, [PSHUFFLE_TRANSPOSE16_MASK2]
vpermi2q %%t1, %%t0, %%r2 ; t1 = {h12 g12 f12 e12 d12 c12 b12 a12 h4 g4 f4 e4 d4 c4 b4 a4}
vmovdqa32 %%r2, [PSHUFFLE_TRANSPOSE16_MASK1]
vpermi2q %%r2, %%r3, %%r7 ; r2 = {h9 g9 f9 e9 d9 c9 b9 a9 h1 g1 f1 e1 d1 c1 b1 a1}
vmovdqa32 %%t0, [PSHUFFLE_TRANSPOSE16_MASK2]
vpermi2q %%t0, %%r3, %%r7 ; t0 = {h13 g13 f13 e13 d13 c13 b13 a13 h5 g5 f5 e5 d5 c5 b5 a5}
vmovdqa32 %%r3, [PSHUFFLE_TRANSPOSE16_MASK1]
vpermi2q %%r3, %%r1, %%r5 ; r3 = {h10 g10 f10 e10 d10 c10 b10 a10 h2 g2 f2 e2 d2 c2 b2 a2}
vmovdqa32 %%r7, [PSHUFFLE_TRANSPOSE16_MASK2]
vpermi2q %%r7, %%r1, %%r5 ; r7 = {h14 g14 f14 e14 d14 c14 b14 a14 h6 g6 f6 e6 d6 c6 b6 a6}
vmovdqa32 %%r1, [PSHUFFLE_TRANSPOSE16_MASK1]
vpermi2q %%r1, %%r0, %%r4 ; r1 = {h11 g11 f11 e11 d11 c11 b11 a11 h3 g3 f3 e3 d3 c3 b3 a3}
vmovdqa32 %%r5, [PSHUFFLE_TRANSPOSE16_MASK2]
vpermi2q %%r5, %%r0, %%r4 ; r5 = {h15 g15 f15 e15 d15 c15 b15 a15 h7 g7 f7 e7 d7 c7 b7 a7}
vmovdqa32 %%r0, [PSHUFFLE_TRANSPOSE16_MASK1]
vpermi2q %%r0, %%r6, %%r10 ; r0 = {p8 o8 n8 m8 l8 k8 j8 i8 p0 o0 n0 m0 l0 k0 j0 i0}
vmovdqa32 %%r4, [PSHUFFLE_TRANSPOSE16_MASK2]
vpermi2q %%r4, %%r6, %%r10 ; r4 = {p12 o12 n12 m12 l12 k12 j12 i12 p4 o4 n4 m4 l4 k4 j4 i4}
vmovdqa32 %%r6, [PSHUFFLE_TRANSPOSE16_MASK1]
vpermi2q %%r6, %%r11, %%r15 ; r6 = {p9 o9 n9 m9 l9 k9 j9 i9 p1 o1 n1 m1 l1 k1 j1 i1}
vmovdqa32 %%r10, [PSHUFFLE_TRANSPOSE16_MASK2]
vpermi2q %%r10, %%r11, %%r15 ; r10 = {p13 o13 n13 m13 l13 k13 j13 i13 p5 o5 n5 m5 l5 k5 j5 i5}
vmovdqa32 %%r11, [PSHUFFLE_TRANSPOSE16_MASK1]
vpermi2q %%r11, %%r9, %%r13 ; r11 = {p10 o10 n10 m10 l10 k10 j10 i10 p2 o2 n2 m2 l2 k2 j2 i2}
vmovdqa32 %%r15, [PSHUFFLE_TRANSPOSE16_MASK2]
vpermi2q %%r15, %%r9, %%r13 ; r15 = {p14 o14 n14 m14 l14 k14 j14 i14 p6 o6 n6 m6 l6 k6 j6 i6}
vmovdqa32 %%r9, [PSHUFFLE_TRANSPOSE16_MASK1]
vpermi2q %%r9, %%r8, %%r12 ; r9 = {p11 o11 n11 m11 l11 k11 j11 i11 p3 o3 n3 m3 l3 k3 j3 i3}
vmovdqa32 %%r13, [PSHUFFLE_TRANSPOSE16_MASK2]
vpermi2q %%r13, %%r8, %%r12 ; r13 = {p15 o15 n15 m15 l15 k15 j15 i15 p7 o7 n7 m7 l7 k7 j7 i7}
;; At this point r8 and r12 can be used as scratch registers
vshuff64x2 %%r8, %%r14, %%r0, 0xEE ; r8 = {p8 o8 n8 m8 l8 k8 j8 i8 h8 g8 f8 e8 d8 c8 b8 a8}
vshuff64x2 %%r0, %%r14, %%r0, 0x44 ; r0 = {p0 o0 n0 m0 l0 k0 j0 i0 h0 g0 f0 e0 d0 c0 b0 a0}
vshuff64x2 %%r12, %%t1, %%r4, 0xEE ; r12 = {p12 o12 n12 m12 l12 k12 j12 i12 h12 g12 f12 e12 d12 c12 b12 a12}
vshuff64x2 %%r4, %%t1, %%r4, 0x44 ; r4 = {p4 o4 n4 m4 l4 k4 j4 i4 h4 g4 f4 e4 d4 c4 b4 a4}
vshuff64x2 %%r14, %%r7, %%r15, 0xEE ; r14 = {p14 o14 n14 m14 l14 k14 j14 i14 h14 g14 f14 e14 d14 c14 b14 a14}
vshuff64x2 %%t1, %%r7, %%r15, 0x44 ; t1 = {p6 o6 n6 m6 l6 k6 j6 i6 h6 g6 f6 e6 d6 c6 b6 a6}
vshuff64x2 %%r15, %%r5, %%r13, 0xEE ; r15 = {p15 o15 n15 m15 l15 k15 j15 i15 h15 g15 f15 e15 d15 c15 b15 a15}
vshuff64x2 %%r7, %%r5, %%r13, 0x44 ; r7 = {p7 o7 n7 m7 l7 k7 j7 i7 h7 g7 f7 e7 d7 c7 b7 a7}
vshuff64x2 %%r13, %%t0, %%r10, 0xEE ; r13 = {p13 o13 n13 m13 l13 k13 j13 i13 h13 g13 f13 e13 d13 c13 b13 a13}
vshuff64x2 %%r5, %%t0, %%r10, 0x44 ; r5 = {p5 o5 n5 m5 l5 k5 j5 i5 h5 g5 f5 e5 d5 c5 b5 a5}
vshuff64x2 %%r10, %%r3, %%r11, 0xEE ; r10 = {p10 o10 n10 m10 l10 k10 j10 i10 h10 g10 f10 e10 d10 c10 b10 a10}
vshuff64x2 %%t0, %%r3, %%r11, 0x44 ; t0 = {p2 o2 n2 m2 l2 k2 j2 i2 h2 g2 f2 e2 d2 c2 b2 a2}
vshuff64x2 %%r11, %%r1, %%r9, 0xEE ; r11 = {p11 o11 n11 m11 l11 k11 j11 i11 h11 g11 f11 e11 d11 c11 b11 a11}
vshuff64x2 %%r3, %%r1, %%r9, 0x44 ; r3 = {p3 o3 n3 m3 l3 k3 j3 i3 h3 g3 f3 e3 d3 c3 b3 a3}
vshuff64x2 %%r9, %%r2, %%r6, 0xEE ; r9 = {p9 o9 n9 m9 l9 k9 j9 i9 h9 g9 f9 e9 d9 c9 b9 a9}
vshuff64x2 %%r1, %%r2, %%r6, 0x44 ; r1 = {p1 o1 n1 m1 l1 k1 j1 i1 h1 g1 f1 e1 d1 c1 b1 a1}
vmovdqa32 %%r2, %%t0 ; r2 = {p2 o2 n2 m2 l2 k2 j2 i2 h2 g2 f2 e2 d2 c2 b2 a2}
vmovdqa32 %%r6, %%t1 ; r6 = {p6 o6 n6 m6 l6 k6 j6 i6 h6 g6 f6 e6 d6 c6 b6 a6}
%endmacro
%define APPEND(a,b) a %+ b
; Define Stack Layout
START_FIELDS
;;; name size align
FIELD _DIGEST_SAVE, 8*64, 64
FIELD _rsp, 8, 8
%assign STACK_SPACE _FIELD_OFFSET
%ifdef LINUX
; Linux register definitions
%define arg1 rdi
%define arg2 rsi
%define arg3 rcx
%define arg4 rdx
%else
; Windows definitions
%define arg1 rcx
%define arg2 rdx
%define arg3 rsi
%define arg4 rdi
%endif
%define STATE arg1
%define INP_SIZE arg2
%define IDX arg3
%define TBL arg4
%define A zmm0
%define B zmm1
%define C zmm2
%define D zmm3
%define E zmm4
%define F zmm5
%define G zmm6
%define H zmm7
%define T1 zmm8
%define TMP0 zmm9
%define TMP1 zmm10
%define TMP2 zmm11
%define TMP3 zmm12
%define TMP4 zmm13
%define TMP5 zmm14
%define TMP6 zmm15
%define W0 zmm16
%define W1 zmm17
%define W2 zmm18
%define W3 zmm19
%define W4 zmm20
%define W5 zmm21
%define W6 zmm22
%define W7 zmm23
%define W8 zmm24
%define W9 zmm25
%define W10 zmm26
%define W11 zmm27
%define W12 zmm28
%define W13 zmm29
%define W14 zmm30
%define W15 zmm31
%define inp0 r9
%define inp1 r10
%define inp2 r11
%define inp3 r12
%define inp4 r13
%define inp5 r14
%define inp6 r15
%define inp7 rax
%macro ROTATE_ARGS 0
%xdefine TMP_ H
%xdefine H G
%xdefine G F
%xdefine F E
%xdefine E D
%xdefine D C
%xdefine C B
%xdefine B A
%xdefine A TMP_
%endm
;; CH(A, B, C) = (A&B) ^ (~A&C)
;; MAJ(E, F, G) = (E&F) ^ (E&G) ^ (F&G)
;; SIGMA0 = ROR_2 ^ ROR_13 ^ ROR_22
;; SIGMA1 = ROR_6 ^ ROR_11 ^ ROR_25
;; sigma0 = ROR_7 ^ ROR_18 ^ SHR_3
;; sigma1 = ROR_17 ^ ROR_19 ^ SHR_10
; Main processing loop per round
%macro PROCESS_LOOP 2
%define %%WT %1
%define %%ROUND %2
;; T1 = H + SIGMA1(E) + CH(E, F, G) + Kt + Wt
;; T2 = SIGMA0(A) + MAJ(A, B, C)
;; H=G, G=F, F=E, E=D+T1, D=C, C=B, B=A, A=T1+T2
;; H becomes T2, then add T1 for A
;; D becomes D + T1 for E
vpaddd T1, H, TMP3 ; T1 = H + Kt
vmovdqa32 TMP0, E
vprord TMP1, E, 6 ; ROR_6(E)
vprord TMP2, E, 11 ; ROR_11(E)
vprord TMP3, E, 25 ; ROR_25(E)
vpternlogd TMP0, F, G, 0xCA ; TMP0 = CH(E,F,G)
vpaddd T1, T1, %%WT ; T1 = T1 + Wt
vpternlogd TMP1, TMP2, TMP3, 0x96 ; TMP1 = SIGMA1(E)
vpaddd T1, T1, TMP0 ; T1 = T1 + CH(E,F,G)
vpaddd T1, T1, TMP1 ; T1 = T1 + SIGMA1(E)
vpaddd D, D, T1 ; D = D + T1
vprord H, A, 2 ; ROR_2(A)
vprord TMP2, A, 13 ; ROR_13(A)
vprord TMP3, A, 22 ; ROR_22(A)
vmovdqa32 TMP0, A
vpternlogd TMP0, B, C, 0xE8 ; TMP0 = MAJ(A,B,C)
vpternlogd H, TMP2, TMP3, 0x96 ; H(T2) = SIGMA0(A)
vpaddd H, H, TMP0 ; H(T2) = SIGMA0(A) + MAJ(A,B,C)
vpaddd H, H, T1 ; H(A) = H(T2) + T1
vmovdqa32 TMP3, [TBL + ((%%ROUND+1)*64)] ; Next Kt
;; Rotate the args A-H (rotation of names associated with regs)
ROTATE_ARGS
%endmacro
; This is supposed to be SKL optimized assuming:
; vpternlog, vpaddd ports 5,8
; vprord ports 1,8
; However, vprord is only working on port 8
;
; Main processing loop per round
; Get the msg schedule word 16 from the current, now unneccessary word
%macro PROCESS_LOOP_00_47 5
%define %%WT %1
%define %%ROUND %2
%define %%WTp1 %3
%define %%WTp9 %4
%define %%WTp14 %5
;; T1 = H + SIGMA1(E) + CH(E, F, G) + Kt + Wt
;; T2 = SIGMA0(A) + MAJ(A, B, C)
;; H=G, G=F, F=E, E=D+T1, D=C, C=B, B=A, A=T1+T2
;; H becomes T2, then add T1 for A
;; D becomes D + T1 for E
;; For next value in msg schedule
;; Wt+16 = sigma1(Wt+14) + Wt+9 + sigma0(Wt+1) + Wt
vmovdqa32 TMP0, E
vprord TMP1, E, 6 ; ROR_6(E)
vprord TMP2, E, 11 ; ROR_11(E)
vprord TMP3, E, 25 ; ROR_25(E)
vpternlogd TMP0, F, G, 0xCA ; TMP0 = CH(E,F,G)
vpaddd T1, H, %%WT ; T1 = H + Wt
vpternlogd TMP1, TMP2, TMP3, 0x96 ; TMP1 = SIGMA1(E)
vpaddd T1, T1, TMP6 ; T1 = T1 + Kt
vprord H, A, 2 ; ROR_2(A)
vpaddd T1, T1, TMP0 ; T1 = T1 + CH(E,F,G)
vprord TMP2, A, 13 ; ROR_13(A)
vmovdqa32 TMP0, A
vprord TMP3, A, 22 ; ROR_22(A)
vpaddd T1, T1, TMP1 ; T1 = T1 + SIGMA1(E)
vpternlogd TMP0, B, C, 0xE8 ; TMP0 = MAJ(A,B,C)
vpaddd D, D, T1 ; D = D + T1
vpternlogd H, TMP2, TMP3, 0x96 ; H(T2) = SIGMA0(A)
vprord TMP4, %%WTp14, 17 ; ROR_17(Wt-2)
vpaddd H, H, TMP0 ; H(T2) = SIGMA0(A) + MAJ(A,B,C)
vprord TMP5, %%WTp14, 19 ; ROR_19(Wt-2)
vpsrld TMP6, %%WTp14, 10 ; SHR_10(Wt-2)
vpaddd H, H, T1 ; H(A) = H(T2) + T1
vpternlogd TMP4, TMP5, TMP6, 0x96 ; TMP4 = sigma1(Wt-2)
vpaddd %%WT, %%WT, TMP4 ; Wt = Wt-16 + sigma1(Wt-2)
vprord TMP4, %%WTp1, 7 ; ROR_7(Wt-15)
vprord TMP5, %%WTp1, 18 ; ROR_18(Wt-15)
vpaddd %%WT, %%WT, %%WTp9 ; Wt = Wt-16 + sigma1(Wt-2) + Wt-7
vpsrld TMP6, %%WTp1, 3 ; SHR_3(Wt-15)
vpternlogd TMP4, TMP5, TMP6, 0x96 ; TMP4 = sigma0(Wt-15)
vpaddd %%WT, %%WT, TMP4 ; Wt = Wt-16 + sigma1(Wt-2) +
; Wt-7 + sigma0(Wt-15) +
vmovdqa32 TMP6, [TBL + ((%%ROUND+1)*64)] ; Next Kt
;; Rotate the args A-H (rotation of names associated with regs)
ROTATE_ARGS
%endmacro
%macro MSG_SCHED_ROUND_16_63 4
%define %%WT %1
%define %%WTp1 %2
%define %%WTp9 %3
%define %%WTp14 %4
vprord TMP4, %%WTp14, 17 ; ROR_17(Wt-2)
vprord TMP5, %%WTp14, 19 ; ROR_19(Wt-2)
vpsrld TMP6, %%WTp14, 10 ; SHR_10(Wt-2)
vpternlogd TMP4, TMP5, TMP6, 0x96 ; TMP4 = sigma1(Wt-2)
vpaddd %%WT, %%WT, TMP4 ; Wt = Wt-16 + sigma1(Wt-2)
vpaddd %%WT, %%WT, %%WTp9 ; Wt = Wt-16 + sigma1(Wt-2) + Wt-7
vprord TMP4, %%WTp1, 7 ; ROR_7(Wt-15)
vprord TMP5, %%WTp1, 18 ; ROR_18(Wt-15)
vpsrld TMP6, %%WTp1, 3 ; SHR_3(Wt-15)
vpternlogd TMP4, TMP5, TMP6, 0x96 ; TMP4 = sigma0(Wt-15)
vpaddd %%WT, %%WT, TMP4 ; Wt = Wt-16 + sigma1(Wt-2) +
; Wt-7 + sigma0(Wt-15) +
%endmacro
; Note this is reading in a block of data for one lane
; When all 16 are read, the data must be transposed to build msg schedule
%macro MSG_SCHED_ROUND_00_15 2
%define %%WT %1
%define %%OFFSET %2
mov inp0, [STATE + _data_ptr_sha256 + (%%OFFSET*PTR_SZ)]
vmovups %%WT, [inp0+IDX]
%endmacro
section .data
default rel
align 64
TABLE:
dq 0x428a2f98428a2f98, 0x428a2f98428a2f98
dq 0x428a2f98428a2f98, 0x428a2f98428a2f98
dq 0x428a2f98428a2f98, 0x428a2f98428a2f98
dq 0x428a2f98428a2f98, 0x428a2f98428a2f98
dq 0x7137449171374491, 0x7137449171374491
dq 0x7137449171374491, 0x7137449171374491
dq 0x7137449171374491, 0x7137449171374491
dq 0x7137449171374491, 0x7137449171374491
dq 0xb5c0fbcfb5c0fbcf, 0xb5c0fbcfb5c0fbcf
dq 0xb5c0fbcfb5c0fbcf, 0xb5c0fbcfb5c0fbcf
dq 0xb5c0fbcfb5c0fbcf, 0xb5c0fbcfb5c0fbcf
dq 0xb5c0fbcfb5c0fbcf, 0xb5c0fbcfb5c0fbcf
dq 0xe9b5dba5e9b5dba5, 0xe9b5dba5e9b5dba5
dq 0xe9b5dba5e9b5dba5, 0xe9b5dba5e9b5dba5
dq 0xe9b5dba5e9b5dba5, 0xe9b5dba5e9b5dba5
dq 0xe9b5dba5e9b5dba5, 0xe9b5dba5e9b5dba5
dq 0x3956c25b3956c25b, 0x3956c25b3956c25b
dq 0x3956c25b3956c25b, 0x3956c25b3956c25b
dq 0x3956c25b3956c25b, 0x3956c25b3956c25b
dq 0x3956c25b3956c25b, 0x3956c25b3956c25b
dq 0x59f111f159f111f1, 0x59f111f159f111f1
dq 0x59f111f159f111f1, 0x59f111f159f111f1
dq 0x59f111f159f111f1, 0x59f111f159f111f1
dq 0x59f111f159f111f1, 0x59f111f159f111f1
dq 0x923f82a4923f82a4, 0x923f82a4923f82a4
dq 0x923f82a4923f82a4, 0x923f82a4923f82a4
dq 0x923f82a4923f82a4, 0x923f82a4923f82a4
dq 0x923f82a4923f82a4, 0x923f82a4923f82a4
dq 0xab1c5ed5ab1c5ed5, 0xab1c5ed5ab1c5ed5
dq 0xab1c5ed5ab1c5ed5, 0xab1c5ed5ab1c5ed5
dq 0xab1c5ed5ab1c5ed5, 0xab1c5ed5ab1c5ed5
dq 0xab1c5ed5ab1c5ed5, 0xab1c5ed5ab1c5ed5
dq 0xd807aa98d807aa98, 0xd807aa98d807aa98
dq 0xd807aa98d807aa98, 0xd807aa98d807aa98
dq 0xd807aa98d807aa98, 0xd807aa98d807aa98
dq 0xd807aa98d807aa98, 0xd807aa98d807aa98
dq 0x12835b0112835b01, 0x12835b0112835b01
dq 0x12835b0112835b01, 0x12835b0112835b01
dq 0x12835b0112835b01, 0x12835b0112835b01
dq 0x12835b0112835b01, 0x12835b0112835b01
dq 0x243185be243185be, 0x243185be243185be
dq 0x243185be243185be, 0x243185be243185be
dq 0x243185be243185be, 0x243185be243185be
dq 0x243185be243185be, 0x243185be243185be
dq 0x550c7dc3550c7dc3, 0x550c7dc3550c7dc3
dq 0x550c7dc3550c7dc3, 0x550c7dc3550c7dc3
dq 0x550c7dc3550c7dc3, 0x550c7dc3550c7dc3
dq 0x550c7dc3550c7dc3, 0x550c7dc3550c7dc3
dq 0x72be5d7472be5d74, 0x72be5d7472be5d74
dq 0x72be5d7472be5d74, 0x72be5d7472be5d74
dq 0x72be5d7472be5d74, 0x72be5d7472be5d74
dq 0x72be5d7472be5d74, 0x72be5d7472be5d74
dq 0x80deb1fe80deb1fe, 0x80deb1fe80deb1fe
dq 0x80deb1fe80deb1fe, 0x80deb1fe80deb1fe
dq 0x80deb1fe80deb1fe, 0x80deb1fe80deb1fe
dq 0x80deb1fe80deb1fe, 0x80deb1fe80deb1fe
dq 0x9bdc06a79bdc06a7, 0x9bdc06a79bdc06a7
dq 0x9bdc06a79bdc06a7, 0x9bdc06a79bdc06a7
dq 0x9bdc06a79bdc06a7, 0x9bdc06a79bdc06a7
dq 0x9bdc06a79bdc06a7, 0x9bdc06a79bdc06a7
dq 0xc19bf174c19bf174, 0xc19bf174c19bf174
dq 0xc19bf174c19bf174, 0xc19bf174c19bf174
dq 0xc19bf174c19bf174, 0xc19bf174c19bf174
dq 0xc19bf174c19bf174, 0xc19bf174c19bf174
dq 0xe49b69c1e49b69c1, 0xe49b69c1e49b69c1
dq 0xe49b69c1e49b69c1, 0xe49b69c1e49b69c1
dq 0xe49b69c1e49b69c1, 0xe49b69c1e49b69c1
dq 0xe49b69c1e49b69c1, 0xe49b69c1e49b69c1
dq 0xefbe4786efbe4786, 0xefbe4786efbe4786
dq 0xefbe4786efbe4786, 0xefbe4786efbe4786
dq 0xefbe4786efbe4786, 0xefbe4786efbe4786
dq 0xefbe4786efbe4786, 0xefbe4786efbe4786
dq 0x0fc19dc60fc19dc6, 0x0fc19dc60fc19dc6
dq 0x0fc19dc60fc19dc6, 0x0fc19dc60fc19dc6
dq 0x0fc19dc60fc19dc6, 0x0fc19dc60fc19dc6
dq 0x0fc19dc60fc19dc6, 0x0fc19dc60fc19dc6
dq 0x240ca1cc240ca1cc, 0x240ca1cc240ca1cc
dq 0x240ca1cc240ca1cc, 0x240ca1cc240ca1cc
dq 0x240ca1cc240ca1cc, 0x240ca1cc240ca1cc
dq 0x240ca1cc240ca1cc, 0x240ca1cc240ca1cc
dq 0x2de92c6f2de92c6f, 0x2de92c6f2de92c6f
dq 0x2de92c6f2de92c6f, 0x2de92c6f2de92c6f
dq 0x2de92c6f2de92c6f, 0x2de92c6f2de92c6f
dq 0x2de92c6f2de92c6f, 0x2de92c6f2de92c6f
dq 0x4a7484aa4a7484aa, 0x4a7484aa4a7484aa
dq 0x4a7484aa4a7484aa, 0x4a7484aa4a7484aa
dq 0x4a7484aa4a7484aa, 0x4a7484aa4a7484aa
dq 0x4a7484aa4a7484aa, 0x4a7484aa4a7484aa
dq 0x5cb0a9dc5cb0a9dc, 0x5cb0a9dc5cb0a9dc
dq 0x5cb0a9dc5cb0a9dc, 0x5cb0a9dc5cb0a9dc
dq 0x5cb0a9dc5cb0a9dc, 0x5cb0a9dc5cb0a9dc
dq 0x5cb0a9dc5cb0a9dc, 0x5cb0a9dc5cb0a9dc
dq 0x76f988da76f988da, 0x76f988da76f988da
dq 0x76f988da76f988da, 0x76f988da76f988da
dq 0x76f988da76f988da, 0x76f988da76f988da
dq 0x76f988da76f988da, 0x76f988da76f988da
dq 0x983e5152983e5152, 0x983e5152983e5152
dq 0x983e5152983e5152, 0x983e5152983e5152
dq 0x983e5152983e5152, 0x983e5152983e5152
dq 0x983e5152983e5152, 0x983e5152983e5152
dq 0xa831c66da831c66d, 0xa831c66da831c66d
dq 0xa831c66da831c66d, 0xa831c66da831c66d
dq 0xa831c66da831c66d, 0xa831c66da831c66d
dq 0xa831c66da831c66d, 0xa831c66da831c66d
dq 0xb00327c8b00327c8, 0xb00327c8b00327c8
dq 0xb00327c8b00327c8, 0xb00327c8b00327c8
dq 0xb00327c8b00327c8, 0xb00327c8b00327c8
dq 0xb00327c8b00327c8, 0xb00327c8b00327c8
dq 0xbf597fc7bf597fc7, 0xbf597fc7bf597fc7
dq 0xbf597fc7bf597fc7, 0xbf597fc7bf597fc7
dq 0xbf597fc7bf597fc7, 0xbf597fc7bf597fc7
dq 0xbf597fc7bf597fc7, 0xbf597fc7bf597fc7
dq 0xc6e00bf3c6e00bf3, 0xc6e00bf3c6e00bf3
dq 0xc6e00bf3c6e00bf3, 0xc6e00bf3c6e00bf3
dq 0xc6e00bf3c6e00bf3, 0xc6e00bf3c6e00bf3
dq 0xc6e00bf3c6e00bf3, 0xc6e00bf3c6e00bf3
dq 0xd5a79147d5a79147, 0xd5a79147d5a79147
dq 0xd5a79147d5a79147, 0xd5a79147d5a79147
dq 0xd5a79147d5a79147, 0xd5a79147d5a79147
dq 0xd5a79147d5a79147, 0xd5a79147d5a79147
dq 0x06ca635106ca6351, 0x06ca635106ca6351
dq 0x06ca635106ca6351, 0x06ca635106ca6351
dq 0x06ca635106ca6351, 0x06ca635106ca6351
dq 0x06ca635106ca6351, 0x06ca635106ca6351
dq 0x1429296714292967, 0x1429296714292967
dq 0x1429296714292967, 0x1429296714292967
dq 0x1429296714292967, 0x1429296714292967
dq 0x1429296714292967, 0x1429296714292967
dq 0x27b70a8527b70a85, 0x27b70a8527b70a85
dq 0x27b70a8527b70a85, 0x27b70a8527b70a85
dq 0x27b70a8527b70a85, 0x27b70a8527b70a85
dq 0x27b70a8527b70a85, 0x27b70a8527b70a85
dq 0x2e1b21382e1b2138, 0x2e1b21382e1b2138
dq 0x2e1b21382e1b2138, 0x2e1b21382e1b2138
dq 0x2e1b21382e1b2138, 0x2e1b21382e1b2138
dq 0x2e1b21382e1b2138, 0x2e1b21382e1b2138
dq 0x4d2c6dfc4d2c6dfc, 0x4d2c6dfc4d2c6dfc
dq 0x4d2c6dfc4d2c6dfc, 0x4d2c6dfc4d2c6dfc
dq 0x4d2c6dfc4d2c6dfc, 0x4d2c6dfc4d2c6dfc
dq 0x4d2c6dfc4d2c6dfc, 0x4d2c6dfc4d2c6dfc
dq 0x53380d1353380d13, 0x53380d1353380d13
dq 0x53380d1353380d13, 0x53380d1353380d13
dq 0x53380d1353380d13, 0x53380d1353380d13
dq 0x53380d1353380d13, 0x53380d1353380d13
dq 0x650a7354650a7354, 0x650a7354650a7354
dq 0x650a7354650a7354, 0x650a7354650a7354
dq 0x650a7354650a7354, 0x650a7354650a7354
dq 0x650a7354650a7354, 0x650a7354650a7354
dq 0x766a0abb766a0abb, 0x766a0abb766a0abb
dq 0x766a0abb766a0abb, 0x766a0abb766a0abb
dq 0x766a0abb766a0abb, 0x766a0abb766a0abb
dq 0x766a0abb766a0abb, 0x766a0abb766a0abb
dq 0x81c2c92e81c2c92e, 0x81c2c92e81c2c92e
dq 0x81c2c92e81c2c92e, 0x81c2c92e81c2c92e
dq 0x81c2c92e81c2c92e, 0x81c2c92e81c2c92e
dq 0x81c2c92e81c2c92e, 0x81c2c92e81c2c92e
dq 0x92722c8592722c85, 0x92722c8592722c85
dq 0x92722c8592722c85, 0x92722c8592722c85
dq 0x92722c8592722c85, 0x92722c8592722c85
dq 0x92722c8592722c85, 0x92722c8592722c85
dq 0xa2bfe8a1a2bfe8a1, 0xa2bfe8a1a2bfe8a1
dq 0xa2bfe8a1a2bfe8a1, 0xa2bfe8a1a2bfe8a1
dq 0xa2bfe8a1a2bfe8a1, 0xa2bfe8a1a2bfe8a1
dq 0xa2bfe8a1a2bfe8a1, 0xa2bfe8a1a2bfe8a1
dq 0xa81a664ba81a664b, 0xa81a664ba81a664b
dq 0xa81a664ba81a664b, 0xa81a664ba81a664b
dq 0xa81a664ba81a664b, 0xa81a664ba81a664b
dq 0xa81a664ba81a664b, 0xa81a664ba81a664b
dq 0xc24b8b70c24b8b70, 0xc24b8b70c24b8b70
dq 0xc24b8b70c24b8b70, 0xc24b8b70c24b8b70
dq 0xc24b8b70c24b8b70, 0xc24b8b70c24b8b70
dq 0xc24b8b70c24b8b70, 0xc24b8b70c24b8b70
dq 0xc76c51a3c76c51a3, 0xc76c51a3c76c51a3
dq 0xc76c51a3c76c51a3, 0xc76c51a3c76c51a3
dq 0xc76c51a3c76c51a3, 0xc76c51a3c76c51a3
dq 0xc76c51a3c76c51a3, 0xc76c51a3c76c51a3
dq 0xd192e819d192e819, 0xd192e819d192e819
dq 0xd192e819d192e819, 0xd192e819d192e819
dq 0xd192e819d192e819, 0xd192e819d192e819
dq 0xd192e819d192e819, 0xd192e819d192e819
dq 0xd6990624d6990624, 0xd6990624d6990624
dq 0xd6990624d6990624, 0xd6990624d6990624
dq 0xd6990624d6990624, 0xd6990624d6990624
dq 0xd6990624d6990624, 0xd6990624d6990624
dq 0xf40e3585f40e3585, 0xf40e3585f40e3585
dq 0xf40e3585f40e3585, 0xf40e3585f40e3585
dq 0xf40e3585f40e3585, 0xf40e3585f40e3585
dq 0xf40e3585f40e3585, 0xf40e3585f40e3585
dq 0x106aa070106aa070, 0x106aa070106aa070
dq 0x106aa070106aa070, 0x106aa070106aa070
dq 0x106aa070106aa070, 0x106aa070106aa070
dq 0x106aa070106aa070, 0x106aa070106aa070
dq 0x19a4c11619a4c116, 0x19a4c11619a4c116
dq 0x19a4c11619a4c116, 0x19a4c11619a4c116
dq 0x19a4c11619a4c116, 0x19a4c11619a4c116
dq 0x19a4c11619a4c116, 0x19a4c11619a4c116
dq 0x1e376c081e376c08, 0x1e376c081e376c08
dq 0x1e376c081e376c08, 0x1e376c081e376c08
dq 0x1e376c081e376c08, 0x1e376c081e376c08
dq 0x1e376c081e376c08, 0x1e376c081e376c08
dq 0x2748774c2748774c, 0x2748774c2748774c
dq 0x2748774c2748774c, 0x2748774c2748774c
dq 0x2748774c2748774c, 0x2748774c2748774c
dq 0x2748774c2748774c, 0x2748774c2748774c
dq 0x34b0bcb534b0bcb5, 0x34b0bcb534b0bcb5
dq 0x34b0bcb534b0bcb5, 0x34b0bcb534b0bcb5
dq 0x34b0bcb534b0bcb5, 0x34b0bcb534b0bcb5
dq 0x34b0bcb534b0bcb5, 0x34b0bcb534b0bcb5
dq 0x391c0cb3391c0cb3, 0x391c0cb3391c0cb3
dq 0x391c0cb3391c0cb3, 0x391c0cb3391c0cb3
dq 0x391c0cb3391c0cb3, 0x391c0cb3391c0cb3
dq 0x391c0cb3391c0cb3, 0x391c0cb3391c0cb3
dq 0x4ed8aa4a4ed8aa4a, 0x4ed8aa4a4ed8aa4a
dq 0x4ed8aa4a4ed8aa4a, 0x4ed8aa4a4ed8aa4a
dq 0x4ed8aa4a4ed8aa4a, 0x4ed8aa4a4ed8aa4a
dq 0x4ed8aa4a4ed8aa4a, 0x4ed8aa4a4ed8aa4a
dq 0x5b9cca4f5b9cca4f, 0x5b9cca4f5b9cca4f
dq 0x5b9cca4f5b9cca4f, 0x5b9cca4f5b9cca4f
dq 0x5b9cca4f5b9cca4f, 0x5b9cca4f5b9cca4f
dq 0x5b9cca4f5b9cca4f, 0x5b9cca4f5b9cca4f
dq 0x682e6ff3682e6ff3, 0x682e6ff3682e6ff3
dq 0x682e6ff3682e6ff3, 0x682e6ff3682e6ff3
dq 0x682e6ff3682e6ff3, 0x682e6ff3682e6ff3
dq 0x682e6ff3682e6ff3, 0x682e6ff3682e6ff3
dq 0x748f82ee748f82ee, 0x748f82ee748f82ee
dq 0x748f82ee748f82ee, 0x748f82ee748f82ee
dq 0x748f82ee748f82ee, 0x748f82ee748f82ee
dq 0x748f82ee748f82ee, 0x748f82ee748f82ee
dq 0x78a5636f78a5636f, 0x78a5636f78a5636f
dq 0x78a5636f78a5636f, 0x78a5636f78a5636f
dq 0x78a5636f78a5636f, 0x78a5636f78a5636f
dq 0x78a5636f78a5636f, 0x78a5636f78a5636f
dq 0x84c8781484c87814, 0x84c8781484c87814
dq 0x84c8781484c87814, 0x84c8781484c87814
dq 0x84c8781484c87814, 0x84c8781484c87814
dq 0x84c8781484c87814, 0x84c8781484c87814
dq 0x8cc702088cc70208, 0x8cc702088cc70208
dq 0x8cc702088cc70208, 0x8cc702088cc70208
dq 0x8cc702088cc70208, 0x8cc702088cc70208
dq 0x8cc702088cc70208, 0x8cc702088cc70208
dq 0x90befffa90befffa, 0x90befffa90befffa
dq 0x90befffa90befffa, 0x90befffa90befffa
dq 0x90befffa90befffa, 0x90befffa90befffa
dq 0x90befffa90befffa, 0x90befffa90befffa
dq 0xa4506ceba4506ceb, 0xa4506ceba4506ceb
dq 0xa4506ceba4506ceb, 0xa4506ceba4506ceb
dq 0xa4506ceba4506ceb, 0xa4506ceba4506ceb
dq 0xa4506ceba4506ceb, 0xa4506ceba4506ceb
dq 0xbef9a3f7bef9a3f7, 0xbef9a3f7bef9a3f7
dq 0xbef9a3f7bef9a3f7, 0xbef9a3f7bef9a3f7
dq 0xbef9a3f7bef9a3f7, 0xbef9a3f7bef9a3f7
dq 0xbef9a3f7bef9a3f7, 0xbef9a3f7bef9a3f7
dq 0xc67178f2c67178f2, 0xc67178f2c67178f2
dq 0xc67178f2c67178f2, 0xc67178f2c67178f2
dq 0xc67178f2c67178f2, 0xc67178f2c67178f2
dq 0xc67178f2c67178f2, 0xc67178f2c67178f2
PSHUFFLE_BYTE_FLIP_MASK:
;ddq 0x0c0d0e0f08090a0b0405060700010203
dq 0x0405060700010203, 0x0c0d0e0f08090a0b
;ddq 0x0c0d0e0f08090a0b0405060700010203
dq 0x0405060700010203, 0x0c0d0e0f08090a0b
;ddq 0x0c0d0e0f08090a0b0405060700010203
dq 0x0405060700010203, 0x0c0d0e0f08090a0b
;ddq 0x0c0d0e0f08090a0b0405060700010203
dq 0x0405060700010203, 0x0c0d0e0f08090a0b
PSHUFFLE_TRANSPOSE16_MASK1: dq 0x0000000000000000
dq 0x0000000000000001
dq 0x0000000000000008
dq 0x0000000000000009
dq 0x0000000000000004
dq 0x0000000000000005
dq 0x000000000000000C
dq 0x000000000000000D
PSHUFFLE_TRANSPOSE16_MASK2: dq 0x0000000000000002
dq 0x0000000000000003
dq 0x000000000000000A
dq 0x000000000000000B
dq 0x0000000000000006
dq 0x0000000000000007
dq 0x000000000000000E
dq 0x000000000000000F
section .text
;; void sha256_x16_avx512(void **input_data, UINT128 *digest[16], UINT64 size)
;; arg 1 : pointer to SHA256 args structure
;; arg 2 : size (in blocks) ;; assumed to be >= 1
;; arg 1 : rcx : pointer to array of pointers to input data
;; arg 2 : rdx : pointer to array of pointers to digest
;; arg 3 : r8 : size of input in bytes
MKGLOBAL(sha256_x16_avx512,function,internal)
align 64
sha256_x16_avx512:
mov rax, rsp
sub rsp, STACK_SPACE
and rsp, ~63 ; align stack to multiple of 64
mov [rsp + _rsp], rax
;; Initialize digests
vmovdqu32 A, [STATE + 0*SHA256_DIGEST_ROW_SIZE]
vmovdqu32 B, [STATE + 1*SHA256_DIGEST_ROW_SIZE]
vmovdqu32 C, [STATE + 2*SHA256_DIGEST_ROW_SIZE]
vmovdqu32 D, [STATE + 3*SHA256_DIGEST_ROW_SIZE]
vmovdqu32 E, [STATE + 4*SHA256_DIGEST_ROW_SIZE]
vmovdqu32 F, [STATE + 5*SHA256_DIGEST_ROW_SIZE]
vmovdqu32 G, [STATE + 6*SHA256_DIGEST_ROW_SIZE]
vmovdqu32 H, [STATE + 7*SHA256_DIGEST_ROW_SIZE]
lea TBL, [rel TABLE]
; Do we need to transpose digests???
; SHA1 does not, but SHA256 has been
xor IDX, IDX
;; Read in first block of input data
;; Transpose input data
mov inp0, [STATE + _data_ptr_sha256 + 0*PTR_SZ]
mov inp1, [STATE + _data_ptr_sha256 + 1*PTR_SZ]
mov inp2, [STATE + _data_ptr_sha256 + 2*PTR_SZ]
mov inp3, [STATE + _data_ptr_sha256 + 3*PTR_SZ]
mov inp4, [STATE + _data_ptr_sha256 + 4*PTR_SZ]
mov inp5, [STATE + _data_ptr_sha256 + 5*PTR_SZ]
mov inp6, [STATE + _data_ptr_sha256 + 6*PTR_SZ]
mov inp7, [STATE + _data_ptr_sha256 + 7*PTR_SZ]
vmovups W0,[inp0+IDX]
vmovups W1,[inp1+IDX]
vmovups W2,[inp2+IDX]
vmovups W3,[inp3+IDX]
vmovups W4,[inp4+IDX]
vmovups W5,[inp5+IDX]
vmovups W6,[inp6+IDX]
vmovups W7,[inp7+IDX]
mov inp0, [STATE + _data_ptr_sha256 + 8*PTR_SZ]
mov inp1, [STATE + _data_ptr_sha256 + 9*PTR_SZ]
mov inp2, [STATE + _data_ptr_sha256 +10*PTR_SZ]
mov inp3, [STATE + _data_ptr_sha256 +11*PTR_SZ]
mov inp4, [STATE + _data_ptr_sha256 +12*PTR_SZ]
mov inp5, [STATE + _data_ptr_sha256 +13*PTR_SZ]
mov inp6, [STATE + _data_ptr_sha256 +14*PTR_SZ]
mov inp7, [STATE + _data_ptr_sha256 +15*PTR_SZ]
vmovups W8, [inp0+IDX]
vmovups W9, [inp1+IDX]
vmovups W10,[inp2+IDX]
vmovups W11,[inp3+IDX]
vmovups W12,[inp4+IDX]
vmovups W13,[inp5+IDX]
vmovups W14,[inp6+IDX]
vmovups W15,[inp7+IDX]
jmp lloop
align 32
lloop:
vmovdqa32 TMP2, [rel PSHUFFLE_BYTE_FLIP_MASK]
vmovdqa32 TMP3, [TBL] ; First K
; Save digests for later addition
vmovdqa32 [rsp + _DIGEST_SAVE + 64*0], A
vmovdqa32 [rsp + _DIGEST_SAVE + 64*1], B
vmovdqa32 [rsp + _DIGEST_SAVE + 64*2], C
vmovdqa32 [rsp + _DIGEST_SAVE + 64*3], D
vmovdqa32 [rsp + _DIGEST_SAVE + 64*4], E
vmovdqa32 [rsp + _DIGEST_SAVE + 64*5], F
vmovdqa32 [rsp + _DIGEST_SAVE + 64*6], G
vmovdqa32 [rsp + _DIGEST_SAVE + 64*7], H
add IDX, 64
TRANSPOSE16 W0, W1, W2, W3, W4, W5, W6, W7, W8, W9, W10, W11, W12, W13, W14, W15, TMP0, TMP1
%assign I 0
%rep 16
vpshufb APPEND(W,I), APPEND(W,I), TMP2
%assign I (I+1)
%endrep
; MSG Schedule for W0-W15 is now complete in registers
; Process first 48 rounds
; Calculate next Wt+16 after processing is complete and Wt is unneeded
; PROCESS_LOOP_00_47 APPEND(W,J), I, APPEND(W,K), APPEND(W,L), APPEND(W,M)
%assign I 0
%assign J 0
%assign K 1
%assign L 9
%assign M 14
%rep 48
PROCESS_LOOP APPEND(W,J), I
MSG_SCHED_ROUND_16_63 APPEND(W,J), APPEND(W,K), APPEND(W,L), APPEND(W,M)
%assign I (I+1)
%assign J ((J+1)% 16)
%assign K ((K+1)% 16)
%assign L ((L+1)% 16)
%assign M ((M+1)% 16)
%endrep
; Check is this is the last block
sub INP_SIZE, 1
je lastLoop
; Process last 16 rounds
; Read in next block msg data for use in first 16 words of msg sched
%assign I 48
%assign J 0
%rep 16
PROCESS_LOOP APPEND(W,J), I
MSG_SCHED_ROUND_00_15 APPEND(W,J), J
%assign I (I+1)
%assign J (J+1)
%endrep
; Add old digest
vpaddd A, A, [rsp + _DIGEST_SAVE + 64*0]
vpaddd B, B, [rsp + _DIGEST_SAVE + 64*1]
vpaddd C, C, [rsp + _DIGEST_SAVE + 64*2]
vpaddd D, D, [rsp + _DIGEST_SAVE + 64*3]
vpaddd E, E, [rsp + _DIGEST_SAVE + 64*4]
vpaddd F, F, [rsp + _DIGEST_SAVE + 64*5]
vpaddd G, G, [rsp + _DIGEST_SAVE + 64*6]
vpaddd H, H, [rsp + _DIGEST_SAVE + 64*7]
jmp lloop
lastLoop:
; Process last 16 rounds
%assign I 48
%assign J 0
%rep 16
PROCESS_LOOP APPEND(W,J), I
%assign I (I+1)
%assign J (J+1)
%endrep
; Add old digest
vpaddd A, A, [rsp + _DIGEST_SAVE + 64*0]
vpaddd B, B, [rsp + _DIGEST_SAVE + 64*1]
vpaddd C, C, [rsp + _DIGEST_SAVE + 64*2]
vpaddd D, D, [rsp + _DIGEST_SAVE + 64*3]
vpaddd E, E, [rsp + _DIGEST_SAVE + 64*4]
vpaddd F, F, [rsp + _DIGEST_SAVE + 64*5]
vpaddd G, G, [rsp + _DIGEST_SAVE + 64*6]
vpaddd H, H, [rsp + _DIGEST_SAVE + 64*7]
; Write out digest
; Do we need to untranspose digests???
vmovdqu32 [STATE + 0*SHA256_DIGEST_ROW_SIZE], A
vmovdqu32 [STATE + 1*SHA256_DIGEST_ROW_SIZE], B
vmovdqu32 [STATE + 2*SHA256_DIGEST_ROW_SIZE], C
vmovdqu32 [STATE + 3*SHA256_DIGEST_ROW_SIZE], D
vmovdqu32 [STATE + 4*SHA256_DIGEST_ROW_SIZE], E
vmovdqu32 [STATE + 5*SHA256_DIGEST_ROW_SIZE], F
vmovdqu32 [STATE + 6*SHA256_DIGEST_ROW_SIZE], G
vmovdqu32 [STATE + 7*SHA256_DIGEST_ROW_SIZE], H
; update input pointers
%assign I 0
%rep 16
add [STATE + _data_ptr_sha256 + I*PTR_SZ], IDX
%assign I (I+1)
%endrep
mov rsp, [rsp + _rsp]
ret
%ifdef LINUX
section .note.GNU-stack noalloc noexec nowrite progbits
%endif
|