	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	4, 0x90                         ## -- Begin function test_finite
_test_finite:                           ## @test_finite
	.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	$56, %rsp
	.cfi_offset %rbx, -56
	.cfi_offset %r12, -48
	.cfi_offset %r13, -40
	.cfi_offset %r14, -32
	.cfi_offset %r15, -24
	leaq	_test_finite.tests(%rip), %rdi
	callq	_nitems
	testl	%eax, %eax
	je	LBB0_6
## %bb.1:
	xorl	%r12d, %r12d
	leaq	_test_finite.mults(%rip), %r15
	jmp	LBB0_2
	.p2align	4, 0x90
LBB0_5:                                 ##   in Loop: Header=BB0_2 Depth=1
	addl	$4, %r12d
	leaq	_test_finite.tests(%rip), %rdi
	callq	_nitems
	cmpl	%eax, %r12d
	jae	LBB0_6
LBB0_2:                                 ## =>This Loop Header: Depth=1
                                        ##     Child Loop BB0_4 Depth 2
	movq	%r15, %rdi
	callq	_nitems
	testl	%eax, %eax
	je	LBB0_5
## %bb.3:                               ##   in Loop: Header=BB0_2 Depth=1
	movl	%r12d, %eax
	leaq	_test_finite.tests(%rip), %rcx
	movsd	(%rcx,%rax,8), %xmm0            ## xmm0 = mem[0],zero
	movsd	%xmm0, -72(%rbp)                ## 8-byte Spill
	movl	%r12d, %eax
	orl	$1, %eax
	movsd	(%rcx,%rax,8), %xmm0            ## xmm0 = mem[0],zero
	movsd	%xmm0, -64(%rbp)                ## 8-byte Spill
	movl	%r12d, %eax
	orl	$2, %eax
	movsd	(%rcx,%rax,8), %xmm0            ## xmm0 = mem[0],zero
	movsd	%xmm0, -56(%rbp)                ## 8-byte Spill
	movl	%r12d, %eax
	orl	$3, %eax
	movsd	(%rcx,%rax,8), %xmm0            ## xmm0 = mem[0],zero
	movsd	%xmm0, -48(%rbp)                ## 8-byte Spill
	movq	%r15, %rbx
	xorl	%r14d, %r14d
	.p2align	4, 0x90
LBB0_4:                                 ##   Parent Loop BB0_2 Depth=1
                                        ## =>  This Inner Loop Header: Depth=2
	movsd	(%rbx), %xmm2                   ## xmm2 = mem[0],zero
	movsd	-72(%rbp), %xmm0                ## 8-byte Reload
                                        ## xmm0 = mem[0],zero
	mulsd	%xmm2, %xmm0
	mulsd	%xmm2, %xmm0
	movapd	%xmm2, %xmm1
	mulsd	-64(%rbp), %xmm1                ## 8-byte Folded Reload
	mulsd	%xmm2, %xmm1
	movapd	%xmm2, %xmm3
	mulsd	-56(%rbp), %xmm3                ## 8-byte Folded Reload
	movsd	%xmm3, -88(%rbp)                ## 8-byte Spill
	mulsd	-48(%rbp), %xmm2                ## 8-byte Folded Reload
	movsd	%xmm2, -80(%rbp)                ## 8-byte Spill
	callq	_CMPLXL
	movq	%rax, %rdi
	callq	_t_csqrt
	movq	%rax, %r13
	movsd	-88(%rbp), %xmm0                ## 8-byte Reload
                                        ## xmm0 = mem[0],zero
	movsd	-80(%rbp), %xmm1                ## 8-byte Reload
                                        ## xmm1 = mem[0],zero
	callq	_CMPLXL
	xorl	%edi, %edi
	cmpq	%rax, %r13
	sete	%dil
	callq	_assert
	incq	%r14
	movq	%r15, %rdi
	callq	_nitems
	movl	%eax, %eax
	addq	$8, %rbx
	cmpq	%rax, %r14
	jb	LBB0_4
	jmp	LBB0_5
