	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	4, 0x90                         ## -- Begin function test_gf2m_mul
_test_gf2m_mul:                         ## @test_gf2m_mul
	.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	$88, %rsp
	.cfi_offset %rbx, -56
	.cfi_offset %r12, -48
	.cfi_offset %r13, -40
	.cfi_offset %r14, -32
	.cfi_offset %r15, -24
	xorl	%eax, %eax
	callq	_BN_new
	movq	%rax, %rbx
	movq	%rax, %rdi
	callq	_TEST_ptr
	testl	%eax, %eax
	movq	%rbx, -120(%rbp)                ## 8-byte Spill
	je	LBB0_32
## %bb.1:
	xorl	%eax, %eax
	callq	_BN_new
	movq	%rax, %r13
	movq	%rax, %rdi
	callq	_TEST_ptr
	testl	%eax, %eax
	movq	%r13, -112(%rbp)                ## 8-byte Spill
	je	LBB0_33
## %bb.2:
	xorl	%eax, %eax
	callq	_BN_new
	movq	%rax, -72(%rbp)                 ## 8-byte Spill
	movq	%rax, %rdi
	callq	_TEST_ptr
	testl	%eax, %eax
	je	LBB0_35
## %bb.3:
	xorl	%eax, %eax
	callq	_BN_new
	movq	%rax, %r15
	movq	%rax, %rdi
	callq	_TEST_ptr
	testl	%eax, %eax
	movq	%r15, -104(%rbp)                ## 8-byte Spill
	je	LBB0_36
## %bb.4:
	xorl	%eax, %eax
	callq	_BN_new
	movq	%rax, %r12
	movq	%rax, %rdi
	callq	_TEST_ptr
	testl	%eax, %eax
	je	LBB0_39
## %bb.5:
	xorl	%eax, %eax
	callq	_BN_new
	movq	%rax, -56(%rbp)                 ## 8-byte Spill
	movq	%rax, %rdi
	callq	_TEST_ptr
	testl	%eax, %eax
	je	LBB0_40
## %bb.6:
	xorl	%eax, %eax
	callq	_BN_new
	movq	%rax, %r14
	movq	%rax, %rdi
	callq	_TEST_ptr
	testl	%eax, %eax
	je	LBB0_41
## %bb.7:
	movq	%r14, -88(%rbp)                 ## 8-byte Spill
	xorl	%eax, %eax
	callq	_BN_new
	movq	%rax, %r14
	movq	%rax, %rdi
	callq	_TEST_ptr
	testl	%eax, %eax
	movq	%r14, -96(%rbp)                 ## 8-byte Spill
	je	LBB0_46
## %bb.8:
	xorl	%eax, %eax
	callq	_BN_new
	movq	%rax, %r15
	movq	%rax, %rdi
	callq	_TEST_ptr
	testl	%eax, %eax
	je	LBB0_47
## %bb.9:
	movq	%r15, -64(%rbp)                 ## 8-byte Spill
	movq	_p0@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	movq	%r13, %rsi
	callq	_BN_GF2m_arr2poly
	movl	%eax, %edi
	callq	_TEST_true
	testq	%rax, %rax
	je	LBB0_48
## %bb.10:
	movq	_p1@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	movq	-72(%rbp), %r15                 ## 8-byte Reload
	movq	%r15, %rsi
	callq	_BN_GF2m_arr2poly
	movl	%eax, %edi
	callq	_TEST_true
	testq	%rax, %rax
	je	LBB0_49
## %bb.11:
	movq	_NUM0@GOTPCREL(%rip), %rax
	cmpl	$0, (%rax)
	jle	LBB0_31
## %bb.12:
	xorl	%ecx, %ecx
	movq	%r12, -80(%rbp)                 ## 8-byte Spill
LBB0_13:                                ## =>This Inner Loop Header: Depth=1
	movl	%ecx, -48(%rbp)                 ## 4-byte Spill
	movq	%rbx, %rdi
	movl	$1024, %esi                     ## imm = 0x400
	xorl	%edx, %edx
	xorl	%ecx, %ecx
	callq	_BN_bntest_rand
	movl	%eax, %edi
	callq	_TEST_true
	testq	%rax, %rax
	je	LBB0_49
