	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	4, 0x90                         ## -- Begin function __mulXf3__
___mulXf3__:                            ## @__mulXf3__
	.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	$40, %rsp
	.cfi_offset %rbx, -56
	.cfi_offset %r12, -48
	.cfi_offset %r13, -40
	.cfi_offset %r14, -32
	.cfi_offset %r15, -24
	movl	%esi, %r14d
	movl	%edi, %ebx
	callq	_toRep
	movl	%eax, %r15d
	movq	_significandBits@GOTPCREL(%rip), %r13
	movb	(%r13), %cl
	sarl	%cl, %r15d
	movq	_maxExponent@GOTPCREL(%rip), %rax
	andl	(%rax), %r15d
	movl	%r14d, %edi
	callq	_toRep
	movl	%eax, %r12d
	movb	(%r13), %cl
	sarl	%cl, %r12d
	movq	_maxExponent@GOTPCREL(%rip), %rax
	andl	(%rax), %r12d
	movl	%ebx, %edi
	callq	_toRep
	movl	%eax, %r13d
	movl	%r14d, %edi
	callq	_toRep
	xorl	%r13d, %eax
	movq	_signBit@GOTPCREL(%rip), %rcx
	andl	(%rcx), %eax
	movl	%eax, -48(%rbp)                 ## 4-byte Spill
	movl	%ebx, -64(%rbp)                 ## 4-byte Spill
	movl	%ebx, %edi
	callq	_toRep
	movq	_significandMask@GOTPCREL(%rip), %r13
	andl	(%r13), %eax
	movl	%eax, -60(%rbp)
	movl	%r14d, -68(%rbp)                ## 4-byte Spill
	movl	%r14d, %edi
	callq	_toRep
	movl	%eax, %ebx
	andl	(%r13), %ebx
	movl	%ebx, -56(%rbp)
	movq	%r15, -80(%rbp)                 ## 8-byte Spill
	leal	-1(%r15), %ecx
	movq	_maxExponent@GOTPCREL(%rip), %rax
	movl	(%rax), %eax
	decl	%eax
	cmpl	%eax, %ecx
	jae	LBB0_3
## %bb.1:
	leal	-1(%r12), %ecx
	xorl	%r13d, %r13d
	cmpl	%eax, %ecx
	jae	LBB0_3
## %bb.2:
	movq	-80(%rbp), %r15                 ## 8-byte Reload
LBB0_23:
	movq	_implicitBit@GOTPCREL(%rip), %r14
	movl	(%r14), %eax
	movl	-60(%rbp), %edi
	orl	%eax, %edi
	movl	%edi, -60(%rbp)
	orl	%eax, %ebx
	movl	%ebx, -56(%rbp)
	movq	_exponentBits@GOTPCREL(%rip), %rax
	movb	(%rax), %cl
	shll	%cl, %ebx
	leaq	-44(%rbp), %rdx
	leaq	-52(%rbp), %rcx
	movl	%ebx, %esi
	callq	_wideMultiply
	addl	%r15d, %r12d
	addl	%r13d, %r12d
	movq	_exponentBias@GOTPCREL(%rip), %rax
	subl	(%rax), %r12d
	movl	(%r14), %eax
	testl	%eax, -44(%rbp)
	je	LBB0_25
## %bb.24:
	incl	%r12d
	jmp	LBB0_26
LBB0_3:
	movl	-64(%rbp), %r15d                ## 4-byte Reload
	movl	%r15d, %edi
	callq	_toRep
	movl	%eax, %r13d
	movq	_absMask@GOTPCREL(%rip), %rax
	andl	(%rax), %r13d
	movl	-68(%rbp), %r14d                ## 4-byte Reload
	movl	%r14d, %edi
	callq	_toRep
	movl	%eax, %edi
	movq	_infRep@GOTPCREL(%rip), %rax
	movl	(%rax), %eax
	cmpl	%eax, %r13d
	jle	LBB0_6
## %bb.4:
	movl	%r15d, %edi
	jmp	LBB0_5
