	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	4, 0x90                         ## -- Begin function test_EC_P256_carry_inner
_test_EC_P256_carry_inner:              ## @test_EC_P256_carry_inner
	.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
	subq	$184, %rsp
	.cfi_offset %rbx, -40
	.cfi_offset %r14, -32
	.cfi_offset %r15, -24
	movq	%rdx, %r15
	movq	%rdi, %r14
	movq	___stack_chk_guard@GOTPCREL(%rip), %rax
	movq	(%rax), %rax
	movq	%rax, -32(%rbp)
	leaq	-112(%rbp), %rdi
	callq	_hextobin
	movq	%rax, %rbx
	leaq	-192(%rbp), %rdi
	movq	%r15, %rsi
	callq	_hextobin
	cmpq	$65, %rbx
	jne	LBB0_2
## %bb.1:
	cmpq	$65, %rax
	jne	LBB0_2
## %bb.4:
	movb	$16, -193(%rbp)
	movq	_BR_EC_secp256r1@GOTPCREL(%rip), %rax
	movl	(%rax), %r8d
	leaq	-112(%rbp), %rdi
	leaq	-193(%rbp), %rdx
	movl	$65, %esi
	movl	$1, %ecx
	callq	*(%r14)
	cmpl	$1, %eax
	jne	LBB0_5
## %bb.6:
	leaq	L_.str.2(%rip), %rdi
	leaq	-112(%rbp), %rsi
	leaq	-192(%rbp), %rdx
	movl	$65, %ecx
	callq	_check_equals
	movl	$46, %edi
	callq	_putchar
	movq	_stdout@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	callq	_fflush
	movq	___stack_chk_guard@GOTPCREL(%rip), %rax
	movq	(%rax), %rax
	cmpq	-32(%rbp), %rax
	jne	LBB0_8
## %bb.7:
	addq	$184, %rsp
	popq	%rbx
	popq	%r14
	popq	%r15
	popq	%rbp
	retq
LBB0_2:
	movq	_stderr@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	leaq	L_.str(%rip), %rsi
	jmp	LBB0_3
LBB0_5:
	movq	_stderr@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	leaq	L_.str.1(%rip), %rsi
LBB0_3:
	callq	_fprintf
	movq	_EXIT_FAILURE@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	callq	_exit
LBB0_8:
	callq	___stack_chk_fail
	.cfi_endproc
                                        ## -- End function
	.comm	_stderr,4,2                     ## @stderr
	.section	__TEXT,__cstring,cstring_literals
L_.str:                                 ## @.str
	.asciz	"KAT is incorrect\n"

	.comm	_EXIT_FAILURE,4,2               ## @EXIT_FAILURE
	.comm	_BR_EC_secp256r1,4,2            ## @BR_EC_secp256r1
L_.str.1:                               ## @.str.1
	.asciz	"P-256 multiplication failed\n"

L_.str.2:                               ## @.str.2
	.asciz	"P256_carry"

	.comm	_stdout,4,2                     ## @stdout
	.no_dead_strip	_test_EC_P256_carry_inner
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	2                               ; -- Begin function test_EC_P256_carry_inner
_test_EC_P256_carry_inner:              ; @test_EC_P256_carry_inner
	.cfi_startproc
