1238384Sjkim#!/usr/bin/env perl
2238384Sjkim#
3238384Sjkim# ====================================================================
4238384Sjkim# Written by Andy Polyakov <appro@fy.chalmers.se> for the OpenSSL
5238384Sjkim# project. The module is, however, dual licensed under OpenSSL and
6238384Sjkim# CRYPTOGAMS licenses depending on where you obtain it. For further
7238384Sjkim# details see http://www.openssl.org/~appro/cryptogams/.
8238384Sjkim# ====================================================================
9238384Sjkim#
10238384Sjkim# SHA512 block transform for x86. September 2007.
11238384Sjkim#
12238384Sjkim# Performance in clock cycles per processed byte (less is better):
13238384Sjkim#
14238384Sjkim#		Pentium	PIII	P4	AMD K8	Core2
15238384Sjkim# gcc		100	75	116	54	66
16238384Sjkim# icc		97	77	95	55	57
17238384Sjkim# x86 asm	61	56	82	36	40
18238384Sjkim# SSE2 asm	-	-	38	24	20
19238384Sjkim# x86_64 asm(*)	-	-	30	10.0	10.5
20238384Sjkim#
21238384Sjkim# (*) x86_64 assembler performance is presented for reference
22238384Sjkim#     purposes.
23238384Sjkim#
24238384Sjkim# IALU code-path is optimized for elder Pentiums. On vanilla Pentium
25238384Sjkim# performance improvement over compiler generated code reaches ~60%,
26238384Sjkim# while on PIII - ~35%. On newer �-archs improvement varies from 15%
27238384Sjkim# to 50%, but it's less important as they are expected to execute SSE2
28238384Sjkim# code-path, which is commonly ~2-3x faster [than compiler generated
29238384Sjkim# code]. SSE2 code-path is as fast as original sha512-sse2.pl, even
30238384Sjkim# though it does not use 128-bit operations. The latter means that
31238384Sjkim# SSE2-aware kernel is no longer required to execute the code. Another
32238384Sjkim# difference is that new code optimizes amount of writes, but at the
33238384Sjkim# cost of increased data cache "footprint" by 1/2KB.
34238384Sjkim
35238384Sjkim$0 =~ m/(.*[\/\\])[^\/\\]+$/; $dir=$1;
36238384Sjkimpush(@INC,"${dir}","${dir}../../perlasm");
37238384Sjkimrequire "x86asm.pl";
38238384Sjkim
39238384Sjkim&asm_init($ARGV[0],"sha512-586.pl",$ARGV[$#ARGV] eq "386");
40238384Sjkim
41238384Sjkim$sse2=0;
42238384Sjkimfor (@ARGV) { $sse2=1 if (/-DOPENSSL_IA32_SSE2/); }
43238384Sjkim
44238384Sjkim&external_label("OPENSSL_ia32cap_P") if ($sse2);
45238384Sjkim
46238384Sjkim$Tlo=&DWP(0,"esp");	$Thi=&DWP(4,"esp");
47238384Sjkim$Alo=&DWP(8,"esp");	$Ahi=&DWP(8+4,"esp");
48238384Sjkim$Blo=&DWP(16,"esp");	$Bhi=&DWP(16+4,"esp");
49238384Sjkim$Clo=&DWP(24,"esp");	$Chi=&DWP(24+4,"esp");
50238384Sjkim$Dlo=&DWP(32,"esp");	$Dhi=&DWP(32+4,"esp");
51238384Sjkim$Elo=&DWP(40,"esp");	$Ehi=&DWP(40+4,"esp");
52238384Sjkim$Flo=&DWP(48,"esp");	$Fhi=&DWP(48+4,"esp");
53238384Sjkim$Glo=&DWP(56,"esp");	$Ghi=&DWP(56+4,"esp");
54238384Sjkim$Hlo=&DWP(64,"esp");	$Hhi=&DWP(64+4,"esp");
55238384Sjkim$K512="ebp";
56238384Sjkim
57238384Sjkim$Asse2=&QWP(0,"esp");
58238384Sjkim$Bsse2=&QWP(8,"esp");
59238384Sjkim$Csse2=&QWP(16,"esp");
60238384Sjkim$Dsse2=&QWP(24,"esp");
61238384Sjkim$Esse2=&QWP(32,"esp");
62238384Sjkim$Fsse2=&QWP(40,"esp");
63238384Sjkim$Gsse2=&QWP(48,"esp");
64238384Sjkim$Hsse2=&QWP(56,"esp");
65238384Sjkim
66238384Sjkim$A="mm0";	# B-D and
67238384Sjkim$E="mm4";	# F-H are commonly loaded to respectively mm1-mm3 and
68238384Sjkim		# mm5-mm7, but it's done on on-demand basis...
69238384Sjkim
70238384Sjkimsub BODY_00_15_sse2 {
71238384Sjkim    my $prefetch=shift;
72238384Sjkim
73238384Sjkim	&movq	("mm5",$Fsse2);			# load f
74238384Sjkim	&movq	("mm6",$Gsse2);			# load g
75238384Sjkim	&movq	("mm7",$Hsse2);			# load h
76238384Sjkim
77238384Sjkim	&movq	("mm1",$E);			# %mm1 is sliding right
78238384Sjkim	&movq	("mm2",$E);			# %mm2 is sliding left
79238384Sjkim	&psrlq	("mm1",14);
80238384Sjkim	&movq	($Esse2,$E);			# modulo-scheduled save e
81238384Sjkim	&psllq	("mm2",23);
82238384Sjkim	&movq	("mm3","mm1");			# %mm3 is T1
83238384Sjkim	&psrlq	("mm1",4);
84238384Sjkim	&pxor	("mm3","mm2");
85238384Sjkim	&psllq	("mm2",23);
86238384Sjkim	&pxor	("mm3","mm1");
87238384Sjkim	&psrlq	("mm1",23);
88238384Sjkim	&pxor	("mm3","mm2");
89238384Sjkim	&psllq	("mm2",4);
90238384Sjkim	&pxor	("mm3","mm1");
91238384Sjkim	&paddq	("mm7",QWP(0,$K512));		# h+=K512[i]
92238384Sjkim	&pxor	("mm3","mm2");			# T1=Sigma1_512(e)
93238384Sjkim
94238384Sjkim	&pxor	("mm5","mm6");			# f^=g
95238384Sjkim	&movq	("mm1",$Bsse2);			# load b
96238384Sjkim	&pand	("mm5",$E);			# f&=e
97238384Sjkim	&movq	("mm2",$Csse2);			# load c
98238384Sjkim	&pxor	("mm5","mm6");			# f^=g
99238384Sjkim	&movq	($E,$Dsse2);			# e = load d
100238384Sjkim	&paddq	("mm3","mm5");			# T1+=Ch(e,f,g)
101238384Sjkim	&movq	(&QWP(0,"esp"),$A);		# modulo-scheduled save a
102238384Sjkim	&paddq	("mm3","mm7");			# T1+=h
103238384Sjkim
104238384Sjkim	&movq	("mm5",$A);			# %mm5 is sliding right
105238384Sjkim	&movq	("mm6",$A);			# %mm6 is sliding left
106238384Sjkim	&paddq	("mm3",&QWP(8*9,"esp"));	# T1+=X[0]
107238384Sjkim	&psrlq	("mm5",28);
108238384Sjkim	&paddq	($E,"mm3");			# e += T1
109238384Sjkim	&psllq	("mm6",25);
110238384Sjkim	&movq	("mm7","mm5");			# %mm7 is T2
111238384Sjkim	&psrlq	("mm5",6);
112238384Sjkim	&pxor	("mm7","mm6");
113238384Sjkim	&psllq	("mm6",5);
114238384Sjkim	&pxor	("mm7","mm5");
115238384Sjkim	&psrlq	("mm5",5);
116238384Sjkim	&pxor	("mm7","mm6");
117238384Sjkim	&psllq	("mm6",6);
118238384Sjkim	&pxor	("mm7","mm5");
119238384Sjkim	&sub	("esp",8);
120238384Sjkim	&pxor	("mm7","mm6");			# T2=Sigma0_512(a)
121238384Sjkim
122238384Sjkim	&movq	("mm5",$A);			# %mm5=a
123238384Sjkim	&por	($A,"mm2");			# a=a|c
124238384Sjkim	&movq	("mm6",&QWP(8*(9+16-14),"esp"))	if ($prefetch);
125238384Sjkim	&pand	("mm5","mm2");			# %mm5=a&c
126238384Sjkim	&pand	($A,"mm1");			# a=(a|c)&b
127238384Sjkim	&movq	("mm2",&QWP(8*(9+16-1),"esp"))	if ($prefetch);
128238384Sjkim	&por	("mm5",$A);			# %mm5=(a&c)|((a|c)&b)
129238384Sjkim	&paddq	("mm7","mm5");			# T2+=Maj(a,b,c)
130238384Sjkim	&movq	($A,"mm3");			# a=T1
131238384Sjkim
132238384Sjkim	&mov	(&LB("edx"),&BP(0,$K512));
133238384Sjkim	&paddq	($A,"mm7");			# a+=T2
134238384Sjkim	&add	($K512,8);
135238384Sjkim}
136238384Sjkim
137238384Sjkimsub BODY_00_15_x86 {
138238384Sjkim	#define Sigma1(x)	(ROTR((x),14) ^ ROTR((x),18)  ^ ROTR((x),41))
139238384Sjkim	#	LO		lo>>14^hi<<18 ^ lo>>18^hi<<14 ^ hi>>9^lo<<23
140238384Sjkim	#	HI		hi>>14^lo<<18 ^ hi>>18^lo<<14 ^ lo>>9^hi<<23
141238384Sjkim	&mov	("ecx",$Elo);
142238384Sjkim	&mov	("edx",$Ehi);
143238384Sjkim	&mov	("esi","ecx");
144238384Sjkim
145246772Sjkim	&shr	("ecx",9);	# lo>>9
146238384Sjkim	&mov	("edi","edx");
147246772Sjkim	&shr	("edx",9);	# hi>>9
148238384Sjkim	&mov	("ebx","ecx");
149238384Sjkim	&shl	("esi",14);	# lo<<14
150238384Sjkim	&mov	("eax","edx");
151238384Sjkim	&shl	("edi",14);	# hi<<14
152238384Sjkim	&xor	("ebx","esi");
153238384Sjkim
154238384Sjkim	&shr	("ecx",14-9);	# lo>>14
155238384Sjkim	&xor	("eax","edi");
156238384Sjkim	&shr	("edx",14-9);	# hi>>14
157238384Sjkim	&xor	("eax","ecx");
158238384Sjkim	&shl	("esi",18-14);	# lo<<18
159238384Sjkim	&xor	("ebx","edx");
160238384Sjkim	&shl	("edi",18-14);	# hi<<18
161238384Sjkim	&xor	("ebx","esi");
162238384Sjkim
163238384Sjkim	&shr	("ecx",18-14);	# lo>>18
164238384Sjkim	&xor	("eax","edi");
165238384Sjkim	&shr	("edx",18-14);	# hi>>18
166238384Sjkim	&xor	("eax","ecx");
167238384Sjkim	&shl	("esi",23-18);	# lo<<23
168238384Sjkim	&xor	("ebx","edx");
169238384Sjkim	&shl	("edi",23-18);	# hi<<23
170238384Sjkim	&xor	("eax","esi");
171238384Sjkim	&xor	("ebx","edi");			# T1 = Sigma1(e)
172238384Sjkim
173238384Sjkim	&mov	("ecx",$Flo);
174238384Sjkim	&mov	("edx",$Fhi);
175238384Sjkim	&mov	("esi",$Glo);
176238384Sjkim	&mov	("edi",$Ghi);
177238384Sjkim	 &add	("eax",$Hlo);
178238384Sjkim	 &adc	("ebx",$Hhi);			# T1 += h
179238384Sjkim	&xor	("ecx","esi");
180238384Sjkim	&xor	("edx","edi");
181238384Sjkim	&and	("ecx",$Elo);
182238384Sjkim	&and	("edx",$Ehi);
183238384Sjkim	 &add	("eax",&DWP(8*(9+15)+0,"esp"));
184238384Sjkim	 &adc	("ebx",&DWP(8*(9+15)+4,"esp"));	# T1 += X[0]
185238384Sjkim	&xor	("ecx","esi");
186238384Sjkim	&xor	("edx","edi");			# Ch(e,f,g) = (f^g)&e)^g
187238384Sjkim
188238384Sjkim	&mov	("esi",&DWP(0,$K512));
189238384Sjkim	&mov	("edi",&DWP(4,$K512));		# K[i]
190238384Sjkim	&add	("eax","ecx");
191238384Sjkim	&adc	("ebx","edx");			# T1 += Ch(e,f,g)
192238384Sjkim	&mov	("ecx",$Dlo);
193238384Sjkim	&mov	("edx",$Dhi);
194238384Sjkim	&add	("eax","esi");
195238384Sjkim	&adc	("ebx","edi");			# T1 += K[i]
196238384Sjkim	&mov	($Tlo,"eax");
197238384Sjkim	&mov	($Thi,"ebx");			# put T1 away
198238384Sjkim	&add	("eax","ecx");
199238384Sjkim	&adc	("ebx","edx");			# d += T1
200238384Sjkim
201238384Sjkim	#define Sigma0(x)	(ROTR((x),28) ^ ROTR((x),34) ^ ROTR((x),39))
202238384Sjkim	#	LO		lo>>28^hi<<4  ^ hi>>2^lo<<30 ^ hi>>7^lo<<25
203238384Sjkim	#	HI		hi>>28^lo<<4  ^ lo>>2^hi<<30 ^ lo>>7^hi<<25
204238384Sjkim	&mov	("ecx",$Alo);
205238384Sjkim	&mov	("edx",$Ahi);
206238384Sjkim	&mov	($Dlo,"eax");
207238384Sjkim	&mov	($Dhi,"ebx");
208238384Sjkim	&mov	("esi","ecx");
209238384Sjkim
210246772Sjkim	&shr	("ecx",2);	# lo>>2
211238384Sjkim	&mov	("edi","edx");
212246772Sjkim	&shr	("edx",2);	# hi>>2
213238384Sjkim	&mov	("ebx","ecx");
214238384Sjkim	&shl	("esi",4);	# lo<<4
215238384Sjkim	&mov	("eax","edx");
216238384Sjkim	&shl	("edi",4);	# hi<<4
217238384Sjkim	&xor	("ebx","esi");
218238384Sjkim
219238384Sjkim	&shr	("ecx",7-2);	# lo>>7
220238384Sjkim	&xor	("eax","edi");
221238384Sjkim	&shr	("edx",7-2);	# hi>>7
222238384Sjkim	&xor	("ebx","ecx");
223238384Sjkim	&shl	("esi",25-4);	# lo<<25
224238384Sjkim	&xor	("eax","edx");
225238384Sjkim	&shl	("edi",25-4);	# hi<<25
226238384Sjkim	&xor	("eax","esi");
227238384Sjkim
228238384Sjkim	&shr	("ecx",28-7);	# lo>>28
229238384Sjkim	&xor	("ebx","edi");
230238384Sjkim	&shr	("edx",28-7);	# hi>>28
231238384Sjkim	&xor	("eax","ecx");
232238384Sjkim	&shl	("esi",30-25);	# lo<<30
233238384Sjkim	&xor	("ebx","edx");
234238384Sjkim	&shl	("edi",30-25);	# hi<<30
235238384Sjkim	&xor	("eax","esi");
236238384Sjkim	&xor	("ebx","edi");			# Sigma0(a)
237238384Sjkim
238238384Sjkim	&mov	("ecx",$Alo);
239238384Sjkim	&mov	("edx",$Ahi);
240238384Sjkim	&mov	("esi",$Blo);
241238384Sjkim	&mov	("edi",$Bhi);
242238384Sjkim	&add	("eax",$Tlo);
243238384Sjkim	&adc	("ebx",$Thi);			# T1 = Sigma0(a)+T1
244238384Sjkim	&or	("ecx","esi");
245238384Sjkim	&or	("edx","edi");
246238384Sjkim	&and	("ecx",$Clo);
247238384Sjkim	&and	("edx",$Chi);
248238384Sjkim	&and	("esi",$Alo);
249238384Sjkim	&and	("edi",$Ahi);
250238384Sjkim	&or	("ecx","esi");
251238384Sjkim	&or	("edx","edi");			# Maj(a,b,c) = ((a|b)&c)|(a&b)
252238384Sjkim
253238384Sjkim	&add	("eax","ecx");
254238384Sjkim	&adc	("ebx","edx");			# T1 += Maj(a,b,c)
255238384Sjkim	&mov	($Tlo,"eax");
256238384Sjkim	&mov	($Thi,"ebx");
257238384Sjkim
258238384Sjkim	&mov	(&LB("edx"),&BP(0,$K512));	# pre-fetch LSB of *K
259238384Sjkim	&sub	("esp",8);
260238384Sjkim	&lea	($K512,&DWP(8,$K512));		# K++
261238384Sjkim}
262238384Sjkim
263238384Sjkim
264238384Sjkim&function_begin("sha512_block_data_order");
265238384Sjkim	&mov	("esi",wparam(0));	# ctx
266238384Sjkim	&mov	("edi",wparam(1));	# inp
267238384Sjkim	&mov	("eax",wparam(2));	# num
268238384Sjkim	&mov	("ebx","esp");		# saved sp
269238384Sjkim
270238384Sjkim	&call	(&label("pic_point"));	# make it PIC!
271238384Sjkim&set_label("pic_point");
272238384Sjkim	&blindpop($K512);
273238384Sjkim	&lea	($K512,&DWP(&label("K512")."-".&label("pic_point"),$K512));
274238384Sjkim
275238384Sjkim	&sub	("esp",16);
276238384Sjkim	&and	("esp",-64);
277238384Sjkim
278238384Sjkim	&shl	("eax",7);
279238384Sjkim	&add	("eax","edi");
280238384Sjkim	&mov	(&DWP(0,"esp"),"esi");	# ctx
281238384Sjkim	&mov	(&DWP(4,"esp"),"edi");	# inp
282238384Sjkim	&mov	(&DWP(8,"esp"),"eax");	# inp+num*128
283238384Sjkim	&mov	(&DWP(12,"esp"),"ebx");	# saved sp
284238384Sjkim
285238384Sjkimif ($sse2) {
286238384Sjkim	&picmeup("edx","OPENSSL_ia32cap_P",$K512,&label("K512"));
287238384Sjkim	&bt	(&DWP(0,"edx"),26);
288238384Sjkim	&jnc	(&label("loop_x86"));
289238384Sjkim
290238384Sjkim	# load ctx->h[0-7]
291238384Sjkim	&movq	($A,&QWP(0,"esi"));
292238384Sjkim	&movq	("mm1",&QWP(8,"esi"));
293238384Sjkim	&movq	("mm2",&QWP(16,"esi"));
294238384Sjkim	&movq	("mm3",&QWP(24,"esi"));
295238384Sjkim	&movq	($E,&QWP(32,"esi"));
296238384Sjkim	&movq	("mm5",&QWP(40,"esi"));
297238384Sjkim	&movq	("mm6",&QWP(48,"esi"));
298238384Sjkim	&movq	("mm7",&QWP(56,"esi"));
299238384Sjkim	&sub	("esp",8*10);
300238384Sjkim
301238384Sjkim&set_label("loop_sse2",16);
302238384Sjkim	# &movq	($Asse2,$A);
303238384Sjkim	&movq	($Bsse2,"mm1");
304238384Sjkim	&movq	($Csse2,"mm2");
305238384Sjkim	&movq	($Dsse2,"mm3");
306238384Sjkim	# &movq	($Esse2,$E);
307238384Sjkim	&movq	($Fsse2,"mm5");
308238384Sjkim	&movq	($Gsse2,"mm6");
309238384Sjkim	&movq	($Hsse2,"mm7");
310238384Sjkim
311238384Sjkim	&mov	("ecx",&DWP(0,"edi"));
312238384Sjkim	&mov	("edx",&DWP(4,"edi"));
313238384Sjkim	&add	("edi",8);
314238384Sjkim	&bswap	("ecx");
315238384Sjkim	&bswap	("edx");
316238384Sjkim	&mov	(&DWP(8*9+4,"esp"),"ecx");
317238384Sjkim	&mov	(&DWP(8*9+0,"esp"),"edx");
318238384Sjkim
319238384Sjkim&set_label("00_14_sse2",16);
320238384Sjkim	&mov	("eax",&DWP(0,"edi"));
321238384Sjkim	&mov	("ebx",&DWP(4,"edi"));
322238384Sjkim	&add	("edi",8);
323238384Sjkim	&bswap	("eax");
324238384Sjkim	&bswap	("ebx");
325238384Sjkim	&mov	(&DWP(8*8+4,"esp"),"eax");
326238384Sjkim	&mov	(&DWP(8*8+0,"esp"),"ebx");
327238384Sjkim
328238384Sjkim	&BODY_00_15_sse2();
329238384Sjkim
330238384Sjkim	&cmp	(&LB("edx"),0x35);
331238384Sjkim	&jne	(&label("00_14_sse2"));
332238384Sjkim
333238384Sjkim	&BODY_00_15_sse2(1);
334238384Sjkim
335238384Sjkim&set_label("16_79_sse2",16);
336238384Sjkim	#&movq	("mm2",&QWP(8*(9+16-1),"esp"));	#prefetched in BODY_00_15
337238384Sjkim	#&movq	("mm6",&QWP(8*(9+16-14),"esp"));
338238384Sjkim	&movq	("mm1","mm2");
339238384Sjkim
340238384Sjkim	&psrlq	("mm2",1);
341238384Sjkim	&movq	("mm7","mm6");
342238384Sjkim	&psrlq	("mm6",6);
343238384Sjkim	&movq	("mm3","mm2");
344238384Sjkim
345238384Sjkim	&psrlq	("mm2",7-1);
346238384Sjkim	&movq	("mm5","mm6");
347238384Sjkim	&psrlq	("mm6",19-6);
348238384Sjkim	&pxor	("mm3","mm2");
349238384Sjkim
350238384Sjkim	&psrlq	("mm2",8-7);
351238384Sjkim	&pxor	("mm5","mm6");
352238384Sjkim	&psrlq	("mm6",61-19);
353238384Sjkim	&pxor	("mm3","mm2");
354238384Sjkim
355238384Sjkim	&movq	("mm2",&QWP(8*(9+16),"esp"));
356238384Sjkim
357238384Sjkim	&psllq	("mm1",56);
358238384Sjkim	&pxor	("mm5","mm6");
359238384Sjkim	&psllq	("mm7",3);
360238384Sjkim	&pxor	("mm3","mm1");
361238384Sjkim
362238384Sjkim	&paddq	("mm2",&QWP(8*(9+16-9),"esp"));
363238384Sjkim
364238384Sjkim	&psllq	("mm1",63-56);
365238384Sjkim	&pxor	("mm5","mm7");
366238384Sjkim	&psllq	("mm7",45-3);
367238384Sjkim	&pxor	("mm3","mm1");
368238384Sjkim	&pxor	("mm5","mm7");
369238384Sjkim
370238384Sjkim	&paddq	("mm3","mm5");
371238384Sjkim	&paddq	("mm3","mm2");
372238384Sjkim	&movq	(&QWP(8*9,"esp"),"mm3");
373238384Sjkim
374238384Sjkim	&BODY_00_15_sse2(1);
375238384Sjkim
376238384Sjkim	&cmp	(&LB("edx"),0x17);
377238384Sjkim	&jne	(&label("16_79_sse2"));
378238384Sjkim
379238384Sjkim	# &movq	($A,$Asse2);
380238384Sjkim	&movq	("mm1",$Bsse2);
381238384Sjkim	&movq	("mm2",$Csse2);
382238384Sjkim	&movq	("mm3",$Dsse2);
383238384Sjkim	# &movq	($E,$Esse2);
384238384Sjkim	&movq	("mm5",$Fsse2);
385238384Sjkim	&movq	("mm6",$Gsse2);
386238384Sjkim	&movq	("mm7",$Hsse2);
387238384Sjkim
388238384Sjkim	&paddq	($A,&QWP(0,"esi"));
389238384Sjkim	&paddq	("mm1",&QWP(8,"esi"));
390238384Sjkim	&paddq	("mm2",&QWP(16,"esi"));
391238384Sjkim	&paddq	("mm3",&QWP(24,"esi"));
392238384Sjkim	&paddq	($E,&QWP(32,"esi"));
393238384Sjkim	&paddq	("mm5",&QWP(40,"esi"));
394238384Sjkim	&paddq	("mm6",&QWP(48,"esi"));
395238384Sjkim	&paddq	("mm7",&QWP(56,"esi"));
396238384Sjkim
397238384Sjkim	&movq	(&QWP(0,"esi"),$A);
398238384Sjkim	&movq	(&QWP(8,"esi"),"mm1");
399238384Sjkim	&movq	(&QWP(16,"esi"),"mm2");
400238384Sjkim	&movq	(&QWP(24,"esi"),"mm3");
401238384Sjkim	&movq	(&QWP(32,"esi"),$E);
402238384Sjkim	&movq	(&QWP(40,"esi"),"mm5");
403238384Sjkim	&movq	(&QWP(48,"esi"),"mm6");
404238384Sjkim	&movq	(&QWP(56,"esi"),"mm7");
405238384Sjkim
406238384Sjkim	&add	("esp",8*80);			# destroy frame
407238384Sjkim	&sub	($K512,8*80);			# rewind K
408238384Sjkim
409238384Sjkim	&cmp	("edi",&DWP(8*10+8,"esp"));	# are we done yet?
410238384Sjkim	&jb	(&label("loop_sse2"));
411238384Sjkim
412238384Sjkim	&emms	();
413238384Sjkim	&mov	("esp",&DWP(8*10+12,"esp"));	# restore sp
414238384Sjkim&function_end_A();
415238384Sjkim}
416238384Sjkim&set_label("loop_x86",16);
417238384Sjkim    # copy input block to stack reversing byte and qword order
418238384Sjkim    for ($i=0;$i<8;$i++) {
419238384Sjkim	&mov	("eax",&DWP($i*16+0,"edi"));
420238384Sjkim	&mov	("ebx",&DWP($i*16+4,"edi"));
421238384Sjkim	&mov	("ecx",&DWP($i*16+8,"edi"));
422238384Sjkim	&mov	("edx",&DWP($i*16+12,"edi"));
423238384Sjkim	&bswap	("eax");
424238384Sjkim	&bswap	("ebx");
425238384Sjkim	&bswap	("ecx");
426238384Sjkim	&bswap	("edx");
427238384Sjkim	&push	("eax");
428238384Sjkim	&push	("ebx");
429238384Sjkim	&push	("ecx");
430238384Sjkim	&push	("edx");
431238384Sjkim    }
432238384Sjkim	&add	("edi",128);
433238384Sjkim	&sub	("esp",9*8);		# place for T,A,B,C,D,E,F,G,H
434238384Sjkim	&mov	(&DWP(8*(9+16)+4,"esp"),"edi");
435238384Sjkim
436238384Sjkim	# copy ctx->h[0-7] to A,B,C,D,E,F,G,H on stack
437238384Sjkim	&lea	("edi",&DWP(8,"esp"));
438238384Sjkim	&mov	("ecx",16);
439238384Sjkim	&data_word(0xA5F3F689);		# rep movsd
440238384Sjkim
441238384Sjkim&set_label("00_15_x86",16);
442238384Sjkim	&BODY_00_15_x86();
443238384Sjkim
444238384Sjkim	&cmp	(&LB("edx"),0x94);
445238384Sjkim	&jne	(&label("00_15_x86"));
446238384Sjkim
447238384Sjkim&set_label("16_79_x86",16);
448238384Sjkim	#define sigma0(x)	(ROTR((x),1)  ^ ROTR((x),8)  ^ ((x)>>7))
449238384Sjkim	#	LO		lo>>1^hi<<31  ^ lo>>8^hi<<24 ^ lo>>7^hi<<25
450238384Sjkim	#	HI		hi>>1^lo<<31  ^ hi>>8^lo<<24 ^ hi>>7
451238384Sjkim	&mov	("ecx",&DWP(8*(9+15+16-1)+0,"esp"));
452238384Sjkim	&mov	("edx",&DWP(8*(9+15+16-1)+4,"esp"));
453238384Sjkim	&mov	("esi","ecx");
454238384Sjkim
455246772Sjkim	&shr	("ecx",1);	# lo>>1
456238384Sjkim	&mov	("edi","edx");
457246772Sjkim	&shr	("edx",1);	# hi>>1
458238384Sjkim	&mov	("eax","ecx");
459238384Sjkim	&shl	("esi",24);	# lo<<24
460238384Sjkim	&mov	("ebx","edx");
461238384Sjkim	&shl	("edi",24);	# hi<<24
462238384Sjkim	&xor	("ebx","esi");
463238384Sjkim
464238384Sjkim	&shr	("ecx",7-1);	# lo>>7
465238384Sjkim	&xor	("eax","edi");
466238384Sjkim	&shr	("edx",7-1);	# hi>>7
467238384Sjkim	&xor	("eax","ecx");
468238384Sjkim	&shl	("esi",31-24);	# lo<<31
469238384Sjkim	&xor	("ebx","edx");
470238384Sjkim	&shl	("edi",25-24);	# hi<<25
471238384Sjkim	&xor	("ebx","esi");
472238384Sjkim
473238384Sjkim	&shr	("ecx",8-7);	# lo>>8
474238384Sjkim	&xor	("eax","edi");
475238384Sjkim	&shr	("edx",8-7);	# hi>>8
476238384Sjkim	&xor	("eax","ecx");
477238384Sjkim	&shl	("edi",31-25);	# hi<<31
478238384Sjkim	&xor	("ebx","edx");
479238384Sjkim	&xor	("eax","edi");			# T1 = sigma0(X[-15])
480238384Sjkim
481238384Sjkim	&mov	(&DWP(0,"esp"),"eax");
482238384Sjkim	&mov	(&DWP(4,"esp"),"ebx");		# put T1 away
483238384Sjkim
484238384Sjkim	#define sigma1(x)	(ROTR((x),19) ^ ROTR((x),61) ^ ((x)>>6))
485238384Sjkim	#	LO		lo>>19^hi<<13 ^ hi>>29^lo<<3 ^ lo>>6^hi<<26
486238384Sjkim	#	HI		hi>>19^lo<<13 ^ lo>>29^hi<<3 ^ hi>>6
487238384Sjkim	&mov	("ecx",&DWP(8*(9+15+16-14)+0,"esp"));
488238384Sjkim	&mov	("edx",&DWP(8*(9+15+16-14)+4,"esp"));
489238384Sjkim	&mov	("esi","ecx");
490238384Sjkim
491246772Sjkim	&shr	("ecx",6);	# lo>>6
492238384Sjkim	&mov	("edi","edx");
493246772Sjkim	&shr	("edx",6);	# hi>>6
494238384Sjkim	&mov	("eax","ecx");
495238384Sjkim	&shl	("esi",3);	# lo<<3
496238384Sjkim	&mov	("ebx","edx");
497238384Sjkim	&shl	("edi",3);	# hi<<3
498238384Sjkim	&xor	("eax","esi");
499238384Sjkim
500238384Sjkim	&shr	("ecx",19-6);	# lo>>19
501238384Sjkim	&xor	("ebx","edi");
502238384Sjkim	&shr	("edx",19-6);	# hi>>19
503238384Sjkim	&xor	("eax","ecx");
504238384Sjkim	&shl	("esi",13-3);	# lo<<13
505238384Sjkim	&xor	("ebx","edx");
506238384Sjkim	&shl	("edi",13-3);	# hi<<13
507238384Sjkim	&xor	("ebx","esi");
508238384Sjkim
509238384Sjkim	&shr	("ecx",29-19);	# lo>>29
510238384Sjkim	&xor	("eax","edi");
511238384Sjkim	&shr	("edx",29-19);	# hi>>29
512238384Sjkim	&xor	("ebx","ecx");
513238384Sjkim	&shl	("edi",26-13);	# hi<<26
514238384Sjkim	&xor	("eax","edx");
515238384Sjkim	&xor	("eax","edi");			# sigma1(X[-2])
516238384Sjkim
517238384Sjkim	&mov	("ecx",&DWP(8*(9+15+16)+0,"esp"));
518238384Sjkim	&mov	("edx",&DWP(8*(9+15+16)+4,"esp"));
519238384Sjkim	&add	("eax",&DWP(0,"esp"));
520238384Sjkim	&adc	("ebx",&DWP(4,"esp"));		# T1 = sigma1(X[-2])+T1
521238384Sjkim	&mov	("esi",&DWP(8*(9+15+16-9)+0,"esp"));
522238384Sjkim	&mov	("edi",&DWP(8*(9+15+16-9)+4,"esp"));
523238384Sjkim	&add	("eax","ecx");
524238384Sjkim	&adc	("ebx","edx");			# T1 += X[-16]
525238384Sjkim	&add	("eax","esi");
526238384Sjkim	&adc	("ebx","edi");			# T1 += X[-7]
527238384Sjkim	&mov	(&DWP(8*(9+15)+0,"esp"),"eax");
528238384Sjkim	&mov	(&DWP(8*(9+15)+4,"esp"),"ebx");	# save X[0]
529238384Sjkim
530238384Sjkim	&BODY_00_15_x86();
531238384Sjkim
532238384Sjkim	&cmp	(&LB("edx"),0x17);
533238384Sjkim	&jne	(&label("16_79_x86"));
534238384Sjkim
535238384Sjkim	&mov	("esi",&DWP(8*(9+16+80)+0,"esp"));# ctx
536238384Sjkim	&mov	("edi",&DWP(8*(9+16+80)+4,"esp"));# inp
537238384Sjkim    for($i=0;$i<4;$i++) {
538238384Sjkim	&mov	("eax",&DWP($i*16+0,"esi"));
539238384Sjkim	&mov	("ebx",&DWP($i*16+4,"esi"));
540238384Sjkim	&mov	("ecx",&DWP($i*16+8,"esi"));
541238384Sjkim	&mov	("edx",&DWP($i*16+12,"esi"));
542238384Sjkim	&add	("eax",&DWP(8+($i*16)+0,"esp"));
543238384Sjkim	&adc	("ebx",&DWP(8+($i*16)+4,"esp"));
544238384Sjkim	&mov	(&DWP($i*16+0,"esi"),"eax");
545238384Sjkim	&mov	(&DWP($i*16+4,"esi"),"ebx");
546238384Sjkim	&add	("ecx",&DWP(8+($i*16)+8,"esp"));
547238384Sjkim	&adc	("edx",&DWP(8+($i*16)+12,"esp"));
548238384Sjkim	&mov	(&DWP($i*16+8,"esi"),"ecx");
549238384Sjkim	&mov	(&DWP($i*16+12,"esi"),"edx");
550238384Sjkim    }
551238384Sjkim	&add	("esp",8*(9+16+80));		# destroy frame
552238384Sjkim	&sub	($K512,8*80);			# rewind K
553238384Sjkim
554238384Sjkim	&cmp	("edi",&DWP(8,"esp"));		# are we done yet?
555238384Sjkim	&jb	(&label("loop_x86"));
556238384Sjkim
557238384Sjkim	&mov	("esp",&DWP(12,"esp"));		# restore sp
558238384Sjkim&function_end_A();
559238384Sjkim
560238384Sjkim&set_label("K512",64);	# Yes! I keep it in the code segment!
561238384Sjkim	&data_word(0xd728ae22,0x428a2f98);	# u64
562238384Sjkim	&data_word(0x23ef65cd,0x71374491);	# u64
563238384Sjkim	&data_word(0xec4d3b2f,0xb5c0fbcf);	# u64
564238384Sjkim	&data_word(0x8189dbbc,0xe9b5dba5);	# u64
565238384Sjkim	&data_word(0xf348b538,0x3956c25b);	# u64
566238384Sjkim	&data_word(0xb605d019,0x59f111f1);	# u64
567238384Sjkim	&data_word(0xaf194f9b,0x923f82a4);	# u64
568238384Sjkim	&data_word(0xda6d8118,0xab1c5ed5);	# u64
569238384Sjkim	&data_word(0xa3030242,0xd807aa98);	# u64
570238384Sjkim	&data_word(0x45706fbe,0x12835b01);	# u64
571238384Sjkim	&data_word(0x4ee4b28c,0x243185be);	# u64
572238384Sjkim	&data_word(0xd5ffb4e2,0x550c7dc3);	# u64
573238384Sjkim	&data_word(0xf27b896f,0x72be5d74);	# u64
574238384Sjkim	&data_word(0x3b1696b1,0x80deb1fe);	# u64
575238384Sjkim	&data_word(0x25c71235,0x9bdc06a7);	# u64
576238384Sjkim	&data_word(0xcf692694,0xc19bf174);	# u64
577238384Sjkim	&data_word(0x9ef14ad2,0xe49b69c1);	# u64
578238384Sjkim	&data_word(0x384f25e3,0xefbe4786);	# u64
579238384Sjkim	&data_word(0x8b8cd5b5,0x0fc19dc6);	# u64
580238384Sjkim	&data_word(0x77ac9c65,0x240ca1cc);	# u64
581238384Sjkim	&data_word(0x592b0275,0x2de92c6f);	# u64
582238384Sjkim	&data_word(0x6ea6e483,0x4a7484aa);	# u64
583238384Sjkim	&data_word(0xbd41fbd4,0x5cb0a9dc);	# u64
584238384Sjkim	&data_word(0x831153b5,0x76f988da);	# u64
585238384Sjkim	&data_word(0xee66dfab,0x983e5152);	# u64
586238384Sjkim	&data_word(0x2db43210,0xa831c66d);	# u64
587238384Sjkim	&data_word(0x98fb213f,0xb00327c8);	# u64
588238384Sjkim	&data_word(0xbeef0ee4,0xbf597fc7);	# u64
589238384Sjkim	&data_word(0x3da88fc2,0xc6e00bf3);	# u64
590238384Sjkim	&data_word(0x930aa725,0xd5a79147);	# u64
591238384Sjkim	&data_word(0xe003826f,0x06ca6351);	# u64
592238384Sjkim	&data_word(0x0a0e6e70,0x14292967);	# u64
593238384Sjkim	&data_word(0x46d22ffc,0x27b70a85);	# u64
594238384Sjkim	&data_word(0x5c26c926,0x2e1b2138);	# u64
595238384Sjkim	&data_word(0x5ac42aed,0x4d2c6dfc);	# u64
596238384Sjkim	&data_word(0x9d95b3df,0x53380d13);	# u64
597238384Sjkim	&data_word(0x8baf63de,0x650a7354);	# u64
598238384Sjkim	&data_word(0x3c77b2a8,0x766a0abb);	# u64
599238384Sjkim	&data_word(0x47edaee6,0x81c2c92e);	# u64
600238384Sjkim	&data_word(0x1482353b,0x92722c85);	# u64
601238384Sjkim	&data_word(0x4cf10364,0xa2bfe8a1);	# u64
602238384Sjkim	&data_word(0xbc423001,0xa81a664b);	# u64
603238384Sjkim	&data_word(0xd0f89791,0xc24b8b70);	# u64
604238384Sjkim	&data_word(0x0654be30,0xc76c51a3);	# u64
605238384Sjkim	&data_word(0xd6ef5218,0xd192e819);	# u64
606238384Sjkim	&data_word(0x5565a910,0xd6990624);	# u64
607238384Sjkim	&data_word(0x5771202a,0xf40e3585);	# u64
608238384Sjkim	&data_word(0x32bbd1b8,0x106aa070);	# u64
609238384Sjkim	&data_word(0xb8d2d0c8,0x19a4c116);	# u64
610238384Sjkim	&data_word(0x5141ab53,0x1e376c08);	# u64
611238384Sjkim	&data_word(0xdf8eeb99,0x2748774c);	# u64
612238384Sjkim	&data_word(0xe19b48a8,0x34b0bcb5);	# u64
613238384Sjkim	&data_word(0xc5c95a63,0x391c0cb3);	# u64
614238384Sjkim	&data_word(0xe3418acb,0x4ed8aa4a);	# u64
615238384Sjkim	&data_word(0x7763e373,0x5b9cca4f);	# u64
616238384Sjkim	&data_word(0xd6b2b8a3,0x682e6ff3);	# u64
617238384Sjkim	&data_word(0x5defb2fc,0x748f82ee);	# u64
618238384Sjkim	&data_word(0x43172f60,0x78a5636f);	# u64
619238384Sjkim	&data_word(0xa1f0ab72,0x84c87814);	# u64
620238384Sjkim	&data_word(0x1a6439ec,0x8cc70208);	# u64
621238384Sjkim	&data_word(0x23631e28,0x90befffa);	# u64
622238384Sjkim	&data_word(0xde82bde9,0xa4506ceb);	# u64
623238384Sjkim	&data_word(0xb2c67915,0xbef9a3f7);	# u64
624238384Sjkim	&data_word(0xe372532b,0xc67178f2);	# u64
625238384Sjkim	&data_word(0xea26619c,0xca273ece);	# u64
626238384Sjkim	&data_word(0x21c0c207,0xd186b8c7);	# u64
627238384Sjkim	&data_word(0xcde0eb1e,0xeada7dd6);	# u64
628238384Sjkim	&data_word(0xee6ed178,0xf57d4f7f);	# u64
629238384Sjkim	&data_word(0x72176fba,0x06f067aa);	# u64
630238384Sjkim	&data_word(0xa2c898a6,0x0a637dc5);	# u64
631238384Sjkim	&data_word(0xbef90dae,0x113f9804);	# u64
632238384Sjkim	&data_word(0x131c471b,0x1b710b35);	# u64
633238384Sjkim	&data_word(0x23047d84,0x28db77f5);	# u64
634238384Sjkim	&data_word(0x40c72493,0x32caab7b);	# u64
635238384Sjkim	&data_word(0x15c9bebc,0x3c9ebe0a);	# u64
636238384Sjkim	&data_word(0x9c100d4c,0x431d67c4);	# u64
637238384Sjkim	&data_word(0xcb3e42b6,0x4cc5d4be);	# u64
638238384Sjkim	&data_word(0xfc657e2a,0x597f299c);	# u64
639238384Sjkim	&data_word(0x3ad6faec,0x5fcb6fab);	# u64
640238384Sjkim	&data_word(0x4a475817,0x6c44198c);	# u64
641238384Sjkim&function_end_B("sha512_block_data_order");
642238384Sjkim&asciz("SHA512 block transform for x86, CRYPTOGAMS by <appro\@openssl.org>");
643238384Sjkim
644238384Sjkim&asm_finish();
645