	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.globl	_main                           ## -- Begin function main
	.p2align	4, 0x90
_main:                                  ## @main
	.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	$72, %rsp
	.cfi_offset %rbx, -56
	.cfi_offset %r12, -48
	.cfi_offset %r13, -40
	.cfi_offset %r14, -32
	.cfi_offset %r15, -24
	movq	___stack_chk_guard@GOTPCREL(%rip), %rax
	movq	(%rax), %rax
	movq	%rax, -48(%rbp)
	movq	_EXHAUSTIVE_TEST_ORDER@GOTPCREL(%rip), %r14
	movl	(%r14), %ebx
	leaq	(,%rbx,4), %rax
	callq	____chkstk_darwin
	addq	$15, %rax
	andq	$-16, %rax
	subq	%rax, %rsp
	movq	%rsp, %r12
	shlq	$4, %rbx
	movq	%rbx, %rax
	callq	____chkstk_darwin
	addq	$15, %rax
	andq	$-16, %rax
	subq	%rax, %rsp
	movq	%rsp, %r13
	movq	_SECP256K1_CONTEXT_SIGN@GOTPCREL(%rip), %rax
	movq	_SECP256K1_CONTEXT_VERIFY@GOTPCREL(%rip), %rcx
	movl	(%rcx), %edi
	orl	(%rax), %edi
	callq	_secp256k1_context_create
	movq	%rax, %rbx
	movq	%r12, %rdi
	callq	_secp256k1_gej_set_infinity
	movq	%r13, %rdi
	movq	%r12, %rsi
	callq	_secp256k1_ge_set_gej
	movl	(%r14), %edx
	cmpl	$2, %edx
	jl	LBB0_4
## %bb.1:
	movq	%rbx, -56(%rbp)                 ## 8-byte Spill
	movl	$1, %ebx
	movq	%r12, -64(%rbp)                 ## 8-byte Spill
	movq	%r12, %r14
	movq	%r13, -72(%rbp)                 ## 8-byte Spill
	.p2align	4, 0x90
LBB0_2:                                 ## =>This Inner Loop Header: Depth=1
	leaq	-108(%rbp), %r15
	movq	%r15, %rdi
	callq	_random_fe
	leaq	4(%r14), %r12
	movq	%r12, %rdi
	movq	%r14, %rsi
	movq	_secp256k1_ge_const_g@GOTPCREL(%rip), %rdx
	callq	_secp256k1_gej_add_ge
	leaq	16(%r13), %rdi
	movq	%rdi, -80(%rbp)                 ## 8-byte Spill
	movq	%r12, %rsi
	callq	_secp256k1_ge_set_gej
	movq	%r12, %rdi
	movq	%r15, %rsi
	callq	_secp256k1_gej_rescale
	leaq	-104(%rbp), %r14
	movq	%r14, %rdi
	movl	%ebx, %esi
	callq	_secp256k1_scalar_set_int
	movq	-56(%rbp), %rdi                 ## 8-byte Reload
	leaq	-100(%rbp), %r15
	movq	%r15, %rsi
	movq	%r14, %rdx
	callq	_secp256k1_ecmult_gen
	leaq	-96(%rbp), %rdi
	movq	%r15, %rsi
	callq	_secp256k1_ge_set_gej
	xorl	%edi, %edi
	cmpq	$0, 16(%r13)
	sete	%dil
	callq	_CHECK
	xorl	%edi, %edi
	cmpq	$0, -96(%rbp)
	sete	%dil
	callq	_CHECK
	leaq	28(%r13), %rsi
	leaq	-84(%rbp), %rdi
	callq	_secp256k1_fe_equal_var
	movl	%eax, %edi
	callq	_CHECK
	addq	$24, %r13
	leaq	-88(%rbp), %rdi
	movq	%r13, %rsi
	callq	_secp256k1_fe_equal_var
	movl	%eax, %edi
	callq	_CHECK
	incq	%rbx
	movq	_EXHAUSTIVE_TEST_ORDER@GOTPCREL(%rip), %rax
	movslq	(%rax), %rdx
	movq	%r12, %r14
	movq	-80(%rbp), %r13                 ## 8-byte Reload
	cmpq	%rdx, %rbx
	jl	LBB0_2
## %bb.3:
	movq	_EXHAUSTIVE_TEST_ORDER@GOTPCREL(%rip), %r14
	movq	-72(%rbp), %r13                 ## 8-byte Reload
	movq	-56(%rbp), %rbx                 ## 8-byte Reload
	movq	-64(%rbp), %r12                 ## 8-byte Reload
