	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	4, 0x90                         ## -- Begin function test_HKDF_inner
_test_HKDF_inner:                       ## @test_HKDF_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	%r13
	pushq	%r12
	pushq	%rbx
	subq	$616, %rsp                      ## imm = 0x268
	.cfi_offset %rbx, -56
	.cfi_offset %r12, -48
	.cfi_offset %r13, -40
	.cfi_offset %r14, -32
	.cfi_offset %r15, -24
	movq	%r8, %r15
	movq	%rcx, %r12
	movq	%rdx, %rbx
	movq	%rdi, -632(%rbp)                ## 8-byte Spill
	movq	___stack_chk_guard@GOTPCREL(%rip), %rax
	movq	(%rax), %rax
	movq	%rax, -48(%rbp)
	leaq	-160(%rbp), %rdi
	callq	_hextobin
	movq	%rax, -624(%rbp)                ## 8-byte Spill
	testq	%rbx, %rbx
	je	LBB0_1
## %bb.2:
	leaq	-272(%rbp), %rdi
	movq	%rbx, %rsi
	movq	%rdi, %rbx
	callq	_hextobin
	movq	%rax, %r14
	jmp	LBB0_3
LBB0_1:
	movq	_BR_HKDF_NO_SALT@GOTPCREL(%rip), %rax
	movq	(%rax), %rbx
	xorl	%r14d, %r14d
LBB0_3:
	leaq	-384(%rbp), %rdi
	movq	%r12, %rsi
	callq	_hextobin
	movq	%rax, %r13
	leaq	-496(%rbp), %rdi
	movq	%r15, %rsi
	callq	_hextobin
	movq	%rax, %r12
	leaq	-612(%rbp), %rdi
	movq	-632(%rbp), %rsi                ## 8-byte Reload
	movq	%rbx, %rdx
	movq	%r14, %rcx
	callq	_br_hkdf_init
	leaq	-160(%rbp), %r15
	leaq	-612(%rbp), %rdi
	movq	%r15, %rsi
	movq	-624(%rbp), %rdx                ## 8-byte Reload
	callq	_br_hkdf_inject
	leaq	-612(%rbp), %rdi
	callq	_br_hkdf_flip
	leaq	-608(%rbp), %rcx
	leaq	-612(%rbp), %rdi
	leaq	-384(%rbp), %rsi
	movq	%r13, %rdx
	movl	%r12d, %r8d
	callq	_br_hkdf_produce
	leaq	L_.str(%rip), %rdi
	leaq	-608(%rbp), %rsi
	leaq	-496(%rbp), %rdx
	movq	%r12, %rcx
	callq	_check_equals
	leaq	-612(%rbp), %rdi
	movq	-632(%rbp), %rsi                ## 8-byte Reload
	movq	%rbx, -648(%rbp)                ## 8-byte Spill
	movq	%rbx, %rdx
	movq	%r14, -640(%rbp)                ## 8-byte Spill
	movq	%r14, %rcx
	callq	_br_hkdf_init
	cmpq	$0, -624(%rbp)                  ## 8-byte Folded Reload
	je	LBB0_6
## %bb.4:
	leaq	-612(%rbp), %r14
	movq	-624(%rbp), %rbx                ## 8-byte Reload
	.p2align	4, 0x90
LBB0_5:                                 ## =>This Inner Loop Header: Depth=1
	movl	$1, %edx
	movq	%r14, %rdi
	movq	%r15, %rsi
	callq	_br_hkdf_inject
	incq	%r15
	decq	%rbx
	jne	LBB0_5
LBB0_6:
	leaq	-612(%rbp), %rdi
	callq	_br_hkdf_flip
	testq	%r12, %r12
	je	LBB0_12
## %bb.7:
	xorl	%ebx, %ebx
	leaq	-612(%rbp), %r14
	leaq	-384(%rbp), %r15
	.p2align	4, 0x90
LBB0_8:                                 ## =>This Inner Loop Header: Depth=1
	leaq	(%rbx,%rbp), %rcx
	addq	$-608, %rcx                     ## imm = 0xFDA0
	movq	%r14, %rdi
	movq	%r15, %rsi
	movq	%r13, %rdx
	movl	$1, %r8d
	callq	_br_hkdf_produce
	incq	%rbx
	cmpq	%rbx, %r12
	jne	LBB0_8
