	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	4, 0x90                         ## -- Begin function testf
_testf:                                 ## @testf
	.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
	movl	%edi, %r14d
	movss	%xmm2, -36(%rbp)                ## 4-byte Spill
	movss	%xmm1, -32(%rbp)                ## 4-byte Spill
	movss	%xmm0, -40(%rbp)                ## 4-byte Spill
	xorl	%eax, %eax
	callq	_random
	movl	%eax, -28(%rbp)
	movss	-40(%rbp), %xmm0                ## 4-byte Reload
                                        ## xmm0 = mem[0],zero,zero,zero
	movss	-32(%rbp), %xmm1                ## 4-byte Reload
                                        ## xmm1 = mem[0],zero,zero,zero
	callq	_remainderf
	movss	%xmm0, -44(%rbp)                ## 4-byte Spill
	movaps	%xmm0, %xmm1
	cmpeqss	-36(%rbp), %xmm1                ## 4-byte Folded Reload
	movd	%xmm1, %edi
	andl	$1, %edi
	callq	_assert
	movss	-44(%rbp), %xmm0                ## 4-byte Reload
                                        ## xmm0 = mem[0],zero,zero,zero
	callq	_signbit
	testl	%eax, %eax
	setne	%bl
	movss	-36(%rbp), %xmm0                ## 4-byte Reload
                                        ## xmm0 = mem[0],zero,zero,zero
	callq	_signbit
	testl	%eax, %eax
	sete	%al
	xorb	%bl, %al
	movzbl	%al, %edi
	callq	_assert
	leaq	-28(%rbp), %rdi
	movss	-40(%rbp), %xmm0                ## 4-byte Reload
                                        ## xmm0 = mem[0],zero,zero,zero
	movss	-32(%rbp), %xmm1                ## 4-byte Reload
                                        ## xmm1 = mem[0],zero,zero,zero
	callq	_remquof
	movss	%xmm0, -32(%rbp)                ## 4-byte Spill
	movaps	%xmm0, %xmm1
	cmpeqss	-36(%rbp), %xmm1                ## 4-byte Folded Reload
	movd	%xmm1, %edi
	andl	$1, %edi
	callq	_assert
	movss	-32(%rbp), %xmm0                ## 4-byte Reload
                                        ## xmm0 = mem[0],zero,zero,zero
	callq	_signbit
	testl	%eax, %eax
	setne	%bl
	movss	-36(%rbp), %xmm0                ## 4-byte Reload
                                        ## xmm0 = mem[0],zero,zero,zero
	callq	_signbit
	testl	%eax, %eax
	sete	%al
	xorb	%bl, %al
	movzbl	%al, %edi
	callq	_assert
	movl	-28(%rbp), %edi
	xorl	%r14d, %edi
	notl	%edi
	shrl	$31, %edi
	callq	_assert
	movl	-28(%rbp), %eax
	xorl	%r14d, %eax
	xorl	%edi, %edi
	testb	$7, %al
	sete	%dil
	callq	_assert
	cmpl	$0, -28(%rbp)
	je	LBB0_2
## %bb.1:
	setg	%al
	testl	%r14d, %r14d
	setle	%cl
	xorb	%al, %cl
	movzbl	%cl, %edi
	callq	_assert
	movl	-28(%rbp), %eax
	movl	%eax, %ebx
	negl	%ebx
	cmovsl	%eax, %ebx
	movl	%ebx, -28(%rbp)
	movl	%ebx, %edi
	callq	_mask
	movl	%eax, %r15d
	andl	%ebx, %r15d
	movl	%r14d, %ebx
	negl	%ebx
	cmovsl	%r14d, %ebx
	movl	-28(%rbp), %edi
	callq	_mask
	andl	%ebx, %eax
	xorl	%edi, %edi
	cmpl	%eax, %r15d
	sete	%dil
	callq	_assert
LBB0_2:
	addq	$24, %rsp
	popq	%rbx
	popq	%r14
	popq	%r15
	popq	%rbp
	retq
	.cfi_endproc
                                        ## -- End function
	.no_dead_strip	_testf
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	2                               ; -- Begin function testf
_testf:                                 ; @testf
	.cfi_startproc
; %bb.0:
	sub	sp, sp, #80
	.cfi_def_cfa_offset 80
	stp	d11, d10, [sp, #16]             ; 16-byte Folded Spill
	stp	d9, d8, [sp, #32]               ; 16-byte Folded Spill
	stp	x20, x19, [sp, #48]             ; 16-byte Folded Spill
	stp	x29, x30, [sp, #64]             ; 16-byte Folded Spill
	add	x29, sp, #64
	.cfi_def_cfa w29, 16
	.cfi_offset w30, -8
	.cfi_offset w29, -16
	.cfi_offset w19, -24
	.cfi_offset w20, -32
	.cfi_offset b8, -40
	.cfi_offset b9, -48
	.cfi_offset b10, -56
	.cfi_offset b11, -64
	mov	x19, x0
	fmov	s8, s2
	fmov	s9, s1
	fmov	s10, s0
	bl	_random
	str	w0, [sp, #12]
	fmov	s0, s10
	fmov	s1, s9
	bl	_remainderf
	fmov	s11, s0
	fcmp	s0, s8
	cset	w0, eq
	bl	_assert
	fmov	s0, s11
	bl	_signbit
	cmp	w0, #0
	cset	w20, ne
	fmov	s0, s8
	bl	_signbit
	cmp	w0, #0
	cset	w8, eq
	eor	w0, w20, w8
	bl	_assert
	add	x0, sp, #12
	fmov	s0, s10
	fmov	s1, s9
	bl	_remquof
	fmov	s9, s0
	fcmp	s0, s8
	cset	w0, eq
	bl	_assert
	fmov	s0, s9
	bl	_signbit
	cmp	w0, #0
	cset	w20, ne
	fmov	s0, s8
	bl	_signbit
	cmp	w0, #0
	cset	w8, eq
	eor	w0, w20, w8
	bl	_assert
	ldr	w8, [sp, #12]
	eon	w8, w8, w19
	lsr	w0, w8, #31
	bl	_assert
	ldr	w8, [sp, #12]
	eor	w8, w8, w19
	tst	w8, #0x7
	cset	w0, eq
	bl	_assert
	ldr	w8, [sp, #12]
	cbz	w8, LBB0_2
; %bb.1:
	cmp	w8, #0
	cset	w8, gt
	cmp	w19, #1
	cset	w9, lt
	eor	w0, w9, w8
	bl	_assert
	ldr	w8, [sp, #12]
	cmp	w8, #0
	cneg	w20, w8, mi
	str	w20, [sp, #12]
	mov	x0, x20
	bl	_mask
	and	w20, w0, w20
	cmp	w19, #0
	cneg	w19, w19, mi
	ldr	w0, [sp, #12]
	bl	_mask
	and	w8, w0, w19
	cmp	w20, w8
	cset	w0, eq
	bl	_assert
LBB0_2:
	ldp	x29, x30, [sp, #64]             ; 16-byte Folded Reload
	ldp	x20, x19, [sp, #48]             ; 16-byte Folded Reload
	ldp	d9, d8, [sp, #32]               ; 16-byte Folded Reload
	ldp	d11, d10, [sp, #16]             ; 16-byte Folded Reload
	add	sp, sp, #80
	ret
	.cfi_endproc
                                        ; -- End function
	.no_dead_strip	_testf
.subsections_via_symbols
