	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	4, 0x90                         ## -- Begin function test_modpow_i62
_test_modpow_i62:                       ## @test_modpow_i62
	.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
	pushq	%rax
	movl	$11528, %eax                    ## imm = 0x2D08
	callq	____chkstk_darwin
	subq	%rax, %rsp
	popq	%rax
	.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)
	leaq	L_.str(%rip), %rdi
	callq	_printf
	movq	_br_sha256_vtable@GOTPCREL(%rip), %rsi
	leaq	L_.str.1(%rip), %rdx
	leaq	-11556(%rbp), %rdi
	movl	$11, %ecx
	callq	_br_hmac_drbg_init
	movl	$17, %r15d
	movl	$-10, %r12d
	.p2align	4, 0x90
LBB0_1:                                 ## =>This Inner Loop Header: Depth=1
	movl	%r15d, %r14d
	andl	$248, %r14d
	addl	%r12d, %r14d
	movl	%r15d, %r13d
	shrq	$3, %r13
	leaq	-11556(%rbp), %rbx
	movq	%rbx, %rdi
	leaq	-176(%rbp), %rsi
	movq	%r13, %rdx
	callq	_br_hmac_drbg_generate
	movq	%rbx, %rdi
	leaq	-304(%rbp), %rsi
	movq	%r13, %rdx
	callq	_br_hmac_drbg_generate
	movq	%rbx, %rdi
	leaq	-688(%rbp), %rsi
	movq	%r13, %rdx
	callq	_br_hmac_drbg_generate
	leaq	-176(%rbp), %rsi
	orb	$1, -1(%r13,%rsi)
	movl	$255, %eax
	movl	%r14d, %ecx
	shrl	%cl, %eax
	movzbl	-176(%rbp), %ecx
	andb	%al, %cl
	movl	%eax, %edx
	shrl	%edx
	subl	%edx, %eax
	orb	%cl, %al
	movb	%al, -176(%rbp)
	andb	%dl, -304(%rbp)
	leaq	-976(%rbp), %rbx
	movq	%rbx, %rdi
	movq	%r13, %rdx
	callq	_br_i31_decode
	leaq	-832(%rbp), %r14
	movq	%r14, %rdi
	leaq	-304(%rbp), %rsi
	movq	%r13, %rdx
	movq	%rbx, %rcx
	callq	_br_i31_decode_mod
	movl	-972(%rbp), %edi
	callq	_br_i31_ninv31
	movl	$500, (%rsp)                    ## imm = 0x1F4
	movq	%r14, %rdi
	leaq	-688(%rbp), %rsi
	movq	%r13, %rdx
	movq	%rbx, %rcx
	movl	%eax, %r8d
	leaq	-3552(%rbp), %r9
	callq	_br_i62_modpow_opt
	leaq	-432(%rbp), %rdi
	movq	%r13, %rsi
	movq	%r14, %rdx
	callq	_br_i31_encode
	leaq	-1552(%rbp), %rbx
	movq	%rbx, %rdi
	leaq	-176(%rbp), %rsi
	movq	%r13, %rdx
	callq	_br_i15_decode
	leaq	-1264(%rbp), %r14
	movq	%r14, %rdi
	leaq	-304(%rbp), %rsi
	movq	%r13, %rdx
	movq	%rbx, %rcx
	callq	_br_i15_decode_mod
	movl	-1548(%rbp), %edi
	callq	_br_i15_ninv15
	movl	$2000, (%rsp)                   ## imm = 0x7D0
	movq	%r14, %rdi
	leaq	-688(%rbp), %rsi
	movq	%r13, %rdx
	movq	%rbx, %rcx
	movl	%eax, %r8d
	leaq	-11552(%rbp), %r9
	callq	_br_i15_modpow_opt
	leaq	-560(%rbp), %rbx
	movq	%rbx, %rdi
	movq	%r13, %rsi
	movq	%r14, %rdx
	callq	_br_i15_encode
	leaq	L_.str.2(%rip), %rdi
	leaq	-432(%rbp), %rsi
	movq	%rbx, %rdx
	movq	%r13, %rcx
	callq	_check_equals
	movl	$46, %edi
	callq	_putchar
	movq	_stdout@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	callq	_fflush
	incl	%r15d
	decl	%r12d
	cmpl	$508, %r15d                     ## imm = 0x1FC
	jne	LBB0_1
