	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.section	__TEXT,__literal16,16byte_literals
	.p2align	4                               ## -- Begin function check_result
LCPI0_0:
	.long	0x7fffffff                      ## float NaN
	.long	0x7fffffff                      ## float NaN
	.long	0x7fffffff                      ## float NaN
	.long	0x7fffffff                      ## float NaN
	.section	__TEXT,__text,regular,pure_instructions
	.p2align	4, 0x90
_check_result:                          ## @check_result
	.cfi_startproc
## %bb.0:
	pushq	%rbp
	.cfi_def_cfa_offset 16
	.cfi_offset %rbp, -16
	movq	%rsp, %rbp
	.cfi_def_cfa_register %rbp
	pushq	%r14
	pushq	%rbx
	subq	$32, %rsp
	.cfi_offset %rbx, -32
	.cfi_offset %r14, -24
	movq	%rdi, %rbx
	movq	%xmm1, -40(%rbp)
	movq	%xmm1, -48(%rbp)                ## 8-byte Folded Spill
	movq	%xmm1, %rax
	movd	%eax, %xmm2
	movaps	%xmm0, %xmm1
	movd	%xmm2, -20(%rbp)                ## 4-byte Folded Spill
	subss	%xmm2, %xmm1
	andps	LCPI0_0(%rip), %xmm1
	movss	%xmm0, -24(%rbp)                ## 4-byte Spill
	divss	%xmm0, %xmm1
	cvtss2sd	%xmm1, %xmm1
	movsd	%xmm1, -32(%rbp)                ## 8-byte Spill
	movq	_FLT_EPSILON@GOTPCREL(%rip), %r14
	movsd	(%r14), %xmm0                   ## xmm0 = mem[0],zero
	xorl	%edi, %edi
	ucomisd	%xmm1, %xmm0
	setae	%dil
	callq	_ATF_CHECK
	movsd	-32(%rbp), %xmm0                ## 8-byte Reload
                                        ## xmm0 = mem[0],zero
	ucomisd	(%r14), %xmm0
	jbe	LBB0_1
## %bb.2:
	leaq	L_.str(%rip), %rdi
	movq	%rbx, %rsi
	xorl	%eax, %eax
	callq	_printf
	movss	-20(%rbp), %xmm0                ## 4-byte Reload
                                        ## xmm0 = mem[0],zero,zero,zero
	xorps	%xmm1, %xmm1
	cvtss2sd	%xmm0, %xmm1
	leaq	L_.str.1(%rip), %rdi
	movsd	-48(%rbp), %xmm0                ## 8-byte Reload
                                        ## xmm0 = mem[0],zero
	movb	$2, %al
	callq	_printf
	movss	-24(%rbp), %xmm1                ## 4-byte Reload
                                        ## xmm1 = mem[0],zero,zero,zero
	movss	%xmm1, -40(%rbp)
	movsd	-40(%rbp), %xmm0                ## xmm0 = mem[0],zero
	cvtss2sd	%xmm1, %xmm1
	leaq	L_.str.2(%rip), %rdi
	movaps	%xmm1, %xmm2
	movb	$3, %al
	callq	_printf
	movsd	(%r14), %xmm1                   ## xmm1 = mem[0],zero
	leaq	L_.str.3(%rip), %rdi
	movsd	-32(%rbp), %xmm0                ## 8-byte Reload
                                        ## xmm0 = mem[0],zero
	movb	$2, %al
	addq	$32, %rsp
	popq	%rbx
	popq	%r14
	popq	%rbp
	jmp	_printf                         ## TAILCALL
LBB0_1:
	addq	$32, %rsp
	popq	%rbx
	popq	%r14
	popq	%rbp
	retq
	.cfi_endproc
                                        ## -- End function
	.comm	_FLT_EPSILON,8,3                ## @FLT_EPSILON
	.section	__TEXT,__cstring,cstring_literals
L_.str:                                 ## @.str
	.asciz	"Error in %s\n"

L_.str.1:                               ## @.str.1
	.asciz	"Got      0x%08x %12g\n"

L_.str.2:                               ## @.str.2
	.asciz	"Expected 0x%08x %12g (%.15lg)\n"

L_.str.3:                               ## @.str.3
	.asciz	"Epsilon=%lg, rather than %g\n"

	.no_dead_strip	_check_result
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	2                               ; -- Begin function check_result
_check_result:                          ; @check_result
	.cfi_startproc
; %bb.0:
	sub	sp, sp, #112
	.cfi_def_cfa_offset 112
	stp	d11, d10, [sp, #32]             ; 16-byte Folded Spill
	stp	d9, d8, [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 b8, -56
	.cfi_offset b9, -64
	.cfi_offset b10, -72
	.cfi_offset b11, -80
	mov	x19, x1
	fmov	s8, s0
	mov	x20, x0
	str	x1, [sp, #24]
	fmov	s10, w19
	fabd	s0, s0, s10
	fdiv	s0, s0, s8
	fcvt	d9, s0
Lloh0:
	adrp	x21, _FLT_EPSILON@GOTPAGE
Lloh1:
	ldr	x21, [x21, _FLT_EPSILON@GOTPAGEOFF]
	ldr	d0, [x21]
	fcmp	d0, d9
	cset	w0, ge
	bl	_ATF_CHECK
	ldr	d0, [x21]
	fcmp	d0, d9
	b.pl	LBB0_2
; %bb.1:
	str	x20, [sp]
Lloh2:
	adrp	x0, l_.str@PAGE
Lloh3:
	add	x0, x0, l_.str@PAGEOFF
	bl	_printf
	fcvt	d0, s10
	str	d0, [sp, #8]
	str	x19, [sp]
Lloh4:
	adrp	x0, l_.str.1@PAGE
Lloh5:
	add	x0, x0, l_.str.1@PAGEOFF
	bl	_printf
	str	s8, [sp, #24]
	ldr	d0, [sp, #24]
	fcvt	d1, s8
	stp	d1, d1, [sp, #8]
	str	d0, [sp]
Lloh6:
	adrp	x0, l_.str.2@PAGE
Lloh7:
	add	x0, x0, l_.str.2@PAGEOFF
	bl	_printf
	ldr	d0, [x21]
	stp	d9, d0, [sp]
Lloh8:
	adrp	x0, l_.str.3@PAGE
Lloh9:
	add	x0, x0, l_.str.3@PAGEOFF
	bl	_printf
LBB0_2:
	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	d9, d8, [sp, #48]               ; 16-byte Folded Reload
	ldp	d11, d10, [sp, #32]             ; 16-byte Folded Reload
	add	sp, sp, #112
	ret
	.loh AdrpLdrGot	Lloh0, Lloh1
	.loh AdrpAdd	Lloh8, Lloh9
	.loh AdrpAdd	Lloh6, Lloh7
	.loh AdrpAdd	Lloh4, Lloh5
	.loh AdrpAdd	Lloh2, Lloh3
	.cfi_endproc
                                        ; -- End function
	.comm	_FLT_EPSILON,8,3                ; @FLT_EPSILON
	.section	__TEXT,__cstring,cstring_literals
l_.str:                                 ; @.str
	.asciz	"Error in %s\n"

l_.str.1:                               ; @.str.1
	.asciz	"Got      0x%08x %12g\n"

l_.str.2:                               ; @.str.2
	.asciz	"Expected 0x%08x %12g (%.15lg)\n"

l_.str.3:                               ; @.str.3
	.asciz	"Epsilon=%lg, rather than %g\n"

	.no_dead_strip	_check_result
.subsections_via_symbols