## %bb.14:                              ##   in Loop: Header=BB0_13 Depth=1
	movq	-104(%rbp), %rdi                ## 8-byte Reload
	movl	$1024, %esi                     ## imm = 0x400
	xorl	%edx, %edx
	xorl	%ecx, %ecx
	callq	_BN_bntest_rand
	movl	%eax, %edi
	callq	_TEST_true
	testq	%rax, %rax
	je	LBB0_49
## %bb.15:                              ##   in Loop: Header=BB0_13 Depth=1
	movq	%r12, %rdi
	movl	$1024, %esi                     ## imm = 0x400
	xorl	%edx, %edx
	xorl	%ecx, %ecx
	callq	_BN_bntest_rand
	movl	%eax, %edi
	callq	_TEST_true
	testq	%rax, %rax
	je	LBB0_49
## %bb.16:                              ##   in Loop: Header=BB0_13 Depth=1
	movq	_ctx@GOTPCREL(%rip), %rax
	movl	(%rax), %r8d
	movq	-56(%rbp), %rdi                 ## 8-byte Reload
	movq	%rbx, %rsi
	movq	-104(%rbp), %rdx                ## 8-byte Reload
	movq	%r13, %rcx
	callq	_BN_GF2m_mod_mul
	movl	%eax, %edi
	callq	_TEST_true
	testq	%rax, %rax
	je	LBB0_49
## %bb.17:                              ##   in Loop: Header=BB0_13 Depth=1
	movq	-88(%rbp), %r13                 ## 8-byte Reload
	movq	%r13, %rdi
	movq	%rbx, %rsi
	movq	%r12, %rdx
	callq	_BN_GF2m_add
	movl	%eax, %edi
	callq	_TEST_true
	testq	%rax, %rax
	je	LBB0_57
## %bb.18:                              ##   in Loop: Header=BB0_13 Depth=1
	movq	_ctx@GOTPCREL(%rip), %r15
	movl	(%r15), %r8d
	movq	%r14, %rdi
	movq	%r13, %rsi
	movq	-104(%rbp), %rbx                ## 8-byte Reload
	movq	%rbx, %rdx
	movq	-112(%rbp), %rcx                ## 8-byte Reload
	callq	_BN_GF2m_mod_mul
	movl	%eax, %edi
	callq	_TEST_true
	testq	%rax, %rax
	movq	%r13, %r12
	je	LBB0_58
## %bb.19:                              ##   in Loop: Header=BB0_13 Depth=1
	movl	(%r15), %r8d
	movq	-64(%rbp), %r13                 ## 8-byte Reload
	movq	%r13, %rdi
	movq	-80(%rbp), %rsi                 ## 8-byte Reload
	movq	%rbx, %rdx
	movq	-112(%rbp), %rcx                ## 8-byte Reload
	callq	_BN_GF2m_mod_mul
	movl	%eax, %edi
	callq	_TEST_true
	testq	%rax, %rax
	je	LBB0_59
## %bb.20:                              ##   in Loop: Header=BB0_13 Depth=1
	movq	%r12, %rdi
	movq	-56(%rbp), %r15                 ## 8-byte Reload
	movq	%r15, %rsi
	movq	%r14, %rdx
	callq	_BN_GF2m_add
	movl	%eax, %edi
	callq	_TEST_true
	testq	%rax, %rax
	je	LBB0_56
## %bb.21:                              ##   in Loop: Header=BB0_13 Depth=1
	movq	%r12, %rdi
	movq	%r12, %rsi
	movq	%r13, %rdx
	callq	_BN_GF2m_add
	movl	%eax, %edi
	callq	_TEST_true
	testq	%rax, %rax
	je	LBB0_56
## %bb.22:                              ##   in Loop: Header=BB0_13 Depth=1
	movq	%r12, %rdi
	callq	_TEST_BN_eq_zero
	testq	%rax, %rax
	je	LBB0_60
## %bb.23:                              ##   in Loop: Header=BB0_13 Depth=1
	movq	_ctx@GOTPCREL(%rip), %r13
	movl	(%r13), %r8d
	movq	%r15, %rdi
	movq	-120(%rbp), %r14                ## 8-byte Reload
	movq	%r14, %rsi
	movq	-104(%rbp), %rdx                ## 8-byte Reload
	movq	-72(%rbp), %r15                 ## 8-byte Reload
	movq	%r15, %rcx
	callq	_BN_GF2m_mod_mul
	movl	%eax, %edi
	callq	_TEST_true
	testq	%rax, %rax
	je	LBB0_53