## %bb.2:
	leaq	L_str(%rip), %rdi
	callq	_puts
	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_4
## %bb.3:
	addq	$11528, %rsp                    ## imm = 0x2D08
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	retq
LBB0_4:
	callq	___stack_chk_fail
	.cfi_endproc
                                        ## -- End function
	.section	__TEXT,__cstring,cstring_literals
L_.str:                                 ## @.str
	.asciz	"Test ModPow/i62: "

	.comm	_br_sha256_vtable,4,2           ## @br_sha256_vtable
L_.str.1:                               ## @.str.1
	.asciz	"seed modpow"

L_.str.2:                               ## @.str.2
	.asciz	"ModPow i62/i15"

	.comm	_stdout,4,2                     ## @stdout
L_str:                                  ## @str
	.asciz	" done."

	.no_dead_strip	_test_modpow_i62
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	2                               ; -- Begin function test_modpow_i62
_test_modpow_i62:                       ; @test_modpow_i62
	.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
	mov	w9, #11504
Lloh0:
	adrp	x16, ___chkstk_darwin@GOTPAGE
Lloh1:
	ldr	x16, [x16, ___chkstk_darwin@GOTPAGEOFF]
	blr	x16
	sub	sp, sp, #2, lsl #12             ; =8192
	sub	sp, sp, #3312
	add	x21, sp, #2, lsl #12            ; =8192
	add	x21, x21, #3048
Lloh2:
	adrp	x8, ___stack_chk_guard@GOTPAGE
Lloh3:
	ldr	x8, [x8, ___stack_chk_guard@GOTPAGEOFF]
