	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.section	__TEXT,__literal8,8byte_literals
	.p2align	3                               ## -- Begin function test_speed_i31
LCPI0_0:
	.quad	0x4000000000000000              ## double 2
	.section	__TEXT,__text,regular,pure_instructions
	.p2align	4, 0x90
_test_speed_i31:                        ## @test_speed_i31
	.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	$728, %rsp                      ## imm = 0x2D8
	.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	_test_speed_i31.bp(%rip), %rsi
	leaq	-256(%rbp), %r14
	movq	%r14, %rdi
	movl	$66, %edx
	callq	_br_i31_decode
	movl	-252(%rbp), %edi
	callq	_br_i31_ninv31
	movl	%eax, %ebx
	leaq	-176(%rbp), %r12
	movq	%r12, %rdi
	movl	$84, %esi
	movl	$126, %edx
	callq	_memset
	leaq	-336(%rbp), %r15
	movq	%r15, %rdi
	movq	%r12, %rsi
	movl	$126, %edx
	movq	%r14, %rcx
	callq	_br_i31_decode_reduce
	movq	%r12, %rdi
	movl	$85, %esi
	movl	$126, %edx
	callq	_memset
	leaq	-416(%rbp), %rdi
	movq	%r12, %rsi
	movl	$126, %edx
	movq	%r14, %rcx
	callq	_br_i31_decode_reduce
	movq	%r15, %rdi
	movq	%r14, %rsi
	callq	_br_i31_to_monty
	movq	%r15, %rdi
	movq	%r14, %rsi
	callq	_br_i31_to_monty
	movq	%r15, %rdi
	movq	%r14, %rsi
	callq	_br_i31_to_monty
	movq	%r15, %rdi
	movq	%r14, %rsi
	callq	_br_i31_to_monty
	movq	%r15, %rdi
	movq	%r14, %rsi
	callq	_br_i31_to_monty
	movq	%r15, %rdi
	movq	%r14, %rsi
	callq	_br_i31_to_monty
	movq	%r15, %rdi
	movq	%r14, %rsi
	callq	_br_i31_to_monty
	movq	%r15, %rdi
	movq	%r14, %rsi
	callq	_br_i31_to_monty
	movq	%r15, %rdi
	movq	%r14, %rsi
	callq	_br_i31_to_monty
	movq	%r15, %rdi
	movq	%r14, %rsi
	callq	_br_i31_to_monty
	movl	$10, %eax
	jmp	LBB0_1
	.p2align	4, 0x90
LBB0_4:                                 ##   in Loop: Header=BB0_1 Depth=1
	xorl	%eax, %eax
	callq	_clock
	subq	-744(%rbp), %rax                ## 8-byte Folded Reload
	xorps	%xmm1, %xmm1
	cvtsi2sd	%rax, %xmm1
	movq	_CLOCKS_PER_SEC@GOTPCREL(%rip), %rax
	divsd	(%rax), %xmm1
	movq	%r13, %rax
	addq	%r13, %rax
	ucomisd	LCPI0_0(%rip), %xmm1
	jae	LBB0_5
LBB0_1:                                 ## =>This Loop Header: Depth=1
                                        ##     Child Loop BB0_3 Depth 2
	movq	%rax, %r13
	xorl	%eax, %eax
	callq	_clock
	movq	%rax, -744(%rbp)                ## 8-byte Spill
	testq	%r13, %r13
	jle	LBB0_4
## %bb.2:                               ##   in Loop: Header=BB0_1 Depth=1
	leaq	1(%r13), %r12
	.p2align	4, 0x90
LBB0_3:                                 ##   Parent Loop BB0_1 Depth=1
                                        ## =>  This Inner Loop Header: Depth=2
	movq	%r15, %rdi
	movq	%r14, %rsi
	callq	_br_i31_to_monty
	decq	%r12
	cmpq	$1, %r12
	ja	LBB0_3
	jmp	LBB0_4