; %bb.0:
	sub	sp, sp, #192
	.cfi_def_cfa_offset 192
	stp	x22, x21, [sp, #144]            ; 16-byte Folded Spill
	stp	x20, x19, [sp, #160]            ; 16-byte Folded Spill
	stp	x29, x30, [sp, #176]            ; 16-byte Folded Spill
	add	x29, sp, #176
	.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
	mov	x20, x2
	mov	x19, x0
Lloh0:
	adrp	x8, ___stack_chk_guard@GOTPAGE
Lloh1:
	ldr	x8, [x8, ___stack_chk_guard@GOTPAGEOFF]
Lloh2:
	ldr	x8, [x8]
	stur	x8, [x29, #-40]
	add	x0, sp, #71
	bl	_hextobin
	mov	x21, x0
	add	x0, sp, #6
	mov	x1, x20
	bl	_hextobin
	cmp	x21, #65
	b.ne	LBB0_5
; %bb.1:
	cmp	x0, #65
	b.ne	LBB0_5
; %bb.2:
	mov	w8, #16
	strb	w8, [sp, #5]
	ldr	x8, [x19]
Lloh3:
	adrp	x9, _BR_EC_secp256r1@GOTPAGE
Lloh4:
	ldr	x9, [x9, _BR_EC_secp256r1@GOTPAGEOFF]
Lloh5:
	ldr	w4, [x9]
	add	x0, sp, #71
	add	x2, sp, #5
	mov	w1, #65
	mov	w3, #1
	blr	x8
	cmp	w0, #1
	b.ne	LBB0_6
; %bb.3:
Lloh6:
	adrp	x0, l_.str.2@PAGE
Lloh7:
	add	x0, x0, l_.str.2@PAGEOFF
	add	x1, sp, #71
	add	x2, sp, #6
	mov	w3, #65
	bl	_check_equals
	mov	w0, #46
	bl	_putchar
Lloh8:
	adrp	x8, _stdout@GOTPAGE
Lloh9:
	ldr	x8, [x8, _stdout@GOTPAGEOFF]
Lloh10:
	ldr	w0, [x8]
	bl	_fflush
	ldur	x8, [x29, #-40]
Lloh11:
	adrp	x9, ___stack_chk_guard@GOTPAGE
Lloh12:
	ldr	x9, [x9, ___stack_chk_guard@GOTPAGEOFF]
Lloh13:
	ldr	x9, [x9]
	cmp	x9, x8
	b.ne	LBB0_8
; %bb.4:
	ldp	x29, x30, [sp, #176]            ; 16-byte Folded Reload
	ldp	x20, x19, [sp, #160]            ; 16-byte Folded Reload
	ldp	x22, x21, [sp, #144]            ; 16-byte Folded Reload
	add	sp, sp, #192
	ret
LBB0_5:
Lloh14:
	adrp	x8, _stderr@GOTPAGE
Lloh15:
	ldr	x8, [x8, _stderr@GOTPAGEOFF]
Lloh16:
	ldr	w0, [x8]
Lloh17:
	adrp	x1, l_.str@PAGE
Lloh18:
	add	x1, x1, l_.str@PAGEOFF
	b	LBB0_7
LBB0_6:
Lloh19:
	adrp	x8, _stderr@GOTPAGE
Lloh20:
	ldr	x8, [x8, _stderr@GOTPAGEOFF]
Lloh21:
	ldr	w0, [x8]
Lloh22:
	adrp	x1, l_.str.1@PAGE
Lloh23:
	add	x1, x1, l_.str.1@PAGEOFF
LBB0_7:
	bl	_fprintf
Lloh24:
	adrp	x8, _EXIT_FAILURE@GOTPAGE
Lloh25:
	ldr	x8, [x8, _EXIT_FAILURE@GOTPAGEOFF]
Lloh26:
	ldr	w0, [x8]
	bl	_exit
LBB0_8:
	bl	___stack_chk_fail
	.loh AdrpLdrGotLdr	Lloh0, Lloh1, Lloh2
	.loh AdrpLdrGotLdr	Lloh3, Lloh4, Lloh5
	.loh AdrpLdrGotLdr	Lloh11, Lloh12, Lloh13
	.loh AdrpLdrGotLdr	Lloh8, Lloh9, Lloh10
	.loh AdrpAdd	Lloh6, Lloh7
	.loh AdrpAdd	Lloh17, Lloh18
	.loh AdrpLdrGotLdr	Lloh14, Lloh15, Lloh16
	.loh AdrpAdd	Lloh22, Lloh23
	.loh AdrpLdrGotLdr	Lloh19, Lloh20, Lloh21
	.loh AdrpLdrGotLdr	Lloh24, Lloh25, Lloh26
	.cfi_endproc
                                        ; -- End function
	.comm	_stderr,4,2                     ; @stderr
	.section	__TEXT,__cstring,cstring_literals
l_.str:                                 ; @.str
	.asciz	"KAT is incorrect\n"

	.comm	_EXIT_FAILURE,4,2               ; @EXIT_FAILURE
	.comm	_BR_EC_secp256r1,4,2            ; @BR_EC_secp256r1
l_.str.1:                               ; @.str.1
	.asciz	"P-256 multiplication failed\n"

l_.str.2:                               ; @.str.2
	.asciz	"P256_carry"

	.comm	_stdout,4,2                     ; @stdout
	.no_dead_strip	_test_EC_P256_carry_inner
.subsections_via_symbols