LBB0_6:
	movq	_absMask@GOTPCREL(%rip), %rcx
	andl	(%rcx), %edi
	cmpl	%eax, %edi
	jle	LBB0_8
## %bb.7:
	movl	%r14d, %edi
LBB0_5:
	callq	_toRep
	movq	_quietBit@GOTPCREL(%rip), %rcx
	orl	(%rcx), %eax
	movl	%eax, %edi
LBB0_14:
	addq	$40, %rsp
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	jmp	_fromRep                        ## TAILCALL
LBB0_25:
	leaq	-44(%rbp), %rdi
	leaq	-52(%rbp), %rsi
	movl	$1, %edx
	callq	_wideLeftShift
LBB0_26:
	movl	-48(%rbp), %ebx                 ## 4-byte Reload
	movq	_maxExponent@GOTPCREL(%rip), %rax
	cmpl	(%rax), %r12d
	jae	LBB0_27
## %bb.28:
	testl	%r12d, %r12d
	jle	LBB0_29
## %bb.31:
	movl	-44(%rbp), %eax
	movq	_significandMask@GOTPCREL(%rip), %rcx
	andl	(%rcx), %eax
	movq	_significandBits@GOTPCREL(%rip), %rcx
	movb	(%rcx), %cl
	shll	%cl, %r12d
	orl	%eax, %r12d
	jmp	LBB0_32
LBB0_27:
	movq	_infRep@GOTPCREL(%rip), %rax
	orl	(%rax), %ebx
	jmp	LBB0_34
LBB0_8:
	cmpl	%eax, %r13d
	jne	LBB0_11
## %bb.9:
	testl	%edi, %edi
	je	LBB0_15
## %bb.10:
	orl	-48(%rbp), %r13d                ## 4-byte Folded Reload
	movl	%r13d, %edi
	jmp	LBB0_14
LBB0_29:
	movl	$1, %edi
	callq	_REP_C
	subl	%r12d, %eax
	movq	_typeWidth@GOTPCREL(%rip), %rcx
	cmpl	(%rcx), %eax
	jae	LBB0_34
## %bb.30:
	leaq	-44(%rbp), %rdi
	leaq	-52(%rbp), %rsi
	movl	%eax, %edx
	callq	_wideRightShiftWithSticky
	movl	-44(%rbp), %r12d
LBB0_32:
	movq	_signBit@GOTPCREL(%rip), %rcx
	orl	%ebx, %r12d
	movl	-52(%rbp), %eax
	movl	(%rcx), %ecx
	xorl	%edx, %edx
	cmpl	%ecx, %eax
	setg	%dl
	addl	%r12d, %edx
	movl	%edx, %esi
	andl	$1, %esi
	xorl	%ebx, %ebx
	cmpl	%ecx, %eax
	cmovel	%esi, %ebx
	addl	%edx, %ebx
	movl	%r12d, -44(%rbp)
	cmpl	%ecx, %eax
	jl	LBB0_34
## %bb.33:
	movl	%ebx, -44(%rbp)
LBB0_34:
	movl	%ebx, %edi
	callq	_fromRep
	addq	$40, %rsp
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	retq
LBB0_11:
	cmpl	%eax, %edi
	jne	LBB0_16
## %bb.12:
	testl	%r13d, %r13d
	je	LBB0_15
## %bb.13:
	orl	-48(%rbp), %edi                 ## 4-byte Folded Reload
	jmp	LBB0_14
LBB0_15:
	movq	_qnanRep@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	jmp	LBB0_14
LBB0_16:
	testl	%r13d, %r13d
	je	LBB0_17
## %bb.18:
	testl	%edi, %edi
	je	LBB0_17
## %bb.19:
	movq	_implicitBit@GOTPCREL(%rip), %r14
	movl	(%r14), %eax
	movl	%r13d, %ecx
	xorl	%r13d, %r13d
	cmpl	%eax, %ecx
	jge	LBB0_21
## %bb.20:
	movl	%edi, %r15d
	leaq	-60(%rbp), %rdi
	callq	_normalize
	movl	%r15d, %edi
	movq	%rax, %r13
	movl	(%r14), %eax