LBB0_5:
	cvtsi2sd	%r13, %xmm0
	divsd	%xmm1, %xmm0
	leaq	L_.str(%rip), %rdi
	leaq	L_.str.1(%rip), %rsi
	callq	_printf
	movq	_stdout@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	callq	_fflush
	leaq	-336(%rbp), %r14
	leaq	-256(%rbp), %r15
	movq	%r14, %rdi
	movq	%r15, %rsi
	movl	%ebx, %edx
	callq	_br_i31_from_monty
	movq	%r14, %rdi
	movq	%r15, %rsi
	movl	%ebx, %edx
	callq	_br_i31_from_monty
	movq	%r14, %rdi
	movq	%r15, %rsi
	movl	%ebx, %edx
	callq	_br_i31_from_monty
	movq	%r14, %rdi
	movq	%r15, %rsi
	movl	%ebx, %edx
	callq	_br_i31_from_monty
	movq	%r14, %rdi
	movq	%r15, %rsi
	movl	%ebx, %edx
	callq	_br_i31_from_monty
	movq	%r14, %rdi
	movq	%r15, %rsi
	movl	%ebx, %edx
	callq	_br_i31_from_monty
	movq	%r14, %rdi
	movq	%r15, %rsi
	movl	%ebx, %edx
	callq	_br_i31_from_monty
	movq	%r14, %rdi
	movq	%r15, %rsi
	movl	%ebx, %edx
	callq	_br_i31_from_monty
	movq	%r14, %rdi
	movq	%r15, %rsi
	movl	%ebx, %edx
	callq	_br_i31_from_monty
	movq	%r14, %rdi
	movq	%r15, %rsi
	movl	%ebx, %edx
	callq	_br_i31_from_monty
	movl	$10, %eax
	jmp	LBB0_6
	.p2align	4, 0x90
LBB0_9:                                 ##   in Loop: Header=BB0_6 Depth=1
	xorl	%eax, %eax
	callq	_clock
	subq	-744(%rbp), %rax                ## 8-byte Folded Reload
	xorps	%xmm1, %xmm1
	cvtsi2sd	%rax, %xmm1
	movq	_CLOCKS_PER_SEC@GOTPCREL(%rip), %rax
	divsd	(%rax), %xmm1
	movq	%r13, %rax
	addq	%r13, %rax
	ucomisd	LCPI0_0(%rip), %xmm1
	jae	LBB0_10
LBB0_6:                                 ## =>This Loop Header: Depth=1
                                        ##     Child Loop BB0_8 Depth 2
	movq	%rax, %r13
	xorl	%eax, %eax
	callq	_clock
	movq	%rax, -744(%rbp)                ## 8-byte Spill
	testq	%r13, %r13
	jle	LBB0_9
## %bb.7:                               ##   in Loop: Header=BB0_6 Depth=1
	leaq	1(%r13), %r12
	.p2align	4, 0x90
LBB0_8:                                 ##   Parent Loop BB0_6 Depth=1
                                        ## =>  This Inner Loop Header: Depth=2
	movq	%r14, %rdi
	movq	%r15, %rsi
	movl	%ebx, %edx
	callq	_br_i31_from_monty
	decq	%r12
	cmpq	$1, %r12
	ja	LBB0_8
	jmp	LBB0_9
LBB0_10:
	cvtsi2sd	%r13, %xmm0
	divsd	%xmm1, %xmm0
	leaq	L_.str(%rip), %rdi
	leaq	L_.str.2(%rip), %rsi
	callq	_printf
	movq	_stdout@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	callq	_fflush
	leaq	-496(%rbp), %r14
	leaq	-336(%rbp), %r15
	leaq	-416(%rbp), %r12
	leaq	-256(%rbp), %r13
	movq	%r14, %rdi
	movq	%r15, %rsi
	movq	%r12, %rdx
	movq	%r13, %rcx
	movl	%ebx, %r8d
	callq	_br_i31_montymul
	movq	%r14, %rdi
	movq	%r15, %rsi
	movq	%r12, %rdx
	movq	%r13, %rcx
	movl	%ebx, %r8d
	callq	_br_i31_montymul
	movq	%r14, %rdi
	movq	%r15, %rsi
	movq	%r12, %rdx
	movq	%r13, %rcx
	movl	%ebx, %r8d
	callq	_br_i31_montymul
	movq	%r14, %rdi
	movq	%r15, %rsi
	movq	%r12, %rdx
	movq	%r13, %rcx
	movl	%ebx, %r8d
	callq	_br_i31_montymul
	movq	%r14, %rdi
	movq	%r15, %rsi
	movq	%r12, %rdx
	movq	%r13, %rcx
	movl	%ebx, %r8d
	callq	_br_i31_montymul
	movq	%r14, %rdi
	movq	%r15, %rsi
	movq	%r12, %rdx
	movq	%r13, %rcx
	movl	%ebx, %r8d
	callq	_br_i31_montymul
	movq	%r14, %rdi
	movq	%r15, %rsi
	movq	%r12, %rdx
	movq	%r13, %rcx
	movl	%ebx, %r8d
	callq	_br_i31_montymul
	movq	%r14, %rdi
	movq	%r15, %rsi
	movq	%r12, %rdx
	movq	%r13, %rcx
	movl	%ebx, %r8d
	callq	_br_i31_montymul
	movq	%r14, %rdi
	movq	%r15, %rsi
	movq	%r12, %rdx
	movq	%r13, %rcx
	movl	%ebx, %r8d
	callq	_br_i31_montymul
	movq	%r14, %rdi
	movq	%r15, %rsi
	movq	%r12, %rdx
	movq	%r13, %rcx
	movl	%ebx, -748(%rbp)                ## 4-byte Spill
	movl	%ebx, %r8d
	callq	_br_i31_montymul
	movl	$10, %eax
	jmp	LBB0_11
	.p2align	4, 0x90
