	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	4, 0x90                         ## -- Begin function verify_client_proof
_verify_client_proof:                   ## @verify_client_proof
	.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
	movq	%rdi, %r14
	movq	___stack_chk_guard@GOTPCREL(%rip), %rax
	movq	(%rax), %rax
	movq	%rax, -48(%rbp)
	movq	_SCRAM_KEY_LEN@GOTPCREL(%rip), %rax
	movl	(%rax), %r12d
	movq	%r12, %r13
	shlq	$2, %r13
	movq	%r13, %rax
	callq	____chkstk_darwin
	addq	$15, %rax
	andq	$-16, %rax
	subq	%rax, %rsp
	movq	%rsp, %r15
	movq	%r13, %rax
	callq	____chkstk_darwin
	addq	$15, %rax
	andq	$-16, %rax
	subq	%rax, %rsp
	movq	%rsp, %rbx
	movq	%r13, %rax
	callq	____chkstk_darwin
	addq	$15, %rax
	andq	$-16, %rax
	subq	%rax, %rsp
	movq	%rsp, -64(%rbp)                 ## 8-byte Spill
	movq	%r14, %r13
	movl	32(%r14), %esi
	leaq	-52(%rbp), %rdi
	movl	%r12d, %edx
	callq	_scram_HMAC_init
	movq	(%r14), %r12
	movq	%r12, %rdi
	callq	_strlen
	leaq	-52(%rbp), %r14
	movq	%r14, %rdi
	movq	%r12, %rsi
	movl	%eax, %edx
	callq	_scram_HMAC_update
	leaq	L_.str(%rip), %rsi
	movq	%r14, %rdi
	movq	%r14, %r12
	movl	$1, %edx
	callq	_scram_HMAC_update
	movq	8(%r13), %r14
	movq	%r14, %rdi
	callq	_strlen
	movq	%r12, %rdi
	movq	%r14, %rsi
	movl	%eax, %edx
	callq	_scram_HMAC_update
	movq	%r12, %rdi
	leaq	L_.str(%rip), %rsi
	movl	$1, %edx
	callq	_scram_HMAC_update
	movq	16(%r13), %r14
	movq	%r14, %rdi
	callq	_strlen
	movq	%r12, %rdi
	movq	%r14, %rsi
	movq	_SCRAM_KEY_LEN@GOTPCREL(%rip), %r14
	movl	%eax, %edx
	callq	_scram_HMAC_update
	movq	%r15, %rdi
	movq	%r12, %rsi
	callq	_scram_HMAC_final
	movl	(%r14), %esi
	testl	%esi, %esi
	jle	LBB0_16
## %bb.1:
	movq	24(%r13), %rax
	cmpl	$8, %esi
	jae	LBB0_3
## %bb.2:
	xorl	%ecx, %ecx
LBB0_12:
	movq	%rcx, %r8
	notq	%r8
	addq	%rsi, %r8
	movq	%rsi, %rdi
	andq	$3, %rdi
	je	LBB0_14
	.p2align	4, 0x90
LBB0_13:                                ## =>This Inner Loop Header: Depth=1
	movl	(%r15,%rcx,4), %edx
	xorl	(%rax,%rcx,4), %edx
	movl	%edx, (%rbx,%rcx,4)
	incq	%rcx
	decq	%rdi
	jne	LBB0_13
LBB0_14:
	cmpq	$3, %r8
	jb	LBB0_16
	.p2align	4, 0x90
LBB0_15:                                ## =>This Inner Loop Header: Depth=1
	movl	(%r15,%rcx,4), %edx
	xorl	(%rax,%rcx,4), %edx
	movl	%edx, (%rbx,%rcx,4)
	movl	4(%r15,%rcx,4), %edx
	xorl	4(%rax,%rcx,4), %edx
	movl	%edx, 4(%rbx,%rcx,4)
	movl	8(%r15,%rcx,4), %edx
	xorl	8(%rax,%rcx,4), %edx
	movl	%edx, 8(%rbx,%rcx,4)
	movl	12(%r15,%rcx,4), %edx
	xorl	12(%rax,%rcx,4), %edx
	movl	%edx, 12(%rbx,%rcx,4)
	addq	$4, %rcx
	cmpq	%rcx, %rsi
	jne	LBB0_15
	jmp	LBB0_16
LBB0_3:
	movq	%rbx, %rdx
	subq	%rax, %rdx
	xorl	%ecx, %ecx
	cmpq	$32, %rdx
	jb	LBB0_12
## %bb.4:
	movq	%rbx, %rdx
	subq	%r15, %rdx
	cmpq	$32, %rdx
	jb	LBB0_12
## %bb.5:
	movl	%esi, %ecx
	andl	$-8, %ecx
	leaq	-8(%rcx), %rdx
	movq	%rdx, %r8
	shrq	$3, %r8
	incq	%r8
	testq	%rdx, %rdx
	je	LBB0_6
