	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	4, 0x90                         ## -- Begin function test_mod_exp_zero
_test_mod_exp_zero:                     ## @test_mod_exp_zero
	.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	$40, %rsp
	.cfi_offset %rbx, -56
	.cfi_offset %r12, -48
	.cfi_offset %r13, -40
	.cfi_offset %r14, -32
	.cfi_offset %r15, -24
	xorl	%ebx, %ebx
	xorl	%eax, %eax
	callq	_BN_CTX_new
	movq	%rax, -56(%rbp)                 ## 8-byte Spill
	xorl	%eax, %eax
	callq	_BN_new
	movq	%rax, %r15
	movq	%rax, %rdi
	callq	_TEST_ptr
	movl	$1, %r13d
	testl	%eax, %eax
	je	LBB0_1
## %bb.2:
	xorl	%ebx, %ebx
	xorl	%eax, %eax
	callq	_BN_new
	movq	%rax, %r12
	movq	%rax, %rdi
	callq	_TEST_ptr
	testl	%eax, %eax
	je	LBB0_3
## %bb.4:
	xorl	%ebx, %ebx
	xorl	%eax, %eax
	callq	_BN_new
	movq	%rax, %r14
	movq	%rax, %rdi
	callq	_TEST_ptr
	testl	%eax, %eax
	je	LBB0_16
## %bb.5:
	xorl	%eax, %eax
	callq	_BN_new
	movq	%rax, %rbx
	movq	%rax, %rdi
	callq	_TEST_ptr
	testl	%eax, %eax
	je	LBB0_16
## %bb.6:
	movq	%r15, %rdi
	callq	_BN_one
	movq	%r12, %rdi
	callq	_BN_one
	movq	%r14, %rdi
	callq	_BN_zero
	movq	_BN_RAND_TOP_ONE@GOTPCREL(%rip), %rax
	movl	(%rax), %edx
	movq	_BN_RAND_BOTTOM_ANY@GOTPCREL(%rip), %rax
	movl	(%rax), %ecx
	movq	%r12, %rdi
	movl	$1024, %esi                     ## imm = 0x400
	callq	_BN_rand
	movl	%eax, %edi
	callq	_TEST_true
	testl	%eax, %eax
	je	LBB0_16
## %bb.7:
	movq	%rbx, %rdi
	movq	%r12, %rsi
	movq	%r14, %rdx
	movq	%r15, %rcx
	movq	-56(%rbp), %r8                  ## 8-byte Reload
	callq	_BN_mod_exp
	movl	%eax, %edi
	callq	_TEST_true
	testl	%eax, %eax
	je	LBB0_16
## %bb.8:
	leaq	L_.str(%rip), %rdi
	movq	%rbx, %rsi
	movq	%r12, %rdx
	callq	_a_is_zero_mod_one
	movl	%eax, %edi
	callq	_TEST_true
	movl	%eax, -72(%rbp)                 ## 4-byte Spill
	movq	%rbx, %rdi
	movq	%r12, %rsi
	movq	%r14, %rdx
	movq	%r15, %rcx
	movq	-56(%rbp), %r8                  ## 8-byte Reload
	callq	_BN_mod_exp_recp
	movl	%eax, %edi
	callq	_TEST_true
	testl	%eax, %eax
	je	LBB0_16
## %bb.9:
	leaq	L_.str.1(%rip), %rdi
	movq	%rbx, %rsi
	movq	%r12, %rdx
	callq	_a_is_zero_mod_one
	movl	%eax, %edi
	callq	_TEST_true
	movl	%eax, -68(%rbp)                 ## 4-byte Spill
	movq	%rbx, %rdi
	movq	%r12, %rsi
	movq	%r14, %rdx
	movq	%r15, %rcx
	movq	-56(%rbp), %r8                  ## 8-byte Reload
	callq	_BN_mod_exp_simple
	movl	%eax, %edi
	callq	_TEST_true
	testl	%eax, %eax
	je	LBB0_16