LBB0_21:
	cmpl	%eax, %edi
	movq	-80(%rbp), %r15                 ## 8-byte Reload
	jge	LBB0_23
## %bb.22:
	leaq	-56(%rbp), %rdi
	callq	_normalize
	addl	%eax, %r13d
	movl	-56(%rbp), %ebx
	jmp	LBB0_23
LBB0_17:
	movl	-48(%rbp), %edi                 ## 4-byte Reload
	jmp	LBB0_14
	.cfi_endproc
                                        ## -- End function
	.comm	_significandBits,4,2            ## @significandBits
	.comm	_maxExponent,4,2                ## @maxExponent
	.comm	_signBit,4,2                    ## @signBit
	.comm	_significandMask,4,2            ## @significandMask
	.comm	_absMask,4,2                    ## @absMask
	.comm	_infRep,4,2                     ## @infRep
	.comm	_quietBit,4,2                   ## @quietBit
	.comm	_qnanRep,4,2                    ## @qnanRep
	.comm	_implicitBit,4,2                ## @implicitBit
	.comm	_exponentBits,4,2               ## @exponentBits
	.comm	_exponentBias,4,2               ## @exponentBias
	.comm	_typeWidth,4,2                  ## @typeWidth
	.no_dead_strip	___mulXf3__
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	2                               ; -- Begin function __mulXf3__
___mulXf3__:                            ; @__mulXf3__
	.cfi_startproc