LBB0_4:
	movq	%r13, %rdi
	movq	%r12, %rsi
                                        ## kill: def $edx killed $edx killed $rdx
	callq	_test_exhaustive_addition
	movl	(%r14), %ecx
	movq	%rbx, %rdi
	movq	%r13, %rsi
	movq	%r12, %rdx
	callq	_test_exhaustive_ecmult
	movl	(%r14), %edx
	movq	%rbx, %rdi
	movq	%r13, %rsi
	callq	_test_exhaustive_ecmult_multi
	movl	(%r14), %edx
	movq	%rbx, %rdi
	movq	%r13, %rsi
	callq	_test_exhaustive_sign
	movl	(%r14), %edx
	movq	%rbx, %rdi
	movq	%r13, %rsi
	callq	_test_exhaustive_verify
	movq	%rbx, %rdi
	callq	_secp256k1_context_destroy
	movq	___stack_chk_guard@GOTPCREL(%rip), %rax
	movq	(%rax), %rax
	cmpq	-48(%rbp), %rax
	jne	LBB0_6
## %bb.5:
	xorl	%eax, %eax
	leaq	-40(%rbp), %rsp
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	retq
LBB0_6:
	callq	___stack_chk_fail
	.cfi_endproc
                                        ## -- End function
	.comm	_EXHAUSTIVE_TEST_ORDER,4,2      ## @EXHAUSTIVE_TEST_ORDER
	.comm	_SECP256K1_CONTEXT_SIGN,4,2     ## @SECP256K1_CONTEXT_SIGN
	.comm	_SECP256K1_CONTEXT_VERIFY,4,2   ## @SECP256K1_CONTEXT_VERIFY
	.comm	_secp256k1_ge_const_g,4,2       ## @secp256k1_ge_const_g
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.globl	_main                           ; -- Begin function main
	.p2align	2
_main:                                  ; @main
	.cfi_startproc
