pineapple-src/externals/libressl/crypto/bn/modexp512-masm-x86_64.S
2022-04-24 22:29:35 +02:00

1859 lines
24 KiB
ArmAsm
Executable file

; 1 "crypto/bn/modexp512-masm-x86_64.S.tmp"
; 1 "<built-in>" 1
; 1 "<built-in>" 3
; 343 "<built-in>" 3
; 1 "<command line>" 1
; 1 "<built-in>" 2
; 1 "crypto/bn/modexp512-masm-x86_64.S.tmp" 2
OPTION DOTNAME
; 1 "./crypto/x86_arch.h" 1
; 16 "./crypto/x86_arch.h"
; 40 "./crypto/x86_arch.h"
; 3 "crypto/bn/modexp512-masm-x86_64.S.tmp" 2
.text$ SEGMENT ALIGN(64) 'CODE'
ALIGN 16
MULADD_128x512 PROC PRIVATE
mov rax,QWORD PTR[rsi]
mul rbp
add r8,rax
adc rdx,0
mov QWORD PTR[rcx],r8
mov rbx,rdx
mov rax,QWORD PTR[8+rsi]
mul rbp
add r9,rax
adc rdx,0
add r9,rbx
adc rdx,0
mov rbx,rdx
mov rax,QWORD PTR[16+rsi]
mul rbp
add r10,rax
adc rdx,0
add r10,rbx
adc rdx,0
mov rbx,rdx
mov rax,QWORD PTR[24+rsi]
mul rbp
add r11,rax
adc rdx,0
add r11,rbx
adc rdx,0
mov rbx,rdx
mov rax,QWORD PTR[32+rsi]
mul rbp
add r12,rax
adc rdx,0
add r12,rbx
adc rdx,0
mov rbx,rdx
mov rax,QWORD PTR[40+rsi]
mul rbp
add r13,rax
adc rdx,0
add r13,rbx
adc rdx,0
mov rbx,rdx
mov rax,QWORD PTR[48+rsi]
mul rbp
add r14,rax
adc rdx,0
add r14,rbx
adc rdx,0
mov rbx,rdx
mov rax,QWORD PTR[56+rsi]
mul rbp
add r15,rax
adc rdx,0
add r15,rbx
adc rdx,0
mov r8,rdx
mov rbp,QWORD PTR[8+rdi]
mov rax,QWORD PTR[rsi]
mul rbp
add r9,rax
adc rdx,0
mov QWORD PTR[8+rcx],r9
mov rbx,rdx
mov rax,QWORD PTR[8+rsi]
mul rbp
add r10,rax
adc rdx,0
add r10,rbx
adc rdx,0
mov rbx,rdx
mov rax,QWORD PTR[16+rsi]
mul rbp
add r11,rax
adc rdx,0
add r11,rbx
adc rdx,0
mov rbx,rdx
mov rax,QWORD PTR[24+rsi]
mul rbp
add r12,rax
adc rdx,0
add r12,rbx
adc rdx,0
mov rbx,rdx
mov rax,QWORD PTR[32+rsi]
mul rbp
add r13,rax
adc rdx,0
add r13,rbx
adc rdx,0
mov rbx,rdx
mov rax,QWORD PTR[40+rsi]
mul rbp
add r14,rax
adc rdx,0
add r14,rbx
adc rdx,0
mov rbx,rdx
mov rax,QWORD PTR[48+rsi]
mul rbp
add r15,rax
adc rdx,0
add r15,rbx
adc rdx,0
mov rbx,rdx
mov rax,QWORD PTR[56+rsi]
mul rbp
add r8,rax
adc rdx,0
add r8,rbx
adc rdx,0
mov r9,rdx
DB 0F3h,0C3h ;repret
MULADD_128x512 ENDP
ALIGN 16
mont_reduce PROC PRIVATE
lea rdi,QWORD PTR[192+rsp]
mov rsi,QWORD PTR[32+rsp]
add rsi,576
lea rcx,QWORD PTR[520+rsp]
mov rbp,QWORD PTR[96+rcx]
mov rax,QWORD PTR[rsi]
mul rbp
mov r8,QWORD PTR[rcx]
add r8,rax
adc rdx,0
mov QWORD PTR[rdi],r8
mov rbx,rdx
mov rax,QWORD PTR[8+rsi]
mul rbp
mov r9,QWORD PTR[8+rcx]
add r9,rax
adc rdx,0
add r9,rbx
adc rdx,0
mov rbx,rdx
mov rax,QWORD PTR[16+rsi]
mul rbp
mov r10,QWORD PTR[16+rcx]
add r10,rax
adc rdx,0
add r10,rbx
adc rdx,0
mov rbx,rdx
mov rax,QWORD PTR[24+rsi]
mul rbp
mov r11,QWORD PTR[24+rcx]
add r11,rax
adc rdx,0
add r11,rbx
adc rdx,0
mov rbx,rdx
mov rax,QWORD PTR[32+rsi]
mul rbp
mov r12,QWORD PTR[32+rcx]
add r12,rax
adc rdx,0
add r12,rbx
adc rdx,0
mov rbx,rdx
mov rax,QWORD PTR[40+rsi]
mul rbp
mov r13,QWORD PTR[40+rcx]
add r13,rax
adc rdx,0
add r13,rbx
adc rdx,0
mov rbx,rdx
mov rax,QWORD PTR[48+rsi]
mul rbp
mov r14,QWORD PTR[48+rcx]
add r14,rax
adc rdx,0
add r14,rbx
adc rdx,0
mov rbx,rdx
mov rax,QWORD PTR[56+rsi]
mul rbp
mov r15,QWORD PTR[56+rcx]
add r15,rax
adc rdx,0
add r15,rbx
adc rdx,0
mov r8,rdx
mov rbp,QWORD PTR[104+rcx]
mov rax,QWORD PTR[rsi]
mul rbp
add r9,rax
adc rdx,0
mov QWORD PTR[8+rdi],r9
mov rbx,rdx
mov rax,QWORD PTR[8+rsi]
mul rbp
add r10,rax
adc rdx,0
add r10,rbx
adc rdx,0
mov rbx,rdx
mov rax,QWORD PTR[16+rsi]
mul rbp
add r11,rax
adc rdx,0
add r11,rbx
adc rdx,0
mov rbx,rdx
mov rax,QWORD PTR[24+rsi]
mul rbp
add r12,rax
adc rdx,0
add r12,rbx
adc rdx,0
mov rbx,rdx
mov rax,QWORD PTR[32+rsi]
mul rbp
add r13,rax
adc rdx,0
add r13,rbx
adc rdx,0
mov rbx,rdx
mov rax,QWORD PTR[40+rsi]
mul rbp
add r14,rax
adc rdx,0
add r14,rbx
adc rdx,0
mov rbx,rdx
mov rax,QWORD PTR[48+rsi]
mul rbp
add r15,rax
adc rdx,0
add r15,rbx
adc rdx,0
mov rbx,rdx
mov rax,QWORD PTR[56+rsi]
mul rbp
add r8,rax
adc rdx,0
add r8,rbx
adc rdx,0
mov r9,rdx
mov rbp,QWORD PTR[112+rcx]
mov rax,QWORD PTR[rsi]
mul rbp
add r10,rax
adc rdx,0
mov QWORD PTR[16+rdi],r10
mov rbx,rdx
mov rax,QWORD PTR[8+rsi]
mul rbp
add r11,rax
adc rdx,0
add r11,rbx
adc rdx,0
mov rbx,rdx
mov rax,QWORD PTR[16+rsi]
mul rbp
add r12,rax
adc rdx,0
add r12,rbx
adc rdx,0
mov rbx,rdx
mov rax,QWORD PTR[24+rsi]
mul rbp
add r13,rax
adc rdx,0
add r13,rbx
adc rdx,0
mov rbx,rdx
mov rax,QWORD PTR[32+rsi]
mul rbp
add r14,rax
adc rdx,0
add r14,rbx
adc rdx,0
mov rbx,rdx
mov rax,QWORD PTR[40+rsi]
mul rbp
add r15,rax
adc rdx,0
add r15,rbx
adc rdx,0
mov rbx,rdx
mov rax,QWORD PTR[48+rsi]
mul rbp
add r8,rax
adc rdx,0
add r8,rbx
adc rdx,0
mov rbx,rdx
mov rax,QWORD PTR[56+rsi]
mul rbp
add r9,rax
adc rdx,0
add r9,rbx
adc rdx,0
mov r10,rdx
mov rbp,QWORD PTR[120+rcx]
mov rax,QWORD PTR[rsi]
mul rbp
add r11,rax
adc rdx,0
mov QWORD PTR[24+rdi],r11
mov rbx,rdx
mov rax,QWORD PTR[8+rsi]
mul rbp
add r12,rax
adc rdx,0
add r12,rbx
adc rdx,0
mov rbx,rdx
mov rax,QWORD PTR[16+rsi]
mul rbp
add r13,rax
adc rdx,0
add r13,rbx
adc rdx,0
mov rbx,rdx
mov rax,QWORD PTR[24+rsi]
mul rbp
add r14,rax
adc rdx,0
add r14,rbx
adc rdx,0
mov rbx,rdx
mov rax,QWORD PTR[32+rsi]
mul rbp
add r15,rax
adc rdx,0
add r15,rbx
adc rdx,0
mov rbx,rdx
mov rax,QWORD PTR[40+rsi]
mul rbp
add r8,rax
adc rdx,0
add r8,rbx
adc rdx,0
mov rbx,rdx
mov rax,QWORD PTR[48+rsi]
mul rbp
add r9,rax
adc rdx,0
add r9,rbx
adc rdx,0
mov rbx,rdx
mov rax,QWORD PTR[56+rsi]
mul rbp
add r10,rax
adc rdx,0
add r10,rbx
adc rdx,0
mov r11,rdx
xor rax,rax
add r8,QWORD PTR[64+rcx]
adc r9,QWORD PTR[72+rcx]
adc r10,QWORD PTR[80+rcx]
adc r11,QWORD PTR[88+rcx]
adc rax,0
mov QWORD PTR[64+rdi],r8
mov QWORD PTR[72+rdi],r9
mov rbp,r10
mov QWORD PTR[88+rdi],r11
mov QWORD PTR[384+rsp],rax
mov r8,QWORD PTR[rdi]
mov r9,QWORD PTR[8+rdi]
mov r10,QWORD PTR[16+rdi]
mov r11,QWORD PTR[24+rdi]
add rdi,8*10
add rsi,64
lea rcx,QWORD PTR[296+rsp]
call MULADD_128x512
mov rax,QWORD PTR[384+rsp]
add r8,QWORD PTR[((-16))+rdi]
adc r9,QWORD PTR[((-8))+rdi]
mov QWORD PTR[64+rcx],r8
mov QWORD PTR[72+rcx],r9
adc rax,rax
mov QWORD PTR[384+rsp],rax
lea rdi,QWORD PTR[192+rsp]
add rsi,64
mov r8,QWORD PTR[rsi]
mov rbx,QWORD PTR[8+rsi]
mov rax,QWORD PTR[rcx]
mul r8
mov rbp,rax
mov r9,rdx
mov rax,QWORD PTR[8+rcx]
mul r8
add r9,rax
mov rax,QWORD PTR[rcx]
mul rbx
add r9,rax
mov QWORD PTR[8+rdi],r9
sub rsi,192
mov r8,QWORD PTR[rcx]
mov r9,QWORD PTR[8+rcx]
call MULADD_128x512
mov rax,QWORD PTR[rsi]
mov rbx,QWORD PTR[8+rsi]
mov rdi,QWORD PTR[16+rsi]
mov rdx,QWORD PTR[24+rsi]
mov rbp,QWORD PTR[384+rsp]
add r8,QWORD PTR[64+rcx]
adc r9,QWORD PTR[72+rcx]
adc rbp,rbp
shl rbp,3
mov rcx,QWORD PTR[32+rsp]
add rbp,rcx
xor rsi,rsi
add r10,QWORD PTR[rbp]
adc r11,QWORD PTR[64+rbp]
adc r12,QWORD PTR[128+rbp]
adc r13,QWORD PTR[192+rbp]
adc r14,QWORD PTR[256+rbp]
adc r15,QWORD PTR[320+rbp]
adc r8,QWORD PTR[384+rbp]
adc r9,QWORD PTR[448+rbp]
sbb rsi,0
and rax,rsi
and rbx,rsi
and rdi,rsi
and rdx,rsi
mov rbp,1
sub r10,rax
sbb r11,rbx
sbb r12,rdi
sbb r13,rdx
sbb rbp,0
add rcx,512
mov rax,QWORD PTR[32+rcx]
mov rbx,QWORD PTR[40+rcx]
mov rdi,QWORD PTR[48+rcx]
mov rdx,QWORD PTR[56+rcx]
and rax,rsi
and rbx,rsi
and rdi,rsi
and rdx,rsi
sub rbp,1
sbb r14,rax
sbb r15,rbx
sbb r8,rdi
sbb r9,rdx
mov rsi,QWORD PTR[144+rsp]
mov QWORD PTR[rsi],r10
mov QWORD PTR[8+rsi],r11
mov QWORD PTR[16+rsi],r12
mov QWORD PTR[24+rsi],r13
mov QWORD PTR[32+rsi],r14
mov QWORD PTR[40+rsi],r15
mov QWORD PTR[48+rsi],r8
mov QWORD PTR[56+rsi],r9
DB 0F3h,0C3h ;repret
mont_reduce ENDP
ALIGN 16
mont_mul_a3b PROC PRIVATE
mov rbp,QWORD PTR[rdi]
mov rax,r10
mul rbp
mov QWORD PTR[520+rsp],rax
mov r10,rdx
mov rax,r11
mul rbp
add r10,rax
adc rdx,0
mov r11,rdx
mov rax,r12
mul rbp
add r11,rax
adc rdx,0
mov r12,rdx
mov rax,r13
mul rbp
add r12,rax
adc rdx,0
mov r13,rdx
mov rax,r14
mul rbp
add r13,rax
adc rdx,0
mov r14,rdx
mov rax,r15
mul rbp
add r14,rax
adc rdx,0
mov r15,rdx
mov rax,r8
mul rbp
add r15,rax
adc rdx,0
mov r8,rdx
mov rax,r9
mul rbp
add r8,rax
adc rdx,0
mov r9,rdx
mov rbp,QWORD PTR[8+rdi]
mov rax,QWORD PTR[rsi]
mul rbp
add r10,rax
adc rdx,0
mov QWORD PTR[528+rsp],r10
mov rbx,rdx
mov rax,QWORD PTR[8+rsi]
mul rbp
add r11,rax
adc rdx,0
add r11,rbx
adc rdx,0
mov rbx,rdx
mov rax,QWORD PTR[16+rsi]
mul rbp
add r12,rax
adc rdx,0
add r12,rbx
adc rdx,0
mov rbx,rdx
mov rax,QWORD PTR[24+rsi]
mul rbp
add r13,rax
adc rdx,0
add r13,rbx
adc rdx,0
mov rbx,rdx
mov rax,QWORD PTR[32+rsi]
mul rbp
add r14,rax
adc rdx,0
add r14,rbx
adc rdx,0
mov rbx,rdx
mov rax,QWORD PTR[40+rsi]
mul rbp
add r15,rax
adc rdx,0
add r15,rbx
adc rdx,0
mov rbx,rdx
mov rax,QWORD PTR[48+rsi]
mul rbp
add r8,rax
adc rdx,0
add r8,rbx
adc rdx,0
mov rbx,rdx
mov rax,QWORD PTR[56+rsi]
mul rbp
add r9,rax
adc rdx,0
add r9,rbx
adc rdx,0
mov r10,rdx
mov rbp,QWORD PTR[16+rdi]
mov rax,QWORD PTR[rsi]
mul rbp
add r11,rax
adc rdx,0
mov QWORD PTR[536+rsp],r11
mov rbx,rdx
mov rax,QWORD PTR[8+rsi]
mul rbp
add r12,rax
adc rdx,0
add r12,rbx
adc rdx,0
mov rbx,rdx
mov rax,QWORD PTR[16+rsi]
mul rbp
add r13,rax
adc rdx,0
add r13,rbx
adc rdx,0
mov rbx,rdx
mov rax,QWORD PTR[24+rsi]
mul rbp
add r14,rax
adc rdx,0
add r14,rbx
adc rdx,0
mov rbx,rdx
mov rax,QWORD PTR[32+rsi]
mul rbp
add r15,rax
adc rdx,0
add r15,rbx
adc rdx,0
mov rbx,rdx
mov rax,QWORD PTR[40+rsi]
mul rbp
add r8,rax
adc rdx,0
add r8,rbx
adc rdx,0
mov rbx,rdx
mov rax,QWORD PTR[48+rsi]
mul rbp
add r9,rax
adc rdx,0
add r9,rbx
adc rdx,0
mov rbx,rdx
mov rax,QWORD PTR[56+rsi]
mul rbp
add r10,rax
adc rdx,0
add r10,rbx
adc rdx,0
mov r11,rdx
mov rbp,QWORD PTR[24+rdi]
mov rax,QWORD PTR[rsi]
mul rbp
add r12,rax
adc rdx,0
mov QWORD PTR[544+rsp],r12
mov rbx,rdx
mov rax,QWORD PTR[8+rsi]
mul rbp
add r13,rax
adc rdx,0
add r13,rbx
adc rdx,0
mov rbx,rdx
mov rax,QWORD PTR[16+rsi]
mul rbp
add r14,rax
adc rdx,0
add r14,rbx
adc rdx,0
mov rbx,rdx
mov rax,QWORD PTR[24+rsi]
mul rbp
add r15,rax
adc rdx,0
add r15,rbx
adc rdx,0
mov rbx,rdx
mov rax,QWORD PTR[32+rsi]
mul rbp
add r8,rax
adc rdx,0
add r8,rbx
adc rdx,0
mov rbx,rdx
mov rax,QWORD PTR[40+rsi]
mul rbp
add r9,rax
adc rdx,0
add r9,rbx
adc rdx,0
mov rbx,rdx
mov rax,QWORD PTR[48+rsi]
mul rbp
add r10,rax
adc rdx,0
add r10,rbx
adc rdx,0
mov rbx,rdx
mov rax,QWORD PTR[56+rsi]
mul rbp
add r11,rax
adc rdx,0
add r11,rbx
adc rdx,0
mov r12,rdx
mov rbp,QWORD PTR[32+rdi]
mov rax,QWORD PTR[rsi]
mul rbp
add r13,rax
adc rdx,0
mov QWORD PTR[552+rsp],r13
mov rbx,rdx
mov rax,QWORD PTR[8+rsi]
mul rbp
add r14,rax
adc rdx,0
add r14,rbx
adc rdx,0
mov rbx,rdx
mov rax,QWORD PTR[16+rsi]
mul rbp
add r15,rax
adc rdx,0
add r15,rbx
adc rdx,0
mov rbx,rdx
mov rax,QWORD PTR[24+rsi]
mul rbp
add r8,rax
adc rdx,0
add r8,rbx
adc rdx,0
mov rbx,rdx
mov rax,QWORD PTR[32+rsi]
mul rbp
add r9,rax
adc rdx,0
add r9,rbx
adc rdx,0
mov rbx,rdx
mov rax,QWORD PTR[40+rsi]
mul rbp
add r10,rax
adc rdx,0
add r10,rbx
adc rdx,0
mov rbx,rdx
mov rax,QWORD PTR[48+rsi]
mul rbp
add r11,rax
adc rdx,0
add r11,rbx
adc rdx,0
mov rbx,rdx
mov rax,QWORD PTR[56+rsi]
mul rbp
add r12,rax
adc rdx,0
add r12,rbx
adc rdx,0
mov r13,rdx
mov rbp,QWORD PTR[40+rdi]
mov rax,QWORD PTR[rsi]
mul rbp
add r14,rax
adc rdx,0
mov QWORD PTR[560+rsp],r14
mov rbx,rdx
mov rax,QWORD PTR[8+rsi]
mul rbp
add r15,rax
adc rdx,0
add r15,rbx
adc rdx,0
mov rbx,rdx
mov rax,QWORD PTR[16+rsi]
mul rbp
add r8,rax
adc rdx,0
add r8,rbx
adc rdx,0
mov rbx,rdx
mov rax,QWORD PTR[24+rsi]
mul rbp
add r9,rax
adc rdx,0
add r9,rbx
adc rdx,0
mov rbx,rdx
mov rax,QWORD PTR[32+rsi]
mul rbp
add r10,rax
adc rdx,0
add r10,rbx
adc rdx,0
mov rbx,rdx
mov rax,QWORD PTR[40+rsi]
mul rbp
add r11,rax
adc rdx,0
add r11,rbx
adc rdx,0
mov rbx,rdx
mov rax,QWORD PTR[48+rsi]
mul rbp
add r12,rax
adc rdx,0
add r12,rbx
adc rdx,0
mov rbx,rdx
mov rax,QWORD PTR[56+rsi]
mul rbp
add r13,rax
adc rdx,0
add r13,rbx
adc rdx,0
mov r14,rdx
mov rbp,QWORD PTR[48+rdi]
mov rax,QWORD PTR[rsi]
mul rbp
add r15,rax
adc rdx,0
mov QWORD PTR[568+rsp],r15
mov rbx,rdx
mov rax,QWORD PTR[8+rsi]
mul rbp
add r8,rax
adc rdx,0
add r8,rbx
adc rdx,0
mov rbx,rdx
mov rax,QWORD PTR[16+rsi]
mul rbp
add r9,rax
adc rdx,0
add r9,rbx
adc rdx,0
mov rbx,rdx
mov rax,QWORD PTR[24+rsi]
mul rbp
add r10,rax
adc rdx,0
add r10,rbx
adc rdx,0
mov rbx,rdx
mov rax,QWORD PTR[32+rsi]
mul rbp
add r11,rax
adc rdx,0
add r11,rbx
adc rdx,0
mov rbx,rdx
mov rax,QWORD PTR[40+rsi]
mul rbp
add r12,rax
adc rdx,0
add r12,rbx
adc rdx,0
mov rbx,rdx
mov rax,QWORD PTR[48+rsi]
mul rbp
add r13,rax
adc rdx,0
add r13,rbx
adc rdx,0
mov rbx,rdx
mov rax,QWORD PTR[56+rsi]
mul rbp
add r14,rax
adc rdx,0
add r14,rbx
adc rdx,0
mov r15,rdx
mov rbp,QWORD PTR[56+rdi]
mov rax,QWORD PTR[rsi]
mul rbp
add r8,rax
adc rdx,0
mov QWORD PTR[576+rsp],r8
mov rbx,rdx
mov rax,QWORD PTR[8+rsi]
mul rbp
add r9,rax
adc rdx,0
add r9,rbx
adc rdx,0
mov rbx,rdx
mov rax,QWORD PTR[16+rsi]
mul rbp
add r10,rax
adc rdx,0
add r10,rbx
adc rdx,0
mov rbx,rdx
mov rax,QWORD PTR[24+rsi]
mul rbp
add r11,rax
adc rdx,0
add r11,rbx
adc rdx,0
mov rbx,rdx
mov rax,QWORD PTR[32+rsi]
mul rbp
add r12,rax
adc rdx,0
add r12,rbx
adc rdx,0
mov rbx,rdx
mov rax,QWORD PTR[40+rsi]
mul rbp
add r13,rax
adc rdx,0
add r13,rbx
adc rdx,0
mov rbx,rdx
mov rax,QWORD PTR[48+rsi]
mul rbp
add r14,rax
adc rdx,0
add r14,rbx
adc rdx,0
mov rbx,rdx
mov rax,QWORD PTR[56+rsi]
mul rbp
add r15,rax
adc rdx,0
add r15,rbx
adc rdx,0
mov r8,rdx
mov QWORD PTR[584+rsp],r9
mov QWORD PTR[592+rsp],r10
mov QWORD PTR[600+rsp],r11
mov QWORD PTR[608+rsp],r12
mov QWORD PTR[616+rsp],r13
mov QWORD PTR[624+rsp],r14
mov QWORD PTR[632+rsp],r15
mov QWORD PTR[640+rsp],r8
jmp mont_reduce
mont_mul_a3b ENDP
ALIGN 16
sqr_reduce PROC PRIVATE
mov rcx,QWORD PTR[16+rsp]
mov rbx,r10
mov rax,r11
mul rbx
mov QWORD PTR[528+rsp],rax
mov r10,rdx
mov rax,r12
mul rbx
add r10,rax
adc rdx,0
mov r11,rdx
mov rax,r13
mul rbx
add r11,rax
adc rdx,0
mov r12,rdx
mov rax,r14
mul rbx
add r12,rax
adc rdx,0
mov r13,rdx
mov rax,r15
mul rbx
add r13,rax
adc rdx,0
mov r14,rdx
mov rax,r8
mul rbx
add r14,rax
adc rdx,0
mov r15,rdx
mov rax,r9
mul rbx
add r15,rax
adc rdx,0
mov rsi,rdx
mov QWORD PTR[536+rsp],r10
mov rbx,QWORD PTR[8+rcx]
mov rax,QWORD PTR[16+rcx]
mul rbx
add r11,rax
adc rdx,0
mov QWORD PTR[544+rsp],r11
mov r10,rdx
mov rax,QWORD PTR[24+rcx]
mul rbx
add r12,rax
adc rdx,0
add r12,r10
adc rdx,0
mov QWORD PTR[552+rsp],r12
mov r10,rdx
mov rax,QWORD PTR[32+rcx]
mul rbx
add r13,rax
adc rdx,0
add r13,r10
adc rdx,0
mov r10,rdx
mov rax,QWORD PTR[40+rcx]
mul rbx
add r14,rax
adc rdx,0
add r14,r10
adc rdx,0
mov r10,rdx
mov rax,r8
mul rbx
add r15,rax
adc rdx,0
add r15,r10
adc rdx,0
mov r10,rdx
mov rax,r9
mul rbx
add rsi,rax
adc rdx,0
add rsi,r10
adc rdx,0
mov r11,rdx
mov rbx,QWORD PTR[16+rcx]
mov rax,QWORD PTR[24+rcx]
mul rbx
add r13,rax
adc rdx,0
mov QWORD PTR[560+rsp],r13
mov r10,rdx
mov rax,QWORD PTR[32+rcx]
mul rbx
add r14,rax
adc rdx,0
add r14,r10
adc rdx,0
mov QWORD PTR[568+rsp],r14
mov r10,rdx
mov rax,QWORD PTR[40+rcx]
mul rbx
add r15,rax
adc rdx,0
add r15,r10
adc rdx,0
mov r10,rdx
mov rax,r8
mul rbx
add rsi,rax
adc rdx,0
add rsi,r10
adc rdx,0
mov r10,rdx
mov rax,r9
mul rbx
add r11,rax
adc rdx,0
add r11,r10
adc rdx,0
mov r12,rdx
mov rbx,QWORD PTR[24+rcx]
mov rax,QWORD PTR[32+rcx]
mul rbx
add r15,rax
adc rdx,0
mov QWORD PTR[576+rsp],r15
mov r10,rdx
mov rax,QWORD PTR[40+rcx]
mul rbx
add rsi,rax
adc rdx,0
add rsi,r10
adc rdx,0
mov QWORD PTR[584+rsp],rsi
mov r10,rdx
mov rax,r8
mul rbx
add r11,rax
adc rdx,0
add r11,r10
adc rdx,0
mov r10,rdx
mov rax,r9
mul rbx
add r12,rax
adc rdx,0
add r12,r10
adc rdx,0
mov r15,rdx
mov rbx,QWORD PTR[32+rcx]
mov rax,QWORD PTR[40+rcx]
mul rbx
add r11,rax
adc rdx,0
mov QWORD PTR[592+rsp],r11
mov r10,rdx
mov rax,r8
mul rbx
add r12,rax
adc rdx,0
add r12,r10
adc rdx,0
mov QWORD PTR[600+rsp],r12
mov r10,rdx
mov rax,r9
mul rbx
add r15,rax
adc rdx,0
add r15,r10
adc rdx,0
mov r11,rdx
mov rbx,QWORD PTR[40+rcx]
mov rax,r8
mul rbx
add r15,rax
adc rdx,0
mov QWORD PTR[608+rsp],r15
mov r10,rdx
mov rax,r9
mul rbx
add r11,rax
adc rdx,0
add r11,r10
adc rdx,0
mov QWORD PTR[616+rsp],r11
mov r12,rdx
mov rbx,r8
mov rax,r9
mul rbx
add r12,rax
adc rdx,0
mov QWORD PTR[624+rsp],r12
mov QWORD PTR[632+rsp],rdx
mov r10,QWORD PTR[528+rsp]
mov r11,QWORD PTR[536+rsp]
mov r12,QWORD PTR[544+rsp]
mov r13,QWORD PTR[552+rsp]
mov r14,QWORD PTR[560+rsp]
mov r15,QWORD PTR[568+rsp]
mov rax,QWORD PTR[24+rcx]
mul rax
mov rdi,rax
mov r8,rdx
add r10,r10
adc r11,r11
adc r12,r12
adc r13,r13
adc r14,r14
adc r15,r15
adc r8,0
mov rax,QWORD PTR[rcx]
mul rax
mov QWORD PTR[520+rsp],rax
mov rbx,rdx
mov rax,QWORD PTR[8+rcx]
mul rax
add r10,rbx
adc r11,rax
adc rdx,0
mov rbx,rdx
mov QWORD PTR[528+rsp],r10
mov QWORD PTR[536+rsp],r11
mov rax,QWORD PTR[16+rcx]
mul rax
add r12,rbx
adc r13,rax
adc rdx,0
mov rbx,rdx
mov QWORD PTR[544+rsp],r12
mov QWORD PTR[552+rsp],r13
xor rbp,rbp
add r14,rbx
adc r15,rdi
adc rbp,0
mov QWORD PTR[560+rsp],r14
mov QWORD PTR[568+rsp],r15
mov r10,QWORD PTR[576+rsp]
mov r11,QWORD PTR[584+rsp]
mov r12,QWORD PTR[592+rsp]
mov r13,QWORD PTR[600+rsp]
mov r14,QWORD PTR[608+rsp]
mov r15,QWORD PTR[616+rsp]
mov rdi,QWORD PTR[624+rsp]
mov rsi,QWORD PTR[632+rsp]
mov rax,r9
mul rax
mov r9,rax
mov rbx,rdx
add r10,r10
adc r11,r11
adc r12,r12
adc r13,r13
adc r14,r14
adc r15,r15
adc rdi,rdi
adc rsi,rsi
adc rbx,0
add r10,rbp
mov rax,QWORD PTR[32+rcx]
mul rax
add r10,r8
adc r11,rax
adc rdx,0
mov rbp,rdx
mov QWORD PTR[576+rsp],r10
mov QWORD PTR[584+rsp],r11
mov rax,QWORD PTR[40+rcx]
mul rax
add r12,rbp
adc r13,rax
adc rdx,0
mov rbp,rdx
mov QWORD PTR[592+rsp],r12
mov QWORD PTR[600+rsp],r13
mov rax,QWORD PTR[48+rcx]
mul rax
add r14,rbp
adc r15,rax
adc rdx,0
mov QWORD PTR[608+rsp],r14
mov QWORD PTR[616+rsp],r15
add rdi,rdx
adc rsi,r9
adc rbx,0
mov QWORD PTR[624+rsp],rdi
mov QWORD PTR[632+rsp],rsi
mov QWORD PTR[640+rsp],rbx
jmp mont_reduce
sqr_reduce ENDP
PUBLIC mod_exp_512
mod_exp_512 PROC PUBLIC
mov QWORD PTR[8+rsp],rdi ;WIN64 prologue
mov QWORD PTR[16+rsp],rsi
mov rax,rsp
$L$SEH_begin_mod_exp_512::
mov rdi,rcx
mov rsi,rdx
mov rdx,r8
mov rcx,r9
push rbp
push rbx
push r12
push r13
push r14
push r15
mov r8,rsp
sub rsp,2688
and rsp,-64
mov QWORD PTR[rsp],r8
mov QWORD PTR[8+rsp],rdi
mov QWORD PTR[16+rsp],rsi
mov QWORD PTR[24+rsp],rcx
$L$body::
pxor xmm4,xmm4
movdqu xmm0,XMMWORD PTR[rsi]
movdqu xmm1,XMMWORD PTR[16+rsi]
movdqu xmm2,XMMWORD PTR[32+rsi]
movdqu xmm3,XMMWORD PTR[48+rsi]
movdqa XMMWORD PTR[512+rsp],xmm4
movdqa XMMWORD PTR[528+rsp],xmm4
movdqa XMMWORD PTR[608+rsp],xmm4
movdqa XMMWORD PTR[624+rsp],xmm4
movdqa XMMWORD PTR[544+rsp],xmm0
movdqa XMMWORD PTR[560+rsp],xmm1
movdqa XMMWORD PTR[576+rsp],xmm2
movdqa XMMWORD PTR[592+rsp],xmm3
movdqu xmm0,XMMWORD PTR[rdx]
movdqu xmm1,XMMWORD PTR[16+rdx]
movdqu xmm2,XMMWORD PTR[32+rdx]
movdqu xmm3,XMMWORD PTR[48+rdx]
lea rbx,QWORD PTR[384+rsp]
mov QWORD PTR[136+rsp],rbx
call mont_reduce
lea rcx,QWORD PTR[448+rsp]
xor rax,rax
mov QWORD PTR[rcx],rax
mov QWORD PTR[8+rcx],rax
mov QWORD PTR[24+rcx],rax
mov QWORD PTR[32+rcx],rax
mov QWORD PTR[40+rcx],rax
mov QWORD PTR[48+rcx],rax
mov QWORD PTR[56+rcx],rax
mov QWORD PTR[128+rsp],rax
mov QWORD PTR[16+rcx],1
lea rbp,QWORD PTR[640+rsp]
mov rsi,rcx
mov rdi,rbp
mov rax,8
loop_0::
mov rbx,QWORD PTR[rcx]
mov WORD PTR[rdi],bx
shr rbx,16
mov WORD PTR[64+rdi],bx
shr rbx,16
mov WORD PTR[128+rdi],bx
shr rbx,16
mov WORD PTR[192+rdi],bx
lea rcx,QWORD PTR[8+rcx]
lea rdi,QWORD PTR[256+rdi]
dec rax
jnz loop_0
mov rax,31
mov QWORD PTR[32+rsp],rax
mov QWORD PTR[40+rsp],rbp
mov QWORD PTR[136+rsp],rsi
mov r10,QWORD PTR[rsi]
mov r11,QWORD PTR[8+rsi]
mov r12,QWORD PTR[16+rsi]
mov r13,QWORD PTR[24+rsi]
mov r14,QWORD PTR[32+rsi]
mov r15,QWORD PTR[40+rsi]
mov r8,QWORD PTR[48+rsi]
mov r9,QWORD PTR[56+rsi]
init_loop::
lea rdi,QWORD PTR[384+rsp]
call mont_mul_a3b
lea rsi,QWORD PTR[448+rsp]
mov rbp,QWORD PTR[40+rsp]
add rbp,2
mov QWORD PTR[40+rsp],rbp
mov rcx,rsi
mov rax,8
loop_1::
mov rbx,QWORD PTR[rcx]
mov WORD PTR[rbp],bx
shr rbx,16
mov WORD PTR[64+rbp],bx
shr rbx,16
mov WORD PTR[128+rbp],bx
shr rbx,16
mov WORD PTR[192+rbp],bx
lea rcx,QWORD PTR[8+rcx]
lea rbp,QWORD PTR[256+rbp]
dec rax
jnz loop_1
mov rax,QWORD PTR[32+rsp]
sub rax,1
mov QWORD PTR[32+rsp],rax
jne init_loop
movdqa XMMWORD PTR[64+rsp],xmm0
movdqa XMMWORD PTR[80+rsp],xmm1
movdqa XMMWORD PTR[96+rsp],xmm2
movdqa XMMWORD PTR[112+rsp],xmm3
mov eax,DWORD PTR[126+rsp]
mov rdx,rax
shr rax,11
and edx,007FFh
mov DWORD PTR[126+rsp],edx
lea rsi,QWORD PTR[640+rax*2+rsp]
mov rdx,QWORD PTR[8+rsp]
mov rbp,4
loop_2::
movzx rbx,WORD PTR[192+rsi]
movzx rax,WORD PTR[448+rsi]
shl rbx,16
shl rax,16
mov bx,WORD PTR[128+rsi]
mov ax,WORD PTR[384+rsi]
shl rbx,16
shl rax,16
mov bx,WORD PTR[64+rsi]
mov ax,WORD PTR[320+rsi]
shl rbx,16
shl rax,16
mov bx,WORD PTR[rsi]
mov ax,WORD PTR[256+rsi]
mov QWORD PTR[rdx],rbx
mov QWORD PTR[8+rdx],rax
lea rsi,QWORD PTR[512+rsi]
lea rdx,QWORD PTR[16+rdx]
sub rbp,1
jnz loop_2
mov QWORD PTR[48+rsp],505
mov rcx,QWORD PTR[8+rsp]
mov QWORD PTR[136+rsp],rcx
mov r10,QWORD PTR[rcx]
mov r11,QWORD PTR[8+rcx]
mov r12,QWORD PTR[16+rcx]
mov r13,QWORD PTR[24+rcx]
mov r14,QWORD PTR[32+rcx]
mov r15,QWORD PTR[40+rcx]
mov r8,QWORD PTR[48+rcx]
mov r9,QWORD PTR[56+rcx]
jmp sqr_2
main_loop_a3b::
call sqr_reduce
call sqr_reduce
call sqr_reduce
sqr_2::
call sqr_reduce
call sqr_reduce
mov rcx,QWORD PTR[48+rsp]
mov rax,rcx
shr rax,4
mov edx,DWORD PTR[64+rax*2+rsp]
and rcx,15
shr rdx,cl
and rdx,01Fh
lea rsi,QWORD PTR[640+rdx*2+rsp]
lea rdx,QWORD PTR[448+rsp]
mov rdi,rdx
mov rbp,4
loop_3::
movzx rbx,WORD PTR[192+rsi]
movzx rax,WORD PTR[448+rsi]
shl rbx,16
shl rax,16
mov bx,WORD PTR[128+rsi]
mov ax,WORD PTR[384+rsi]
shl rbx,16
shl rax,16
mov bx,WORD PTR[64+rsi]
mov ax,WORD PTR[320+rsi]
shl rbx,16
shl rax,16
mov bx,WORD PTR[rsi]
mov ax,WORD PTR[256+rsi]
mov QWORD PTR[rdx],rbx
mov QWORD PTR[8+rdx],rax
lea rsi,QWORD PTR[512+rsi]
lea rdx,QWORD PTR[16+rdx]
sub rbp,1
jnz loop_3
mov rsi,QWORD PTR[8+rsp]
call mont_mul_a3b
mov rcx,QWORD PTR[48+rsp]
sub rcx,5
mov QWORD PTR[48+rsp],rcx
jge main_loop_a3b
end_main_loop_a3b::
mov rdx,QWORD PTR[8+rsp]
pxor xmm4,xmm4
movdqu xmm0,XMMWORD PTR[rdx]
movdqu xmm1,XMMWORD PTR[16+rdx]
movdqu xmm2,XMMWORD PTR[32+rdx]
movdqu xmm3,XMMWORD PTR[48+rdx]
movdqa XMMWORD PTR[576+rsp],xmm4
movdqa XMMWORD PTR[592+rsp],xmm4
movdqa XMMWORD PTR[608+rsp],xmm4
movdqa XMMWORD PTR[624+rsp],xmm4
movdqa XMMWORD PTR[512+rsp],xmm0
movdqa XMMWORD PTR[528+rsp],xmm1
movdqa XMMWORD PTR[544+rsp],xmm2
movdqa XMMWORD PTR[560+rsp],xmm3
call mont_reduce
mov rax,QWORD PTR[8+rsp]
mov r8,QWORD PTR[rax]
mov r9,QWORD PTR[8+rax]
mov r10,QWORD PTR[16+rax]
mov r11,QWORD PTR[24+rax]
mov r12,QWORD PTR[32+rax]
mov r13,QWORD PTR[40+rax]
mov r14,QWORD PTR[48+rax]
mov r15,QWORD PTR[56+rax]
mov rbx,QWORD PTR[24+rsp]
add rbx,512
sub r8,QWORD PTR[rbx]
sbb r9,QWORD PTR[8+rbx]
sbb r10,QWORD PTR[16+rbx]
sbb r11,QWORD PTR[24+rbx]
sbb r12,QWORD PTR[32+rbx]
sbb r13,QWORD PTR[40+rbx]
sbb r14,QWORD PTR[48+rbx]
sbb r15,QWORD PTR[56+rbx]
mov rsi,QWORD PTR[rax]
mov rdi,QWORD PTR[8+rax]
mov rcx,QWORD PTR[16+rax]
mov rdx,QWORD PTR[24+rax]
cmovnc rsi,r8
cmovnc rdi,r9
cmovnc rcx,r10
cmovnc rdx,r11
mov QWORD PTR[rax],rsi
mov QWORD PTR[8+rax],rdi
mov QWORD PTR[16+rax],rcx
mov QWORD PTR[24+rax],rdx
mov rsi,QWORD PTR[32+rax]
mov rdi,QWORD PTR[40+rax]
mov rcx,QWORD PTR[48+rax]
mov rdx,QWORD PTR[56+rax]
cmovnc rsi,r12
cmovnc rdi,r13
cmovnc rcx,r14
cmovnc rdx,r15
mov QWORD PTR[32+rax],rsi
mov QWORD PTR[40+rax],rdi
mov QWORD PTR[48+rax],rcx
mov QWORD PTR[56+rax],rdx
mov rsi,QWORD PTR[rsp]
mov r15,QWORD PTR[rsi]
mov r14,QWORD PTR[8+rsi]
mov r13,QWORD PTR[16+rsi]
mov r12,QWORD PTR[24+rsi]
mov rbx,QWORD PTR[32+rsi]
mov rbp,QWORD PTR[40+rsi]
lea rsp,QWORD PTR[48+rsi]
$L$epilogue::
mov rdi,QWORD PTR[8+rsp] ;WIN64 epilogue
mov rsi,QWORD PTR[16+rsp]
DB 0F3h,0C3h ;repret
$L$SEH_end_mod_exp_512::
mod_exp_512 ENDP
.text$ ENDS
END