## %bb.9:
	leaq	L_.str.1(%rip), %rdi
	leaq	-608(%rbp), %rsi
	leaq	-496(%rbp), %rdx
	movq	%r12, %rcx
	callq	_check_equals
	leaq	-612(%rbp), %rbx
	movq	%rbx, %rdi
	movq	-632(%rbp), %rsi                ## 8-byte Reload
	movq	-648(%rbp), %rdx                ## 8-byte Reload
	movq	-640(%rbp), %rcx                ## 8-byte Reload
	callq	_br_hkdf_init
	leaq	-160(%rbp), %rsi
	movq	%rbx, %rdi
	movq	-624(%rbp), %rdx                ## 8-byte Reload
	callq	_br_hkdf_inject
	movq	%rbx, %rdi
	callq	_br_hkdf_flip
	testq	%r12, %r12
	je	LBB0_13
## %bb.10:
	xorl	%ebx, %ebx
	leaq	-612(%rbp), %r14
	leaq	-384(%rbp), %r15
	.p2align	4, 0x90
LBB0_11:                                ## =>This Inner Loop Header: Depth=1
	leaq	(%rbx,%rbp), %rcx
	addq	$-608, %rcx                     ## imm = 0xFDA0
	movq	%r14, %rdi
	movq	%r15, %rsi
	movq	%r13, %rdx
	movl	$7, %r8d
	callq	_br_hkdf_produce
	addq	$7, %rbx
	cmpq	%r12, %rbx
	jb	LBB0_11
	jmp	LBB0_13
LBB0_12:
	leaq	L_.str.1(%rip), %rdi
	leaq	-608(%rbp), %rsi
	leaq	-496(%rbp), %rdx
	movq	%r12, %rcx
	callq	_check_equals
	leaq	-612(%rbp), %rbx
	movq	%rbx, %rdi
	movq	-632(%rbp), %rsi                ## 8-byte Reload
	movq	-648(%rbp), %rdx                ## 8-byte Reload
	movq	-640(%rbp), %rcx                ## 8-byte Reload
	callq	_br_hkdf_init
	leaq	-160(%rbp), %rsi
	movq	%rbx, %rdi
	movq	-624(%rbp), %rdx                ## 8-byte Reload
	callq	_br_hkdf_inject
	movq	%rbx, %rdi
	callq	_br_hkdf_flip
LBB0_13:
	leaq	L_.str.2(%rip), %rdi
	leaq	-608(%rbp), %rsi
	leaq	-496(%rbp), %rdx
	movq	%r12, %rcx
	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	-48(%rbp), %rax
	jne	LBB0_15
## %bb.14:
	addq	$616, %rsp                      ## imm = 0x268
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	retq
LBB0_15:
	callq	___stack_chk_fail
	.cfi_endproc
                                        ## -- End function
	.comm	_BR_HKDF_NO_SALT,8,3            ## @BR_HKDF_NO_SALT
	.section	__TEXT,__cstring,cstring_literals
L_.str:                                 ## @.str
	.asciz	"KAT HKDF 1"

L_.str.1:                               ## @.str.1
	.asciz	"KAT HKDF 2"

L_.str.2:                               ## @.str.2
	.asciz	"KAT HKDF 3"

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

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	2                               ; -- Begin function test_HKDF_inner
_test_HKDF_inner:                       ; @test_HKDF_inner
	.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, #528
	mov	x19, x4
	mov	x23, x3
	mov	x24, x2
	mov	x21, x0
Lloh0:
	adrp	x8, ___stack_chk_guard@GOTPAGE
Lloh1:
	ldr	x8, [x8, ___stack_chk_guard@GOTPAGEOFF]