Lloh4:
	ldr	x8, [x8]
	stur	x8, [x29, #-88]
Lloh5:
	adrp	x0, l_.str@PAGE
Lloh6:
	add	x0, x0, l_.str@PAGEOFF
	bl	_printf
Lloh7:
	adrp	x1, _br_sha256_vtable@GOTPAGE
Lloh8:
	ldr	x1, [x1, _br_sha256_vtable@GOTPAGEOFF]
Lloh9:
	adrp	x2, l_.str.1@PAGE
Lloh10:
	add	x2, x2, l_.str.1@PAGEOFF
	add	x0, sp, #12
	mov	w3, #11
	bl	_br_hmac_drbg_init
	mov	w22, #17
	mov	w23, #-10
	sub	x24, x29, #216
	mov	w25, #255
Lloh11:
	adrp	x26, _stdout@GOTPAGE
Lloh12:
	ldr	x26, [x26, _stdout@GOTPAGEOFF]
Lloh13:
	adrp	x19, l_.str.2@PAGE
Lloh14:
	add	x19, x19, l_.str.2@PAGEOFF
LBB0_1:                                 ; =>This Inner Loop Header: Depth=1
	lsr	w20, w22, #3
	add	w27, w23, w20, lsl #3
	add	x0, sp, #12
	sub	x1, x29, #216
	mov	x2, x20
	bl	_br_hmac_drbg_generate
	add	x0, sp, #12
	add	x1, sp, #2, lsl #12             ; =8192
	add	x1, x1, #3048
	mov	x2, x20
	bl	_br_hmac_drbg_generate
	add	x0, sp, #12
	add	x1, sp, #2, lsl #12             ; =8192
	add	x1, x1, #2664
	mov	x2, x20
	bl	_br_hmac_drbg_generate
	add	x8, x20, x24
	ldurb	w9, [x8, #-1]
	orr	w9, w9, #0x1
	sturb	w9, [x8, #-1]
	lsr	w8, w25, w27
	ldrb	w9, [x21, #128]
	and	w9, w9, w8
	lsr	w10, w8, #1
	sub	w8, w8, w10
	orr	w8, w9, w8
	strb	w8, [x21, #128]
	ldrb	w8, [x21]
	and	w8, w8, w10
	strb	w8, [x21]
	add	x0, sp, #2, lsl #12             ; =8192
	add	x0, x0, #2384
	sub	x1, x29, #216
	mov	x2, x20
	bl	_br_i31_decode
	add	x0, sp, #2, lsl #12             ; =8192
	add	x0, x0, #2524
	add	x1, sp, #2, lsl #12             ; =8192
	add	x1, x1, #3048
	add	x3, sp, #2, lsl #12             ; =8192
	add	x3, x3, #2384
	mov	x2, x20
	bl	_br_i31_decode_mod
	ldr	w0, [sp, #10580]
	bl	_br_i31_ninv31
	mov	x4, x0
	add	x0, sp, #2, lsl #12             ; =8192
	add	x0, x0, #2524
	add	x1, sp, #2, lsl #12             ; =8192
	add	x1, x1, #2664
	add	x3, sp, #2, lsl #12             ; =8192
	add	x3, x3, #2384
	add	x5, sp, #1, lsl #12             ; =4096
	add	x5, x5, #3920
	mov	x2, x20
	mov	w6, #500
	bl	_br_i62_modpow_opt
	add	x0, sp, #2, lsl #12             ; =8192
	add	x0, x0, #2920
	add	x2, sp, #2, lsl #12             ; =8192
	add	x2, x2, #2524
	mov	x1, x20
	bl	_br_i31_encode
	add	x0, sp, #2, lsl #12             ; =8192
	add	x0, x0, #1824
	sub	x1, x29, #216
	mov	x2, x20
	bl	_br_i15_decode
	add	x0, sp, #2, lsl #12             ; =8192
	add	x0, x0, #2104
	add	x1, sp, #2, lsl #12             ; =8192
	add	x1, x1, #3048
	add	x3, sp, #2, lsl #12             ; =8192
	add	x3, x3, #1824
	mov	x2, x20
	bl	_br_i15_decode_mod
	ldr	w0, [sp, #10020]
	bl	_br_i15_ninv15
	mov	x4, x0
	add	x0, sp, #2, lsl #12             ; =8192
	add	x0, x0, #2104
	add	x1, sp, #2, lsl #12             ; =8192
	add	x1, x1, #2664
	add	x3, sp, #2, lsl #12             ; =8192
	add	x3, x3, #1824
	add	x5, sp, #16
	mov	x2, x20
	mov	w6, #2000
	bl	_br_i15_modpow_opt
	add	x0, sp, #2, lsl #12             ; =8192
	add	x0, x0, #2792
	add	x2, sp, #2, lsl #12             ; =8192
	add	x2, x2, #2104
	mov	x1, x20
	bl	_br_i15_encode
	add	x1, sp, #2, lsl #12             ; =8192
	add	x1, x1, #2920
	add	x2, sp, #2, lsl #12             ; =8192
	add	x2, x2, #2792
	mov	x0, x19
	mov	x3, x20
	bl	_check_equals
	mov	w0, #46
	bl	_putchar
	ldr	w0, [x26]
	bl	_fflush
	add	w22, w22, #1
	sub	w23, w23, #1
	cmp	w22, #508
	b.ne	LBB0_1
; %bb.2:
Lloh15:
	adrp	x0, l_str@PAGE
Lloh16:
	add	x0, x0, l_str@PAGEOFF
	bl	_puts
	ldr	w0, [x26]
	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_4
; %bb.3:
	add	sp, sp, #2, lsl #12             ; =8192
	add	sp, sp, #3312
	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_4:
	bl	___stack_chk_fail
	.loh AdrpAdd	Lloh13, Lloh14
	.loh AdrpLdrGot	Lloh11, Lloh12
	.loh AdrpAdd	Lloh9, Lloh10
	.loh AdrpLdrGot	Lloh7, Lloh8
	.loh AdrpAdd	Lloh5, Lloh6
	.loh AdrpLdrGotLdr	Lloh2, Lloh3, Lloh4
	.loh AdrpLdrGot	Lloh0, Lloh1
	.loh AdrpLdrGotLdr	Lloh17, Lloh18, Lloh19
	.loh AdrpAdd	Lloh15, Lloh16
	.cfi_endproc
                                        ; -- End function
	.section	__TEXT,__cstring,cstring_literals
l_.str:                                 ; @.str
	.asciz	"Test ModPow/i62: "

	.comm	_br_sha256_vtable,4,2           ; @br_sha256_vtable
l_.str.1:                               ; @.str.1
	.asciz	"seed modpow"

l_.str.2:                               ; @.str.2
	.asciz	"ModPow i62/i15"

	.comm	_stdout,4,2                     ; @stdout
l_str:                                  ; @str
	.asciz	" done."

	.no_dead_strip	_test_modpow_i62
.subsections_via_symbols
