am 3781a606: am 1e4884f6: external/boringssl: sync with upstream.

* commit '3781a60670f92c3c6fca860cb4589495cefa2e56':
  external/boringssl: sync with upstream.

1 files changed, 0 insertions, 1887 deletions

diff --git a/win-x86_64/crypto/bn/modexp512-x86_64.asm b/win-x86_64/crypto/bn/modexp512-x86_64.asm
deleted file mode 100644
index d3e4a61..0000000
--- a/win-x86_64/crypto/bn/modexp512-x86_64.asm
+++ /dev/null
@@ -1,1887 +0,0 @@
-OPTION	DOTNAME
-.text$	SEGMENT ALIGN(256) '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
-EXTERN	__imp_RtlVirtualUnwind:NEAR
-
-ALIGN	16
-mod_exp_512_se_handler	PROC PRIVATE
-	push	rsi
-	push	rdi
-	push	rbx
-	push	rbp
-	push	r12
-	push	r13
-	push	r14
-	push	r15
-	pushfq
-	sub	rsp,64
-
-	mov	rax,QWORD PTR[120+r8]
-	mov	rbx,QWORD PTR[248+r8]
-
-	lea	r10,QWORD PTR[$L$body]
-	cmp	rbx,r10
-	jb	$L$in_prologue
-
-	mov	rax,QWORD PTR[152+r8]
-
-	lea	r10,QWORD PTR[$L$epilogue]
-	cmp	rbx,r10
-	jae	$L$in_prologue
-
-	mov	rax,QWORD PTR[rax]
-
-	mov	rbx,QWORD PTR[32+rax]
-	mov	rbp,QWORD PTR[40+rax]
-	mov	r12,QWORD PTR[24+rax]
-	mov	r13,QWORD PTR[16+rax]
-	mov	r14,QWORD PTR[8+rax]
-	mov	r15,QWORD PTR[rax]
-	lea	rax,QWORD PTR[48+rax]
-	mov	QWORD PTR[144+r8],rbx
-	mov	QWORD PTR[160+r8],rbp
-	mov	QWORD PTR[216+r8],r12
-	mov	QWORD PTR[224+r8],r13
-	mov	QWORD PTR[232+r8],r14
-	mov	QWORD PTR[240+r8],r15
-
-$L$in_prologue::
-	mov	rdi,QWORD PTR[8+rax]
-	mov	rsi,QWORD PTR[16+rax]
-	mov	QWORD PTR[152+r8],rax
-	mov	QWORD PTR[168+r8],rsi
-	mov	QWORD PTR[176+r8],rdi
-
-	mov	rdi,QWORD PTR[40+r9]
-	mov	rsi,r8
-	mov	ecx,154
-	DD	0a548f3fch
-
-	mov	rsi,r9
-	xor	rcx,rcx
-	mov	rdx,QWORD PTR[8+rsi]
-	mov	r8,QWORD PTR[rsi]
-	mov	r9,QWORD PTR[16+rsi]
-	mov	r10,QWORD PTR[40+rsi]
-	lea	r11,QWORD PTR[56+rsi]
-	lea	r12,QWORD PTR[24+rsi]
-	mov	QWORD PTR[32+rsp],r10
-	mov	QWORD PTR[40+rsp],r11
-	mov	QWORD PTR[48+rsp],r12
-	mov	QWORD PTR[56+rsp],rcx
-	call	QWORD PTR[__imp_RtlVirtualUnwind]
-
-	mov	eax,1
-	add	rsp,64
-	popfq
-	pop	r15
-	pop	r14
-	pop	r13
-	pop	r12
-	pop	rbp
-	pop	rbx
-	pop	rdi
-	pop	rsi
-	DB	0F3h,0C3h		;repret
-mod_exp_512_se_handler	ENDP
-
-.text$	ENDS
-.pdata	SEGMENT READONLY ALIGN(4)
-ALIGN	4
-	DD	imagerel $L$SEH_begin_mod_exp_512
-	DD	imagerel $L$SEH_end_mod_exp_512
-	DD	imagerel $L$SEH_info_mod_exp_512
-
-.pdata	ENDS
-.xdata	SEGMENT READONLY ALIGN(8)
-ALIGN	8
-$L$SEH_info_mod_exp_512::
-DB	9,0,0,0
-	DD	imagerel mod_exp_512_se_handler
-
-.xdata	ENDS
-END