## %bb.24:                              ##   in Loop: Header=BB0_13 Depth=1
	movq	%r12, %rdi
	movq	%r14, %rsi
	movq	-80(%rbp), %rdx                 ## 8-byte Reload
	callq	_BN_GF2m_add
	movl	%eax, %edi
	callq	_TEST_true
	testq	%rax, %rax
	je	LBB0_61
## %bb.25:                              ##   in Loop: Header=BB0_13 Depth=1
	movl	(%r13), %r8d
	movq	-96(%rbp), %r14                 ## 8-byte Reload
	movq	%r14, %rdi
	movq	%r12, %rsi
	movq	-104(%rbp), %rbx                ## 8-byte Reload
	movq	%rbx, %rdx
	movq	-72(%rbp), %r15                 ## 8-byte Reload
	movq	%r15, %rcx
	callq	_BN_GF2m_mod_mul
	movl	%eax, %edi
	callq	_TEST_true
	testq	%rax, %rax
	je	LBB0_53
## %bb.26:                              ##   in Loop: Header=BB0_13 Depth=1
	movl	(%r13), %r8d
	movq	-64(%rbp), %rdi                 ## 8-byte Reload
	movq	-80(%rbp), %rsi                 ## 8-byte Reload
	movq	%rbx, %rdx
	movq	%r15, %rcx
	callq	_BN_GF2m_mod_mul
	movl	%eax, %edi
	callq	_TEST_true
	testq	%rax, %rax
	je	LBB0_53
## %bb.27:                              ##   in Loop: Header=BB0_13 Depth=1
	movq	%r12, %rdi
	movq	-56(%rbp), %rsi                 ## 8-byte Reload
	movq	%r14, %rdx
	callq	_BN_GF2m_add
	movl	%eax, %edi
	callq	_TEST_true
	testq	%rax, %rax
	je	LBB0_53
## %bb.28:                              ##   in Loop: Header=BB0_13 Depth=1
	movq	%r12, %rdi
	movq	%r12, %rsi
	movq	-64(%rbp), %rdx                 ## 8-byte Reload
	callq	_BN_GF2m_add
	movl	%eax, %edi
	callq	_TEST_true
	testq	%rax, %rax
	je	LBB0_53
## %bb.29:                              ##   in Loop: Header=BB0_13 Depth=1
	movq	%r12, %rdi
	callq	_TEST_BN_eq_zero
	testq	%rax, %rax
	je	LBB0_62
## %bb.30:                              ##   in Loop: Header=BB0_13 Depth=1
	movl	-48(%rbp), %ecx                 ## 4-byte Reload
	incl	%ecx
	movq	_NUM0@GOTPCREL(%rip), %rax
	cmpl	(%rax), %ecx
	movq	-80(%rbp), %r12                 ## 8-byte Reload
	movq	-112(%rbp), %r13                ## 8-byte Reload
	movq	-120(%rbp), %rbx                ## 8-byte Reload
	jl	LBB0_13
LBB0_31:
	movl	$1, %eax
	jmp	LBB0_50
LBB0_32:
	xorl	%eax, %eax
	movq	%rax, -48(%rbp)                 ## 8-byte Spill
	xorl	%eax, %eax
	movq	%rax, -112(%rbp)                ## 8-byte Spill
	jmp	LBB0_34
LBB0_33:
	xorl	%eax, %eax
	movq	%rax, -48(%rbp)                 ## 8-byte Spill
LBB0_34:
	xorl	%r15d, %r15d
	xorl	%eax, %eax
	movq	%rax, -104(%rbp)                ## 8-byte Spill
	xorl	%r12d, %r12d
	xorl	%r13d, %r13d
	xorl	%r14d, %r14d
	xorl	%eax, %eax
	movq	%rax, -96(%rbp)                 ## 8-byte Spill
	xorl	%ebx, %ebx
	jmp	LBB0_45
LBB0_35:
	xorl	%eax, %eax
	movq	%rax, -48(%rbp)                 ## 8-byte Spill
	xorl	%eax, %eax
	movq	%rax, -104(%rbp)                ## 8-byte Spill
	jmp	LBB0_37
LBB0_36:
	xorl	%eax, %eax
	movq	%rax, -48(%rbp)                 ## 8-byte Spill
LBB0_37:
	xorl	%r12d, %r12d
