	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.globl	_test_add_neg_y_diff_x          ## -- Begin function test_add_neg_y_diff_x
	.p2align	4, 0x90
_test_add_neg_y_diff_x:                 ## @test_add_neg_y_diff_x
	.cfi_startproc
## %bb.0:
	pushq	%rbp
	.cfi_def_cfa_offset 16
	.cfi_offset %rbp, -16
	movq	%rsp, %rbp
	.cfi_def_cfa_register %rbp
	pushq	%r15
	pushq	%r14
	pushq	%r13
	pushq	%r12
	pushq	%rbx
	subq	$24, %rsp
	.cfi_offset %rbx, -56
	.cfi_offset %r12, -48
	.cfi_offset %r13, -40
	.cfi_offset %r14, -32
	.cfi_offset %r15, -24
	movl	$-1926967915, %edi              ## imm = 0x8D24CD95
	movl	$171268849, %esi                ## imm = 0xA355AF1
	movl	$1012151557, %edx               ## imm = 0x3C543505
	movl	$1143180592, %ecx               ## imm = 0x44238D30
	movl	$105109407, %r8d                ## imm = 0x643D79F
	movl	$94737940, %r9d                 ## imm = 0x5A59614
	pushq	$-1852829315                    ## imm = 0x9190117D
	pushq	$1155977971                     ## imm = 0x44E6D2F3
	pushq	$-681043676                     ## imm = 0xD7681924
	pushq	$1299368057                     ## imm = 0x4D72C879
	pushq	$185766824                      ## imm = 0xB1293A8
	pushq	$1812936813                     ## imm = 0x6C0F386D
	pushq	$940129741                      ## imm = 0x38093DCD
	pushq	$1979258                        ## imm = 0x1E337A
	pushq	$-712411189                     ## imm = 0xD58977CB
	pushq	$797884464                      ## imm = 0x2F8EC030
	callq	_SECP256K1_GEJ_CONST
	addq	$80, %rsp
	movl	%eax, -52(%rbp)
	movl	$-944291322, %edi               ## imm = 0xC7B74206
	movl	$527994073, %esi                ## imm = 0x1F788CD9
	movl	$-1412394115, %edx              ## imm = 0xABD0937D
	movl	$373951878, %ecx                ## imm = 0x164A0D86
	movl	$-1778974859, %r8d              ## imm = 0x95F6FF75
	movl	$-241546007, %r9d               ## imm = 0xF19A4CE9
	pushq	$1852828338                     ## imm = 0x6E6FEAB2
	pushq	$-1155977973                    ## imm = 0xBB192D0B
	pushq	$681043675                      ## imm = 0x2897E6DB
	pushq	$-1299368058                    ## imm = 0xB28D3786
	pushq	$-185766825                     ## imm = 0xF4ED6C57
	pushq	$-1812936814                    ## imm = 0x93F0C792
	pushq	$-940129742                     ## imm = 0xC7F6C232
	pushq	$-1979259                       ## imm = 0xFFE1CC85
	pushq	$-1080896857                    ## imm = 0xBF92D2A7
	pushq	$-804012677                     ## imm = 0xD013BD7B
	callq	_SECP256K1_GEJ_CONST
	addq	$80, %rsp
	movl	%eax, -48(%rbp)
	movl	$1729782720, %edi               ## imm = 0x671A63C0
	movl	$1056812364, %esi               ## imm = 0x3EFDAD4C
	movl	$949647256, %edx                ## imm = 0x389A7798
	movl	$607477799, %ecx                ## imm = 0x24356027
	movl	$-1277784048, %r8d              ## imm = 0xB3D69010
	movl	$663102915, %r9d                ## imm = 0x278625C3
	pushq	$-1093076034                    ## imm = 0xBED8FBBE
	pushq	$-1894938308                    ## imm = 0x8F0D893C
	pushq	$1894341807                     ## imm = 0x70E95CAF
	pushq	$-630908927                     ## imm = 0xDA651801
	pushq	$621223176                      ## imm = 0x25071D08
	pushq	$1361040245                     ## imm = 0x511FD375
	pushq	$752885547                      ## imm = 0x2CE01F2B
	pushq	$1600391618                     ## imm = 0x5F6409C2
	pushq	$407539578                      ## imm = 0x184A8F7A
	pushq	$1552339856                     ## imm = 0x5C86D390
	callq	_SECP256K1_GEJ_CONST
	addq	$80, %rsp
	movl	%eax, -44(%rbp)
	leaq	-64(%rbp), %r14
	leaq	-48(%rbp), %rbx
	movq	%r14, %rdi
	movq	%rbx, %rsi
	callq	_secp256k1_ge_set_gej
	leaq	-60(%rbp), %r15
	leaq	-52(%rbp), %r12
	movq	%r15, %rdi
	movq	%r12, %rsi
	movq	%rbx, %rdx
	xorl	%ecx, %ecx
	callq	_secp256k1_gej_add_var
	leaq	-56(%rbp), %rbx
	movq	%rbx, %rdi
	movq	%r15, %rsi
	callq	_secp256k1_ge_set_gej
	leaq	-44(%rbp), %r13
	movq	%rbx, %rdi
	movq	%r13, %rsi
	callq	_ge_equals_gej
	movq	%r15, %rdi
	movq	%r12, %rsi
	movq	%r14, %rdx
	callq	_secp256k1_gej_add_ge
	movq	%rbx, %rdi
	movq	%r15, %rsi
	callq	_secp256k1_ge_set_gej
	movq	%rbx, %rdi
	movq	%r13, %rsi
	callq	_ge_equals_gej
	movq	%r15, %rdi
	movq	%r12, %rsi
	movq	%r14, %rdx
	xorl	%ecx, %ecx
	callq	_secp256k1_gej_add_ge_var
	movq	%rbx, %rdi
	movq	%r15, %rsi
	callq	_secp256k1_ge_set_gej
	movq	%rbx, %rdi
	movq	%r13, %rsi
	callq	_ge_equals_gej
	addq	$24, %rsp
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	retq
	.cfi_endproc
                                        ## -- End function
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.globl	_test_add_neg_y_diff_x          ; -- Begin function test_add_neg_y_diff_x
	.p2align	2
