	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	4, 0x90                         ## -- Begin function secp256k1_fe_normalizes_to_zero_var
_secp256k1_fe_normalizes_to_zero_var:   ## @secp256k1_fe_normalizes_to_zero_var
	.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	%rbx
	pushq	%rax
	.cfi_offset %rbx, -40
	.cfi_offset %r14, -32
	.cfi_offset %r15, -24
	movq	(%rdi), %r9
	movl	36(%r9), %r8d
	movl	%r8d, %ecx
	sarl	$22, %ecx
	imull	$977, %ecx, %esi                ## imm = 0x3D1
	addl	(%r9), %esi
	movl	%esi, %edi
	andl	$67108863, %edi                 ## imm = 0x3FFFFFF
	movl	%edi, %ebx
	xorl	$976, %ebx                      ## imm = 0x3D0
	testl	%edi, %edi
	je	LBB0_2
## %bb.1:
	xorl	%eax, %eax
	cmpl	$67108863, %ebx                 ## imm = 0x3FFFFFF
	jne	LBB0_3
LBB0_2:
	andl	$4194303, %r8d                  ## imm = 0x3FFFFF
	shll	$6, %ecx
	sarl	$26, %esi
	addl	%ecx, %esi
	addl	4(%r9), %esi
	movl	%esi, %ecx
	sarl	$26, %ecx
	addl	8(%r9), %ecx
	movl	%esi, %edx
	andl	$67108863, %edx                 ## imm = 0x3FFFFFF
	orl	%edi, %edx
	xorl	$64, %esi
	movl	%ecx, %eax
	sarl	$26, %eax
	addl	12(%r9), %eax
	andl	%ebx, %esi
	andl	%ecx, %esi
	andl	$67108863, %ecx                 ## imm = 0x3FFFFFF
	orl	%edx, %ecx
	movl	%eax, %ebx
	sarl	$26, %ebx
	addl	16(%r9), %ebx
	andl	%eax, %esi
	andl	$67108863, %eax                 ## imm = 0x3FFFFFF
	movl	%ebx, %edi
	sarl	$26, %edi
	addl	20(%r9), %edi
	orl	%ecx, %eax
	andl	%ebx, %esi
	andl	$67108863, %ebx                 ## imm = 0x3FFFFFF
	orl	%eax, %ebx
	movl	%edi, %eax
	sarl	$26, %eax
	addl	24(%r9), %eax
	andl	%edi, %esi
	andl	$67108863, %edi                 ## imm = 0x3FFFFFF
	movl	%eax, %ecx
	sarl	$26, %ecx
	addl	28(%r9), %ecx
	orl	%ebx, %edi
	andl	$67108863, %eax                 ## imm = 0x3FFFFFF
	orl	%eax, %edi
	andl	%esi, %eax
	movl	%ecx, %ebx
	sarl	$26, %ebx
	addl	32(%r9), %ebx
	andl	%ecx, %eax
	andl	$67108863, %ecx                 ## imm = 0x3FFFFFF
	orl	%edi, %ecx
	movl	%ebx, %r14d
	sarl	$26, %r14d
	addl	%r8d, %r14d
	andl	%ebx, %eax
	andl	$67108863, %ebx                 ## imm = 0x3FFFFFF
	orl	%ecx, %ebx
	movl	%r14d, %r15d
	xorl	$62914560, %r15d                ## imm = 0x3C00000
	andl	%eax, %r15d
	xorl	%edi, %edi
	cmpl	$8388608, %r14d                 ## imm = 0x800000
	setb	%dil
	callq	_VERIFY_CHECK
	orl	%r14d, %ebx
	sete	%al
	cmpl	$67108863, %r15d                ## imm = 0x3FFFFFF
	sete	%cl
	orb	%al, %cl
	movzbl	%cl, %eax
LBB0_3:
	addq	$8, %rsp
	popq	%rbx
	popq	%r14
	popq	%r15
	popq	%rbp
	retq
	.cfi_endproc
                                        ## -- End function
	.no_dead_strip	_secp256k1_fe_normalizes_to_zero_var
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	2                               ; -- Begin function secp256k1_fe_normalizes_to_zero_var
_secp256k1_fe_normalizes_to_zero_var:   ; @secp256k1_fe_normalizes_to_zero_var
	.cfi_startproc
; %bb.0:
	stp	x22, x21, [sp, #-48]!           ; 16-byte Folded Spill
	.cfi_def_cfa_offset 48
	stp	x20, x19, [sp, #16]             ; 16-byte Folded Spill
	stp	x29, x30, [sp, #32]             ; 16-byte Folded Spill
	add	x29, sp, #32
	.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
	ldr	x10, [x0]
	ldr	w8, [x10]
	ldr	w12, [x10, #36]
	asr	w11, w12, #22
	mov	w9, #977
	madd	w13, w11, w9, w8
	and	w8, w13, #0x3ffffff
	mov	w9, #976
	eor	w9, w8, w9
	cmp	w8, #0
	mov	w19, #67108863
	ccmp	w9, w19, #4, ne
	b.ne	LBB0_2
; %bb.1:
	ldp	w14, w15, [x10, #4]
	ldp	w16, w17, [x10, #12]
	ldp	w0, w1, [x10, #20]
	ldp	w2, w10, [x10, #28]
	and	w12, w12, #0x3fffff
	asr	w13, w13, #26
	add	w11, w13, w11, lsl #6
	add	w11, w11, w14
	add	w13, w15, w11, asr #26
	and	w14, w11, #0x3ffffff
	orr	w8, w14, w8
	eor	w11, w11, #0x40
	and	w9, w11, w9
	add	w11, w16, w13, asr #26
	and	w14, w13, #0x3ffffff
	orr	w8, w8, w14
	and	w9, w9, w13
	add	w13, w17, w11, asr #26
	and	w14, w11, #0x3ffffff
	orr	w8, w8, w14
	and	w9, w9, w11
	add	w11, w0, w13, asr #26
	and	w14, w13, #0x3ffffff
	orr	w8, w8, w14
	and	w9, w9, w13
	add	w13, w1, w11, asr #26
	and	w14, w11, #0x3ffffff
	orr	w8, w8, w14
	and	w9, w9, w11
	add	w11, w2, w13, asr #26
	and	w13, w13, #0x3ffffff
	orr	w8, w8, w13
	and	w9, w9, w13
	add	w10, w10, w11, asr #26
	and	w13, w11, #0x3ffffff
	orr	w8, w8, w13
	and	w9, w9, w11
	add	w11, w12, w10, asr #26
	and	w12, w10, #0x3ffffff
	orr	w8, w8, w12
	and	w9, w9, w10
	orr	w20, w8, w11
	eor	w8, w11, #0x3c00000
	and	w21, w9, w8
	cmp	w11, #2048, lsl #12             ; =8388608
	cset	w0, lo
	bl	_VERIFY_CHECK
	cmp	w20, #0
	ccmp	w21, w19, #4, ne
	cset	w0, eq
	b	LBB0_3
LBB0_2:
	mov	w0, #0
LBB0_3:
	ldp	x29, x30, [sp, #32]             ; 16-byte Folded Reload
	ldp	x20, x19, [sp, #16]             ; 16-byte Folded Reload
	ldp	x22, x21, [sp], #48             ; 16-byte Folded Reload
	ret
	.cfi_endproc
                                        ; -- End function
	.no_dead_strip	_secp256k1_fe_normalizes_to_zero_var
.subsections_via_symbols