LBB0_38:
	xorl	%r13d, %r13d
	xorl	%r14d, %r14d
	xorl	%eax, %eax
	movq	%rax, -96(%rbp)                 ## 8-byte Spill
	xorl	%ebx, %ebx
	movq	-72(%rbp), %r15                 ## 8-byte Reload
	jmp	LBB0_45
LBB0_39:
	xorl	%eax, %eax
	movq	%rax, -48(%rbp)                 ## 8-byte Spill
	jmp	LBB0_38
LBB0_40:
	xorl	%eax, %eax
	movq	%rax, -48(%rbp)                 ## 8-byte Spill
	xorl	%r14d, %r14d
	jmp	LBB0_42
LBB0_41:
	xorl	%eax, %eax
	movq	%rax, -48(%rbp)                 ## 8-byte Spill
LBB0_42:
	xorl	%eax, %eax
	movq	%rax, -96(%rbp)                 ## 8-byte Spill
	xorl	%ebx, %ebx
LBB0_43:
	movq	-72(%rbp), %r15                 ## 8-byte Reload
LBB0_44:
	movq	-56(%rbp), %r13                 ## 8-byte Reload
LBB0_45:
	movq	-120(%rbp), %rdi                ## 8-byte Reload
	callq	_BN_free
	movq	-112(%rbp), %rdi                ## 8-byte Reload
	callq	_BN_free
	movq	%r15, %rdi
	callq	_BN_free
	movq	-104(%rbp), %rdi                ## 8-byte Reload
	callq	_BN_free
	movq	%r12, %rdi
	callq	_BN_free
	movq	%r13, %rdi
	callq	_BN_free
	movq	%r14, %rdi
	callq	_BN_free
	movq	-96(%rbp), %rdi                 ## 8-byte Reload
	callq	_BN_free
	movq	%rbx, %rdi
	callq	_BN_free
	movq	-48(%rbp), %rax                 ## 8-byte Reload
                                        ## kill: def $eax killed $eax killed $rax
	addq	$88, %rsp
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	retq
LBB0_46:
	xorl	%eax, %eax
	movq	%rax, -48(%rbp)                 ## 8-byte Spill
	xorl	%ebx, %ebx
	movq	-88(%rbp), %r14                 ## 8-byte Reload
	jmp	LBB0_43
LBB0_47:
	xorl	%eax, %eax
	movq	%rax, -48(%rbp)                 ## 8-byte Spill
	movq	-88(%rbp), %r14                 ## 8-byte Reload
	movq	%r15, %rbx
	jmp	LBB0_43
LBB0_48:
	xorl	%eax, %eax
	movq	%rax, -48(%rbp)                 ## 8-byte Spill
	movq	-88(%rbp), %r14                 ## 8-byte Reload
	movq	-72(%rbp), %r15                 ## 8-byte Reload
	jmp	LBB0_51
LBB0_49:
	xorl	%eax, %eax
LBB0_50:
	movq	%rax, -48(%rbp)                 ## 8-byte Spill
	movq	-88(%rbp), %r14                 ## 8-byte Reload
LBB0_51:
	movq	-56(%rbp), %r13                 ## 8-byte Reload
LBB0_52:
	movq	-64(%rbp), %rbx                 ## 8-byte Reload
	jmp	LBB0_45
LBB0_53:
	xorl	%eax, %eax
	movq	%rax, -48(%rbp)                 ## 8-byte Spill
LBB0_54:
	movq	-56(%rbp), %r13                 ## 8-byte Reload
LBB0_55:
	movq	%r12, %r14
	movq	-80(%rbp), %r12                 ## 8-byte Reload
	jmp	LBB0_52
LBB0_56:
	xorl	%eax, %eax
	movq	%rax, -48(%rbp)                 ## 8-byte Spill
	movq	%r13, %rbx
	movq	%r15, %r13
	movq	-72(%rbp), %r15                 ## 8-byte Reload
	movq	%r12, %r14
	movq	-80(%rbp), %r12                 ## 8-byte Reload
	jmp	LBB0_45
LBB0_57:
	xorl	%eax, %eax
	movq	%rax, -48(%rbp)                 ## 8-byte Spill
	movq	-72(%rbp), %r15                 ## 8-byte Reload
	movq	%r13, %r14
	jmp	LBB0_64
LBB0_58:
	xorl	%eax, %eax
	movq	%rax, -48(%rbp)                 ## 8-byte Spill
	movq	-72(%rbp), %r15                 ## 8-byte Reload
	jmp	LBB0_63
