	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.globl	_test_ecmult_multi_batch_size_helper ## -- Begin function test_ecmult_multi_batch_size_helper
	.p2align	4, 0x90
_test_ecmult_multi_batch_size_helper:   ## @test_ecmult_multi_batch_size_helper
	.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	%rbx
	subq	$24, %rsp
	.cfi_offset %rbx, -40
	.cfi_offset %r14, -32
	.cfi_offset %r15, -24
	leaq	-40(%rbp), %r14
	leaq	-32(%rbp), %r15
	movl	$1, %ecx
	movq	%r14, %rdi
	movq	%r15, %rsi
	xorl	%edx, %edx
	callq	_secp256k1_ecmult_multi_batch_size_helper
	xorl	%edi, %edi
	testl	%eax, %eax
	sete	%dil
	callq	_CHECK
	movl	$1, %edx
	movq	%r14, %rdi
	movq	%r15, %rsi
	xorl	%ecx, %ecx
	callq	_secp256k1_ecmult_multi_batch_size_helper
	xorl	%edi, %edi
	cmpl	$1, %eax
	sete	%dil
	callq	_CHECK
	xorl	%edi, %edi
	cmpq	$0, -40(%rbp)
	sete	%dil
	callq	_CHECK
	xorl	%edi, %edi
	cmpq	$0, -32(%rbp)
	sete	%dil
	callq	_CHECK
	movl	$2, %edx
	movl	$5, %ecx
	movq	%r14, %rdi
	movq	%r15, %rsi
	callq	_secp256k1_ecmult_multi_batch_size_helper
	xorl	%edi, %edi
	cmpl	$1, %eax
	sete	%dil
	callq	_CHECK
	xorl	%edi, %edi
	cmpq	$3, -40(%rbp)
	sete	%dil
	callq	_CHECK
	xorl	%edi, %edi
	cmpq	$2, -32(%rbp)
	sete	%dil
	callq	_CHECK
	movq	_ECMULT_MAX_POINTS_PER_BATCH@GOTPCREL(%rip), %rbx
	movq	(%rbx), %rcx
	movq	%r14, %rdi
	movq	%r15, %rsi
	movq	%rcx, %rdx
	callq	_secp256k1_ecmult_multi_batch_size_helper
	xorl	%edi, %edi
	cmpl	$1, %eax
	sete	%dil
	callq	_CHECK
	xorl	%edi, %edi
	cmpq	$1, -40(%rbp)
	sete	%dil
	callq	_CHECK
	movq	-32(%rbp), %rax
	xorl	%edi, %edi
	cmpq	(%rbx), %rax
	sete	%dil
	callq	_CHECK
	movq	(%rbx), %rcx
	incq	%rcx
	movq	%r14, %rdi
	movq	%r15, %rsi
	movq	%rcx, %rdx
	callq	_secp256k1_ecmult_multi_batch_size_helper
	xorl	%edi, %edi
	cmpl	$1, %eax
	sete	%dil
	callq	_CHECK
	xorl	%edi, %edi
	cmpq	$2, -40(%rbp)
	sete	%dil
	callq	_CHECK
	movq	(%rbx), %rax
	shrq	%rax
	incq	%rax
	xorl	%edi, %edi
	cmpq	%rax, -32(%rbp)
	sete	%dil
	callq	_CHECK
	movq	_SIZE_MAX@GOTPCREL(%rip), %rbx
	movq	(%rbx), %rcx
	movl	$1, %edx
	movq	%r14, %rdi
	movq	%r15, %rsi
	callq	_secp256k1_ecmult_multi_batch_size_helper
	xorl	%edi, %edi
	cmpl	$1, %eax
	sete	%dil
	callq	_CHECK
	movq	-40(%rbp), %rax
	xorl	%edi, %edi
	cmpq	(%rbx), %rax
	sete	%dil
	callq	_CHECK
	xorl	%edi, %edi
	cmpq	$1, -32(%rbp)
	sete	%dil
	callq	_CHECK
	movq	(%rbx), %rcx
	movl	$2, %edx
	movq	%r14, %rdi
	movq	%r15, %rsi
	callq	_secp256k1_ecmult_multi_batch_size_helper
	xorl	%edi, %edi
	cmpl	$1, %eax
	sete	%dil
	callq	_CHECK
	movq	(%rbx), %rax
	shrq	%rax
	incq	%rax
	xorl	%edi, %edi
	cmpq	%rax, -40(%rbp)
	sete	%dil
	callq	_CHECK
	xorl	%edi, %edi
	cmpq	$2, -32(%rbp)
	sete	%dil
	callq	_CHECK
	addq	$24, %rsp
	popq	%rbx
	popq	%r14
	popq	%r15
	popq	%rbp
	retq
	.cfi_endproc
                                        ## -- End function
	.comm	_ECMULT_MAX_POINTS_PER_BATCH,8,3 ## @ECMULT_MAX_POINTS_PER_BATCH
	.comm	_SIZE_MAX,8,3                   ## @SIZE_MAX
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.globl	_test_ecmult_multi_batch_size_helper ; -- Begin function test_ecmult_multi_batch_size_helper
	.p2align	2