; %bb.0:
	sub	sp, sp, #112
	.cfi_def_cfa_offset 112
	stp	x28, x27, [sp, #16]             ; 16-byte Folded Spill
	stp	x26, x25, [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 w25, -72
	.cfi_offset w26, -80
	.cfi_offset w27, -88
	.cfi_offset w28, -96
	mov	x20, x1
	mov	x21, x0
	bl	_toRep
Lloh0:
	adrp	x23, _significandBits@GOTPAGE
Lloh1:
	ldr	x23, [x23, _significandBits@GOTPAGEOFF]
	ldr	w8, [x23]
	asr	w8, w0, w8
Lloh2:
	adrp	x24, _maxExponent@GOTPAGE
Lloh3:
	ldr	x24, [x24, _maxExponent@GOTPAGEOFF]
	ldr	w9, [x24]
	and	w26, w8, w9
	mov	x0, x20
	bl	_toRep
	ldr	w8, [x23]
	asr	w8, w0, w8
	ldr	w9, [x24]
	and	w27, w8, w9
	mov	x0, x21
	bl	_toRep
	mov	x19, x0
	mov	x0, x20
	bl	_toRep
	eor	w8, w0, w19
Lloh4:
	adrp	x22, _signBit@GOTPAGE
Lloh5:
	ldr	x22, [x22, _signBit@GOTPAGEOFF]
	ldr	w9, [x22]
	and	w19, w8, w9
	mov	x0, x21
	bl	_toRep
Lloh6:
	adrp	x25, _significandMask@GOTPAGE
Lloh7:
	ldr	x25, [x25, _significandMask@GOTPAGEOFF]
	ldr	w8, [x25]
	and	w8, w8, w0
	str	w8, [sp, #12]
	mov	x0, x20
	bl	_toRep
	ldr	w8, [x25]
	and	w28, w8, w0
	str	w28, [sp, #8]
	sub	w8, w26, #1
	ldr	w9, [x24]
	sub	w9, w9, #1
	sub	w10, w27, #1
	cmp	w8, w9
	ccmp	w10, w9, #2, lo
	b.lo	LBB0_3
; %bb.1:
	mov	x0, x21
	bl	_toRep
Lloh8:
	adrp	x23, _absMask@GOTPAGE
Lloh9:
	ldr	x23, [x23, _absMask@GOTPAGEOFF]
	ldr	w8, [x23]
	and	w22, w8, w0
	mov	x0, x20
	bl	_toRep
Lloh10:
	adrp	x8, _infRep@GOTPAGE
Lloh11:
	ldr	x8, [x8, _infRep@GOTPAGEOFF]
Lloh12:
	ldr	w8, [x8]
	cmp	w22, w8
	b.le	LBB0_6
; %bb.2:
	mov	x0, x21
	b	LBB0_8
LBB0_3:
	mov	w20, #0
LBB0_4:
Lloh13:
	adrp	x21, _implicitBit@GOTPAGE
Lloh14:
	ldr	x21, [x21, _implicitBit@GOTPAGEOFF]
	ldr	w8, [x21]
	ldr	w9, [sp, #12]
	orr	w0, w9, w8
	orr	w8, w28, w8
	stp	w8, w0, [sp, #8]
Lloh15:
	adrp	x9, _exponentBits@GOTPAGE
Lloh16:
	ldr	x9, [x9, _exponentBits@GOTPAGEOFF]
Lloh17:
	ldr	w9, [x9]
	lsl	w1, w8, w9
	add	x2, sp, #4
	mov	x3, sp
	bl	_wideMultiply
Lloh18:
	adrp	x8, _exponentBias@GOTPAGE
Lloh19:
	ldr	x8, [x8, _exponentBias@GOTPAGEOFF]
Lloh20:
	ldr	w8, [x8]
	add	w9, w27, w26
	add	w9, w9, w20
	sub	w20, w9, w8
	ldr	w8, [sp, #4]
	ldr	w9, [x21]
	tst	w9, w8
	b.eq	LBB0_10
; %bb.5:
	add	w20, w20, #1
	b	LBB0_11
LBB0_6:
	ldr	w9, [x23]
	and	w21, w9, w0
	cmp	w21, w8
	b.le	LBB0_15
; %bb.7:
	mov	x0, x20
LBB0_8:
	bl	_toRep
Lloh21:
	adrp	x8, _quietBit@GOTPAGE
Lloh22:
	ldr	x8, [x8, _quietBit@GOTPAGEOFF]
Lloh23:
	ldr	w8, [x8]
	orr	w0, w8, w0
LBB0_9:
	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	x26, x25, [sp, #32]             ; 16-byte Folded Reload
	ldp	x28, x27, [sp, #16]             ; 16-byte Folded Reload
	add	sp, sp, #112
	b	_fromRep
LBB0_10:
	add	x0, sp, #4
	mov	x1, sp
	mov	w2, #1
	bl	_wideLeftShift
LBB0_11:
	ldr	w8, [x24]
	cmp	w20, w8
	b.hs	LBB0_14
; %bb.12:
	cmp	w20, #0
	b.le	LBB0_18
; %bb.13:
	ldr	w8, [x25]
	ldr	w9, [sp, #4]
	and	w8, w9, w8
	ldr	w9, [x23]
	lsl	w9, w20, w9
	orr	w8, w9, w8
	b	LBB0_20
LBB0_14:
Lloh24:
	adrp	x8, _infRep@GOTPAGE
Lloh25:
	ldr	x8, [x8, _infRep@GOTPAGEOFF]
Lloh26:
	ldr	w8, [x8]
	orr	w19, w8, w19
	b	LBB0_22
LBB0_15:
	cmp	w22, w8
	b.ne	LBB0_23
; %bb.16:
	cbz	w21, LBB0_26
; %bb.17:
	orr	w0, w22, w19
	b	LBB0_9
LBB0_18:
	mov	w0, #1
	bl	_REP_C
Lloh27:
	adrp	x8, _typeWidth@GOTPAGE
Lloh28:
	ldr	x8, [x8, _typeWidth@GOTPAGEOFF]
Lloh29:
	ldr	w8, [x8]
	sub	w2, w0, w20
	cmp	w2, w8
	b.hs	LBB0_22
; %bb.19:
	add	x0, sp, #4
	mov	x1, sp
	bl	_wideRightShiftWithSticky
	ldr	w8, [sp, #4]
LBB0_20:
	orr	w8, w8, w19
	str	w8, [sp, #4]
	ldr	w9, [sp]
	ldr	w10, [x22]
	cmp	w9, w10
	cinc	w8, w8, gt
	and	w9, w8, #0x1
	csel	w9, w9, wzr, eq
	add	w19, w8, w9
	b.lt	LBB0_22
; %bb.21:
	str	w19, [sp, #4]
LBB0_22:
	mov	x0, x19
	bl	_fromRep
	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	x26, x25, [sp, #32]             ; 16-byte Folded Reload
	ldp	x28, x27, [sp, #16]             ; 16-byte Folded Reload
	add	sp, sp, #112
	ret
LBB0_23:
	cmp	w21, w8
	b.ne	LBB0_27
; %bb.24:
	cbz	w22, LBB0_26
; %bb.25:
	orr	w0, w21, w19
	b	LBB0_9
LBB0_26:
Lloh30:
	adrp	x8, _qnanRep@GOTPAGE
Lloh31:
	ldr	x8, [x8, _qnanRep@GOTPAGEOFF]
Lloh32:
	ldr	w0, [x8]
	b	LBB0_9
LBB0_27:
	cbz	w22, LBB0_31
; %bb.28:
	cbz	w21, LBB0_31
; %bb.29:
Lloh33:
	adrp	x23, _implicitBit@GOTPAGE
Lloh34:
	ldr	x23, [x23, _implicitBit@GOTPAGEOFF]
	ldr	w8, [x23]
	cmp	w22, w8
	b.ge	LBB0_32
; %bb.30:
	add	x0, sp, #12
	bl	_normalize
	mov	x20, x0
	ldr	w8, [x23]
	b	LBB0_33
LBB0_31:
	mov	x0, x19
	b	LBB0_9
LBB0_32:
	mov	w20, #0
LBB0_33:
Lloh35:
	adrp	x22, _signBit@GOTPAGE
Lloh36:
	ldr	x22, [x22, _signBit@GOTPAGEOFF]
Lloh37:
	adrp	x23, _significandBits@GOTPAGE
Lloh38:
	ldr	x23, [x23, _significandBits@GOTPAGEOFF]
	cmp	w21, w8
	b.ge	LBB0_4
; %bb.34:
	add	x0, sp, #8
	bl	_normalize
	add	w20, w20, w0
	ldr	w28, [sp, #8]
	b	LBB0_4
	.loh AdrpLdrGot	Lloh6, Lloh7
	.loh AdrpLdrGot	Lloh4, Lloh5
	.loh AdrpLdrGot	Lloh2, Lloh3
	.loh AdrpLdrGot	Lloh0, Lloh1
	.loh AdrpLdrGotLdr	Lloh10, Lloh11, Lloh12
	.loh AdrpLdrGot	Lloh8, Lloh9
	.loh AdrpLdrGotLdr	Lloh18, Lloh19, Lloh20
	.loh AdrpLdrGotLdr	Lloh15, Lloh16, Lloh17
	.loh AdrpLdrGot	Lloh13, Lloh14
	.loh AdrpLdrGotLdr	Lloh21, Lloh22, Lloh23
	.loh AdrpLdrGotLdr	Lloh24, Lloh25, Lloh26
	.loh AdrpLdrGotLdr	Lloh27, Lloh28, Lloh29
	.loh AdrpLdrGotLdr	Lloh30, Lloh31, Lloh32
	.loh AdrpLdrGot	Lloh33, Lloh34
	.loh AdrpLdrGot	Lloh37, Lloh38
	.loh AdrpLdrGot	Lloh35, Lloh36
	.cfi_endproc
                                        ; -- End function
	.comm	_significandBits,4,2            ; @significandBits
	.comm	_maxExponent,4,2                ; @maxExponent
	.comm	_signBit,4,2                    ; @signBit
	.comm	_significandMask,4,2            ; @significandMask
	.comm	_absMask,4,2                    ; @absMask
	.comm	_infRep,4,2                     ; @infRep
	.comm	_quietBit,4,2                   ; @quietBit
	.comm	_qnanRep,4,2                    ; @qnanRep
	.comm	_implicitBit,4,2                ; @implicitBit
	.comm	_exponentBits,4,2               ; @exponentBits
	.comm	_exponentBias,4,2               ; @exponentBias
	.comm	_typeWidth,4,2                  ; @typeWidth
	.no_dead_strip	___mulXf3__
.subsections_via_symbols
