blob: 51c4f47ecbdc215d6457c8d3c1ac3d16e9db9733 [file] [log] [blame]
Alexandre Savard1b09e312012-08-07 20:33:29 -04001#!/usr/bin/env perl
2#
3# ====================================================================
4# Written by Andy Polyakov <appro@fy.chalmers.se> for the OpenSSL
5# project. The module is, however, dual licensed under OpenSSL and
6# CRYPTOGAMS licenses depending on where you obtain it. For further
7# details see http://www.openssl.org/~appro/cryptogams/.
8# ====================================================================
9#
10# Eternal question is what's wrong with compiler generated code? The
11# trick is that it's possible to reduce the number of shifts required
12# to perform rotations by maintaining copy of 32-bit value in upper
13# bits of 64-bit register. Just follow mux2 and shrp instructions...
14# Performance under big-endian OS such as HP-UX is 179MBps*1GHz, which
15# is >50% better than HP C and >2x better than gcc.
16
17$code=<<___;
Alexandre Savard75410672012-08-08 09:50:01 -040018.ident \"sha1-ia64.s, version 1.2\"
Alexandre Savard1b09e312012-08-07 20:33:29 -040019.ident \"IA-64 ISA artwork by Andy Polyakov <appro\@fy.chalmers.se>\"
20.explicit
21
22___
23
24
25if ($^O eq "hpux") {
26 $ADDP="addp4";
27 for (@ARGV) { $ADDP="add" if (/[\+DD|\-mlp]64/); }
28} else { $ADDP="add"; }
Alexandre Savard75410672012-08-08 09:50:01 -040029for (@ARGV) { $big_endian=1 if (/\-DB_ENDIAN/);
30 $big_endian=0 if (/\-DL_ENDIAN/); }
31if (!defined($big_endian))
32 { $big_endian=(unpack('L',pack('N',1))==1); }
Alexandre Savard1b09e312012-08-07 20:33:29 -040033
34#$human=1;
35if ($human) { # useful for visual code auditing...
Alexandre Savard75410672012-08-08 09:50:01 -040036 ($A,$B,$C,$D,$E,$T) = ("A","B","C","D","E","T");
Alexandre Savard1b09e312012-08-07 20:33:29 -040037 ($h0,$h1,$h2,$h3,$h4) = ("h0","h1","h2","h3","h4");
38 ($K_00_19, $K_20_39, $K_40_59, $K_60_79) =
39 ( "K_00_19","K_20_39","K_40_59","K_60_79" );
40 @X= ( "X0", "X1", "X2", "X3", "X4", "X5", "X6", "X7",
41 "X8", "X9","X10","X11","X12","X13","X14","X15" );
42}
43else {
Alexandre Savard75410672012-08-08 09:50:01 -040044 ($A,$B,$C,$D,$E,$T) = ("loc0","loc1","loc2","loc3","loc4","loc5");
45 ($h0,$h1,$h2,$h3,$h4) = ("loc6","loc7","loc8","loc9","loc10");
Alexandre Savard1b09e312012-08-07 20:33:29 -040046 ($K_00_19, $K_20_39, $K_40_59, $K_60_79) =
Alexandre Savard75410672012-08-08 09:50:01 -040047 ( "r14", "r15", "loc11", "loc12" );
Alexandre Savard1b09e312012-08-07 20:33:29 -040048 @X= ( "r16", "r17", "r18", "r19", "r20", "r21", "r22", "r23",
49 "r24", "r25", "r26", "r27", "r28", "r29", "r30", "r31" );
50}
51
52sub BODY_00_15 {
53local *code=shift;
Alexandre Savard75410672012-08-08 09:50:01 -040054local ($i,$a,$b,$c,$d,$e,$f)=@_;
Alexandre Savard1b09e312012-08-07 20:33:29 -040055
56$code.=<<___ if ($i==0);
Alexandre Savard75410672012-08-08 09:50:01 -040057{ .mmi; ld1 $X[$i&0xf]=[inp],2 // MSB
Alexandre Savard1b09e312012-08-07 20:33:29 -040058 ld1 tmp2=[tmp3],2 };;
59{ .mmi; ld1 tmp0=[inp],2
60 ld1 tmp4=[tmp3],2 // LSB
Alexandre Savard75410672012-08-08 09:50:01 -040061 dep $X[$i&0xf]=$X[$i&0xf],tmp2,8,8 };;
Alexandre Savard1b09e312012-08-07 20:33:29 -040062___
63if ($i<15) {
64 $code.=<<___;
Alexandre Savard75410672012-08-08 09:50:01 -040065{ .mmi; ld1 $X[($i+1)&0xf]=[inp],2 // +1
Alexandre Savard1b09e312012-08-07 20:33:29 -040066 dep tmp1=tmp0,tmp4,8,8 };;
Alexandre Savard75410672012-08-08 09:50:01 -040067{ .mmi; ld1 tmp2=[tmp3],2 // +1
Alexandre Savard1b09e312012-08-07 20:33:29 -040068 and tmp4=$c,$b
Alexandre Savard75410672012-08-08 09:50:01 -040069 dep $X[$i&0xf]=$X[$i&0xf],tmp1,16,16 } //;;
70{ .mmi; andcm tmp1=$d,$b
71 add tmp0=$e,$K_00_19
Alexandre Savard1b09e312012-08-07 20:33:29 -040072 dep.z tmp5=$a,5,27 };; // a<<5
Alexandre Savard75410672012-08-08 09:50:01 -040073{ .mmi; or tmp4=tmp4,tmp1 // F_00_19(b,c,d)=(b&c)|(~b&d)
74 add $f=tmp0,$X[$i&0xf] // f=xi+e+K_00_19
Alexandre Savard1b09e312012-08-07 20:33:29 -040075 extr.u tmp1=$a,27,5 };; // a>>27
Alexandre Savard75410672012-08-08 09:50:01 -040076{ .mmi; ld1 tmp0=[inp],2 // +1
77 add $f=$f,tmp4 // f+=F_00_19(b,c,d)
Alexandre Savard1b09e312012-08-07 20:33:29 -040078 shrp $b=tmp6,tmp6,2 } // b=ROTATE(b,30)
Alexandre Savard75410672012-08-08 09:50:01 -040079{ .mmi; ld1 tmp4=[tmp3],2 // +1
Alexandre Savard1b09e312012-08-07 20:33:29 -040080 or tmp5=tmp1,tmp5 // ROTATE(a,5)
81 mux2 tmp6=$a,0x44 };; // see b in next iteration
Alexandre Savard75410672012-08-08 09:50:01 -040082{ .mii; add $f=$f,tmp5 // f+=ROTATE(a,5)
83 dep $X[($i+1)&0xf]=$X[($i+1)&0xf],tmp2,8,8 // +1
84 mux2 $X[$i&0xf]=$X[$i&0xf],0x44 } //;;
Alexandre Savard1b09e312012-08-07 20:33:29 -040085
86___
87 }
88else {
89 $code.=<<___;
90{ .mii; and tmp3=$c,$b
91 dep tmp1=tmp0,tmp4,8,8;;
Alexandre Savard75410672012-08-08 09:50:01 -040092 dep $X[$i&0xf]=$X[$i&0xf],tmp1,16,16 } //;;
93{ .mmi; andcm tmp1=$d,$b
94 add tmp0=$e,$K_00_19
Alexandre Savard1b09e312012-08-07 20:33:29 -040095 dep.z tmp5=$a,5,27 };; // a<<5
Alexandre Savard75410672012-08-08 09:50:01 -040096{ .mmi; or tmp4=tmp3,tmp1 // F_00_19(b,c,d)=(b&c)|(~b&d)
97 add $f=tmp0,$X[$i&0xf] // f=xi+e+K_00_19
Alexandre Savard1b09e312012-08-07 20:33:29 -040098 extr.u tmp1=$a,27,5 } // a>>27
Alexandre Savard75410672012-08-08 09:50:01 -040099{ .mmi; xor tmp2=$X[($i+0+1)&0xf],$X[($i+2+1)&0xf] // +1
100 xor tmp3=$X[($i+8+1)&0xf],$X[($i+13+1)&0xf] // +1
Alexandre Savard1b09e312012-08-07 20:33:29 -0400101 nop.i 0 };;
Alexandre Savard75410672012-08-08 09:50:01 -0400102{ .mmi; add $f=$f,tmp4 // f+=F_00_19(b,c,d)
103 xor tmp2=tmp2,tmp3 // +1
Alexandre Savard1b09e312012-08-07 20:33:29 -0400104 shrp $b=tmp6,tmp6,2 } // b=ROTATE(b,30)
105{ .mmi; or tmp1=tmp1,tmp5 // ROTATE(a,5)
106 mux2 tmp6=$a,0x44 };; // see b in next iteration
Alexandre Savard75410672012-08-08 09:50:01 -0400107{ .mii; add $f=$f,tmp1 // f+=ROTATE(a,5)
108 shrp $e=tmp2,tmp2,31 // f+1=ROTATE(x[0]^x[2]^x[8]^x[13],1)
109 mux2 $X[$i&0xf]=$X[$i&0xf],0x44 };;
Alexandre Savard1b09e312012-08-07 20:33:29 -0400110
111___
112 }
113}
114
115sub BODY_16_19 {
116local *code=shift;
Alexandre Savard75410672012-08-08 09:50:01 -0400117local ($i,$a,$b,$c,$d,$e,$f)=@_;
Alexandre Savard1b09e312012-08-07 20:33:29 -0400118
119$code.=<<___;
Alexandre Savard75410672012-08-08 09:50:01 -0400120{ .mmi; mov $X[$i&0xf]=$f // Xupdate
121 and tmp0=$c,$b
Alexandre Savard1b09e312012-08-07 20:33:29 -0400122 dep.z tmp5=$a,5,27 } // a<<5
Alexandre Savard75410672012-08-08 09:50:01 -0400123{ .mmi; andcm tmp1=$d,$b
124 add tmp4=$e,$K_00_19 };;
125{ .mmi; or tmp0=tmp0,tmp1 // F_00_19(b,c,d)=(b&c)|(~b&d)
126 add $f=$f,tmp4 // f+=e+K_00_19
Alexandre Savard1b09e312012-08-07 20:33:29 -0400127 extr.u tmp1=$a,27,5 } // a>>27
Alexandre Savard75410672012-08-08 09:50:01 -0400128{ .mmi; xor tmp2=$X[($i+0+1)&0xf],$X[($i+2+1)&0xf] // +1
129 xor tmp3=$X[($i+8+1)&0xf],$X[($i+13+1)&0xf] // +1
Alexandre Savard1b09e312012-08-07 20:33:29 -0400130 nop.i 0 };;
Alexandre Savard75410672012-08-08 09:50:01 -0400131{ .mmi; add $f=$f,tmp0 // f+=F_00_19(b,c,d)
132 xor tmp2=tmp2,tmp3 // +1
Alexandre Savard1b09e312012-08-07 20:33:29 -0400133 shrp $b=tmp6,tmp6,2 } // b=ROTATE(b,30)
134{ .mmi; or tmp1=tmp1,tmp5 // ROTATE(a,5)
135 mux2 tmp6=$a,0x44 };; // see b in next iteration
Alexandre Savard75410672012-08-08 09:50:01 -0400136{ .mii; add $f=$f,tmp1 // f+=ROTATE(a,5)
137 shrp $e=tmp2,tmp2,31 // f+1=ROTATE(x[0]^x[2]^x[8]^x[13],1)
Alexandre Savard1b09e312012-08-07 20:33:29 -0400138 nop.i 0 };;
139
140___
141}
142
143sub BODY_20_39 {
144local *code=shift;
Alexandre Savard75410672012-08-08 09:50:01 -0400145local ($i,$a,$b,$c,$d,$e,$f,$Konst)=@_;
Alexandre Savard1b09e312012-08-07 20:33:29 -0400146 $Konst = $K_20_39 if (!defined($Konst));
Alexandre Savard1b09e312012-08-07 20:33:29 -0400147
148if ($i<79) {
149$code.=<<___;
Alexandre Savard75410672012-08-08 09:50:01 -0400150{ .mib; mov $X[$i&0xf]=$f // Xupdate
Alexandre Savard1b09e312012-08-07 20:33:29 -0400151 dep.z tmp5=$a,5,27 } // a<<5
152{ .mib; xor tmp0=$c,$b
Alexandre Savard75410672012-08-08 09:50:01 -0400153 add tmp4=$e,$Konst };;
154{ .mmi; xor tmp0=tmp0,$d // F_20_39(b,c,d)=b^c^d
155 add $f=$f,tmp4 // f+=e+K_20_39
Alexandre Savard1b09e312012-08-07 20:33:29 -0400156 extr.u tmp1=$a,27,5 } // a>>27
Alexandre Savard75410672012-08-08 09:50:01 -0400157{ .mmi; xor tmp2=$X[($i+0+1)&0xf],$X[($i+2+1)&0xf] // +1
158 xor tmp3=$X[($i+8+1)&0xf],$X[($i+13+1)&0xf] // +1
159 nop.i 0 };;
160{ .mmi; add $f=$f,tmp0 // f+=F_20_39(b,c,d)
161 xor tmp2=tmp2,tmp3 // +1
Alexandre Savard1b09e312012-08-07 20:33:29 -0400162 shrp $b=tmp6,tmp6,2 } // b=ROTATE(b,30)
163{ .mmi; or tmp1=tmp1,tmp5 // ROTATE(a,5)
164 mux2 tmp6=$a,0x44 };; // see b in next iteration
Alexandre Savard75410672012-08-08 09:50:01 -0400165{ .mii; add $f=$f,tmp1 // f+=ROTATE(a,5)
166 shrp $e=tmp2,tmp2,31 // f+1=ROTATE(x[0]^x[2]^x[8]^x[13],1)
Alexandre Savard1b09e312012-08-07 20:33:29 -0400167 nop.i 0 };;
168
169___
170}
171else {
172$code.=<<___;
Alexandre Savard75410672012-08-08 09:50:01 -0400173{ .mib; mov $X[$i&0xf]=$f // Xupdate
Alexandre Savard1b09e312012-08-07 20:33:29 -0400174 dep.z tmp5=$a,5,27 } // a<<5
175{ .mib; xor tmp0=$c,$b
Alexandre Savard75410672012-08-08 09:50:01 -0400176 add tmp4=$e,$Konst };;
Alexandre Savard1b09e312012-08-07 20:33:29 -0400177{ .mib; xor tmp0=tmp0,$d // F_20_39(b,c,d)=b^c^d
Alexandre Savard75410672012-08-08 09:50:01 -0400178 extr.u tmp1=$a,27,5 } // a>>27
179{ .mib; add $f=$f,tmp4 // f+=e+K_20_39
180 add $h1=$h1,$a };; // wrap up
181{ .mmi; add $f=$f,tmp0 // f+=F_20_39(b,c,d)
182 shrp $b=tmp6,tmp6,2 } // b=ROTATE(b,30) ;;?
183{ .mmi; or tmp1=tmp1,tmp5 // ROTATE(a,5)
Alexandre Savard1b09e312012-08-07 20:33:29 -0400184 add $h3=$h3,$c };; // wrap up
Alexandre Savard75410672012-08-08 09:50:01 -0400185{ .mib; add tmp3=1,inp // used in unaligned codepath
186 add $f=$f,tmp1 } // f+=ROTATE(a,5)
187{ .mib; add $h2=$h2,$b // wrap up
Alexandre Savard1b09e312012-08-07 20:33:29 -0400188 add $h4=$h4,$d };; // wrap up
189
190___
191}
192}
193
194sub BODY_40_59 {
195local *code=shift;
Alexandre Savard75410672012-08-08 09:50:01 -0400196local ($i,$a,$b,$c,$d,$e,$f)=@_;
Alexandre Savard1b09e312012-08-07 20:33:29 -0400197
198$code.=<<___;
Alexandre Savard75410672012-08-08 09:50:01 -0400199{ .mmi; mov $X[$i&0xf]=$f // Xupdate
200 and tmp0=$c,$b
Alexandre Savard1b09e312012-08-07 20:33:29 -0400201 dep.z tmp5=$a,5,27 } // a<<5
Alexandre Savard75410672012-08-08 09:50:01 -0400202{ .mmi; and tmp1=$d,$b
203 add tmp4=$e,$K_40_59 };;
204{ .mmi; or tmp0=tmp0,tmp1 // (b&c)|(b&d)
205 add $f=$f,tmp4 // f+=e+K_40_59
Alexandre Savard1b09e312012-08-07 20:33:29 -0400206 extr.u tmp1=$a,27,5 } // a>>27
Alexandre Savard75410672012-08-08 09:50:01 -0400207{ .mmi; and tmp4=$c,$d
208 xor tmp2=$X[($i+0+1)&0xf],$X[($i+2+1)&0xf] // +1
209 xor tmp3=$X[($i+8+1)&0xf],$X[($i+13+1)&0xf] // +1
210 };;
211{ .mmi; or tmp1=tmp1,tmp5 // ROTATE(a,5)
212 xor tmp2=tmp2,tmp3 // +1
Alexandre Savard1b09e312012-08-07 20:33:29 -0400213 shrp $b=tmp6,tmp6,2 } // b=ROTATE(b,30)
Alexandre Savard75410672012-08-08 09:50:01 -0400214{ .mmi; or tmp0=tmp0,tmp4 // F_40_59(b,c,d)=(b&c)|(b&d)|(c&d)
Alexandre Savard1b09e312012-08-07 20:33:29 -0400215 mux2 tmp6=$a,0x44 };; // see b in next iteration
Alexandre Savard75410672012-08-08 09:50:01 -0400216{ .mii; add $f=$f,tmp0 // f+=F_40_59(b,c,d)
217 shrp $e=tmp2,tmp2,31;; // f+1=ROTATE(x[0]^x[2]^x[8]^x[13],1)
218 add $f=$f,tmp1 };; // f+=ROTATE(a,5)
Alexandre Savard1b09e312012-08-07 20:33:29 -0400219
220___
221}
222sub BODY_60_79 { &BODY_20_39(@_,$K_60_79); }
223
224$code.=<<___;
225.text
226
227tmp0=r8;
228tmp1=r9;
229tmp2=r10;
230tmp3=r11;
231ctx=r32; // in0
232inp=r33; // in1
233
234// void sha1_block_data_order(SHA_CTX *c,const void *p,size_t num);
235.global sha1_block_data_order#
236.proc sha1_block_data_order#
237.align 32
238sha1_block_data_order:
239 .prologue
Alexandre Savard75410672012-08-08 09:50:01 -0400240{ .mmi; alloc tmp1=ar.pfs,3,15,0,0
Alexandre Savard1b09e312012-08-07 20:33:29 -0400241 $ADDP tmp0=4,ctx
242 .save ar.lc,r3
243 mov r3=ar.lc }
244{ .mmi; $ADDP ctx=0,ctx
245 $ADDP inp=0,inp
246 mov r2=pr };;
247tmp4=in2;
Alexandre Savard75410672012-08-08 09:50:01 -0400248tmp5=loc13;
249tmp6=loc14;
Alexandre Savard1b09e312012-08-07 20:33:29 -0400250 .body
251{ .mlx; ld4 $h0=[ctx],8
252 movl $K_00_19=0x5a827999 }
253{ .mlx; ld4 $h1=[tmp0],8
254 movl $K_20_39=0x6ed9eba1 };;
255{ .mlx; ld4 $h2=[ctx],8
256 movl $K_40_59=0x8f1bbcdc }
257{ .mlx; ld4 $h3=[tmp0]
258 movl $K_60_79=0xca62c1d6 };;
259{ .mmi; ld4 $h4=[ctx],-16
260 add in2=-1,in2 // adjust num for ar.lc
261 mov ar.ec=1 };;
262{ .mmi; nop.m 0
263 add tmp3=1,inp
264 mov ar.lc=in2 };; // brp.loop.imp: too far
265
266.Ldtop:
267{ .mmi; mov $A=$h0
268 mov $B=$h1
269 mux2 tmp6=$h1,0x44 }
270{ .mmi; mov $C=$h2
271 mov $D=$h3
272 mov $E=$h4 };;
273
274___
275
Alexandre Savard75410672012-08-08 09:50:01 -0400276{ my $i,@V=($A,$B,$C,$D,$E,$T);
Alexandre Savard1b09e312012-08-07 20:33:29 -0400277
278 for($i=0;$i<16;$i++) { &BODY_00_15(\$code,$i,@V); unshift(@V,pop(@V)); }
279 for(;$i<20;$i++) { &BODY_16_19(\$code,$i,@V); unshift(@V,pop(@V)); }
280 for(;$i<40;$i++) { &BODY_20_39(\$code,$i,@V); unshift(@V,pop(@V)); }
281 for(;$i<60;$i++) { &BODY_40_59(\$code,$i,@V); unshift(@V,pop(@V)); }
282 for(;$i<80;$i++) { &BODY_60_79(\$code,$i,@V); unshift(@V,pop(@V)); }
283
Alexandre Savard75410672012-08-08 09:50:01 -0400284 (($V[5] eq $D) and ($V[0] eq $E)) or die; # double-check
Alexandre Savard1b09e312012-08-07 20:33:29 -0400285}
286
287$code.=<<___;
Alexandre Savard75410672012-08-08 09:50:01 -0400288{ .mmb; add $h0=$h0,$E
289 nop.m 0
Alexandre Savard1b09e312012-08-07 20:33:29 -0400290 br.ctop.dptk.many .Ldtop };;
291.Ldend:
292{ .mmi; add tmp0=4,ctx
293 mov ar.lc=r3 };;
294{ .mmi; st4 [ctx]=$h0,8
295 st4 [tmp0]=$h1,8 };;
296{ .mmi; st4 [ctx]=$h2,8
297 st4 [tmp0]=$h3 };;
298{ .mib; st4 [ctx]=$h4,-16
299 mov pr=r2,0x1ffff
300 br.ret.sptk.many b0 };;
301.endp sha1_block_data_order#
302stringz "SHA1 block transform for IA64, CRYPTOGAMS by <appro\@openssl.org>"
303___
304
305$output=shift and open STDOUT,">$output";
306print $code;