_test_ecmult_multi_batch_size_helper:   ; @test_ecmult_multi_batch_size_helper
	.cfi_startproc
; %bb.0:
	sub	sp, sp, #48
	.cfi_def_cfa_offset 48
	stp	x20, x19, [sp, #16]             ; 16-byte Folded Spill
	stp	x29, x30, [sp, #32]             ; 16-byte Folded Spill
	add	x29, sp, #32
	.cfi_def_cfa w29, 16
	.cfi_offset w30, -8
	.cfi_offset w29, -16
	.cfi_offset w19, -24
	.cfi_offset w20, -32
	add	x0, sp, #8
	mov	x1, sp
	mov	x2, #0
	mov	w3, #1
	bl	_secp256k1_ecmult_multi_batch_size_helper
	cmp	w0, #0
	cset	w0, eq
	bl	_CHECK
	add	x0, sp, #8
	mov	x1, sp
	mov	w2, #1
	mov	x3, #0
	bl	_secp256k1_ecmult_multi_batch_size_helper
	cmp	w0, #1
	cset	w0, eq
	bl	_CHECK
	ldr	x8, [sp, #8]
	cmp	x8, #0
	cset	w0, eq
	bl	_CHECK
	ldr	x8, [sp]
	cmp	x8, #0
	cset	w0, eq
	bl	_CHECK
	add	x0, sp, #8
	mov	x1, sp
	mov	w2, #2
	mov	w3, #5
	bl	_secp256k1_ecmult_multi_batch_size_helper
	cmp	w0, #1
	cset	w0, eq
	bl	_CHECK
	ldr	x8, [sp, #8]
	cmp	x8, #3
	cset	w0, eq
	bl	_CHECK
	ldr	x8, [sp]
	cmp	x8, #2
	cset	w0, eq
	bl	_CHECK
Lloh0:
	adrp	x19, _ECMULT_MAX_POINTS_PER_BATCH@GOTPAGE
Lloh1:
	ldr	x19, [x19, _ECMULT_MAX_POINTS_PER_BATCH@GOTPAGEOFF]
	ldr	x2, [x19]
	add	x0, sp, #8
	mov	x1, sp
	mov	x3, x2
	bl	_secp256k1_ecmult_multi_batch_size_helper
	cmp	w0, #1
	cset	w0, eq
	bl	_CHECK
	ldr	x8, [sp, #8]
	cmp	x8, #1
	cset	w0, eq
	bl	_CHECK
	ldr	x8, [sp]
	ldr	x9, [x19]
	cmp	x8, x9
	cset	w0, eq
	bl	_CHECK
	ldr	x8, [x19]
	add	x2, x8, #1
	add	x0, sp, #8
	mov	x1, sp
	mov	x3, x2
	bl	_secp256k1_ecmult_multi_batch_size_helper
	cmp	w0, #1
	cset	w0, eq
	bl	_CHECK
	ldr	x8, [sp, #8]
	cmp	x8, #2
	cset	w0, eq
	bl	_CHECK
	ldr	x8, [sp]
	ldr	x9, [x19]
	lsr	x9, x9, #1
	add	x9, x9, #1
	cmp	x8, x9
	cset	w0, eq
	bl	_CHECK
Lloh2:
	adrp	x19, _SIZE_MAX@GOTPAGE
Lloh3:
	ldr	x19, [x19, _SIZE_MAX@GOTPAGEOFF]
	ldr	x3, [x19]
	add	x0, sp, #8
	mov	x1, sp
	mov	w2, #1
	bl	_secp256k1_ecmult_multi_batch_size_helper
	cmp	w0, #1
	cset	w0, eq
	bl	_CHECK
	ldr	x8, [sp, #8]
	ldr	x9, [x19]
	cmp	x8, x9
	cset	w0, eq
	bl	_CHECK
	ldr	x8, [sp]
	cmp	x8, #1
	cset	w0, eq
	bl	_CHECK
	ldr	x3, [x19]
	add	x0, sp, #8
	mov	x1, sp
	mov	w2, #2
	bl	_secp256k1_ecmult_multi_batch_size_helper
	cmp	w0, #1
	cset	w0, eq
	bl	_CHECK
	ldr	x8, [sp, #8]
	ldr	x9, [x19]
	lsr	x9, x9, #1
	add	x9, x9, #1
	cmp	x8, x9
	cset	w0, eq
	bl	_CHECK
	ldr	x8, [sp]
	cmp	x8, #2
	cset	w0, eq
	bl	_CHECK
	ldp	x29, x30, [sp, #32]             ; 16-byte Folded Reload
	ldp	x20, x19, [sp, #16]             ; 16-byte Folded Reload
	add	sp, sp, #48
	ret
	.loh AdrpLdrGot	Lloh2, Lloh3
	.loh AdrpLdrGot	Lloh0, Lloh1
	.cfi_endproc
                                        ; -- End function
	.comm	_ECMULT_MAX_POINTS_PER_BATCH,8,3 ; @ECMULT_MAX_POINTS_PER_BATCH
	.comm	_SIZE_MAX,8,3                   ; @SIZE_MAX
.subsections_via_symbols