LBB0_6:
	addq	$56, %rsp
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	retq
	.cfi_endproc
                                        ## -- End function
	.section	__TEXT,__const
	.p2align	4                               ## @test_finite.tests
_test_finite.tests:
	.quad	0x0000000000000000              ## double 0
	.quad	0x4020000000000000              ## double 8
	.quad	0x4000000000000000              ## double 2
	.quad	0x4000000000000000              ## double 2
	.quad	0x0000000000000000              ## double 0
	.quad	0xc020000000000000              ## double -8
	.quad	0x4000000000000000              ## double 2
	.quad	0xc000000000000000              ## double -2
	.quad	0x4010000000000000              ## double 4
	.quad	0x0000000000000000              ## double 0
	.quad	0x4000000000000000              ## double 2
	.quad	0x0000000000000000              ## double 0
	.quad	0xc010000000000000              ## double -4
	.quad	0x0000000000000000              ## double 0
	.quad	0x0000000000000000              ## double 0
	.quad	0x4000000000000000              ## double 2
	.quad	0x4008000000000000              ## double 3
	.quad	0x4010000000000000              ## double 4
	.quad	0x4000000000000000              ## double 2
	.quad	0x3ff0000000000000              ## double 1
	.quad	0x4008000000000000              ## double 3
	.quad	0xc010000000000000              ## double -4
	.quad	0x4000000000000000              ## double 2
	.quad	0xbff0000000000000              ## double -1
	.quad	0xc008000000000000              ## double -3
	.quad	0x4010000000000000              ## double 4
	.quad	0x3ff0000000000000              ## double 1
	.quad	0x4000000000000000              ## double 2
	.quad	0xc008000000000000              ## double -3
	.quad	0xc010000000000000              ## double -4
	.quad	0x3ff0000000000000              ## double 1
	.quad	0xc000000000000000              ## double -2
	.quad	0x4014000000000000              ## double 5
	.quad	0x4028000000000000              ## double 12
	.quad	0x4008000000000000              ## double 3
	.quad	0x4000000000000000              ## double 2
	.quad	0x401c000000000000              ## double 7
	.quad	0x4038000000000000              ## double 24
	.quad	0x4010000000000000              ## double 4
	.quad	0x4008000000000000              ## double 3
	.quad	0x4022000000000000              ## double 9
	.quad	0x4044000000000000              ## double 40
	.quad	0x4014000000000000              ## double 5
	.quad	0x4010000000000000              ## double 4
	.quad	0x4026000000000000              ## double 11
	.quad	0x404e000000000000              ## double 60
	.quad	0x4018000000000000              ## double 6
	.quad	0x4014000000000000              ## double 5
	.quad	0x402a000000000000              ## double 13
	.quad	0x4055000000000000              ## double 84
	.quad	0x401c000000000000              ## double 7
	.quad	0x4018000000000000              ## double 6
	.quad	0x4040800000000000              ## double 33
	.quad	0x404c000000000000              ## double 56
	.quad	0x401c000000000000              ## double 7
	.quad	0x4010000000000000              ## double 4
	.quad	0x4043800000000000              ## double 39
	.quad	0x4054000000000000              ## double 80
	.quad	0x4020000000000000              ## double 8
	.quad	0x4014000000000000              ## double 5
	.quad	0x4050400000000000              ## double 65
	.quad	0x4052000000000000              ## double 72
	.quad	0x4022000000000000              ## double 9
	.quad	0x4010000000000000              ## double 4
	.quad	0x408ed80000000000              ## double 987
	.quad	0x40c35e0000000000              ## double 9916
	.quad	0x4052800000000000              ## double 74
	.quad	0x4050c00000000000              ## double 67
	.quad	0x40b4a90000000000              ## double 5289
	.quad	0x40b9f00000000000              ## double 6640
	.quad	0x4054c00000000000              ## double 83
	.quad	0x4044000000000000              ## double 40
	.quad	0x425ad1f448d4c000              ## double 460766389075
	.quad	0x420f38e1b8e00000              ## double 16762287900
	.quad	0x4124b7fc00000000              ## double 678910
	.quad	0x40c81c8000000000              ## double 12345

	.p2align	4                               ## @test_finite.mults