Lloh2:
	ldr	x8, [x8]
	stur	x8, [x29, #-88]
	sub	x0, x29, #188
	bl	_hextobin
	mov	x20, x0
	cbz	x24, LBB0_2
; %bb.1:
	add	x22, sp, #320
	add	x0, sp, #320
	mov	x1, x24
	bl	_hextobin
	mov	x24, x0
	b	LBB0_3
LBB0_2:
Lloh3:
	adrp	x8, _BR_HKDF_NO_SALT@GOTPAGE
Lloh4:
	ldr	x8, [x8, _BR_HKDF_NO_SALT@GOTPAGEOFF]
Lloh5:
	ldr	x22, [x8]
LBB0_3:
	add	x0, sp, #220
	mov	x1, x23
	bl	_hextobin
	mov	x23, x0
	add	x0, sp, #120
	mov	x1, x19
	bl	_hextobin
	mov	x19, x0
	add	x0, sp, #8
	mov	x1, x21
	mov	x2, x22
	mov	x3, x24
	bl	_br_hkdf_init
	add	x0, sp, #8
	sub	x1, x29, #188
	mov	x2, x20
	bl	_br_hkdf_inject
	add	x0, sp, #8
	bl	_br_hkdf_flip
	add	x0, sp, #8
	add	x1, sp, #220
	add	x3, sp, #13
	mov	x2, x23
	mov	x4, x19
	bl	_br_hkdf_produce
Lloh6:
	adrp	x0, l_.str@PAGE
Lloh7:
	add	x0, x0, l_.str@PAGEOFF
	add	x1, sp, #13
	add	x2, sp, #120
	mov	x3, x19
	bl	_check_equals
	add	x0, sp, #8
	mov	x1, x21
	mov	x2, x22
	mov	x3, x24
	bl	_br_hkdf_init
	cbz	x20, LBB0_6
; %bb.4:
	sub	x25, x29, #188
	mov	x26, x20
LBB0_5:                                 ; =>This Inner Loop Header: Depth=1
	add	x0, sp, #8
	mov	x1, x25
	mov	w2, #1
	bl	_br_hkdf_inject
	add	x25, x25, #1
	subs	x26, x26, #1
	b.ne	LBB0_5
LBB0_6:
	add	x0, sp, #8
	bl	_br_hkdf_flip
	cbz	x19, LBB0_12
; %bb.7:
	mov	x25, #0
	add	x26, sp, #13
LBB0_8:                                 ; =>This Inner Loop Header: Depth=1
	add	x3, x26, x25
	add	x0, sp, #8
	add	x1, sp, #220
	mov	x2, x23
	mov	w4, #1
	bl	_br_hkdf_produce
	add	x25, x25, #1
	cmp	x19, x25
	b.ne	LBB0_8
; %bb.9:
Lloh8:
	adrp	x0, l_.str.1@PAGE
Lloh9:
	add	x0, x0, l_.str.1@PAGEOFF
	add	x25, sp, #13
	add	x1, sp, #13
	add	x2, sp, #120
	mov	x3, x19
	bl	_check_equals
	add	x0, sp, #8
	mov	x1, x21
	mov	x2, x22
	mov	x3, x24
	bl	_br_hkdf_init
	add	x0, sp, #8
	sub	x1, x29, #188
	mov	x2, x20
	bl	_br_hkdf_inject
	add	x0, sp, #8
	bl	_br_hkdf_flip
	cbz	x19, LBB0_13
; %bb.10:
	mov	x20, #0
LBB0_11:                                ; =>This Inner Loop Header: Depth=1
	add	x3, x25, x20
	add	x0, sp, #8
	add	x1, sp, #220
	mov	x2, x23
	mov	w4, #7
	bl	_br_hkdf_produce
	add	x20, x20, #7
	cmp	x20, x19
	b.lo	LBB0_11
	b	LBB0_13
LBB0_12:
Lloh10:
	adrp	x0, l_.str.1@PAGE
Lloh11:
	add	x0, x0, l_.str.1@PAGEOFF
	add	x1, sp, #13
	add	x2, sp, #120
	mov	x3, x19
	bl	_check_equals
	add	x0, sp, #8
	mov	x1, x21
	mov	x2, x22
	mov	x3, x24
	bl	_br_hkdf_init
	add	x0, sp, #8
	sub	x1, x29, #188
	mov	x2, x20
	bl	_br_hkdf_inject
	add	x0, sp, #8
	bl	_br_hkdf_flip
LBB0_13:
Lloh12:
	adrp	x0, l_.str.2@PAGE
Lloh13:
	add	x0, x0, l_.str.2@PAGEOFF
	add	x1, sp, #13
	add	x2, sp, #120
	mov	x3, x19
	bl	_check_equals
	mov	w0, #46
	bl	_putchar
Lloh14:
	adrp	x8, _stdout@GOTPAGE
Lloh15:
	ldr	x8, [x8, _stdout@GOTPAGEOFF]
Lloh16:
	ldr	w0, [x8]
	bl	_fflush
	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_15
; %bb.14:
	add	sp, sp, #528
	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_15:
	bl	___stack_chk_fail
	.loh AdrpLdrGotLdr	Lloh0, Lloh1, Lloh2
	.loh AdrpLdrGotLdr	Lloh3, Lloh4, Lloh5
	.loh AdrpAdd	Lloh6, Lloh7
	.loh AdrpAdd	Lloh8, Lloh9
	.loh AdrpAdd	Lloh10, Lloh11
	.loh AdrpLdrGotLdr	Lloh17, Lloh18, Lloh19
	.loh AdrpLdrGotLdr	Lloh14, Lloh15, Lloh16
	.loh AdrpAdd	Lloh12, Lloh13
	.cfi_endproc
                                        ; -- End function
	.comm	_BR_HKDF_NO_SALT,8,3            ; @BR_HKDF_NO_SALT
	.section	__TEXT,__cstring,cstring_literals
l_.str:                                 ; @.str
	.asciz	"KAT HKDF 1"

l_.str.1:                               ; @.str.1
	.asciz	"KAT HKDF 2"

l_.str.2:                               ; @.str.2
	.asciz	"KAT HKDF 3"

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