LBB0_14:                                ##   in Loop: Header=BB0_11 Depth=1
	xorl	%eax, %eax
	callq	_clock
	subq	-760(%rbp), %rax                ## 8-byte Folded Reload
	xorps	%xmm1, %xmm1
	cvtsi2sd	%rax, %xmm1
	movq	_CLOCKS_PER_SEC@GOTPCREL(%rip), %rax
	divsd	(%rax), %xmm1
	movq	-744(%rbp), %rcx                ## 8-byte Reload
	leaq	(%rcx,%rcx), %rax
	ucomisd	LCPI0_0(%rip), %xmm1
	jae	LBB0_15
LBB0_11:                                ## =>This Loop Header: Depth=1
                                        ##     Child Loop BB0_13 Depth 2
	movq	%rax, %rbx
	xorl	%eax, %eax
	callq	_clock
	movq	%rax, -760(%rbp)                ## 8-byte Spill
	movq	%rbx, -744(%rbp)                ## 8-byte Spill
	testq	%rbx, %rbx
	leaq	-496(%rbp), %rdi
	leaq	-336(%rbp), %rsi
	leaq	-416(%rbp), %rdx
	leaq	-256(%rbp), %r15
	movl	-748(%rbp), %ebx                ## 4-byte Reload
	jle	LBB0_14
## %bb.12:                              ##   in Loop: Header=BB0_11 Depth=1
	movq	-744(%rbp), %rax                ## 8-byte Reload
	leaq	1(%rax), %r14
	.p2align	4, 0x90
LBB0_13:                                ##   Parent Loop BB0_11 Depth=1
                                        ## =>  This Inner Loop Header: Depth=2
	movq	%rdi, %r12
	movq	%rsi, %r13
	movq	%r15, %rcx
	movl	%ebx, %r8d
	callq	_br_i31_montymul
	leaq	-416(%rbp), %rdx
	movq	%r13, %rsi
	movq	%r12, %rdi
	decq	%r14
	cmpq	$1, %r14
	ja	LBB0_13
	jmp	LBB0_14
