	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.section	__TEXT,__literal8,8byte_literals
	.p2align	3                               ## -- Begin function mixed
LCPI0_0:
	.quad	0x3ff0000000000000              ## double 1
LCPI0_1:
	.quad	0x4008000000000000              ## double 3
LCPI0_2:
	.quad	0x4014000000000000              ## double 5
LCPI0_3:
	.quad	0x401c000000000000              ## double 7
LCPI0_4:
	.quad	0x4022000000000000              ## double 9
LCPI0_5:
	.quad	0x4026000000000000              ## double 11
LCPI0_6:
	.quad	0x402a000000000000              ## double 13
LCPI0_7:
	.quad	0x402e000000000000              ## double 15
LCPI0_8:
	.quad	0x4031000000000000              ## double 17
LCPI0_9:
	.quad	0x4033000000000000              ## double 19
LCPI0_10:
	.quad	0x4035000000000000              ## double 21
LCPI0_11:
	.quad	0x4037000000000000              ## double 23
LCPI0_12:
	.quad	0x4039000000000000              ## double 25
LCPI0_13:
	.quad	0x403b000000000000              ## double 27
LCPI0_14:
	.quad	0x403d000000000000              ## double 29
LCPI0_15:
	.quad	0x403f000000000000              ## double 31
LCPI0_16:
	.quad	0x4040800000000000              ## double 33
LCPI0_17:
	.quad	0x4041800000000000              ## double 35
LCPI0_18:
	.quad	0x4042800000000000              ## double 37
LCPI0_19:
	.quad	0x4043800000000000              ## double 39
	.section	__TEXT,__text,regular,pure_instructions
	.p2align	4, 0x90