_test_add_neg_y_diff_x:                 ; @test_add_neg_y_diff_x
	.cfi_startproc
; %bb.0:
	sub	sp, sp, #80
	.cfi_def_cfa_offset 80
	stp	x29, x30, [sp, #64]             ; 16-byte Folded Spill
	add	x29, sp, #64
	.cfi_def_cfa w29, 16
	.cfi_offset w30, -8
	.cfi_offset w29, -16
	mov	x8, #54003
	movk	x8, #17638, lsl #16
	movk	x8, #4477, lsl #32
	movk	x8, #37264, lsl #48
	mov	x9, #51321
	movk	x9, #19826, lsl #16
	movk	x9, #6436, lsl #32
	movk	x9, #55144, lsl #48
	mov	x10, #14445
	movk	x10, #27663, lsl #16
	movk	x10, #37800, lsl #32
	movk	x10, #2834, lsl #48
	mov	x11, #13178
	movk	x11, #30, lsl #16
	movk	x11, #15821, lsl #32
	movk	x11, #14345, lsl #48
	stp	x9, x8, [sp, #16]
	stp	x11, x10, [sp]
	mov	w0, #52629
	movk	w0, #36132, lsl #16
	mov	w1, #23281
	movk	w1, #2613, lsl #16
	mov	w2, #13573
	movk	w2, #15444, lsl #16
	mov	w3, #36144
	movk	w3, #17443, lsl #16
	mov	w4, #55199
	movk	w4, #1603, lsl #16
	mov	w5, #38420
	movk	w5, #1445, lsl #16
	mov	w6, #49200
	movk	w6, #12174, lsl #16
	mov	w7, #30667
	movk	w7, #54665, lsl #16
	bl	_SECP256K1_GEJ_CONST
	stur	w0, [x29, #-4]
	mov	x8, #11531
	movk	x8, #47897, lsl #16
	movk	x8, #60082, lsl #32
	movk	x8, #28271, lsl #48
	mov	x9, #14214
	movk	x9, #45709, lsl #16
	movk	x9, #59099, lsl #32
	movk	x9, #10391, lsl #48
	mov	x10, #51090
	movk	x10, #37872, lsl #16
	movk	x10, #27735, lsl #32
	movk	x10, #62701, lsl #48
	mov	x11, #52357
	movk	x11, #65505, lsl #16
	movk	x11, #49714, lsl #32
	movk	x11, #51190, lsl #48
	stp	x9, x8, [sp, #16]
	stp	x11, x10, [sp]
	mov	w0, #16902
	movk	w0, #51127, lsl #16
	mov	w1, #36057
	movk	w1, #8056, lsl #16
	mov	w2, #37757
	movk	w2, #43984, lsl #16
	mov	w3, #3462
	movk	w3, #5706, lsl #16
	mov	w4, #65397
	movk	w4, #38390, lsl #16
	mov	w5, #19689
	movk	w5, #61850, lsl #16
	mov	w6, #48507
	movk	w6, #53267, lsl #16
	mov	w7, #53927
	movk	w7, #49042, lsl #16
	bl	_SECP256K1_GEJ_CONST
	stur	w0, [x29, #-8]
	mov	x8, #35132
	movk	x8, #36621, lsl #16
	movk	x8, #64446, lsl #32
	movk	x8, #48856, lsl #48
	mov	x9, #6145
	movk	x9, #55909, lsl #16
	movk	x9, #23727, lsl #32
	movk	x9, #28905, lsl #48
	mov	x10, #54133
	movk	x10, #20767, lsl #16
	movk	x10, #7432, lsl #32
	movk	x10, #9479, lsl #48
	mov	x11, #2498
	movk	x11, #24420, lsl #16
	movk	x11, #7979, lsl #32
	movk	x11, #11488, lsl #48
	stp	x9, x8, [sp, #16]
	stp	x11, x10, [sp]
	mov	w0, #25536
	movk	w0, #26394, lsl #16
	mov	w1, #44364
	movk	w1, #16125, lsl #16
	mov	w2, #30616
	movk	w2, #14490, lsl #16
	mov	w3, #24615
	movk	w3, #9269, lsl #16
	mov	w4, #36880
	movk	w4, #46038, lsl #16
	mov	w5, #9667
	movk	w5, #10118, lsl #16
	mov	w6, #54160
	movk	w6, #23686, lsl #16
	mov	w7, #36730
	movk	w7, #6218, lsl #16
	bl	_SECP256K1_GEJ_CONST
	stur	w0, [x29, #-12]
	sub	x0, x29, #16
	sub	x1, x29, #8
	bl	_secp256k1_ge_set_gej
	sub	x0, x29, #20
	sub	x1, x29, #4
	sub	x2, x29, #8
	mov	x3, #0
	bl	_secp256k1_gej_add_var
	sub	x0, x29, #24
	sub	x1, x29, #20
	bl	_secp256k1_ge_set_gej
	sub	x0, x29, #24
	sub	x1, x29, #12
	bl	_ge_equals_gej
	sub	x0, x29, #20
	sub	x1, x29, #4
	sub	x2, x29, #16
	bl	_secp256k1_gej_add_ge
	sub	x0, x29, #24
	sub	x1, x29, #20
	bl	_secp256k1_ge_set_gej
	sub	x0, x29, #24
	sub	x1, x29, #12
	bl	_ge_equals_gej
	sub	x0, x29, #20
	sub	x1, x29, #4
	sub	x2, x29, #16
	mov	x3, #0
	bl	_secp256k1_gej_add_ge_var
	sub	x0, x29, #24
	sub	x1, x29, #20
	bl	_secp256k1_ge_set_gej
	sub	x0, x29, #24
	sub	x1, x29, #12
	bl	_ge_equals_gej
	ldp	x29, x30, [sp, #64]             ; 16-byte Folded Reload
	add	sp, sp, #80
	ret
	.cfi_endproc
                                        ; -- End function
.subsections_via_symbols