LBB0_15:
	cvtsi2sd	%rcx, %xmm0
	divsd	%xmm1, %xmm0
	leaq	L_.str(%rip), %rdi
	leaq	L_.str.3(%rip), %rsi
	callq	_printf
	movq	_stdout@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	callq	_fflush
	leaq	-336(%rbp), %r14
	leaq	-416(%rbp), %r15
	leaq	-256(%rbp), %r12
	leaq	-736(%rbp), %r13
	movq	%r14, %rdi
	movq	%r15, %rsi
	movq	%r12, %rdx
	movl	-748(%rbp), %ebx                ## 4-byte Reload
	movl	%ebx, %ecx
	movq	%r13, %r8
	callq	_br_i31_moddiv
	movq	%r14, %rdi
	movq	%r15, %rsi
	movq	%r12, %rdx
	movl	%ebx, %ecx
	movq	%r13, %r8
	callq	_br_i31_moddiv
	movq	%r14, %rdi
	movq	%r15, %rsi
	movq	%r12, %rdx
	movl	%ebx, %ecx
	movq	%r13, %r8
	callq	_br_i31_moddiv
	movq	%r14, %rdi
	movq	%r15, %rsi
	movq	%r12, %rdx
	movl	%ebx, %ecx
	movq	%r13, %r8
	callq	_br_i31_moddiv
	movq	%r14, %rdi
	movq	%r15, %rsi
	movq	%r12, %rdx
	movl	%ebx, %ecx
	movq	%r13, %r8
	callq	_br_i31_moddiv
	movq	%r14, %rdi
	movq	%r15, %rsi
	movq	%r12, %rdx
	movl	%ebx, %ecx
	movq	%r13, %r8
	callq	_br_i31_moddiv
	movq	%r14, %rdi
	movq	%r15, %rsi
	movq	%r12, %rdx
	movl	%ebx, %ecx
	movq	%r13, %r8
	callq	_br_i31_moddiv
	movq	%r14, %rdi
	movq	%r15, %rsi
	movq	%r12, %rdx
	movl	%ebx, %ecx
	movq	%r13, %r8
	callq	_br_i31_moddiv
	movq	%r14, %rdi
	movq	%r15, %rsi
	movq	%r12, %rdx
	movl	%ebx, %ecx
	movq	%r13, %r8
	callq	_br_i31_moddiv
	movq	%r14, %rdi
	movq	%r15, %rsi
	movq	%r12, %rdx
	movl	%ebx, %ecx
	movq	%r13, %r8
	callq	_br_i31_moddiv
	movl	$10, %eax
	jmp	LBB0_16
	.p2align	4, 0x90
LBB0_19:                                ##   in Loop: Header=BB0_16 Depth=1
	xorl	%eax, %eax
	callq	_clock
	subq	-760(%rbp), %rax                ## 8-byte Folded Reload
	xorps	%xmm1, %xmm1
	cvtsi2sd	%rax, %xmm1
	movq	_CLOCKS_PER_SEC@GOTPCREL(%rip), %rax
	divsd	(%rax), %xmm1
	movq	-744(%rbp), %rcx                ## 8-byte Reload
	leaq	(%rcx,%rcx), %rax
	ucomisd	LCPI0_0(%rip), %xmm1
	jae	LBB0_20
LBB0_16:                                ## =>This Loop Header: Depth=1
                                        ##     Child Loop BB0_18 Depth 2
	movq	%rax, %rbx
	xorl	%eax, %eax
	callq	_clock
	movq	%rax, -760(%rbp)                ## 8-byte Spill
	movq	%rbx, -744(%rbp)                ## 8-byte Spill
	testq	%rbx, %rbx
	leaq	-336(%rbp), %rdi
	leaq	-416(%rbp), %rsi
	leaq	-256(%rbp), %rdx
	leaq	-736(%rbp), %r15
	movl	-748(%rbp), %ebx                ## 4-byte Reload
	jle	LBB0_19
## %bb.17:                              ##   in Loop: Header=BB0_16 Depth=1
	movq	-744(%rbp), %rax                ## 8-byte Reload
	leaq	1(%rax), %r14
	.p2align	4, 0x90
LBB0_18:                                ##   Parent Loop BB0_16 Depth=1
                                        ## =>  This Inner Loop Header: Depth=2
	movq	%rdi, %r12
	movq	%rsi, %r13
	movl	%ebx, %ecx
	movq	%r15, %r8
	callq	_br_i31_moddiv
	leaq	-256(%rbp), %rdx
	movq	%r13, %rsi
	movq	%r12, %rdi
	decq	%r14
	cmpq	$1, %r14
	ja	LBB0_18
	jmp	LBB0_19
LBB0_20:
	cvtsi2sd	%rcx, %xmm0
	divsd	%xmm1, %xmm0
	leaq	L_.str(%rip), %rdi
	leaq	L_.str.4(%rip), %rsi
	callq	_printf
	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_22
## %bb.21:
	addq	$728, %rsp                      ## imm = 0x2D8
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	retq
LBB0_22:
	callq	___stack_chk_fail
	.cfi_endproc
                                        ## -- End function
	.section	__TEXT,__const
	.p2align	4                               ## @test_speed_i31.bp
_test_speed_i31.bp:
	.ascii	"\001\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\372Q\206\207\203\277/\226k\177\314\001H\367\t\245\320;\265\311\270\211\234G\256\273o\267\036\2218d\t"

	.comm	_CLOCKS_PER_SEC,8,3             ## @CLOCKS_PER_SEC
	.section	__TEXT,__cstring,cstring_literals
