1 files changed, 222 insertions, 0 deletions
diff --git a/vere/ext/gmp/gen/x86_64-windows/mpn/rsh1add_n.s b/vere/ext/gmp/gen/x86_64-windows/mpn/rsh1add_n.s
new file mode 100644
index 0000000..c4532fc
--- /dev/null
+++ b/vere/ext/gmp/gen/x86_64-windows/mpn/rsh1add_n.s
@@ -0,0 +1,222 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+	
+	
+	
+	
+
+
+
+
+
+
+
+
+	.text
+	.align	16, 0x90
+	.globl	__gmpn_rsh1add_nc
+	
+	.def	__gmpn_rsh1add_nc
+	.scl	2
+	.type	32
+	.endef
+__gmpn_rsh1add_nc:
+
+	push	%rdi
+	push	%rsi
+	mov	%rcx, %rdi
+	mov	%rdx, %rsi
+	mov	%r8, %rdx
+	mov	%r9, %rcx
+
+	mov	56(%rsp), %r8	
+	push	%rbx
+
+	xor	%eax, %eax
+	neg	%r8			
+	mov	(%rsi), %rbx
+	adc	(%rdx), %rbx
+	jmp	Lent
+	
+
+	.align	16, 0x90
+	.globl	__gmpn_rsh1add_n
+	
+	.def	__gmpn_rsh1add_n
+	.scl	2
+	.type	32
+	.endef
+__gmpn_rsh1add_n:
+
+	push	%rdi
+	push	%rsi
+	mov	%rcx, %rdi
+	mov	%rdx, %rsi
+	mov	%r8, %rdx
+	mov	%r9, %rcx
+
+	push	%rbx
+
+	xor	%eax, %eax
+	mov	(%rsi), %rbx
+	add	(%rdx), %rbx
+Lent:
+	rcr	%rbx			
+	adc	%eax, %eax	
+
+	mov	%ecx, %r11d
+	and	$3, %r11d
+
+	cmp	$1, %r11d
+	je	Ldo			
+
+Ln1:	cmp	$2, %r11d
+	jne	Ln2			
+	add	%rbx, %rbx		
+	mov	8(%rsi), %r10
+	adc	8(%rdx), %r10
+	lea	8(%rsi), %rsi
+	lea	8(%rdx), %rdx
+	lea	8(%rdi), %rdi
+	rcr	%r10
+	rcr	%rbx
+	mov	%rbx, -8(%rdi)
+	jmp	Lcj1
+
+Ln2:	cmp	$3, %r11d
+	jne	Ln3			
+	add	%rbx, %rbx		
+	mov	8(%rsi), %r9
+	mov	16(%rsi), %r10
+	adc	8(%rdx), %r9
+	adc	16(%rdx), %r10
+	lea	16(%rsi), %rsi
+	lea	16(%rdx), %rdx
+	lea	16(%rdi), %rdi
+	rcr	%r10
+	rcr	%r9
+	rcr	%rbx
+	mov	%rbx, -16(%rdi)
+	jmp	Lcj2
+
+Ln3:	dec	  %rcx			
+	add	%rbx, %rbx		
+	mov	8(%rsi), %r8
+	mov	16(%rsi), %r9
+	adc	8(%rdx), %r8
+	adc	16(%rdx), %r9
+	mov	24(%rsi), %r10
+	adc	24(%rdx), %r10
+	lea	24(%rsi), %rsi
+	lea	24(%rdx), %rdx
+	lea	24(%rdi), %rdi
+	rcr	%r10
+	rcr	%r9
+	rcr	%r8
+	rcr	%rbx
+	mov	%rbx, -24(%rdi)
+	mov	%r8, -16(%rdi)
+Lcj2:	mov	%r9, -8(%rdi)
+Lcj1:	mov	%r10, %rbx
+
+Ldo:
+	shr	$2,   %rcx			
+	je	Lend			
+	.align	16, 0x90
+Ltop:	add	%rbx, %rbx		
+
+	mov	8(%rsi), %r8
+	mov	16(%rsi), %r9
+	adc	8(%rdx), %r8
+	adc	16(%rdx), %r9
+	mov	24(%rsi), %r10
+	mov	32(%rsi), %r11
+	adc	24(%rdx), %r10
+	adc	32(%rdx), %r11
+
+	lea	32(%rsi), %rsi
+	lea	32(%rdx), %rdx
+
+	rcr	%r11			
+	rcr	%r10
+	rcr	%r9
+	rcr	%r8
+
+	rcr	%rbx
+	mov	%rbx, (%rdi)
+	mov	%r8, 8(%rdi)
+	mov	%r9, 16(%rdi)
+	mov	%r10, 24(%rdi)
+	mov	%r11, %rbx
+
+	lea	32(%rdi), %rdi
+	dec	  %rcx
+	jne	Ltop
+
+Lend:	mov	%rbx, (%rdi)
+	pop	%rbx
+	pop	%rsi
+	pop	%rdi
+	ret
+