; 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
	endbr64
	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
	endbr64
	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
	endbr64




	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
	endbr64
	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


	endbr64
	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