LBB0_59:
	xorl	%eax, %eax
	movq	%rax, -48(%rbp)                 ## 8-byte Spill
	movq	%r13, %rbx
	movq	-72(%rbp), %r15                 ## 8-byte Reload
	movq	%r12, %r14
	movq	-80(%rbp), %r12                 ## 8-byte Reload
	jmp	LBB0_44
LBB0_60:
	xorl	%eax, %eax
	movq	%rax, -48(%rbp)                 ## 8-byte Spill
	movq	%r15, %r13
	movq	-72(%rbp), %r15                 ## 8-byte Reload
	jmp	LBB0_55
LBB0_61:
	xorl	%eax, %eax
	movq	%rax, -48(%rbp)                 ## 8-byte Spill
	movq	-72(%rbp), %r15                 ## 8-byte Reload
	jmp	LBB0_54
LBB0_62:
	xorl	%eax, %eax
	movq	%rax, -48(%rbp)                 ## 8-byte Spill
LBB0_63:
	movq	%r12, %r14
LBB0_64:
	movq	-80(%rbp), %r12                 ## 8-byte Reload
	jmp	LBB0_51
	.cfi_endproc
                                        ## -- End function
	.comm	_p0,4,2                         ## @p0
	.comm	_p1,4,2                         ## @p1
	.comm	_NUM0,4,2                       ## @NUM0
	.comm	_ctx,4,2                        ## @ctx
	.no_dead_strip	_test_gf2m_mul
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	2                               ; -- Begin function test_gf2m_mul
_test_gf2m_mul:                         ; @test_gf2m_mul
	.cfi_startproc
