1 files changed, 175 insertions, 0 deletions
diff --git a/vere/ext/gmp/gen/x86_64-linux/mpn/dive_1.s b/vere/ext/gmp/gen/x86_64-linux/mpn/dive_1.s
new file mode 100644
index 0000000..23a35c8
--- /dev/null
+++ b/vere/ext/gmp/gen/x86_64-linux/mpn/dive_1.s
@@ -0,0 +1,175 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+	.text
+	.align	16, 0x90
+	.globl	__gmpn_divexact_1
+	.type	__gmpn_divexact_1,@function
+	
+__gmpn_divexact_1:
+
+	
+	push	%rbx
+
+	mov	%rcx, %rax
+	xor	%ecx, %ecx	
+	mov	%rdx, %r8
+
+	bt	$0, %eax
+	jnc	.Levn			
+
+.Lodd:	mov	%rax, %rbx
+	shr	%eax
+	and	$127, %eax		
+
+	mov	__gmp_binvert_limb_table@GOTPCREL(%rip), %rdx
+
+
+
+	movzbl	(%rdx,%rax), %eax	
+
+	mov	%rbx, %r11		
+
+	lea	(%rax,%rax), %edx	
+	imul	%eax, %eax	
+	imul	%ebx, %eax	
+	sub	%eax, %edx	
+
+	lea	(%rdx,%rdx), %eax	
+	imul	%edx, %edx	
+	imul	%ebx, %edx	
+	sub	%edx, %eax	
+
+	lea	(%rax,%rax), %r10	
+	imul	%rax, %rax		
+	imul	%rbx, %rax		
+	sub	%rax, %r10		
+
+	lea	(%rsi,%r8,8), %rsi	
+	lea	-8(%rdi,%r8,8), %rdi	
+	neg	%r8			
+
+	mov	(%rsi,%r8,8), %rax	
+
+	inc	%r8
+	jz	.Lone
+
+	mov	(%rsi,%r8,8), %rdx	
+
+	shrd	%cl, %rdx, %rax
+
+	xor	%ebx, %ebx
+	jmp	.Lent
+
+.Levn:	bsf	%rax, %rcx
+	shr	%cl, %rax
+	jmp	.Lodd
+
+	.align	8, 0x90
+.Ltop:
+	
+	
+	
+	
+	
+	
+	
+	
+	
+
+	mul	%r11			
+	mov	-8(%rsi,%r8,8), %rax	
+	mov	(%rsi,%r8,8), %r9	
+	shrd	%cl, %r9, %rax	
+	nop				
+	sub	%rbx, %rax		
+	setc	%bl			
+	sub	%rdx, %rax		
+	adc	$0, %rbx		
+.Lent:	imul	%r10, %rax		
+	mov	%rax, (%rdi,%r8,8)	
+	inc	%r8			
+	jnz	.Ltop
+
+	mul	%r11			
+	mov	-8(%rsi), %rax		
+	shr	%cl, %rax
+	sub	%rbx, %rax		
+	sub	%rdx, %rax		
+	imul	%r10, %rax
+	mov	%rax, (%rdi)
+	pop	%rbx
+	
+	ret
+
+.Lone:	shr	%cl, %rax
+	imul	%r10, %rax
+	mov	%rax, (%rdi)
+	pop	%rbx
+	
+	ret
+
+	.size	__gmpn_divexact_1,.-__gmpn_divexact_1