_mixed:                                 ## @mixed
	.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	$136, %rsp
	.cfi_offset %rbx, -56
	.cfi_offset %r12, -48
	.cfi_offset %r13, -40
	.cfi_offset %r14, -32
	.cfi_offset %r15, -24
	movss	%xmm7, -100(%rbp)               ## 4-byte Spill
	movss	%xmm6, -88(%rbp)                ## 4-byte Spill
	movl	%r9d, -76(%rbp)                 ## 4-byte Spill
	movss	%xmm5, -72(%rbp)                ## 4-byte Spill
	movl	%r8d, -60(%rbp)                 ## 4-byte Spill
	movss	%xmm4, -56(%rbp)                ## 4-byte Spill
	movl	%ecx, %r15d
	movss	%xmm3, -52(%rbp)                ## 4-byte Spill
	movl	%edx, %r12d
	movss	%xmm2, -48(%rbp)                ## 4-byte Spill
	movl	%esi, %r13d
	movss	%xmm1, -44(%rbp)                ## 4-byte Spill
	movl	%edi, %ebx
	movaps	%xmm0, %xmm1
	movl	216(%rbp), %eax
	movl	%eax, -176(%rbp)                ## 4-byte Spill
	movss	208(%rbp), %xmm0                ## xmm0 = mem[0],zero,zero,zero
	movss	%xmm0, -172(%rbp)               ## 4-byte Spill
	movl	200(%rbp), %eax
	movl	%eax, -168(%rbp)                ## 4-byte Spill
	movss	192(%rbp), %xmm0                ## xmm0 = mem[0],zero,zero,zero
	movss	%xmm0, -164(%rbp)               ## 4-byte Spill
	movl	184(%rbp), %eax
	movl	%eax, -160(%rbp)                ## 4-byte Spill
	movss	176(%rbp), %xmm0                ## xmm0 = mem[0],zero,zero,zero
	movss	%xmm0, -156(%rbp)               ## 4-byte Spill
	movl	168(%rbp), %eax
	movl	%eax, -152(%rbp)                ## 4-byte Spill
	movss	160(%rbp), %xmm0                ## xmm0 = mem[0],zero,zero,zero
	movss	%xmm0, -148(%rbp)               ## 4-byte Spill
	movl	152(%rbp), %eax
	movl	%eax, -144(%rbp)                ## 4-byte Spill
	movss	144(%rbp), %xmm0                ## xmm0 = mem[0],zero,zero,zero
	movss	%xmm0, -140(%rbp)               ## 4-byte Spill
	movl	136(%rbp), %eax
	movl	%eax, -136(%rbp)                ## 4-byte Spill
	movss	128(%rbp), %xmm0                ## xmm0 = mem[0],zero,zero,zero
	movss	%xmm0, -132(%rbp)               ## 4-byte Spill
	movl	120(%rbp), %eax
	movl	%eax, -128(%rbp)                ## 4-byte Spill
	movss	112(%rbp), %xmm0                ## xmm0 = mem[0],zero,zero,zero
	movss	%xmm0, -124(%rbp)               ## 4-byte Spill
	movss	96(%rbp), %xmm0                 ## xmm0 = mem[0],zero,zero,zero
	movss	%xmm0, -116(%rbp)               ## 4-byte Spill
	movl	104(%rbp), %eax
	movl	%eax, -120(%rbp)                ## 4-byte Spill
	movl	88(%rbp), %eax
	movl	%eax, -112(%rbp)                ## 4-byte Spill
	movl	72(%rbp), %eax
	movl	%eax, -108(%rbp)                ## 4-byte Spill
	movl	56(%rbp), %eax
	movl	%eax, -92(%rbp)                 ## 4-byte Spill
	movl	40(%rbp), %eax
	movl	%eax, -80(%rbp)                 ## 4-byte Spill
	movl	24(%rbp), %eax
	movl	%eax, -64(%rbp)                 ## 4-byte Spill
	movl	16(%rbp), %r14d
	movss	80(%rbp), %xmm0                 ## xmm0 = mem[0],zero,zero,zero
	movss	%xmm0, -104(%rbp)               ## 4-byte Spill
	movss	64(%rbp), %xmm0                 ## xmm0 = mem[0],zero,zero,zero
	movss	%xmm0, -96(%rbp)                ## 4-byte Spill
	movss	48(%rbp), %xmm0                 ## xmm0 = mem[0],zero,zero,zero
	movss	%xmm0, -84(%rbp)                ## 4-byte Spill
	movss	32(%rbp), %xmm0                 ## xmm0 = mem[0],zero,zero,zero
	movss	%xmm0, -68(%rbp)                ## 4-byte Spill
	movsd	LCPI0_0(%rip), %xmm0            ## xmm0 = mem[0],zero
	callq	_expectf
	movl	$2, %edi
	movl	%ebx, %esi
	callq	_expect
	movsd	LCPI0_1(%rip), %xmm0            ## xmm0 = mem[0],zero
	movss	-44(%rbp), %xmm1                ## 4-byte Reload
                                        ## xmm1 = mem[0],zero,zero,zero
	callq	_expectf
	movl	$4, %edi
	movl	%r13d, %esi
	callq	_expect
	movsd	LCPI0_2(%rip), %xmm0            ## xmm0 = mem[0],zero
	movss	-48(%rbp), %xmm1                ## 4-byte Reload
                                        ## xmm1 = mem[0],zero,zero,zero
	callq	_expectf
	movl	$6, %edi
	movl	%r12d, %esi
	callq	_expect
	movsd	LCPI0_3(%rip), %xmm0            ## xmm0 = mem[0],zero
	movss	-52(%rbp), %xmm1                ## 4-byte Reload
                                        ## xmm1 = mem[0],zero,zero,zero
	callq	_expectf
	movl	$8, %edi
	movl	%r15d, %esi
	callq	_expect
	movsd	LCPI0_4(%rip), %xmm0            ## xmm0 = mem[0],zero
	movss	-56(%rbp), %xmm1                ## 4-byte Reload
                                        ## xmm1 = mem[0],zero,zero,zero
	callq	_expectf
	movl	$10, %edi
	movl	-60(%rbp), %esi                 ## 4-byte Reload
	callq	_expect
	movsd	LCPI0_5(%rip), %xmm0            ## xmm0 = mem[0],zero
	movss	-72(%rbp), %xmm1                ## 4-byte Reload
                                        ## xmm1 = mem[0],zero,zero,zero
	callq	_expectf
	movl	$12, %edi
	movl	-76(%rbp), %esi                 ## 4-byte Reload
	callq	_expect
	movsd	LCPI0_6(%rip), %xmm0            ## xmm0 = mem[0],zero
	movss	-88(%rbp), %xmm1                ## 4-byte Reload
                                        ## xmm1 = mem[0],zero,zero,zero
	callq	_expectf
	movl	$14, %edi
	movl	%r14d, %esi
	callq	_expect
	movsd	LCPI0_7(%rip), %xmm0            ## xmm0 = mem[0],zero
	movss	-100(%rbp), %xmm1               ## 4-byte Reload
                                        ## xmm1 = mem[0],zero,zero,zero
	callq	_expectf
	movl	$16, %edi
	movl	-64(%rbp), %esi                 ## 4-byte Reload
	callq	_expect
	movsd	LCPI0_8(%rip), %xmm0            ## xmm0 = mem[0],zero
	movss	-68(%rbp), %xmm1                ## 4-byte Reload
                                        ## xmm1 = mem[0],zero,zero,zero
	callq	_expectf
	movl	$18, %edi
	movl	-80(%rbp), %esi                 ## 4-byte Reload
	callq	_expect
	movsd	LCPI0_9(%rip), %xmm0            ## xmm0 = mem[0],zero
	movss	-84(%rbp), %xmm1                ## 4-byte Reload
                                        ## xmm1 = mem[0],zero,zero,zero
	callq	_expectf
	movl	$20, %edi
	movl	-92(%rbp), %esi                 ## 4-byte Reload
	callq	_expect
	movsd	LCPI0_10(%rip), %xmm0           ## xmm0 = mem[0],zero
	movss	-96(%rbp), %xmm1                ## 4-byte Reload
                                        ## xmm1 = mem[0],zero,zero,zero
	callq	_expectf
	movl	$22, %edi
	movl	-108(%rbp), %esi                ## 4-byte Reload
	callq	_expect
	movsd	LCPI0_11(%rip), %xmm0           ## xmm0 = mem[0],zero
	movss	-104(%rbp), %xmm1               ## 4-byte Reload
                                        ## xmm1 = mem[0],zero,zero,zero
	callq	_expectf
	movl	$24, %edi
	movl	-112(%rbp), %esi                ## 4-byte Reload
	callq	_expect
	movsd	LCPI0_12(%rip), %xmm0           ## xmm0 = mem[0],zero
	movss	-116(%rbp), %xmm1               ## 4-byte Reload
                                        ## xmm1 = mem[0],zero,zero,zero
	callq	_expectf
	movl	$26, %edi
	movl	-120(%rbp), %esi                ## 4-byte Reload
	callq	_expect
	movsd	LCPI0_13(%rip), %xmm0           ## xmm0 = mem[0],zero
	movss	-124(%rbp), %xmm1               ## 4-byte Reload
                                        ## xmm1 = mem[0],zero,zero,zero
	callq	_expectf
	movl	$28, %edi
	movl	-128(%rbp), %esi                ## 4-byte Reload
	callq	_expect
	movsd	LCPI0_14(%rip), %xmm0           ## xmm0 = mem[0],zero
	movss	-132(%rbp), %xmm1               ## 4-byte Reload
                                        ## xmm1 = mem[0],zero,zero,zero
	callq	_expectf
	movl	$30, %edi
	movl	-136(%rbp), %esi                ## 4-byte Reload
	callq	_expect
	movsd	LCPI0_15(%rip), %xmm0           ## xmm0 = mem[0],zero
	movss	-140(%rbp), %xmm1               ## 4-byte Reload
                                        ## xmm1 = mem[0],zero,zero,zero
	callq	_expectf
	movl	$32, %edi
	movl	-144(%rbp), %esi                ## 4-byte Reload
	callq	_expect
	movsd	LCPI0_16(%rip), %xmm0           ## xmm0 = mem[0],zero
	movss	-148(%rbp), %xmm1               ## 4-byte Reload
                                        ## xmm1 = mem[0],zero,zero,zero
	callq	_expectf
	movl	$34, %edi
	movl	-152(%rbp), %esi                ## 4-byte Reload
	callq	_expect
	movsd	LCPI0_17(%rip), %xmm0           ## xmm0 = mem[0],zero
	movss	-156(%rbp), %xmm1               ## 4-byte Reload
                                        ## xmm1 = mem[0],zero,zero,zero
	callq	_expectf
	movl	$36, %edi
	movl	-160(%rbp), %esi                ## 4-byte Reload
	callq	_expect
	movsd	LCPI0_18(%rip), %xmm0           ## xmm0 = mem[0],zero
	movss	-164(%rbp), %xmm1               ## 4-byte Reload
                                        ## xmm1 = mem[0],zero,zero,zero
	callq	_expectf
	movl	$38, %edi
	movl	-168(%rbp), %esi                ## 4-byte Reload
	callq	_expect
	movsd	LCPI0_19(%rip), %xmm0           ## xmm0 = mem[0],zero
	movss	-172(%rbp), %xmm1               ## 4-byte Reload
                                        ## xmm1 = mem[0],zero,zero,zero
	callq	_expectf
	movl	$40, %edi
	movl	-176(%rbp), %esi                ## 4-byte Reload
	addq	$136, %rsp
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	jmp	_expect                         ## TAILCALL
	.cfi_endproc
                                        ## -- End function
	.no_dead_strip	_mixed
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	2                               ; -- Begin function mixed
_mixed:                                 ; @mixed
	.cfi_startproc
