From fcedfddf00b3f994e4f4e40332ac7fc192c63244 Mon Sep 17 00:00:00 2001
From: polwex <polwex@sortug.com>
Date: Sun, 5 Oct 2025 21:56:51 +0700
Subject: claude is gud

---
 vere/ext/gmp/gen/x86_64-macos/mpn/submul_1.s | 211 +++++++++++++++++++++++++++
 1 file changed, 211 insertions(+)
 create mode 100644 vere/ext/gmp/gen/x86_64-macos/mpn/submul_1.s

(limited to 'vere/ext/gmp/gen/x86_64-macos/mpn/submul_1.s')

diff --git a/vere/ext/gmp/gen/x86_64-macos/mpn/submul_1.s b/vere/ext/gmp/gen/x86_64-macos/mpn/submul_1.s
new file mode 100644
index 0000000..37fcb54
--- /dev/null
+++ b/vere/ext/gmp/gen/x86_64-macos/mpn/submul_1.s
@@ -0,0 +1,211 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+   
+   
+   
+   
+
+
+
+
+
+
+  
+  
+  
+
+
+
+
+
+
+
+
+	.text
+	.align	4, 0x90
+	.globl	___gmpn_submul_1
+	
+	
+___gmpn_submul_1:
+
+	
+	push	%rbx
+	push	%rbp
+	push	%r12
+	push	%r13
+
+	mov	%rdx, %rbp
+	mov	%rcx, %rdx
+
+	test	$1, %bpl
+	jnz	Lbx1
+
+Lbx0:	shr	$2, %rbp
+	jc	Lb10
+
+Lb00:	.byte	0xc4,98,147,0xf6,38
+	.byte	0xc4,226,227,0xf6,70,8
+	add	%r12, %rbx
+	adc	$0, %rax
+	mov	(%rdi), %r12
+	mov	8(%rdi), %rcx
+	.byte	0xc4,98,179,0xf6,70,16
+	lea	-16(%rdi), %rdi
+	lea	16(%rsi), %rsi
+	sub	%r13, %r12
+	jmp	Llo0
+
+Lbx1:	shr	$2, %rbp
+	jc	Lb11
+
+Lb01:	.byte	0xc4,98,163,0xf6,22
+	jnz	Lgt1
+Ln1:	sub	%r11, (%rdi)
+	mov	$0, %eax
+	adc	%r10, %rax
+	jmp	Lret
+
+Lgt1:	.byte	0xc4,98,147,0xf6,102,8
+	.byte	0xc4,226,227,0xf6,70,16
+	lea	24(%rsi), %rsi
+	add	%r10, %r13
+	adc	%r12, %rbx
+	adc	$0, %rax
+	mov	(%rdi), %r10
+	mov	8(%rdi), %r12
+	mov	16(%rdi), %rcx
+	lea	-8(%rdi), %rdi
+	sub	%r11, %r10
+	jmp	Llo1
+
+Lb11:	.byte	0xc4,226,227,0xf6,6
+	mov	(%rdi), %rcx
+	.byte	0xc4,98,179,0xf6,70,8
+	lea	8(%rsi), %rsi
+	lea	-24(%rdi), %rdi
+	inc	%rbp			
+	sub	%rbx, %rcx
+	jmp	Llo3
+
+Lb10:	.byte	0xc4,98,179,0xf6,6
+	.byte	0xc4,98,163,0xf6,86,8
+	lea	-32(%rdi), %rdi
+	mov	$0, %eax
+	clc				
+	jz	Lend			
+
+	.align	4, 0x90
+Ltop:	adc	%rax, %r9
+	lea	32(%rdi), %rdi
+	adc	%r8, %r11
+	.byte	0xc4,98,147,0xf6,102,16
+	mov	(%rdi), %r8
+	.byte	0xc4,226,227,0xf6,70,24
+	lea	32(%rsi), %rsi
+	adc	%r10, %r13
+	adc	%r12, %rbx
+	adc	$0, %rax
+	mov	8(%rdi), %r10
+	mov	16(%rdi), %r12
+	sub	%r9, %r8
+	mov	24(%rdi), %rcx
+	mov	%r8, (%rdi)
+	sbb	%r11, %r10
+Llo1:	.byte	0xc4,98,179,0xf6,6
+	mov	%r10, 8(%rdi)
+	sbb	%r13, %r12
+Llo0:	mov	%r12, 16(%rdi)
+	sbb	%rbx, %rcx
+Llo3:	.byte	0xc4,98,163,0xf6,86,8
+	mov	%rcx, 24(%rdi)
+	dec	%rbp
+	jnz	Ltop
+
+Lend:	adc	%rax, %r9
+	adc	%r8, %r11
+	mov	32(%rdi), %r8
+	mov	%r10, %rax
+	adc	$0, %rax
+	mov	40(%rdi), %r10
+	sub	%r9, %r8
+	mov	%r8, 32(%rdi)
+	sbb	%r11, %r10
+	mov	%r10, 40(%rdi)
+	adc	$0, %rax
+
+Lret:	pop	%r13
+	pop	%r12
+	pop	%rbp
+	pop	%rbx
+	
+	ret
+	
-- 
cgit v1.2.3