; %bb.0:
	sub	sp, sp, #112
	.cfi_def_cfa_offset 112
	stp	x28, x27, [sp, #16]             ; 16-byte Folded Spill
	stp	x26, x25, [sp, #32]             ; 16-byte Folded Spill
	stp	x24, x23, [sp, #48]             ; 16-byte Folded Spill
	stp	x22, x21, [sp, #64]             ; 16-byte Folded Spill
	stp	x20, x19, [sp, #80]             ; 16-byte Folded Spill
	stp	x29, x30, [sp, #96]             ; 16-byte Folded Spill
	add	x29, sp, #96
	.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_new
	mov	x19, x0
	bl	_TEST_ptr
	cbz	w0, LBB0_31
; %bb.1:
	bl	_BN_new
	mov	x20, x0
	bl	_TEST_ptr
	cbz	w0, LBB0_32
; %bb.2:
	bl	_BN_new
	mov	x21, x0
	bl	_TEST_ptr
	cbz	w0, LBB0_33
; %bb.3:
	bl	_BN_new
	mov	x22, x0
	bl	_TEST_ptr
	cbz	w0, LBB0_34
; %bb.4:
	bl	_BN_new
	mov	x23, x0
	bl	_TEST_ptr
	cbz	w0, LBB0_35
; %bb.5:
	bl	_BN_new
	mov	x24, x0
	bl	_TEST_ptr
	cbz	w0, LBB0_36
; %bb.6:
	bl	_BN_new
	mov	x25, x0
	bl	_TEST_ptr
	cbz	w0, LBB0_37
; %bb.7:
	bl	_BN_new
	mov	x26, x0
	bl	_TEST_ptr
	cbz	w0, LBB0_38
; %bb.8:
	bl	_BN_new
	mov	x27, x0
	bl	_TEST_ptr
	cbz	w0, LBB0_39
; %bb.9:
Lloh0:
	adrp	x8, _p0@GOTPAGE
Lloh1:
	ldr	x8, [x8, _p0@GOTPAGEOFF]
Lloh2:
	ldr	w0, [x8]
	mov	x1, x20
	bl	_BN_GF2m_arr2poly
	bl	_TEST_true
	cbz	x0, LBB0_39
; %bb.10:
Lloh3:
	adrp	x8, _p1@GOTPAGE
Lloh4:
	ldr	x8, [x8, _p1@GOTPAGEOFF]
Lloh5:
	ldr	w0, [x8]
	mov	x1, x21
	bl	_BN_GF2m_arr2poly
	bl	_TEST_true
	cbz	x0, LBB0_39
; %bb.11:
Lloh6:
	adrp	x8, _NUM0@GOTPAGE
Lloh7:
	ldr	x8, [x8, _NUM0@GOTPAGEOFF]
Lloh8:
	ldr	w8, [x8]
	cmp	w8, #1
	b.lt	LBB0_41
; %bb.12:
	mov	w9, #0
LBB0_13:                                ; =>This Inner Loop Header: Depth=1
	str	w9, [sp, #12]                   ; 4-byte Folded Spill
	mov	x0, x19
	mov	w1, #1024
	mov	w2, #0
	mov	w3, #0
	bl	_BN_bntest_rand
	bl	_TEST_true
	cbz	x0, LBB0_39
; %bb.14:                               ;   in Loop: Header=BB0_13 Depth=1
	mov	x0, x22
	mov	w1, #1024
	mov	w2, #0
	mov	w3, #0
	bl	_BN_bntest_rand
	bl	_TEST_true
	cbz	x0, LBB0_39
; %bb.15:                               ;   in Loop: Header=BB0_13 Depth=1
	mov	x0, x23
	mov	w1, #1024
	mov	w2, #0
	mov	w3, #0
	bl	_BN_bntest_rand
	bl	_TEST_true
	cbz	x0, LBB0_39
; %bb.16:                               ;   in Loop: Header=BB0_13 Depth=1
Lloh9:
	adrp	x8, _ctx@GOTPAGE
Lloh10:
	ldr	x8, [x8, _ctx@GOTPAGEOFF]
Lloh11:
	ldr	w4, [x8]
	mov	x0, x24
	mov	x1, x19
	mov	x2, x22
	mov	x3, x20
	bl	_BN_GF2m_mod_mul
	bl	_TEST_true
	cbz	x0, LBB0_39
; %bb.17:                               ;   in Loop: Header=BB0_13 Depth=1
	mov	x0, x25
	mov	x1, x19
	mov	x2, x23
	bl	_BN_GF2m_add
	bl	_TEST_true
	cbz	x0, LBB0_39
; %bb.18:                               ;   in Loop: Header=BB0_13 Depth=1
Lloh12:
	adrp	x28, _ctx@GOTPAGE
Lloh13:
	ldr	x28, [x28, _ctx@GOTPAGEOFF]
	ldr	w4, [x28]
	mov	x0, x26
	mov	x1, x25
	mov	x2, x22
	mov	x3, x20
	bl	_BN_GF2m_mod_mul
	bl	_TEST_true
	cbz	x0, LBB0_39
; %bb.19:                               ;   in Loop: Header=BB0_13 Depth=1
	ldr	w4, [x28]
	mov	x0, x27
	mov	x1, x23
	mov	x2, x22
	mov	x3, x20
	bl	_BN_GF2m_mod_mul
	bl	_TEST_true
	cbz	x0, LBB0_39
; %bb.20:                               ;   in Loop: Header=BB0_13 Depth=1
	mov	x0, x25
	mov	x1, x24
	mov	x2, x26
	bl	_BN_GF2m_add
	bl	_TEST_true
	cbz	x0, LBB0_39
; %bb.21:                               ;   in Loop: Header=BB0_13 Depth=1
	mov	x0, x25
	mov	x1, x25
	mov	x2, x27
	bl	_BN_GF2m_add
	bl	_TEST_true
	cbz	x0, LBB0_39
; %bb.22:                               ;   in Loop: Header=BB0_13 Depth=1
	mov	x0, x25
	bl	_TEST_BN_eq_zero
	cbz	x0, LBB0_39
; %bb.23:                               ;   in Loop: Header=BB0_13 Depth=1
Lloh14:
	adrp	x8, _ctx@GOTPAGE
Lloh15:
	ldr	x8, [x8, _ctx@GOTPAGEOFF]
Lloh16:
	ldr	w4, [x8]
	mov	x0, x24
	mov	x1, x19
	mov	x2, x22
	mov	x3, x21
	bl	_BN_GF2m_mod_mul
	bl	_TEST_true
	cbz	x0, LBB0_39
; %bb.24:                               ;   in Loop: Header=BB0_13 Depth=1
	mov	x0, x25
	mov	x1, x19
	mov	x2, x23
	bl	_BN_GF2m_add
	bl	_TEST_true
	cbz	x0, LBB0_39
; %bb.25:                               ;   in Loop: Header=BB0_13 Depth=1
Lloh17:
	adrp	x28, _ctx@GOTPAGE
Lloh18:
	ldr	x28, [x28, _ctx@GOTPAGEOFF]
	ldr	w4, [x28]
	mov	x0, x26
	mov	x1, x25
	mov	x2, x22
	mov	x3, x21
	bl	_BN_GF2m_mod_mul
	bl	_TEST_true
	cbz	x0, LBB0_39
; %bb.26:                               ;   in Loop: Header=BB0_13 Depth=1
	ldr	w4, [x28]
	mov	x0, x27
	mov	x1, x23
	mov	x2, x22
	mov	x3, x21
	bl	_BN_GF2m_mod_mul
	bl	_TEST_true
	cbz	x0, LBB0_39
; %bb.27:                               ;   in Loop: Header=BB0_13 Depth=1
	mov	x0, x25
	mov	x1, x24
	mov	x2, x26
	bl	_BN_GF2m_add
	bl	_TEST_true
	cbz	x0, LBB0_39
; %bb.28:                               ;   in Loop: Header=BB0_13 Depth=1
	mov	x0, x25
	mov	x1, x25
	mov	x2, x27
	bl	_BN_GF2m_add
	bl	_TEST_true
	cbz	x0, LBB0_39
; %bb.29:                               ;   in Loop: Header=BB0_13 Depth=1
	mov	x0, x25
	bl	_TEST_BN_eq_zero
	cbz	x0, LBB0_39
; %bb.30:                               ;   in Loop: Header=BB0_13 Depth=1
	ldr	w9, [sp, #12]                   ; 4-byte Folded Reload
	add	w9, w9, #1
Lloh19:
	adrp	x8, _NUM0@GOTPAGE
Lloh20:
	ldr	x8, [x8, _NUM0@GOTPAGEOFF]
Lloh21:
	ldr	w8, [x8]
	mov	w28, #1
	cmp	w9, w8
	b.lt	LBB0_13
	b	LBB0_40
LBB0_31:
	mov	x20, #0
LBB0_32:
	mov	x21, #0
LBB0_33:
	mov	x22, #0
LBB0_34:
	mov	x23, #0
LBB0_35:
	mov	x24, #0
LBB0_36:
	mov	x25, #0
LBB0_37:
	mov	x26, #0
LBB0_38:
	mov	x27, #0
LBB0_39:
	mov	w28, #0
LBB0_40:
	mov	x0, x19
	bl	_BN_free
	mov	x0, x20
	bl	_BN_free
	mov	x0, x21
	bl	_BN_free
	mov	x0, x22
	bl	_BN_free
	mov	x0, x23
	bl	_BN_free
	mov	x0, x24
	bl	_BN_free
	mov	x0, x25
	bl	_BN_free
	mov	x0, x26
	bl	_BN_free
	mov	x0, x27
	bl	_BN_free
	mov	x0, x28
	ldp	x29, x30, [sp, #96]             ; 16-byte Folded Reload
	ldp	x20, x19, [sp, #80]             ; 16-byte Folded Reload
	ldp	x22, x21, [sp, #64]             ; 16-byte Folded Reload
	ldp	x24, x23, [sp, #48]             ; 16-byte Folded Reload
	ldp	x26, x25, [sp, #32]             ; 16-byte Folded Reload
	ldp	x28, x27, [sp, #16]             ; 16-byte Folded Reload
	add	sp, sp, #112
	ret
LBB0_41:
	mov	w28, #1
	b	LBB0_40
	.loh AdrpLdrGotLdr	Lloh0, Lloh1, Lloh2
	.loh AdrpLdrGotLdr	Lloh3, Lloh4, Lloh5
	.loh AdrpLdrGotLdr	Lloh6, Lloh7, Lloh8
	.loh AdrpLdrGotLdr	Lloh9, Lloh10, Lloh11
	.loh AdrpLdrGot	Lloh12, Lloh13
	.loh AdrpLdrGotLdr	Lloh14, Lloh15, Lloh16
	.loh AdrpLdrGot	Lloh17, Lloh18
	.loh AdrpLdrGotLdr	Lloh19, Lloh20, Lloh21
	.cfi_endproc
                                        ; -- End function
	.comm	_p0,4,2                         ; @p0
	.comm	_p1,4,2                         ; @p1
	.comm	_NUM0,4,2                       ; @NUM0
	.comm	_ctx,4,2                        ; @ctx
	.no_dead_strip	_test_gf2m_mul
.subsections_via_symbols