L_.str:                                 ## @.str
	.asciz	"%-30s %8.2f ops/s\n"

L_.str.1:                               ## @.str.1
	.asciz	"i31 to_monty"

	.comm	_stdout,4,2                     ## @stdout
L_.str.2:                               ## @.str.2
	.asciz	"i31 from_monty"

L_.str.3:                               ## @.str.3
	.asciz	"i31 montymul"

L_.str.4:                               ## @.str.4
	.asciz	"i31 moddiv"

	.no_dead_strip	_test_speed_i31
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	2                               ; -- Begin function test_speed_i31
_test_speed_i31:                        ; @test_speed_i31
	.cfi_startproc
; %bb.0:
	stp	d9, d8, [sp, #-96]!             ; 16-byte Folded Spill
	.cfi_def_cfa_offset 96
	stp	x28, x27, [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 w27, -72
	.cfi_offset w28, -80
	.cfi_offset b8, -88
	.cfi_offset b9, -96
	sub	sp, sp, #704
Lloh0:
	adrp	x8, ___stack_chk_guard@GOTPAGE
Lloh1:
	ldr	x8, [x8, ___stack_chk_guard@GOTPAGEOFF]
Lloh2:
	ldr	x8, [x8]
	stur	x8, [x29, #-88]
Lloh3:
	adrp	x1, _test_speed_i31.bp@PAGE
Lloh4:
	add	x1, x1, _test_speed_i31.bp@PAGEOFF
	add	x0, sp, #488
	mov	w2, #66
	bl	_br_i31_decode
	ldr	w0, [sp, #492]
	bl	_br_i31_ninv31
	mov	x19, x0
	sub	x0, x29, #214
	mov	w1, #84
	mov	w2, #126
	bl	_memset
	add	x0, sp, #408
	sub	x1, x29, #214
	add	x3, sp, #488
	mov	w2, #126
	bl	_br_i31_decode_reduce
	sub	x0, x29, #214
	mov	w1, #85
	mov	w2, #126
	bl	_memset
	add	x0, sp, #328
	sub	x1, x29, #214
	add	x3, sp, #488
	mov	w2, #126
	bl	_br_i31_decode_reduce
	add	x0, sp, #408
	add	x1, sp, #488
	bl	_br_i31_to_monty
	add	x0, sp, #408
	add	x1, sp, #488
	bl	_br_i31_to_monty
	add	x0, sp, #408
	add	x1, sp, #488
	bl	_br_i31_to_monty
	add	x0, sp, #408
	add	x1, sp, #488
	bl	_br_i31_to_monty
	add	x0, sp, #408
	add	x1, sp, #488
	bl	_br_i31_to_monty
	add	x0, sp, #408
	add	x1, sp, #488
	bl	_br_i31_to_monty
	add	x0, sp, #408
	add	x1, sp, #488
	bl	_br_i31_to_monty
	add	x0, sp, #408
	add	x1, sp, #488
	bl	_br_i31_to_monty
	add	x0, sp, #408
	add	x1, sp, #488
	bl	_br_i31_to_monty
	add	x0, sp, #408
	add	x1, sp, #488
	bl	_br_i31_to_monty
	mov	w8, #10
Lloh5:
	adrp	x21, _CLOCKS_PER_SEC@GOTPAGE
Lloh6:
	ldr	x21, [x21, _CLOCKS_PER_SEC@GOTPAGEOFF]
	fmov	d8, #2.00000000
	b	LBB0_2
LBB0_1:                                 ;   in Loop: Header=BB0_2 Depth=1
	bl	_clock
	sub	x8, x0, x20
	scvtf	d0, x8
	ldr	d1, [x21]
	fdiv	d0, d0, d1
	lsl	x8, x22, #1
	fcmp	d0, d8
	b.ge	LBB0_5
LBB0_2:                                 ; =>This Loop Header: Depth=1
                                        ;     Child Loop BB0_4 Depth 2
	mov	x22, x8
	bl	_clock
	mov	x20, x0
	cmp	x22, #1
	b.lt	LBB0_1
; %bb.3:                                ;   in Loop: Header=BB0_2 Depth=1
	add	x23, x22, #1
LBB0_4:                                 ;   Parent Loop BB0_2 Depth=1
                                        ; =>  This Inner Loop Header: Depth=2
	add	x0, sp, #408
	add	x1, sp, #488
	bl	_br_i31_to_monty
	sub	x23, x23, #1
	cmp	x23, #1
	b.hi	LBB0_4
	b	LBB0_1
LBB0_5:
	scvtf	d1, x22
	fdiv	d0, d1, d0
Lloh7:
	adrp	x0, l_.str@PAGE
Lloh8:
	add	x0, x0, l_.str@PAGEOFF
Lloh9:
	adrp	x1, l_.str.1@PAGE
Lloh10:
	add	x1, x1, l_.str.1@PAGEOFF
	bl	_printf
Lloh11:
	adrp	x22, _stdout@GOTPAGE
Lloh12:
	ldr	x22, [x22, _stdout@GOTPAGEOFF]
	ldr	w0, [x22]
	bl	_fflush
	add	x0, sp, #408
	add	x1, sp, #488
	mov	x2, x19
	bl	_br_i31_from_monty
	add	x0, sp, #408
	add	x1, sp, #488
	mov	x2, x19
	bl	_br_i31_from_monty
	add	x0, sp, #408
	add	x1, sp, #488
	mov	x2, x19
	bl	_br_i31_from_monty
	add	x0, sp, #408
	add	x1, sp, #488
	mov	x2, x19
	bl	_br_i31_from_monty
	add	x0, sp, #408
	add	x1, sp, #488
	mov	x2, x19
	bl	_br_i31_from_monty
	add	x0, sp, #408
	add	x1, sp, #488
	mov	x2, x19
	bl	_br_i31_from_monty
	add	x0, sp, #408
	add	x1, sp, #488
	mov	x2, x19
	bl	_br_i31_from_monty
	add	x0, sp, #408
	add	x1, sp, #488
	mov	x2, x19
	bl	_br_i31_from_monty
	add	x0, sp, #408
	add	x1, sp, #488
	mov	x2, x19
	bl	_br_i31_from_monty
	add	x0, sp, #408
	add	x1, sp, #488
	mov	x2, x19
	bl	_br_i31_from_monty
	mov	w8, #10
	fmov	d8, #2.00000000
	b	LBB0_7
LBB0_6:                                 ;   in Loop: Header=BB0_7 Depth=1
	bl	_clock
	sub	x8, x0, x20
	scvtf	d0, x8
	ldr	d1, [x21]
	fdiv	d0, d0, d1
	lsl	x8, x23, #1
	fcmp	d0, d8
	b.ge	LBB0_10
LBB0_7:                                 ; =>This Loop Header: Depth=1
                                        ;     Child Loop BB0_9 Depth 2
	mov	x23, x8
	bl	_clock
	mov	x20, x0
	cmp	x23, #1
	b.lt	LBB0_6
; %bb.8:                                ;   in Loop: Header=BB0_7 Depth=1
	add	x24, x23, #1
LBB0_9:                                 ;   Parent Loop BB0_7 Depth=1
                                        ; =>  This Inner Loop Header: Depth=2
	add	x0, sp, #408
	add	x1, sp, #488
	mov	x2, x19
	bl	_br_i31_from_monty
	sub	x24, x24, #1
	cmp	x24, #1
	b.hi	LBB0_9
	b	LBB0_6
LBB0_10:
	scvtf	d1, x23
	fdiv	d0, d1, d0
Lloh13:
	adrp	x0, l_.str@PAGE
Lloh14:
	add	x0, x0, l_.str@PAGEOFF
Lloh15:
	adrp	x1, l_.str.2@PAGE
Lloh16:
	add	x1, x1, l_.str.2@PAGEOFF
	bl	_printf
	ldr	w0, [x22]
	bl	_fflush
	add	x0, sp, #248
	add	x1, sp, #408
	add	x2, sp, #328
	add	x3, sp, #488
	mov	x4, x19
	bl	_br_i31_montymul
	add	x0, sp, #248
	add	x1, sp, #408
	add	x2, sp, #328
	add	x3, sp, #488
	mov	x4, x19
	bl	_br_i31_montymul
	add	x0, sp, #248
	add	x1, sp, #408
	add	x2, sp, #328
	add	x3, sp, #488
	mov	x4, x19
	bl	_br_i31_montymul
	add	x0, sp, #248
	add	x1, sp, #408
	add	x2, sp, #328
	add	x3, sp, #488
	mov	x4, x19
	bl	_br_i31_montymul
	add	x0, sp, #248
	add	x1, sp, #408
	add	x2, sp, #328
	add	x3, sp, #488
	mov	x4, x19
	bl	_br_i31_montymul
	add	x0, sp, #248
	add	x1, sp, #408
	add	x2, sp, #328
	add	x3, sp, #488
	mov	x4, x19
	bl	_br_i31_montymul
	add	x0, sp, #248
	add	x1, sp, #408
	add	x2, sp, #328
	add	x3, sp, #488
	mov	x4, x19
	bl	_br_i31_montymul
	add	x0, sp, #248
	add	x1, sp, #408
	add	x2, sp, #328
	add	x3, sp, #488
	mov	x4, x19
	bl	_br_i31_montymul
	add	x0, sp, #248
	add	x1, sp, #408
	add	x2, sp, #328
	add	x3, sp, #488
	mov	x4, x19
	bl	_br_i31_montymul
	add	x0, sp, #248
	add	x1, sp, #408
	add	x2, sp, #328
	add	x3, sp, #488
	mov	x4, x19
	bl	_br_i31_montymul
	mov	w8, #10
	fmov	d8, #2.00000000
	b	LBB0_12
LBB0_11:                                ;   in Loop: Header=BB0_12 Depth=1
	bl	_clock
	sub	x8, x0, x20
	scvtf	d0, x8
	ldr	d1, [x21]
	fdiv	d0, d0, d1
	lsl	x8, x23, #1
	fcmp	d0, d8
	b.ge	LBB0_15
LBB0_12:                                ; =>This Loop Header: Depth=1
                                        ;     Child Loop BB0_14 Depth 2
	mov	x23, x8
	bl	_clock
	mov	x20, x0
	cmp	x23, #1
	b.lt	LBB0_11
; %bb.13:                               ;   in Loop: Header=BB0_12 Depth=1
	add	x24, x23, #1
LBB0_14:                                ;   Parent Loop BB0_12 Depth=1
                                        ; =>  This Inner Loop Header: Depth=2
	add	x0, sp, #248
	add	x1, sp, #408
	add	x2, sp, #328
	add	x3, sp, #488
	mov	x4, x19
	bl	_br_i31_montymul
	sub	x24, x24, #1
	cmp	x24, #1
	b.hi	LBB0_14
	b	LBB0_11
LBB0_15:
	scvtf	d1, x23
	fdiv	d0, d1, d0
Lloh17:
	adrp	x0, l_.str@PAGE
Lloh18:
	add	x0, x0, l_.str@PAGEOFF
Lloh19:
	adrp	x1, l_.str.3@PAGE
Lloh20:
	add	x1, x1, l_.str.3@PAGEOFF
	bl	_printf
	ldr	w0, [x22]
	bl	_fflush
	add	x0, sp, #408
	add	x1, sp, #328
	add	x2, sp, #488
	add	x4, sp, #8
	mov	x3, x19
	bl	_br_i31_moddiv
	add	x0, sp, #408
	add	x1, sp, #328
	add	x2, sp, #488
	add	x4, sp, #8
	mov	x3, x19
	bl	_br_i31_moddiv
	add	x0, sp, #408
	add	x1, sp, #328
	add	x2, sp, #488
	add	x4, sp, #8
	mov	x3, x19
	bl	_br_i31_moddiv
	add	x0, sp, #408
	add	x1, sp, #328
	add	x2, sp, #488
	add	x4, sp, #8
	mov	x3, x19
	bl	_br_i31_moddiv
	add	x0, sp, #408
	add	x1, sp, #328
	add	x2, sp, #488
	add	x4, sp, #8
	mov	x3, x19
	bl	_br_i31_moddiv
	add	x0, sp, #408
	add	x1, sp, #328
	add	x2, sp, #488
	add	x4, sp, #8
	mov	x3, x19
	bl	_br_i31_moddiv
	add	x0, sp, #408
	add	x1, sp, #328
	add	x2, sp, #488
	add	x4, sp, #8
	mov	x3, x19
	bl	_br_i31_moddiv
	add	x0, sp, #408
	add	x1, sp, #328
	add	x2, sp, #488
	add	x4, sp, #8
	mov	x3, x19
	bl	_br_i31_moddiv
	add	x0, sp, #408
	add	x1, sp, #328
	add	x2, sp, #488
	add	x4, sp, #8
	mov	x3, x19
	bl	_br_i31_moddiv
	add	x0, sp, #408
	add	x1, sp, #328
	add	x2, sp, #488
	add	x4, sp, #8
	mov	x3, x19
	bl	_br_i31_moddiv
	mov	w8, #10
	fmov	d8, #2.00000000
	b	LBB0_17
LBB0_16:                                ;   in Loop: Header=BB0_17 Depth=1
	bl	_clock
	sub	x8, x0, x20
	scvtf	d0, x8
	ldr	d1, [x21]
	fdiv	d0, d0, d1
	lsl	x8, x23, #1
	fcmp	d0, d8
	b.ge	LBB0_20
LBB0_17:                                ; =>This Loop Header: Depth=1
                                        ;     Child Loop BB0_19 Depth 2
	mov	x23, x8
	bl	_clock
	mov	x20, x0
	cmp	x23, #1
	b.lt	LBB0_16
; %bb.18:                               ;   in Loop: Header=BB0_17 Depth=1
	add	x24, x23, #1
LBB0_19:                                ;   Parent Loop BB0_17 Depth=1
                                        ; =>  This Inner Loop Header: Depth=2
	add	x0, sp, #408
	add	x1, sp, #328
	add	x2, sp, #488
	add	x4, sp, #8
	mov	x3, x19
	bl	_br_i31_moddiv
	sub	x24, x24, #1
	cmp	x24, #1
	b.hi	LBB0_19
	b	LBB0_16
LBB0_20:
	scvtf	d1, x23
	fdiv	d0, d1, d0
Lloh21:
	adrp	x0, l_.str@PAGE
Lloh22:
	add	x0, x0, l_.str@PAGEOFF
Lloh23:
	adrp	x1, l_.str.4@PAGE
Lloh24:
	add	x1, x1, l_.str.4@PAGEOFF
	bl	_printf
	ldr	w0, [x22]
	bl	_fflush
	ldur	x8, [x29, #-88]
Lloh25:
	adrp	x9, ___stack_chk_guard@GOTPAGE
Lloh26:
	ldr	x9, [x9, ___stack_chk_guard@GOTPAGEOFF]
Lloh27:
	ldr	x9, [x9]
	cmp	x9, x8
	b.ne	LBB0_22
; %bb.21:
	add	sp, sp, #704
	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	x28, x27, [sp, #16]             ; 16-byte Folded Reload
	ldp	d9, d8, [sp], #96               ; 16-byte Folded Reload
	ret
LBB0_22:
	bl	___stack_chk_fail
	.loh AdrpLdrGot	Lloh5, Lloh6
	.loh AdrpAdd	Lloh3, Lloh4
	.loh AdrpLdrGotLdr	Lloh0, Lloh1, Lloh2
	.loh AdrpLdrGot	Lloh11, Lloh12
	.loh AdrpAdd	Lloh9, Lloh10
	.loh AdrpAdd	Lloh7, Lloh8
	.loh AdrpAdd	Lloh15, Lloh16
	.loh AdrpAdd	Lloh13, Lloh14
	.loh AdrpAdd	Lloh19, Lloh20
	.loh AdrpAdd	Lloh17, Lloh18
	.loh AdrpLdrGotLdr	Lloh25, Lloh26, Lloh27
	.loh AdrpAdd	Lloh23, Lloh24
	.loh AdrpAdd	Lloh21, Lloh22
	.cfi_endproc
                                        ; -- End function
	.section	__TEXT,__const
_test_speed_i31.bp:                     ; @test_speed_i31.bp
	.ascii	"\001\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\377\372Q\206\207\203\277/\226k\177\314\001H\367\t\245\320;\265\311\270\211\234G\256\273o\267\036\2218d\t"

	.comm	_CLOCKS_PER_SEC,8,3             ; @CLOCKS_PER_SEC
	.section	__TEXT,__cstring,cstring_literals
l_.str:                                 ; @.str
	.asciz	"%-30s %8.2f ops/s\n"

l_.str.1:                               ; @.str.1
	.asciz	"i31 to_monty"

	.comm	_stdout,4,2                     ; @stdout
l_.str.2:                               ; @.str.2
	.asciz	"i31 from_monty"

l_.str.3:                               ; @.str.3
	.asciz	"i31 montymul"

l_.str.4:                               ; @.str.4
	.asciz	"i31 moddiv"

	.no_dead_strip	_test_speed_i31
.subsections_via_symbols