## %bb.10:
	leaq	L_.str.2(%rip), %rdi
	movq	%rbx, %rsi
	movq	%r12, %rdx
	callq	_a_is_zero_mod_one
	movl	%eax, %edi
	callq	_TEST_true
	movl	%eax, -64(%rbp)                 ## 4-byte Spill
	movq	%rbx, %rdi
	movq	%r12, %rsi
	movq	%r14, %rdx
	movq	%r15, %rcx
	movq	-56(%rbp), %r8                  ## 8-byte Reload
	xorl	%r9d, %r9d
	callq	_BN_mod_exp_mont
	movl	%eax, %edi
	callq	_TEST_true
	testl	%eax, %eax
	je	LBB0_16
## %bb.11:
	leaq	L_.str.3(%rip), %rdi
	movq	%rbx, %rsi
	movq	%r12, %rdx
	callq	_a_is_zero_mod_one
	movl	%eax, %edi
	callq	_TEST_true
	movl	%eax, -60(%rbp)                 ## 4-byte Spill
	movq	%rbx, %rdi
	movq	%r12, %rsi
	movq	%r14, %rdx
	movq	%r15, %rcx
	movq	-56(%rbp), %r8                  ## 8-byte Reload
	xorl	%r9d, %r9d
	callq	_BN_mod_exp_mont_consttime
	movl	%eax, %edi
	callq	_TEST_true
	testl	%eax, %eax
	je	LBB0_16
## %bb.12:
	cmpl	$0, -60(%rbp)                   ## 4-byte Folded Reload
	setne	-60(%rbp)                       ## 1-byte Folded Spill
	cmpl	$0, -72(%rbp)                   ## 4-byte Folded Reload
	setne	-72(%rbp)                       ## 1-byte Folded Spill
	cmpl	$0, -68(%rbp)                   ## 4-byte Folded Reload
	setne	-41(%rbp)                       ## 1-byte Folded Spill
	cmpl	$0, -64(%rbp)                   ## 4-byte Folded Reload
	setne	-68(%rbp)                       ## 1-byte Folded Spill
	leaq	L_.str.4(%rip), %rdi
	movq	%rbx, %rsi
	movq	%r12, %rdx
	callq	_a_is_zero_mod_one
	movl	%eax, %edi
	callq	_TEST_true
	testl	%eax, %eax
	setne	-64(%rbp)                       ## 1-byte Folded Spill
	movl	$1, %r13d
	movq	%rbx, %rdi
	movl	$1, %esi
	movq	%r14, %rdx
	movq	%r15, %rcx
	movq	-56(%rbp), %r8                  ## 8-byte Reload
	xorl	%r9d, %r9d
	callq	_BN_mod_exp_mont_word
	movl	%eax, %edi
	callq	_TEST_true
	testl	%eax, %eax
	je	LBB0_16
## %bb.13:
	movq	%rbx, %rdi
	callq	_TEST_BN_eq_zero
	testl	%eax, %eax
	je	LBB0_14
## %bb.15:
	movb	-64(%rbp), %cl                  ## 1-byte Reload
	andb	-60(%rbp), %cl                  ## 1-byte Folded Reload
	movb	-68(%rbp), %al                  ## 1-byte Reload
	andb	-41(%rbp), %al                  ## 1-byte Folded Reload
	andb	%cl, %al
	andb	-72(%rbp), %al                  ## 1-byte Folded Reload
	movzbl	%al, %r13d
	jmp	LBB0_16
LBB0_1:
	xorl	%r14d, %r14d
	xorl	%r12d, %r12d
	jmp	LBB0_16
LBB0_3:
	xorl	%r14d, %r14d
LBB0_16:
	movq	%rbx, %rdi
	callq	_BN_free
	movq	%r12, %rdi
	callq	_BN_free
	movq	%r14, %rdi
	callq	_BN_free
	movq	%r15, %rdi
	callq	_BN_free
	movq	-56(%rbp), %rdi                 ## 8-byte Reload
	callq	_BN_CTX_free
	movl	%r13d, %eax
	addq	$40, %rsp
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	retq
LBB0_14:
	leaq	L_.str.5(%rip), %rdi
	callq	_TEST_error
	movq	%rbx, %rdi
	callq	_BN_print_var
	jmp	LBB0_16
	.cfi_endproc
                                        ## -- End function
	.comm	_BN_RAND_TOP_ONE,4,2            ## @BN_RAND_TOP_ONE
	.comm	_BN_RAND_BOTTOM_ANY,4,2         ## @BN_RAND_BOTTOM_ANY
	.section	__TEXT,__cstring,cstring_literals