_test_finite.mults:
	.quad	0x3ff0000000000000              ## double 1
	.quad	0x4000000000000000              ## double 2
	.quad	0x4008000000000000              ## double 3
	.quad	0x402a000000000000              ## double 13
	.quad	0x4030000000000000              ## double 16
	.quad	0x41d0000000000000              ## double 1073741824
	.quad	0x3e10000000000000              ## double 9.3132257461547852E-10

	.no_dead_strip	_test_finite
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	2                               ; -- Begin function test_finite
_test_finite:                           ; @test_finite
	.cfi_startproc
; %bb.0:
	stp	d13, d12, [sp, #-112]!          ; 16-byte Folded Spill
	.cfi_def_cfa_offset 112
	stp	d11, d10, [sp, #16]             ; 16-byte Folded Spill
	stp	d9, d8, [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 b8, -72
	.cfi_offset b9, -80
	.cfi_offset b10, -88
	.cfi_offset b11, -96
	.cfi_offset b12, -104
	.cfi_offset b13, -112
Lloh0:
	adrp	x19, _test_finite.tests@PAGE
Lloh1:
	add	x19, x19, _test_finite.tests@PAGEOFF
	mov	x0, x19
	bl	_nitems
	cbz	w0, LBB0_6
; %bb.1:
	mov	w22, #0
Lloh2:
	adrp	x20, _test_finite.mults@PAGE
Lloh3:
	add	x20, x20, _test_finite.mults@PAGEOFF
	b	LBB0_3
LBB0_2:                                 ;   in Loop: Header=BB0_3 Depth=1
	add	w22, w22, #4
	mov	x0, x19
	bl	_nitems
	cmp	w22, w0
	b.hs	LBB0_6
LBB0_3:                                 ; =>This Loop Header: Depth=1
                                        ;     Child Loop BB0_5 Depth 2
	mov	x0, x20
	bl	_nitems
	cbz	w0, LBB0_2
; %bb.4:                                ;   in Loop: Header=BB0_3 Depth=1
	mov	x23, #0
	ldr	d10, [x19, w22, uxtw #3]
	orr	w8, w22, #0x1
	ldr	d11, [x19, w8, uxtw #3]
	orr	w8, w22, #0x2
	ldr	d12, [x19, w8, uxtw #3]
	orr	w8, w22, #0x3
	ldr	d13, [x19, w8, uxtw #3]
LBB0_5:                                 ;   Parent Loop BB0_3 Depth=1
                                        ; =>  This Inner Loop Header: Depth=2
	ldr	d2, [x20, x23, lsl #3]
	fmul	d0, d10, d2
	fmul	d0, d2, d0
	fmul	d1, d2, d11
	fmul	d1, d2, d1
	fmul	d8, d2, d12
	fmul	d9, d2, d13
	bl	_CMPLXL
	bl	_t_csqrt
	mov	x21, x0
	fmov	d0, d8
	fmov	d1, d9
	bl	_CMPLXL
	cmp	x21, x0
	cset	w0, eq
	bl	_assert
	add	x23, x23, #1
	mov	x0, x20
	bl	_nitems
	cmp	x23, w0, uxtw
	b.lo	LBB0_5
	b	LBB0_2
LBB0_6:
	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	d9, d8, [sp, #32]               ; 16-byte Folded Reload
	ldp	d11, d10, [sp, #16]             ; 16-byte Folded Reload
	ldp	d13, d12, [sp], #112            ; 16-byte Folded Reload
	ret
	.loh AdrpAdd	Lloh0, Lloh1
	.loh AdrpAdd	Lloh2, Lloh3
	.cfi_endproc
                                        ; -- End function
	.section	__TEXT,__const
	.p2align	3                               ; @test_finite.tests
_test_finite.tests:
	.quad	0x0000000000000000              ; double 0
	.quad	0x4020000000000000              ; double 8
	.quad	0x4000000000000000              ; double 2
	.quad	0x4000000000000000              ; double 2
	.quad	0x0000000000000000              ; double 0
	.quad	0xc020000000000000              ; double -8
	.quad	0x4000000000000000              ; double 2
	.quad	0xc000000000000000              ; double -2
	.quad	0x4010000000000000              ; double 4
	.quad	0x0000000000000000              ; double 0
	.quad	0x4000000000000000              ; double 2
	.quad	0x0000000000000000              ; double 0
	.quad	0xc010000000000000              ; double -4
	.quad	0x0000000000000000              ; double 0
	.quad	0x0000000000000000              ; double 0
	.quad	0x4000000000000000              ; double 2
	.quad	0x4008000000000000              ; double 3
	.quad	0x4010000000000000              ; double 4
	.quad	0x4000000000000000              ; double 2
	.quad	0x3ff0000000000000              ; double 1
	.quad	0x4008000000000000              ; double 3
	.quad	0xc010000000000000              ; double -4
	.quad	0x4000000000000000              ; double 2
	.quad	0xbff0000000000000              ; double -1
	.quad	0xc008000000000000              ; double -3
	.quad	0x4010000000000000              ; double 4
	.quad	0x3ff0000000000000              ; double 1
	.quad	0x4000000000000000              ; double 2
	.quad	0xc008000000000000              ; double -3
	.quad	0xc010000000000000              ; double -4
	.quad	0x3ff0000000000000              ; double 1
	.quad	0xc000000000000000              ; double -2
	.quad	0x4014000000000000              ; double 5
	.quad	0x4028000000000000              ; double 12
	.quad	0x4008000000000000              ; double 3
	.quad	0x4000000000000000              ; double 2
	.quad	0x401c000000000000              ; double 7
	.quad	0x4038000000000000              ; double 24
	.quad	0x4010000000000000              ; double 4
	.quad	0x4008000000000000              ; double 3
	.quad	0x4022000000000000              ; double 9
	.quad	0x4044000000000000              ; double 40
	.quad	0x4014000000000000              ; double 5
	.quad	0x4010000000000000              ; double 4
	.quad	0x4026000000000000              ; double 11
	.quad	0x404e000000000000              ; double 60
	.quad	0x4018000000000000              ; double 6
	.quad	0x4014000000000000              ; double 5
	.quad	0x402a000000000000              ; double 13
	.quad	0x4055000000000000              ; double 84
	.quad	0x401c000000000000              ; double 7
	.quad	0x4018000000000000              ; double 6
	.quad	0x4040800000000000              ; double 33
	.quad	0x404c000000000000              ; double 56
	.quad	0x401c000000000000              ; double 7
	.quad	0x4010000000000000              ; double 4
	.quad	0x4043800000000000              ; double 39
	.quad	0x4054000000000000              ; double 80
	.quad	0x4020000000000000              ; double 8
	.quad	0x4014000000000000              ; double 5
	.quad	0x4050400000000000              ; double 65
	.quad	0x4052000000000000              ; double 72
	.quad	0x4022000000000000              ; double 9
	.quad	0x4010000000000000              ; double 4
	.quad	0x408ed80000000000              ; double 987
	.quad	0x40c35e0000000000              ; double 9916
	.quad	0x4052800000000000              ; double 74
	.quad	0x4050c00000000000              ; double 67
	.quad	0x40b4a90000000000              ; double 5289
	.quad	0x40b9f00000000000              ; double 6640
	.quad	0x4054c00000000000              ; double 83
	.quad	0x4044000000000000              ; double 40
	.quad	0x425ad1f448d4c000              ; double 460766389075
	.quad	0x420f38e1b8e00000              ; double 16762287900
	.quad	0x4124b7fc00000000              ; double 678910
	.quad	0x40c81c8000000000              ; double 12345

	.p2align	3                               ; @test_finite.mults
_test_finite.mults:
	.quad	0x3ff0000000000000              ; double 1
	.quad	0x4000000000000000              ; double 2
	.quad	0x4008000000000000              ; double 3
	.quad	0x402a000000000000              ; double 13
	.quad	0x4030000000000000              ; double 16
	.quad	0x41d0000000000000              ; double 1073741824
	.quad	0x3e10000000000000              ; double 9.3132257461547852E-10

	.no_dead_strip	_test_finite
.subsections_via_symbols