## %bb.7:
	movq	%r8, %rdi
	andq	$-2, %rdi
	xorl	%edx, %edx
	.p2align	4, 0x90
LBB0_8:                                 ## =>This Inner Loop Header: Depth=1
	movups	(%rax,%rdx,4), %xmm0
	movups	16(%rax,%rdx,4), %xmm1
	xorps	(%r15,%rdx,4), %xmm0
	xorps	16(%r15,%rdx,4), %xmm1
	movaps	%xmm0, (%rbx,%rdx,4)
	movaps	%xmm1, 16(%rbx,%rdx,4)
	movups	32(%rax,%rdx,4), %xmm0
	movups	48(%rax,%rdx,4), %xmm1
	xorps	32(%r15,%rdx,4), %xmm0
	xorps	48(%r15,%rdx,4), %xmm1
	movaps	%xmm0, 32(%rbx,%rdx,4)
	movaps	%xmm1, 48(%rbx,%rdx,4)
	addq	$16, %rdx
	addq	$-2, %rdi
	jne	LBB0_8
## %bb.9:
	testb	$1, %r8b
	je	LBB0_11
LBB0_10:
	movups	(%rax,%rdx,4), %xmm0
	movups	16(%rax,%rdx,4), %xmm1
	xorps	(%r15,%rdx,4), %xmm0
	xorps	16(%r15,%rdx,4), %xmm1
	movaps	%xmm0, (%rbx,%rdx,4)
	movaps	%xmm1, 16(%rbx,%rdx,4)
LBB0_11:
	cmpq	%rsi, %rcx
	jne	LBB0_12
LBB0_16:
	movq	%rbx, %rdi
                                        ## kill: def $esi killed $esi killed $rsi
	movq	-64(%rbp), %rbx                 ## 8-byte Reload
	movq	%rbx, %rdx
	callq	_scram_H
	movl	32(%r13), %esi
	movl	(%r14), %edx
	movq	%rbx, %rdi
	callq	_memcmp
	movq	%rax, %rcx
	xorl	%eax, %eax
	testq	%rcx, %rcx
	sete	%cl
	movq	___stack_chk_guard@GOTPCREL(%rip), %rdx
	movq	(%rdx), %rdx
	cmpq	-48(%rbp), %rdx
	jne	LBB0_18
## %bb.17:
	movb	%cl, %al
	leaq	-40(%rbp), %rsp
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	retq
LBB0_6:
	xorl	%edx, %edx
	testb	$1, %r8b
	jne	LBB0_10
	jmp	LBB0_11
LBB0_18:
	callq	___stack_chk_fail
	.cfi_endproc
                                        ## -- End function
	.comm	_SCRAM_KEY_LEN,4,2              ## @SCRAM_KEY_LEN
	.section	__TEXT,__cstring,cstring_literals
L_.str:                                 ## @.str
	.asciz	","

	.no_dead_strip	_verify_client_proof
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	2                               ; -- Begin function verify_client_proof
_verify_client_proof:                   ; @verify_client_proof
	.cfi_startproc