L_.str:                                 ## @.str
	.asciz	"BN_mod_exp"

L_.str.1:                               ## @.str.1
	.asciz	"BN_mod_exp_recp"

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

L_.str.3:                               ## @.str.3
	.asciz	"BN_mod_exp_mont"

L_.str.4:                               ## @.str.4
	.asciz	"BN_mod_exp_mont_consttime"

L_.str.5:                               ## @.str.5
	.asciz	"BN_mod_exp_mont_word failed: 1 ** 0 mod 1 = r (should be 0)"

	.no_dead_strip	_test_mod_exp_zero
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	2                               ; -- Begin function test_mod_exp_zero
_test_mod_exp_zero:                     ; @test_mod_exp_zero
	.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
	bl	_BN_CTX_new
	mov	x19, x0
	bl	_BN_new
	mov	x20, x0
	bl	_TEST_ptr
	cbz	w0, LBB0_13
; %bb.1:
	bl	_BN_new
	mov	x21, x0
	bl	_TEST_ptr
	cbz	w0, LBB0_14
; %bb.2:
	bl	_BN_new
	mov	x22, x0
	bl	_TEST_ptr
	cbz	w0, LBB0_15
; %bb.3:
	bl	_BN_new
	mov	x23, x0
	bl	_TEST_ptr
	cbz	w0, LBB0_16
; %bb.4:
	mov	x0, x20
	bl	_BN_one
	mov	x0, x21
	bl	_BN_one
	mov	x0, x22
	bl	_BN_zero
Lloh0:
	adrp	x8, _BN_RAND_TOP_ONE@GOTPAGE
Lloh1:
	ldr	x8, [x8, _BN_RAND_TOP_ONE@GOTPAGEOFF]
Lloh2:
	ldr	w2, [x8]
Lloh3:
	adrp	x8, _BN_RAND_BOTTOM_ANY@GOTPAGE
Lloh4:
	ldr	x8, [x8, _BN_RAND_BOTTOM_ANY@GOTPAGEOFF]
Lloh5:
	ldr	w3, [x8]
	mov	x0, x21
	mov	w1, #1024
	bl	_BN_rand
	bl	_TEST_true
	cbz	w0, LBB0_16
; %bb.5:
	mov	x0, x23
	mov	x1, x21
	mov	x2, x22
	mov	x3, x20
	mov	x4, x19
	bl	_BN_mod_exp
	bl	_TEST_true
	cbz	w0, LBB0_16
; %bb.6:
Lloh6:
	adrp	x0, l_.str@PAGE
Lloh7:
	add	x0, x0, l_.str@PAGEOFF
	mov	x1, x23
	mov	x2, x21
	bl	_a_is_zero_mod_one
	bl	_TEST_true
	mov	x24, x0
	mov	x0, x23
	mov	x1, x21
	mov	x2, x22
	mov	x3, x20
	mov	x4, x19
	bl	_BN_mod_exp_recp
	bl	_TEST_true
	cbz	w0, LBB0_16
; %bb.7:
Lloh8:
	adrp	x0, l_.str.1@PAGE
Lloh9:
	add	x0, x0, l_.str.1@PAGEOFF
	mov	x1, x23
	mov	x2, x21
	bl	_a_is_zero_mod_one
	bl	_TEST_true
	mov	x25, x0
	mov	x0, x23
	mov	x1, x21
	mov	x2, x22
	mov	x3, x20
	mov	x4, x19
	bl	_BN_mod_exp_simple
	bl	_TEST_true
	cbz	w0, LBB0_16
; %bb.8:
Lloh10:
	adrp	x0, l_.str.2@PAGE
Lloh11:
	add	x0, x0, l_.str.2@PAGEOFF
	mov	x1, x23
	mov	x2, x21
	bl	_a_is_zero_mod_one
	bl	_TEST_true
	mov	x26, x0
	mov	x0, x23
	mov	x1, x21
	mov	x2, x22
	mov	x3, x20
	mov	x4, x19
	mov	x5, #0
	bl	_BN_mod_exp_mont
	bl	_TEST_true
	cbz	w0, LBB0_16