; %bb.0:
	sub	sp, sp, #272
	.cfi_def_cfa_offset 272
	stp	d15, d14, [sp, #112]            ; 16-byte Folded Spill
	stp	d13, d12, [sp, #128]            ; 16-byte Folded Spill
	stp	d11, d10, [sp, #144]            ; 16-byte Folded Spill
	stp	d9, d8, [sp, #160]              ; 16-byte Folded Spill
	stp	x28, x27, [sp, #176]            ; 16-byte Folded Spill
	stp	x26, x25, [sp, #192]            ; 16-byte Folded Spill
	stp	x24, x23, [sp, #208]            ; 16-byte Folded Spill
	stp	x22, x21, [sp, #224]            ; 16-byte Folded Spill
	stp	x20, x19, [sp, #240]            ; 16-byte Folded Spill
	stp	x29, x30, [sp, #256]            ; 16-byte Folded Spill
	add	x29, sp, #256
	.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
	.cfi_offset b8, -104
	.cfi_offset b9, -112
	.cfi_offset b10, -120
	.cfi_offset b11, -128
	.cfi_offset b12, -136
	.cfi_offset b13, -144
	.cfi_offset b14, -152
	.cfi_offset b15, -160
	mov	x19, x7
	mov	x21, x6
	mov	x22, x5
	mov	x24, x4
	mov	x25, x3
	mov	x26, x2
	str	s7, [sp, #20]                   ; 4-byte Folded Spill
	fmov	s12, s6
	fmov	s14, s5
	fmov	s15, s4
	fmov	s8, s3
	fmov	s9, s2
	mov	x27, x1
	fmov	s10, s1
	mov	x28, x0
	fmov	s1, s0
	ldr	w8, [x29, #108]
	str	w8, [sp, #100]                  ; 4-byte Folded Spill
	ldr	s0, [x29, #104]
	str	s0, [sp, #96]                   ; 4-byte Folded Spill
	ldr	w8, [x29, #100]
	str	w8, [sp, #92]                   ; 4-byte Folded Spill
	ldr	s0, [x29, #96]
	str	s0, [sp, #88]                   ; 4-byte Folded Spill
	ldr	w8, [x29, #92]
	str	w8, [sp, #84]                   ; 4-byte Folded Spill
	ldr	s0, [x29, #88]
	str	s0, [sp, #80]                   ; 4-byte Folded Spill
	ldr	w8, [x29, #84]
	str	w8, [sp, #76]                   ; 4-byte Folded Spill
	ldr	s0, [x29, #80]
	str	s0, [sp, #72]                   ; 4-byte Folded Spill
	ldr	w8, [x29, #76]
	str	w8, [sp, #68]                   ; 4-byte Folded Spill
	ldr	s0, [x29, #72]
	str	s0, [sp, #64]                   ; 4-byte Folded Spill
	ldr	w8, [x29, #68]
	str	w8, [sp, #60]                   ; 4-byte Folded Spill
	ldr	s0, [x29, #64]
	str	s0, [sp, #56]                   ; 4-byte Folded Spill
	ldr	w8, [x29, #60]
	str	w8, [sp, #52]                   ; 4-byte Folded Spill
	ldr	s0, [x29, #56]
	str	s0, [sp, #48]                   ; 4-byte Folded Spill
	ldr	w8, [x29, #52]
	str	w8, [sp, #44]                   ; 4-byte Folded Spill
	ldr	s0, [x29, #48]
	str	s0, [sp, #40]                   ; 4-byte Folded Spill
	ldr	w8, [x29, #44]
	str	w8, [sp, #36]                   ; 4-byte Folded Spill
	ldr	s0, [x29, #40]
	str	s0, [sp, #32]                   ; 4-byte Folded Spill
	ldr	w8, [x29, #36]
	str	w8, [sp, #28]                   ; 4-byte Folded Spill
	ldr	s0, [x29, #32]
	str	s0, [sp, #24]                   ; 4-byte Folded Spill
	ldr	w20, [x29, #28]
	ldr	s11, [x29, #24]
	ldr	w23, [x29, #20]
	ldr	s13, [x29, #16]
	fmov	d0, #1.00000000
	bl	_expectf
	mov	w0, #2
	mov	x1, x28
	bl	_expect
	fmov	d0, #3.00000000
	fmov	s1, s10
	bl	_expectf
	mov	w0, #4
	mov	x1, x27
	bl	_expect
	fmov	d0, #5.00000000
	fmov	s1, s9
	bl	_expectf
	mov	w0, #6
	mov	x1, x26
	bl	_expect
	fmov	d0, #7.00000000
	fmov	s1, s8
	bl	_expectf
	mov	w0, #8
	mov	x1, x25
	bl	_expect
	fmov	d0, #9.00000000
	fmov	s1, s15
	bl	_expectf
	mov	w0, #10
	mov	x1, x24
	bl	_expect
	fmov	d0, #11.00000000
	fmov	s1, s14
	bl	_expectf
	mov	w0, #12
	mov	x1, x22
	bl	_expect
	fmov	d0, #13.00000000
	fmov	s1, s12
	bl	_expectf
	mov	w0, #14
	mov	x1, x21
	bl	_expect
	fmov	d0, #15.00000000
	ldr	s1, [sp, #20]                   ; 4-byte Folded Reload
	bl	_expectf
	mov	w0, #16
	mov	x1, x19
	bl	_expect
	fmov	d0, #17.00000000
	fmov	s1, s13
	bl	_expectf
	mov	w0, #18
	mov	x1, x23
	bl	_expect
	fmov	d0, #19.00000000
	fmov	s1, s11
	bl	_expectf
	mov	w0, #20
	mov	x1, x20
	bl	_expect
	fmov	d0, #21.00000000
	ldr	s1, [sp, #24]                   ; 4-byte Folded Reload
	bl	_expectf
	mov	w0, #22
	ldr	w1, [sp, #28]                   ; 4-byte Folded Reload
	bl	_expect
	fmov	d0, #23.00000000
	ldr	s1, [sp, #32]                   ; 4-byte Folded Reload
	bl	_expectf
	mov	w0, #24
	ldr	w1, [sp, #36]                   ; 4-byte Folded Reload
	bl	_expect
	fmov	d0, #25.00000000
	ldr	s1, [sp, #40]                   ; 4-byte Folded Reload
	bl	_expectf
	mov	w0, #26
	ldr	w1, [sp, #44]                   ; 4-byte Folded Reload
	bl	_expect
	fmov	d0, #27.00000000
	ldr	s1, [sp, #48]                   ; 4-byte Folded Reload
	bl	_expectf
	mov	w0, #28
	ldr	w1, [sp, #52]                   ; 4-byte Folded Reload
	bl	_expect
	fmov	d0, #29.00000000
	ldr	s1, [sp, #56]                   ; 4-byte Folded Reload
	bl	_expectf
	mov	w0, #30
	ldr	w1, [sp, #60]                   ; 4-byte Folded Reload
	bl	_expect
	fmov	d0, #31.00000000
	ldr	s1, [sp, #64]                   ; 4-byte Folded Reload
	bl	_expectf
	mov	w0, #32
	ldr	w1, [sp, #68]                   ; 4-byte Folded Reload
	bl	_expect
	mov	x8, #140737488355328
	movk	x8, #16448, lsl #48
	fmov	d0, x8
	ldr	s1, [sp, #72]                   ; 4-byte Folded Reload
	bl	_expectf
	mov	w0, #34
	ldr	w1, [sp, #76]                   ; 4-byte Folded Reload
	bl	_expect
	mov	x8, #140737488355328
	movk	x8, #16449, lsl #48
	fmov	d0, x8
	ldr	s1, [sp, #80]                   ; 4-byte Folded Reload
	bl	_expectf
	mov	w0, #36
	ldr	w1, [sp, #84]                   ; 4-byte Folded Reload
	bl	_expect
	mov	x8, #140737488355328
	movk	x8, #16450, lsl #48
	fmov	d0, x8
	ldr	s1, [sp, #88]                   ; 4-byte Folded Reload
	bl	_expectf
	mov	w0, #38
	ldr	w1, [sp, #92]                   ; 4-byte Folded Reload
	bl	_expect
	mov	x8, #140737488355328
	movk	x8, #16451, lsl #48
	fmov	d0, x8
	ldr	s1, [sp, #96]                   ; 4-byte Folded Reload
	bl	_expectf
	mov	w0, #40
	ldr	w1, [sp, #100]                  ; 4-byte Folded Reload
	ldp	x29, x30, [sp, #256]            ; 16-byte Folded Reload
	ldp	x20, x19, [sp, #240]            ; 16-byte Folded Reload
	ldp	x22, x21, [sp, #224]            ; 16-byte Folded Reload
	ldp	x24, x23, [sp, #208]            ; 16-byte Folded Reload
	ldp	x26, x25, [sp, #192]            ; 16-byte Folded Reload
	ldp	x28, x27, [sp, #176]            ; 16-byte Folded Reload
	ldp	d9, d8, [sp, #160]              ; 16-byte Folded Reload
	ldp	d11, d10, [sp, #144]            ; 16-byte Folded Reload
	ldp	d13, d12, [sp, #128]            ; 16-byte Folded Reload
	ldp	d15, d14, [sp, #112]            ; 16-byte Folded Reload
	add	sp, sp, #272
	b	_expect
	.cfi_endproc
                                        ; -- End function
	.no_dead_strip	_mixed
.subsections_via_symbols