; %bb.0:
	stp	x28, x27, [sp, #-96]!           ; 16-byte Folded Spill
	.cfi_def_cfa_offset 96
	stp	x26, x25, [sp, #16]             ; 16-byte Folded Spill
	stp	x24, x23, [sp, #32]             ; 16-byte Folded Spill
	stp	x22, x21, [sp, #48]             ; 16-byte Folded Spill
	stp	x20, x19, [sp, #64]             ; 16-byte Folded Spill
	stp	x29, x30, [sp, #80]             ; 16-byte Folded Spill
	add	x29, sp, #80
	.cfi_def_cfa w29, 16
	.cfi_offset w30, -8
	.cfi_offset w29, -16
	.cfi_offset w19, -24
	.cfi_offset w20, -32
	.cfi_offset w21, -40
	.cfi_offset w22, -48
	.cfi_offset w23, -56
	.cfi_offset w24, -64
	.cfi_offset w25, -72
	.cfi_offset w26, -80
	.cfi_offset w27, -88
	.cfi_offset w28, -96
	sub	sp, sp, #64
Lloh0:
	adrp	x8, ___stack_chk_guard@GOTPAGE
Lloh1:
	ldr	x8, [x8, ___stack_chk_guard@GOTPAGEOFF]
Lloh2:
	ldr	x8, [x8]
	stur	x8, [x29, #-88]
Lloh3:
	adrp	x21, _EXHAUSTIVE_TEST_ORDER@GOTPAGE
Lloh4:
	ldr	x21, [x21, _EXHAUSTIVE_TEST_ORDER@GOTPAGEOFF]
	ldr	w12, [x21]
	lsl	x8, x12, #2
	mov	x9, x8
Lloh5:
	adrp	x16, ___chkstk_darwin@GOTPAGE
Lloh6:
	ldr	x16, [x16, ___chkstk_darwin@GOTPAGEOFF]
	blr	x16
	mov	x9, sp
	add	x8, x8, #15
	and	x8, x8, #0x7fffffff0
	sub	x28, x9, x8
	mov	sp, x28
	lsl	x8, x12, #4
	mov	x9, x8
Lloh7:
	adrp	x16, ___chkstk_darwin@GOTPAGE
Lloh8:
	ldr	x16, [x16, ___chkstk_darwin@GOTPAGEOFF]
	blr	x16
	mov	x9, sp
	sub	x19, x9, x8
	mov	sp, x19
Lloh9:
	adrp	x8, _SECP256K1_CONTEXT_SIGN@GOTPAGE
Lloh10:
	ldr	x8, [x8, _SECP256K1_CONTEXT_SIGN@GOTPAGEOFF]
Lloh11:
	ldr	w8, [x8]
Lloh12:
	adrp	x9, _SECP256K1_CONTEXT_VERIFY@GOTPAGE
Lloh13:
	ldr	x9, [x9, _SECP256K1_CONTEXT_VERIFY@GOTPAGEOFF]
Lloh14:
	ldr	w9, [x9]
	orr	w0, w9, w8
	bl	_secp256k1_context_create
	mov	x20, x0
	mov	x0, x28
	bl	_secp256k1_gej_set_infinity
	mov	x0, x19
	mov	x1, x28
	bl	_secp256k1_ge_set_gej
	ldr	w2, [x21]
	cmp	w2, #2
	b.lt	LBB0_4
; %bb.1:
	sub	x8, x29, #120
	add	x22, x8, #12
	add	x23, x8, #8
	stur	x19, [x29, #-128]               ; 8-byte Folded Spill
	add	x19, x19, #16
	mov	w24, #1
Lloh15:
	adrp	x25, _secp256k1_ge_const_g@GOTPAGE
Lloh16:
	ldr	x25, [x25, _secp256k1_ge_const_g@GOTPAGEOFF]
	stur	x28, [x29, #-136]               ; 8-byte Folded Spill
	mov	x26, x19
LBB0_2:                                 ; =>This Inner Loop Header: Depth=1
	sub	x0, x29, #92
	bl	_random_fe
	add	x27, x28, #4
	mov	x0, x27
	mov	x1, x28
	mov	x2, x25
	bl	_secp256k1_gej_add_ge
	mov	x0, x19
	mov	x1, x27
	bl	_secp256k1_ge_set_gej
	sub	x1, x29, #92
	mov	x0, x27
	bl	_secp256k1_gej_rescale
	sub	x0, x29, #96
	mov	x1, x24
	bl	_secp256k1_scalar_set_int
	sub	x1, x29, #100
	sub	x2, x29, #96
	mov	x0, x20
	bl	_secp256k1_ecmult_gen
	sub	x0, x29, #120
	sub	x1, x29, #100
	bl	_secp256k1_ge_set_gej
	ldr	x8, [x26], #16
	cmp	x8, #0
	cset	w0, eq
	bl	_CHECK
	ldur	x8, [x29, #-120]
	cmp	x8, #0
	cset	w0, eq
	bl	_CHECK
	add	x1, x19, #12
	mov	x0, x22
	bl	_secp256k1_fe_equal_var
	bl	_CHECK
	add	x1, x19, #8
	mov	x0, x23
	bl	_secp256k1_fe_equal_var
	bl	_CHECK
	add	x24, x24, #1
	ldrsw	x2, [x21]
	mov	x28, x27
	mov	x19, x26
	cmp	x24, x2
	b.lt	LBB0_2
; %bb.3:
	ldp	x28, x19, [x29, #-136]          ; 16-byte Folded Reload
LBB0_4:
	mov	x0, x19
	mov	x1, x28
                                        ; kill: def $w2 killed $w2 killed $x2
	bl	_test_exhaustive_addition
	ldr	w3, [x21]
	mov	x0, x20
	mov	x1, x19
	mov	x2, x28
	bl	_test_exhaustive_ecmult
	ldr	w2, [x21]
	mov	x0, x20
	mov	x1, x19
	bl	_test_exhaustive_ecmult_multi
	ldr	w2, [x21]
	mov	x0, x20
	mov	x1, x19
	bl	_test_exhaustive_sign
	ldr	w2, [x21]
	mov	x0, x20
	mov	x1, x19
	bl	_test_exhaustive_verify
	mov	x0, x20
	bl	_secp256k1_context_destroy
	ldur	x8, [x29, #-88]
Lloh17:
	adrp	x9, ___stack_chk_guard@GOTPAGE
Lloh18:
	ldr	x9, [x9, ___stack_chk_guard@GOTPAGEOFF]
Lloh19:
	ldr	x9, [x9]
	cmp	x9, x8
	b.ne	LBB0_6
; %bb.5:
	mov	w0, #0
	sub	sp, x29, #80
	ldp	x29, x30, [sp, #80]             ; 16-byte Folded Reload
	ldp	x20, x19, [sp, #64]             ; 16-byte Folded Reload
	ldp	x22, x21, [sp, #48]             ; 16-byte Folded Reload
	ldp	x24, x23, [sp, #32]             ; 16-byte Folded Reload
	ldp	x26, x25, [sp, #16]             ; 16-byte Folded Reload
	ldp	x28, x27, [sp], #96             ; 16-byte Folded Reload
	ret
LBB0_6:
	bl	___stack_chk_fail
	.loh AdrpLdrGotLdr	Lloh12, Lloh13, Lloh14
	.loh AdrpLdrGotLdr	Lloh9, Lloh10, Lloh11
	.loh AdrpLdrGot	Lloh7, Lloh8
	.loh AdrpLdrGot	Lloh5, Lloh6
	.loh AdrpLdrGot	Lloh3, Lloh4
	.loh AdrpLdrGotLdr	Lloh0, Lloh1, Lloh2
	.loh AdrpLdrGot	Lloh15, Lloh16
	.loh AdrpLdrGotLdr	Lloh17, Lloh18, Lloh19
	.cfi_endproc
                                        ; -- End function
	.comm	_EXHAUSTIVE_TEST_ORDER,4,2      ; @EXHAUSTIVE_TEST_ORDER
	.comm	_SECP256K1_CONTEXT_SIGN,4,2     ; @SECP256K1_CONTEXT_SIGN
	.comm	_SECP256K1_CONTEXT_VERIFY,4,2   ; @SECP256K1_CONTEXT_VERIFY
	.comm	_secp256k1_ge_const_g,4,2       ; @secp256k1_ge_const_g
.subsections_via_symbols
