| #!/usr/bin/env perl |
| |
| # ==================================================================== |
| # Written by Andy Polyakov <appro@openssl.org> for the OpenSSL |
| # project. The module is, however, dual licensed under OpenSSL and |
| # CRYPTOGAMS licenses depending on where you obtain it. For further |
| # details see http://www.openssl.org/~appro/cryptogams/. |
| # ==================================================================== |
| |
| # January 2007. |
| |
| # Montgomery multiplication for ARMv4. |
| # |
| # Performance improvement naturally varies among CPU implementations |
| # and compilers. The code was observed to provide +65-35% improvement |
| # [depending on key length, less for longer keys] on ARM920T, and |
| # +115-80% on Intel IXP425. This is compared to pre-bn_mul_mont code |
| # base and compiler generated code with in-lined umull and even umlal |
| # instructions. The latter means that this code didn't really have an |
| # "advantage" of utilizing some "secret" instruction. |
| # |
| # The code is interoperable with Thumb ISA and is rather compact, less |
| # than 1/2KB. Windows CE port would be trivial, as it's exclusively |
| # about decorations, ABI and instruction syntax are identical. |
| |
| # November 2013 |
| # |
| # Add NEON code path, which handles lengths divisible by 8. RSA/DSA |
| # performance improvement on Cortex-A8 is ~45-100% depending on key |
| # length, more for longer keys. On Cortex-A15 the span is ~10-105%. |
| # On Snapdragon S4 improvement was measured to vary from ~70% to |
| # incredible ~380%, yes, 4.8x faster, for RSA4096 sign. But this is |
| # rather because original integer-only code seems to perform |
| # suboptimally on S4. Situation on Cortex-A9 is unfortunately |
| # different. It's being looked into, but the trouble is that |
| # performance for vectors longer than 256 bits is actually couple |
| # of percent worse than for integer-only code. The code is chosen |
| # for execution on all NEON-capable processors, because gain on |
| # others outweighs the marginal loss on Cortex-A9. |
| |
| while (($output=shift) && ($output!~/^\w[\w\-]*\.\w+$/)) {} |
| open STDOUT,">$output"; |
| |
| $num="r0"; # starts as num argument, but holds &tp[num-1] |
| $ap="r1"; |
| $bp="r2"; $bi="r2"; $rp="r2"; |
| $np="r3"; |
| $tp="r4"; |
| $aj="r5"; |
| $nj="r6"; |
| $tj="r7"; |
| $n0="r8"; |
| ########### # r9 is reserved by ELF as platform specific, e.g. TLS pointer |
| $alo="r10"; # sl, gcc uses it to keep @GOT |
| $ahi="r11"; # fp |
| $nlo="r12"; # ip |
| ########### # r13 is stack pointer |
| $nhi="r14"; # lr |
| ########### # r15 is program counter |
| |
| #### argument block layout relative to &tp[num-1], a.k.a. $num |
| $_rp="$num,#12*4"; |
| # ap permanently resides in r1 |
| $_bp="$num,#13*4"; |
| # np permanently resides in r3 |
| $_n0="$num,#14*4"; |
| $_num="$num,#15*4"; $_bpend=$_num; |
| |
| $code=<<___; |
| #include "arm_arch.h" |
| |
| .text |
| .code 32 |
| |
| #if __ARM_ARCH__>=7 |
| .align 5 |
| .LOPENSSL_armcap: |
| .word OPENSSL_armcap_P-bn_mul_mont |
| #endif |
| |
| .global bn_mul_mont |
| .hidden bn_mul_mont |
| .type bn_mul_mont,%function |
| |
| .align 5 |
| bn_mul_mont: |
| ldr ip,[sp,#4] @ load num |
| stmdb sp!,{r0,r2} @ sp points at argument block |
| #if __ARM_ARCH__>=7 |
| tst ip,#7 |
| bne .Lialu |
| adr r0,bn_mul_mont |
| ldr r2,.LOPENSSL_armcap |
| ldr r0,[r0,r2] |
| tst r0,#1 @ NEON available? |
| ldmia sp, {r0,r2} |
| beq .Lialu |
| add sp,sp,#8 |
| b bn_mul8x_mont_neon |
| .align 4 |
| .Lialu: |
| #endif |
| cmp ip,#2 |
| mov $num,ip @ load num |
| movlt r0,#0 |
| addlt sp,sp,#2*4 |
| blt .Labrt |
| |
| stmdb sp!,{r4-r12,lr} @ save 10 registers |
| |
| mov $num,$num,lsl#2 @ rescale $num for byte count |
| sub sp,sp,$num @ alloca(4*num) |
| sub sp,sp,#4 @ +extra dword |
| sub $num,$num,#4 @ "num=num-1" |
| add $tp,$bp,$num @ &bp[num-1] |
| |
| add $num,sp,$num @ $num to point at &tp[num-1] |
| ldr $n0,[$_n0] @ &n0 |
| ldr $bi,[$bp] @ bp[0] |
| ldr $aj,[$ap],#4 @ ap[0],ap++ |
| ldr $nj,[$np],#4 @ np[0],np++ |
| ldr $n0,[$n0] @ *n0 |
| str $tp,[$_bpend] @ save &bp[num] |
| |
| umull $alo,$ahi,$aj,$bi @ ap[0]*bp[0] |
| str $n0,[$_n0] @ save n0 value |
| mul $n0,$alo,$n0 @ "tp[0]"*n0 |
| mov $nlo,#0 |
| umlal $alo,$nlo,$nj,$n0 @ np[0]*n0+"t[0]" |
| mov $tp,sp |
| |
| .L1st: |
| ldr $aj,[$ap],#4 @ ap[j],ap++ |
| mov $alo,$ahi |
| ldr $nj,[$np],#4 @ np[j],np++ |
| mov $ahi,#0 |
| umlal $alo,$ahi,$aj,$bi @ ap[j]*bp[0] |
| mov $nhi,#0 |
| umlal $nlo,$nhi,$nj,$n0 @ np[j]*n0 |
| adds $nlo,$nlo,$alo |
| str $nlo,[$tp],#4 @ tp[j-1]=,tp++ |
| adc $nlo,$nhi,#0 |
| cmp $tp,$num |
| bne .L1st |
| |
| adds $nlo,$nlo,$ahi |
| ldr $tp,[$_bp] @ restore bp |
| mov $nhi,#0 |
| ldr $n0,[$_n0] @ restore n0 |
| adc $nhi,$nhi,#0 |
| str $nlo,[$num] @ tp[num-1]= |
| str $nhi,[$num,#4] @ tp[num]= |
| |
| .Louter: |
| sub $tj,$num,sp @ "original" $num-1 value |
| sub $ap,$ap,$tj @ "rewind" ap to &ap[1] |
| ldr $bi,[$tp,#4]! @ *(++bp) |
| sub $np,$np,$tj @ "rewind" np to &np[1] |
| ldr $aj,[$ap,#-4] @ ap[0] |
| ldr $alo,[sp] @ tp[0] |
| ldr $nj,[$np,#-4] @ np[0] |
| ldr $tj,[sp,#4] @ tp[1] |
| |
| mov $ahi,#0 |
| umlal $alo,$ahi,$aj,$bi @ ap[0]*bp[i]+tp[0] |
| str $tp,[$_bp] @ save bp |
| mul $n0,$alo,$n0 |
| mov $nlo,#0 |
| umlal $alo,$nlo,$nj,$n0 @ np[0]*n0+"tp[0]" |
| mov $tp,sp |
| |
| .Linner: |
| ldr $aj,[$ap],#4 @ ap[j],ap++ |
| adds $alo,$ahi,$tj @ +=tp[j] |
| ldr $nj,[$np],#4 @ np[j],np++ |
| mov $ahi,#0 |
| umlal $alo,$ahi,$aj,$bi @ ap[j]*bp[i] |
| mov $nhi,#0 |
| umlal $nlo,$nhi,$nj,$n0 @ np[j]*n0 |
| adc $ahi,$ahi,#0 |
| ldr $tj,[$tp,#8] @ tp[j+1] |
| adds $nlo,$nlo,$alo |
| str $nlo,[$tp],#4 @ tp[j-1]=,tp++ |
| adc $nlo,$nhi,#0 |
| cmp $tp,$num |
| bne .Linner |
| |
| adds $nlo,$nlo,$ahi |
| mov $nhi,#0 |
| ldr $tp,[$_bp] @ restore bp |
| adc $nhi,$nhi,#0 |
| ldr $n0,[$_n0] @ restore n0 |
| adds $nlo,$nlo,$tj |
| ldr $tj,[$_bpend] @ restore &bp[num] |
| adc $nhi,$nhi,#0 |
| str $nlo,[$num] @ tp[num-1]= |
| str $nhi,[$num,#4] @ tp[num]= |
| |
| cmp $tp,$tj |
| bne .Louter |
| |
| ldr $rp,[$_rp] @ pull rp |
| add $num,$num,#4 @ $num to point at &tp[num] |
| sub $aj,$num,sp @ "original" num value |
| mov $tp,sp @ "rewind" $tp |
| mov $ap,$tp @ "borrow" $ap |
| sub $np,$np,$aj @ "rewind" $np to &np[0] |
| |
| subs $tj,$tj,$tj @ "clear" carry flag |
| .Lsub: ldr $tj,[$tp],#4 |
| ldr $nj,[$np],#4 |
| sbcs $tj,$tj,$nj @ tp[j]-np[j] |
| str $tj,[$rp],#4 @ rp[j]= |
| teq $tp,$num @ preserve carry |
| bne .Lsub |
| sbcs $nhi,$nhi,#0 @ upmost carry |
| mov $tp,sp @ "rewind" $tp |
| sub $rp,$rp,$aj @ "rewind" $rp |
| |
| and $ap,$tp,$nhi |
| bic $np,$rp,$nhi |
| orr $ap,$ap,$np @ ap=borrow?tp:rp |
| |
| .Lcopy: ldr $tj,[$ap],#4 @ copy or in-place refresh |
| str sp,[$tp],#4 @ zap tp |
| str $tj,[$rp],#4 |
| cmp $tp,$num |
| bne .Lcopy |
| |
| add sp,$num,#4 @ skip over tp[num+1] |
| ldmia sp!,{r4-r12,lr} @ restore registers |
| add sp,sp,#2*4 @ skip over {r0,r2} |
| mov r0,#1 |
| .Labrt: tst lr,#1 |
| moveq pc,lr @ be binary compatible with V4, yet |
| bx lr @ interoperable with Thumb ISA:-) |
| .size bn_mul_mont,.-bn_mul_mont |
| ___ |
| { |
| sub Dlo() { shift=~m|q([1]?[0-9])|?"d".($1*2):""; } |
| sub Dhi() { shift=~m|q([1]?[0-9])|?"d".($1*2+1):""; } |
| |
| my ($A0,$A1,$A2,$A3)=map("d$_",(0..3)); |
| my ($N0,$N1,$N2,$N3)=map("d$_",(4..7)); |
| my ($Z,$Temp)=("q4","q5"); |
| my ($A0xB,$A1xB,$A2xB,$A3xB,$A4xB,$A5xB,$A6xB,$A7xB)=map("q$_",(6..13)); |
| my ($Bi,$Ni,$M0)=map("d$_",(28..31)); |
| my $zero=&Dlo($Z); |
| my $temp=&Dlo($Temp); |
| |
| my ($rptr,$aptr,$bptr,$nptr,$n0,$num)=map("r$_",(0..5)); |
| my ($tinptr,$toutptr,$inner,$outer)=map("r$_",(6..9)); |
| |
| $code.=<<___; |
| #if __ARM_ARCH__>=7 |
| .fpu neon |
| |
| .type bn_mul8x_mont_neon,%function |
| .align 5 |
| bn_mul8x_mont_neon: |
| mov ip,sp |
| stmdb sp!,{r4-r11} |
| vstmdb sp!,{d8-d15} @ ABI specification says so |
| ldmia ip,{r4-r5} @ load rest of parameter block |
| |
| sub $toutptr,sp,#16 |
| vld1.32 {${Bi}[0]}, [$bptr,:32]! |
| sub $toutptr,$toutptr,$num,lsl#4 |
| vld1.32 {$A0-$A3}, [$aptr]! @ can't specify :32 :-( |
| and $toutptr,$toutptr,#-64 |
| vld1.32 {${M0}[0]}, [$n0,:32] |
| mov sp,$toutptr @ alloca |
| veor $zero,$zero,$zero |
| subs $inner,$num,#8 |
| vzip.16 $Bi,$zero |
| |
| vmull.u32 $A0xB,$Bi,${A0}[0] |
| vmull.u32 $A1xB,$Bi,${A0}[1] |
| vmull.u32 $A2xB,$Bi,${A1}[0] |
| vshl.i64 $temp,`&Dhi("$A0xB")`,#16 |
| vmull.u32 $A3xB,$Bi,${A1}[1] |
| |
| vadd.u64 $temp,$temp,`&Dlo("$A0xB")` |
| veor $zero,$zero,$zero |
| vmul.u32 $Ni,$temp,$M0 |
| |
| vmull.u32 $A4xB,$Bi,${A2}[0] |
| vld1.32 {$N0-$N3}, [$nptr]! |
| vmull.u32 $A5xB,$Bi,${A2}[1] |
| vmull.u32 $A6xB,$Bi,${A3}[0] |
| vzip.16 $Ni,$zero |
| vmull.u32 $A7xB,$Bi,${A3}[1] |
| |
| bne .LNEON_1st |
| |
| @ special case for num=8, everything is in register bank... |
| |
| vmlal.u32 $A0xB,$Ni,${N0}[0] |
| sub $outer,$num,#1 |
| vmlal.u32 $A1xB,$Ni,${N0}[1] |
| vmlal.u32 $A2xB,$Ni,${N1}[0] |
| vmlal.u32 $A3xB,$Ni,${N1}[1] |
| |
| vmlal.u32 $A4xB,$Ni,${N2}[0] |
| vmov $Temp,$A0xB |
| vmlal.u32 $A5xB,$Ni,${N2}[1] |
| vmov $A0xB,$A1xB |
| vmlal.u32 $A6xB,$Ni,${N3}[0] |
| vmov $A1xB,$A2xB |
| vmlal.u32 $A7xB,$Ni,${N3}[1] |
| vmov $A2xB,$A3xB |
| vmov $A3xB,$A4xB |
| vshr.u64 $temp,$temp,#16 |
| vmov $A4xB,$A5xB |
| vmov $A5xB,$A6xB |
| vadd.u64 $temp,$temp,`&Dhi("$Temp")` |
| vmov $A6xB,$A7xB |
| veor $A7xB,$A7xB |
| vshr.u64 $temp,$temp,#16 |
| |
| b .LNEON_outer8 |
| |
| .align 4 |
| .LNEON_outer8: |
| vld1.32 {${Bi}[0]}, [$bptr,:32]! |
| veor $zero,$zero,$zero |
| vzip.16 $Bi,$zero |
| vadd.u64 `&Dlo("$A0xB")`,`&Dlo("$A0xB")`,$temp |
| |
| vmlal.u32 $A0xB,$Bi,${A0}[0] |
| vmlal.u32 $A1xB,$Bi,${A0}[1] |
| vmlal.u32 $A2xB,$Bi,${A1}[0] |
| vshl.i64 $temp,`&Dhi("$A0xB")`,#16 |
| vmlal.u32 $A3xB,$Bi,${A1}[1] |
| |
| vadd.u64 $temp,$temp,`&Dlo("$A0xB")` |
| veor $zero,$zero,$zero |
| subs $outer,$outer,#1 |
| vmul.u32 $Ni,$temp,$M0 |
| |
| vmlal.u32 $A4xB,$Bi,${A2}[0] |
| vmlal.u32 $A5xB,$Bi,${A2}[1] |
| vmlal.u32 $A6xB,$Bi,${A3}[0] |
| vzip.16 $Ni,$zero |
| vmlal.u32 $A7xB,$Bi,${A3}[1] |
| |
| vmlal.u32 $A0xB,$Ni,${N0}[0] |
| vmlal.u32 $A1xB,$Ni,${N0}[1] |
| vmlal.u32 $A2xB,$Ni,${N1}[0] |
| vmlal.u32 $A3xB,$Ni,${N1}[1] |
| |
| vmlal.u32 $A4xB,$Ni,${N2}[0] |
| vmov $Temp,$A0xB |
| vmlal.u32 $A5xB,$Ni,${N2}[1] |
| vmov $A0xB,$A1xB |
| vmlal.u32 $A6xB,$Ni,${N3}[0] |
| vmov $A1xB,$A2xB |
| vmlal.u32 $A7xB,$Ni,${N3}[1] |
| vmov $A2xB,$A3xB |
| vmov $A3xB,$A4xB |
| vshr.u64 $temp,$temp,#16 |
| vmov $A4xB,$A5xB |
| vmov $A5xB,$A6xB |
| vadd.u64 $temp,$temp,`&Dhi("$Temp")` |
| vmov $A6xB,$A7xB |
| veor $A7xB,$A7xB |
| vshr.u64 $temp,$temp,#16 |
| |
| bne .LNEON_outer8 |
| |
| vadd.u64 `&Dlo("$A0xB")`,`&Dlo("$A0xB")`,$temp |
| mov $toutptr,sp |
| vshr.u64 $temp,`&Dlo("$A0xB")`,#16 |
| mov $inner,$num |
| vadd.u64 `&Dhi("$A0xB")`,`&Dhi("$A0xB")`,$temp |
| add $tinptr,sp,#16 |
| vshr.u64 $temp,`&Dhi("$A0xB")`,#16 |
| vzip.16 `&Dlo("$A0xB")`,`&Dhi("$A0xB")` |
| |
| b .LNEON_tail2 |
| |
| .align 4 |
| .LNEON_1st: |
| vmlal.u32 $A0xB,$Ni,${N0}[0] |
| vld1.32 {$A0-$A3}, [$aptr]! |
| vmlal.u32 $A1xB,$Ni,${N0}[1] |
| subs $inner,$inner,#8 |
| vmlal.u32 $A2xB,$Ni,${N1}[0] |
| vmlal.u32 $A3xB,$Ni,${N1}[1] |
| |
| vmlal.u32 $A4xB,$Ni,${N2}[0] |
| vld1.32 {$N0-$N1}, [$nptr]! |
| vmlal.u32 $A5xB,$Ni,${N2}[1] |
| vst1.64 {$A0xB-$A1xB}, [$toutptr,:256]! |
| vmlal.u32 $A6xB,$Ni,${N3}[0] |
| vmlal.u32 $A7xB,$Ni,${N3}[1] |
| vst1.64 {$A2xB-$A3xB}, [$toutptr,:256]! |
| |
| vmull.u32 $A0xB,$Bi,${A0}[0] |
| vld1.32 {$N2-$N3}, [$nptr]! |
| vmull.u32 $A1xB,$Bi,${A0}[1] |
| vst1.64 {$A4xB-$A5xB}, [$toutptr,:256]! |
| vmull.u32 $A2xB,$Bi,${A1}[0] |
| vmull.u32 $A3xB,$Bi,${A1}[1] |
| vst1.64 {$A6xB-$A7xB}, [$toutptr,:256]! |
| |
| vmull.u32 $A4xB,$Bi,${A2}[0] |
| vmull.u32 $A5xB,$Bi,${A2}[1] |
| vmull.u32 $A6xB,$Bi,${A3}[0] |
| vmull.u32 $A7xB,$Bi,${A3}[1] |
| |
| bne .LNEON_1st |
| |
| vmlal.u32 $A0xB,$Ni,${N0}[0] |
| add $tinptr,sp,#16 |
| vmlal.u32 $A1xB,$Ni,${N0}[1] |
| sub $aptr,$aptr,$num,lsl#2 @ rewind $aptr |
| vmlal.u32 $A2xB,$Ni,${N1}[0] |
| vld1.64 {$Temp}, [sp,:128] |
| vmlal.u32 $A3xB,$Ni,${N1}[1] |
| sub $outer,$num,#1 |
| |
| vmlal.u32 $A4xB,$Ni,${N2}[0] |
| vst1.64 {$A0xB-$A1xB}, [$toutptr,:256]! |
| vmlal.u32 $A5xB,$Ni,${N2}[1] |
| vshr.u64 $temp,$temp,#16 |
| vld1.64 {$A0xB}, [$tinptr, :128]! |
| vmlal.u32 $A6xB,$Ni,${N3}[0] |
| vst1.64 {$A2xB-$A3xB}, [$toutptr,:256]! |
| vmlal.u32 $A7xB,$Ni,${N3}[1] |
| |
| vst1.64 {$A4xB-$A5xB}, [$toutptr,:256]! |
| vadd.u64 $temp,$temp,`&Dhi("$Temp")` |
| veor $Z,$Z,$Z |
| vst1.64 {$A6xB-$A7xB}, [$toutptr,:256]! |
| vld1.64 {$A1xB-$A2xB}, [$tinptr, :256]! |
| vst1.64 {$Z}, [$toutptr,:128] |
| vshr.u64 $temp,$temp,#16 |
| |
| b .LNEON_outer |
| |
| .align 4 |
| .LNEON_outer: |
| vld1.32 {${Bi}[0]}, [$bptr,:32]! |
| sub $nptr,$nptr,$num,lsl#2 @ rewind $nptr |
| vld1.32 {$A0-$A3}, [$aptr]! |
| veor $zero,$zero,$zero |
| mov $toutptr,sp |
| vzip.16 $Bi,$zero |
| sub $inner,$num,#8 |
| vadd.u64 `&Dlo("$A0xB")`,`&Dlo("$A0xB")`,$temp |
| |
| vmlal.u32 $A0xB,$Bi,${A0}[0] |
| vld1.64 {$A3xB-$A4xB},[$tinptr,:256]! |
| vmlal.u32 $A1xB,$Bi,${A0}[1] |
| vmlal.u32 $A2xB,$Bi,${A1}[0] |
| vld1.64 {$A5xB-$A6xB},[$tinptr,:256]! |
| vmlal.u32 $A3xB,$Bi,${A1}[1] |
| |
| vshl.i64 $temp,`&Dhi("$A0xB")`,#16 |
| veor $zero,$zero,$zero |
| vadd.u64 $temp,$temp,`&Dlo("$A0xB")` |
| vld1.64 {$A7xB},[$tinptr,:128]! |
| vmul.u32 $Ni,$temp,$M0 |
| |
| vmlal.u32 $A4xB,$Bi,${A2}[0] |
| vld1.32 {$N0-$N3}, [$nptr]! |
| vmlal.u32 $A5xB,$Bi,${A2}[1] |
| vmlal.u32 $A6xB,$Bi,${A3}[0] |
| vzip.16 $Ni,$zero |
| vmlal.u32 $A7xB,$Bi,${A3}[1] |
| |
| .LNEON_inner: |
| vmlal.u32 $A0xB,$Ni,${N0}[0] |
| vld1.32 {$A0-$A3}, [$aptr]! |
| vmlal.u32 $A1xB,$Ni,${N0}[1] |
| subs $inner,$inner,#8 |
| vmlal.u32 $A2xB,$Ni,${N1}[0] |
| vmlal.u32 $A3xB,$Ni,${N1}[1] |
| vst1.64 {$A0xB-$A1xB}, [$toutptr,:256]! |
| |
| vmlal.u32 $A4xB,$Ni,${N2}[0] |
| vld1.64 {$A0xB}, [$tinptr, :128]! |
| vmlal.u32 $A5xB,$Ni,${N2}[1] |
| vst1.64 {$A2xB-$A3xB}, [$toutptr,:256]! |
| vmlal.u32 $A6xB,$Ni,${N3}[0] |
| vld1.64 {$A1xB-$A2xB}, [$tinptr, :256]! |
| vmlal.u32 $A7xB,$Ni,${N3}[1] |
| vst1.64 {$A4xB-$A5xB}, [$toutptr,:256]! |
| |
| vmlal.u32 $A0xB,$Bi,${A0}[0] |
| vld1.64 {$A3xB-$A4xB}, [$tinptr, :256]! |
| vmlal.u32 $A1xB,$Bi,${A0}[1] |
| vst1.64 {$A6xB-$A7xB}, [$toutptr,:256]! |
| vmlal.u32 $A2xB,$Bi,${A1}[0] |
| vld1.64 {$A5xB-$A6xB}, [$tinptr, :256]! |
| vmlal.u32 $A3xB,$Bi,${A1}[1] |
| vld1.32 {$N0-$N3}, [$nptr]! |
| |
| vmlal.u32 $A4xB,$Bi,${A2}[0] |
| vld1.64 {$A7xB}, [$tinptr, :128]! |
| vmlal.u32 $A5xB,$Bi,${A2}[1] |
| vmlal.u32 $A6xB,$Bi,${A3}[0] |
| vmlal.u32 $A7xB,$Bi,${A3}[1] |
| |
| bne .LNEON_inner |
| |
| vmlal.u32 $A0xB,$Ni,${N0}[0] |
| add $tinptr,sp,#16 |
| vmlal.u32 $A1xB,$Ni,${N0}[1] |
| sub $aptr,$aptr,$num,lsl#2 @ rewind $aptr |
| vmlal.u32 $A2xB,$Ni,${N1}[0] |
| vld1.64 {$Temp}, [sp,:128] |
| vmlal.u32 $A3xB,$Ni,${N1}[1] |
| subs $outer,$outer,#1 |
| |
| vmlal.u32 $A4xB,$Ni,${N2}[0] |
| vst1.64 {$A0xB-$A1xB}, [$toutptr,:256]! |
| vmlal.u32 $A5xB,$Ni,${N2}[1] |
| vld1.64 {$A0xB}, [$tinptr, :128]! |
| vshr.u64 $temp,$temp,#16 |
| vst1.64 {$A2xB-$A3xB}, [$toutptr,:256]! |
| vmlal.u32 $A6xB,$Ni,${N3}[0] |
| vld1.64 {$A1xB-$A2xB}, [$tinptr, :256]! |
| vmlal.u32 $A7xB,$Ni,${N3}[1] |
| |
| vst1.64 {$A4xB-$A5xB}, [$toutptr,:256]! |
| vadd.u64 $temp,$temp,`&Dhi("$Temp")` |
| vst1.64 {$A6xB-$A7xB}, [$toutptr,:256]! |
| vshr.u64 $temp,$temp,#16 |
| |
| bne .LNEON_outer |
| |
| mov $toutptr,sp |
| mov $inner,$num |
| |
| .LNEON_tail: |
| vadd.u64 `&Dlo("$A0xB")`,`&Dlo("$A0xB")`,$temp |
| vld1.64 {$A3xB-$A4xB}, [$tinptr, :256]! |
| vshr.u64 $temp,`&Dlo("$A0xB")`,#16 |
| vadd.u64 `&Dhi("$A0xB")`,`&Dhi("$A0xB")`,$temp |
| vld1.64 {$A5xB-$A6xB}, [$tinptr, :256]! |
| vshr.u64 $temp,`&Dhi("$A0xB")`,#16 |
| vld1.64 {$A7xB}, [$tinptr, :128]! |
| vzip.16 `&Dlo("$A0xB")`,`&Dhi("$A0xB")` |
| |
| .LNEON_tail2: |
| vadd.u64 `&Dlo("$A1xB")`,`&Dlo("$A1xB")`,$temp |
| vst1.32 {`&Dlo("$A0xB")`[0]}, [$toutptr, :32]! |
| vshr.u64 $temp,`&Dlo("$A1xB")`,#16 |
| vadd.u64 `&Dhi("$A1xB")`,`&Dhi("$A1xB")`,$temp |
| vshr.u64 $temp,`&Dhi("$A1xB")`,#16 |
| vzip.16 `&Dlo("$A1xB")`,`&Dhi("$A1xB")` |
| |
| vadd.u64 `&Dlo("$A2xB")`,`&Dlo("$A2xB")`,$temp |
| vst1.32 {`&Dlo("$A1xB")`[0]}, [$toutptr, :32]! |
| vshr.u64 $temp,`&Dlo("$A2xB")`,#16 |
| vadd.u64 `&Dhi("$A2xB")`,`&Dhi("$A2xB")`,$temp |
| vshr.u64 $temp,`&Dhi("$A2xB")`,#16 |
| vzip.16 `&Dlo("$A2xB")`,`&Dhi("$A2xB")` |
| |
| vadd.u64 `&Dlo("$A3xB")`,`&Dlo("$A3xB")`,$temp |
| vst1.32 {`&Dlo("$A2xB")`[0]}, [$toutptr, :32]! |
| vshr.u64 $temp,`&Dlo("$A3xB")`,#16 |
| vadd.u64 `&Dhi("$A3xB")`,`&Dhi("$A3xB")`,$temp |
| vshr.u64 $temp,`&Dhi("$A3xB")`,#16 |
| vzip.16 `&Dlo("$A3xB")`,`&Dhi("$A3xB")` |
| |
| vadd.u64 `&Dlo("$A4xB")`,`&Dlo("$A4xB")`,$temp |
| vst1.32 {`&Dlo("$A3xB")`[0]}, [$toutptr, :32]! |
| vshr.u64 $temp,`&Dlo("$A4xB")`,#16 |
| vadd.u64 `&Dhi("$A4xB")`,`&Dhi("$A4xB")`,$temp |
| vshr.u64 $temp,`&Dhi("$A4xB")`,#16 |
| vzip.16 `&Dlo("$A4xB")`,`&Dhi("$A4xB")` |
| |
| vadd.u64 `&Dlo("$A5xB")`,`&Dlo("$A5xB")`,$temp |
| vst1.32 {`&Dlo("$A4xB")`[0]}, [$toutptr, :32]! |
| vshr.u64 $temp,`&Dlo("$A5xB")`,#16 |
| vadd.u64 `&Dhi("$A5xB")`,`&Dhi("$A5xB")`,$temp |
| vshr.u64 $temp,`&Dhi("$A5xB")`,#16 |
| vzip.16 `&Dlo("$A5xB")`,`&Dhi("$A5xB")` |
| |
| vadd.u64 `&Dlo("$A6xB")`,`&Dlo("$A6xB")`,$temp |
| vst1.32 {`&Dlo("$A5xB")`[0]}, [$toutptr, :32]! |
| vshr.u64 $temp,`&Dlo("$A6xB")`,#16 |
| vadd.u64 `&Dhi("$A6xB")`,`&Dhi("$A6xB")`,$temp |
| vld1.64 {$A0xB}, [$tinptr, :128]! |
| vshr.u64 $temp,`&Dhi("$A6xB")`,#16 |
| vzip.16 `&Dlo("$A6xB")`,`&Dhi("$A6xB")` |
| |
| vadd.u64 `&Dlo("$A7xB")`,`&Dlo("$A7xB")`,$temp |
| vst1.32 {`&Dlo("$A6xB")`[0]}, [$toutptr, :32]! |
| vshr.u64 $temp,`&Dlo("$A7xB")`,#16 |
| vadd.u64 `&Dhi("$A7xB")`,`&Dhi("$A7xB")`,$temp |
| vld1.64 {$A1xB-$A2xB}, [$tinptr, :256]! |
| vshr.u64 $temp,`&Dhi("$A7xB")`,#16 |
| vzip.16 `&Dlo("$A7xB")`,`&Dhi("$A7xB")` |
| subs $inner,$inner,#8 |
| vst1.32 {`&Dlo("$A7xB")`[0]}, [$toutptr, :32]! |
| |
| bne .LNEON_tail |
| |
| vst1.32 {${temp}[0]}, [$toutptr, :32] @ top-most bit |
| sub $nptr,$nptr,$num,lsl#2 @ rewind $nptr |
| subs $aptr,sp,#0 @ clear carry flag |
| add $bptr,sp,$num,lsl#2 |
| |
| .LNEON_sub: |
| ldmia $aptr!, {r4-r7} |
| ldmia $nptr!, {r8-r11} |
| sbcs r8, r4,r8 |
| sbcs r9, r5,r9 |
| sbcs r10,r6,r10 |
| sbcs r11,r7,r11 |
| teq $aptr,$bptr @ preserves carry |
| stmia $rptr!, {r8-r11} |
| bne .LNEON_sub |
| |
| ldr r10, [$aptr] @ load top-most bit |
| veor q0,q0,q0 |
| sub r11,$bptr,sp @ this is num*4 |
| veor q1,q1,q1 |
| mov $aptr,sp |
| sub $rptr,$rptr,r11 @ rewind $rptr |
| mov $nptr,$bptr @ second 3/4th of frame |
| sbcs r10,r10,#0 @ result is carry flag |
| |
| .LNEON_copy_n_zap: |
| ldmia $aptr!, {r4-r7} |
| ldmia $rptr, {r8-r11} |
| movcc r8, r4 |
| vst1.64 {q0-q1}, [$nptr,:256]! @ wipe |
| movcc r9, r5 |
| movcc r10,r6 |
| vst1.64 {q0-q1}, [$nptr,:256]! @ wipe |
| movcc r11,r7 |
| ldmia $aptr, {r4-r7} |
| stmia $rptr!, {r8-r11} |
| sub $aptr,$aptr,#16 |
| ldmia $rptr, {r8-r11} |
| movcc r8, r4 |
| vst1.64 {q0-q1}, [$aptr,:256]! @ wipe |
| movcc r9, r5 |
| movcc r10,r6 |
| vst1.64 {q0-q1}, [$nptr,:256]! @ wipe |
| movcc r11,r7 |
| teq $aptr,$bptr @ preserves carry |
| stmia $rptr!, {r8-r11} |
| bne .LNEON_copy_n_zap |
| |
| sub sp,ip,#96 |
| vldmia sp!,{d8-d15} |
| ldmia sp!,{r4-r11} |
| bx lr |
| .size bn_mul8x_mont_neon,.-bn_mul8x_mont_neon |
| #endif |
| ___ |
| } |
| $code.=<<___; |
| .asciz "Montgomery multiplication for ARMv4/NEON, CRYPTOGAMS by <appro\@openssl.org>" |
| .align 2 |
| #if __ARM_ARCH__>=7 |
| .comm OPENSSL_armcap_P,4,4 |
| #endif |
| ___ |
| |
| $code =~ s/\`([^\`]*)\`/eval $1/gem; |
| $code =~ s/\bbx\s+lr\b/.word\t0xe12fff1e/gm; # make it possible to compile with -march=armv4 |
| print $code; |
| close STDOUT; |