; %bb.9:
Lloh12:
	adrp	x0, l_.str.3@PAGE
Lloh13:
	add	x0, x0, l_.str.3@PAGEOFF
	mov	x1, x23
	mov	x2, x21
	bl	_a_is_zero_mod_one
	bl	_TEST_true
	mov	x27, x0
	mov	x0, x23
	mov	x1, x21
	mov	x2, x22
	mov	x3, x20
	mov	x4, x19
	mov	x5, #0
	bl	_BN_mod_exp_mont_consttime
	bl	_TEST_true
	cbz	w0, LBB0_16
; %bb.10:
Lloh14:
	adrp	x0, l_.str.4@PAGE
Lloh15:
	add	x0, x0, l_.str.4@PAGEOFF
	mov	x1, x23
	mov	x2, x21
	bl	_a_is_zero_mod_one
	bl	_TEST_true
	cmp	w0, #0
	ccmp	w27, #0, #4, ne
	ccmp	w26, #0, #4, ne
	ccmp	w25, #0, #4, ne
	ccmp	w24, #0, #4, ne
	cset	w25, ne
	mov	w24, #1
	mov	x0, x23
	mov	w1, #1
	mov	x2, x22
	mov	x3, x20
	mov	x4, x19
	mov	x5, #0
	bl	_BN_mod_exp_mont_word
	bl	_TEST_true
	cbz	w0, LBB0_17
; %bb.11:
	mov	x0, x23
	bl	_TEST_BN_eq_zero
	cbz	w0, LBB0_18
; %bb.12:
	mov	x24, x25
	b	LBB0_17
LBB0_13:
	mov	x23, #0
	mov	x22, #0
	mov	x21, #0
	b	LBB0_16
LBB0_14:
	mov	x23, #0
	mov	x22, #0
	b	LBB0_16
LBB0_15:
	mov	x23, #0
LBB0_16:
	mov	w24, #1
LBB0_17:
	mov	x0, x23
	bl	_BN_free
	mov	x0, x21
	bl	_BN_free
	mov	x0, x22
	bl	_BN_free
	mov	x0, x20
	bl	_BN_free
	mov	x0, x19
	bl	_BN_CTX_free
	mov	x0, x24
	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_18:
Lloh16:
	adrp	x0, l_.str.5@PAGE
Lloh17:
	add	x0, x0, l_.str.5@PAGEOFF
	bl	_TEST_error
	mov	x0, x23
	bl	_BN_print_var
	b	LBB0_16
	.loh AdrpLdrGotLdr	Lloh3, Lloh4, Lloh5
	.loh AdrpLdrGotLdr	Lloh0, Lloh1, Lloh2
	.loh AdrpAdd	Lloh6, Lloh7
	.loh AdrpAdd	Lloh8, Lloh9
	.loh AdrpAdd	Lloh10, Lloh11
	.loh AdrpAdd	Lloh12, Lloh13
	.loh AdrpAdd	Lloh14, Lloh15
	.loh AdrpAdd	Lloh16, Lloh17
	.cfi_endproc
                                        ; -- End function
	.comm	_BN_RAND_TOP_ONE,4,2            ; @BN_RAND_TOP_ONE
	.comm	_BN_RAND_BOTTOM_ANY,4,2         ; @BN_RAND_BOTTOM_ANY
	.section	__TEXT,__cstring,cstring_literals
l_.str:                                 ; @.str
	.asciz	"BN_mod_exp"

l_.str.1:                               ; @.str.1
	.asciz	"BN_mod_exp_recp"

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

l_.str.3:                               ; @.str.3
	.asciz	"BN_mod_exp_mont"

l_.str.4:                               ; @.str.4
	.asciz	"BN_mod_exp_mont_consttime"

l_.str.5:                               ; @.str.5
	.asciz	"BN_mod_exp_mont_word failed: 1 ** 0 mod 1 = r (should be 0)"

	.no_dead_strip	_test_mod_exp_zero
.subsections_via_symbols