; %bb.0:
	stp	x26, x25, [sp, #-80]!           ; 16-byte Folded Spill
	.cfi_def_cfa_offset 80
	stp	x24, x23, [sp, #16]             ; 16-byte Folded Spill
	stp	x22, x21, [sp, #32]             ; 16-byte Folded Spill
	stp	x20, x19, [sp, #48]             ; 16-byte Folded Spill
	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
	.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
	sub	sp, sp, #16
	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, #-72]
Lloh3:
	adrp	x25, _SCRAM_KEY_LEN@GOTPAGE
Lloh4:
	ldr	x25, [x25, _SCRAM_KEY_LEN@GOTPAGEOFF]
	ldr	w2, [x25]
	lsl	x8, x2, #2
	mov	x9, x8
Lloh5:
	adrp	x16, ___chkstk_darwin@GOTPAGE
Lloh6:
	ldr	x16, [x16, ___chkstk_darwin@GOTPAGEOFF]
	blr	x16
	mov	x9, sp
	add	x10, x8, #15
	and	x12, x10, #0x7fffffff0
	sub	x22, x9, x12
	mov	sp, x22
	mov	x9, x8
Lloh7:
	adrp	x16, ___chkstk_darwin@GOTPAGE
Lloh8:
	ldr	x16, [x16, ___chkstk_darwin@GOTPAGEOFF]
	blr	x16
	mov	x9, sp
	sub	x20, x9, x12
	mov	sp, x20
	mov	x9, x8
Lloh9:
	adrp	x16, ___chkstk_darwin@GOTPAGE
Lloh10:
	ldr	x16, [x16, ___chkstk_darwin@GOTPAGEOFF]
	blr	x16
	mov	x8, sp
	sub	x21, x8, x12
	mov	sp, x21
	ldr	w1, [x0, #32]
	sub	x0, x29, #76
                                        ; kill: def $w2 killed $w2 killed $x2
	bl	_scram_HMAC_init
	ldr	x23, [x19]
	mov	x0, x23
	bl	_strlen
	mov	x2, x0
	sub	x0, x29, #76
	mov	x1, x23
	bl	_scram_HMAC_update
Lloh11:
	adrp	x23, l_.str@PAGE
Lloh12:
	add	x23, x23, l_.str@PAGEOFF
	sub	x0, x29, #76
	mov	x1, x23
	mov	w2, #1
	bl	_scram_HMAC_update
	ldr	x24, [x19, #8]
	mov	x0, x24
	bl	_strlen
	mov	x2, x0
	sub	x0, x29, #76
	mov	x1, x24
	bl	_scram_HMAC_update
	sub	x0, x29, #76
	mov	x1, x23
	mov	w2, #1
	bl	_scram_HMAC_update
	ldr	x23, [x19, #16]
	mov	x0, x23
	bl	_strlen
	mov	x2, x0
	sub	x0, x29, #76
	mov	x1, x23
	bl	_scram_HMAC_update
	sub	x1, x29, #76
	mov	x0, x22
	bl	_scram_HMAC_final
	ldr	w1, [x25]
	cmp	w1, #1
	b.lt	LBB0_5
; %bb.1:
	ldr	x8, [x19, #24]
	cmp	w1, #16
	b.hs	LBB0_7
; %bb.2:
	mov	x9, #0
LBB0_3:
	lsl	x12, x9, #2
	add	x10, x20, x12
	add	x11, x22, x12
	add	x8, x8, x12
	sub	x9, x1, x9
LBB0_4:                                 ; =>This Inner Loop Header: Depth=1
	ldr	w12, [x8], #4
	ldr	w13, [x11], #4
	eor	w12, w13, w12
	str	w12, [x10], #4
	subs	x9, x9, #1
	b.ne	LBB0_4
LBB0_5:
	mov	x0, x20
                                        ; kill: def $w1 killed $w1 killed $x1
	mov	x2, x21
	bl	_scram_H
	ldr	w1, [x19, #32]
	ldr	w2, [x25]
	mov	x0, x21
	bl	_memcmp
	cmp	x0, #0
	cset	w0, eq
	ldur	x8, [x29, #-72]
Lloh13:
	adrp	x9, ___stack_chk_guard@GOTPAGE
Lloh14:
	ldr	x9, [x9, ___stack_chk_guard@GOTPAGEOFF]
Lloh15:
	ldr	x9, [x9]
	cmp	x9, x8
	b.ne	LBB0_12
; %bb.6:
	sub	sp, x29, #64
	ldp	x29, x30, [sp, #64]             ; 16-byte Folded Reload
	ldp	x20, x19, [sp, #48]             ; 16-byte Folded Reload
	ldp	x22, x21, [sp, #32]             ; 16-byte Folded Reload
	ldp	x24, x23, [sp, #16]             ; 16-byte Folded Reload
	ldp	x26, x25, [sp], #80             ; 16-byte Folded Reload
	ret
LBB0_7:
	mov	x9, #0
	sub	x10, x20, x8
	cmp	x10, #64
	b.lo	LBB0_3
; %bb.8:
	sub	x10, x20, x22
	cmp	x10, #64
	b.lo	LBB0_3
; %bb.9:
	and	x9, x1, #0xfffffff0
	add	x10, x20, #32
	add	x11, x8, #32
	add	x12, x22, #32
	mov	x13, x9
LBB0_10:                                ; =>This Inner Loop Header: Depth=1
	ldp	q0, q1, [x11, #-32]
	ldp	q2, q3, [x11], #64
	ldp	q4, q5, [x12, #-32]
	ldp	q6, q7, [x12], #64
	eor.16b	v0, v4, v0
	eor.16b	v1, v5, v1
	eor.16b	v2, v6, v2
	eor.16b	v3, v7, v3
	stp	q0, q1, [x10, #-32]
	stp	q2, q3, [x10], #64
	subs	x13, x13, #16
	b.ne	LBB0_10
; %bb.11:
	cmp	x9, x1
	b.ne	LBB0_3
	b	LBB0_5
LBB0_12:
	bl	___stack_chk_fail
	.loh AdrpAdd	Lloh11, Lloh12
	.loh AdrpLdrGot	Lloh9, Lloh10
	.loh AdrpLdrGot	Lloh7, Lloh8
	.loh AdrpLdrGot	Lloh5, Lloh6
	.loh AdrpLdrGot	Lloh3, Lloh4
	.loh AdrpLdrGotLdr	Lloh0, Lloh1, Lloh2
	.loh AdrpLdrGotLdr	Lloh13, Lloh14, Lloh15
	.cfi_endproc
                                        ; -- End function
	.comm	_SCRAM_KEY_LEN,4,2              ; @SCRAM_KEY_LEN
	.section	__TEXT,__cstring,cstring_literals
l_.str:                                 ; @.str
	.asciz	","

	.no_dead_strip	_verify_client_proof
.subsections_via_symbols
