	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	4, 0x90                         ## -- Begin function shift_right
_shift_right:                           ## @shift_right
	.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
	pushq	%rax
	.cfi_offset %rbx, -40
	.cfi_offset %r14, -32
	.cfi_offset %r15, -24
	movl	%esi, %r15d
	movq	%rdi, %r14
	xorl	%edi, %edi
	testl	%esi, %esi
	setg	%dil
	callq	_gcc_assert
	movq	_SREAL_BITS@GOTPCREL(%rip), %rax
	xorl	%edi, %edi
	cmpl	%r15d, (%rax)
	setge	%dil
	callq	_gcc_assert
	movslq	%r15d, %rbx
	movq	(%r14), %rax
	addq	%rbx, %rax
	movq	_SREAL_MAX_EXP@GOTPCREL(%rip), %rcx
	xorl	%edi, %edi
	cmpq	(%rcx), %rax
	setle	%dil
	callq	_gcc_assert
	addq	%rbx, (%r14)
	movq	_SREAL_PART_BITS@GOTPCREL(%rip), %rax
	movl	(%rax), %edx
	movl	%edx, %r8d
	subl	%ebx, %r8d
	jge	LBB0_2
## %bb.1:
	subl	%edx, %r15d
	leal	-1(%r15), %ecx
	movl	$1, %eax
                                        ## kill: def $cl killed $cl killed $ecx
	shll	%cl, %eax
	addl	8(%r14), %eax
	movl	%r15d, %ecx
	sarl	%cl, %eax
	movl	%eax, 12(%r14)
	movl	$0, 8(%r14)
	jmp	LBB0_3
LBB0_2:
	leal	-1(%r15), %ecx
	movl	$1, %esi
                                        ## kill: def $cl killed $cl killed $ecx
	shll	%cl, %esi
	movl	$1, %edi
	addl	12(%r14), %esi
	movl	%edx, %ecx
	shll	%cl, %edi
	andl	%esi, %edi
	movl	$-1, %ebx
	shll	%cl, %ebx
	movl	$-1, %eax
	xorl	%edx, %edx
	testl	%edi, %edi
	setne	%dl
	cmovel	%edi, %ebx
	addl	8(%r14), %edx
	addl	%esi, %ebx
	movl	%r15d, %ecx
	sarl	%cl, %ebx
	shll	%cl, %eax
	notl	%eax
	andl	%edx, %eax
	movl	%r8d, %ecx
	shll	%cl, %eax
	orl	%ebx, %eax
	movl	%eax, 12(%r14)
	movl	%r15d, %ecx
	sarl	%cl, %edx
	movl	%edx, 8(%r14)
LBB0_3:
	addq	$8, %rsp
	popq	%rbx
	popq	%r14
	popq	%r15
	popq	%rbp
	retq
	.cfi_endproc
                                        ## -- End function
	.comm	_SREAL_BITS,4,2                 ## @SREAL_BITS
	.comm	_SREAL_MAX_EXP,8,3              ## @SREAL_MAX_EXP
	.comm	_SREAL_PART_BITS,4,2            ## @SREAL_PART_BITS
	.no_dead_strip	_shift_right
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	2                               ; -- Begin function shift_right
_shift_right:                           ; @shift_right
	.cfi_startproc
; %bb.0:
	stp	x22, x21, [sp, #-48]!           ; 16-byte Folded Spill
	.cfi_def_cfa_offset 48
	stp	x20, x19, [sp, #16]             ; 16-byte Folded Spill
	stp	x29, x30, [sp, #32]             ; 16-byte Folded Spill
	add	x29, sp, #32
	.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
	mov	x20, x1
	mov	x19, x0
	cmp	w1, #0
	cset	w0, gt
	bl	_gcc_assert
Lloh0:
	adrp	x8, _SREAL_BITS@GOTPAGE
Lloh1:
	ldr	x8, [x8, _SREAL_BITS@GOTPAGEOFF]
Lloh2:
	ldr	w8, [x8]
	cmp	w8, w20
	cset	w0, ge
	bl	_gcc_assert
	ldr	x8, [x19]
	sxtw	x21, w20
Lloh3:
	adrp	x9, _SREAL_MAX_EXP@GOTPAGE
Lloh4:
	ldr	x9, [x9, _SREAL_MAX_EXP@GOTPAGEOFF]
Lloh5:
	ldr	x9, [x9]
	add	x8, x8, x21
	cmp	x8, x9
	cset	w0, le
	bl	_gcc_assert
	ldr	x8, [x19]
	add	x8, x8, x21
	str	x8, [x19]
Lloh6:
	adrp	x8, _SREAL_PART_BITS@GOTPAGE
Lloh7:
	ldr	x8, [x8, _SREAL_PART_BITS@GOTPAGEOFF]
Lloh8:
	ldr	w9, [x8]
	subs	w8, w9, w20
	b.ge	LBB0_2
; %bb.1:
	sub	w8, w20, w9
	sub	w9, w8, #1
	mov	w10, #1
	lsl	w9, w10, w9
	ldr	w10, [x19, #8]
	add	w9, w10, w9
	asr	w8, w9, w8
	stp	wzr, w8, [x19, #8]
	b	LBB0_3
LBB0_2:
	sub	w10, w20, #1
	mov	w11, #1
	lsl	w10, w11, w10
	lsl	w11, w11, w9
	ldp	w13, w12, [x19, #8]
	mov	w14, #-1
	lsl	w9, w14, w9
	add	w10, w12, w10
	tst	w10, w11
	cinc	w11, w13, ne
	csel	w9, wzr, w9, eq
	add	w9, w10, w9
	asr	w9, w9, w20
	lsl	w10, w14, w20
	bic	w10, w11, w10
	lsl	w8, w10, w8
	orr	w8, w8, w9
	asr	w9, w11, w20
	stp	w9, w8, [x19, #8]
LBB0_3:
	ldp	x29, x30, [sp, #32]             ; 16-byte Folded Reload
	ldp	x20, x19, [sp, #16]             ; 16-byte Folded Reload
	ldp	x22, x21, [sp], #48             ; 16-byte Folded Reload
	ret
	.loh AdrpLdrGotLdr	Lloh6, Lloh7, Lloh8
	.loh AdrpLdrGotLdr	Lloh3, Lloh4, Lloh5
	.loh AdrpLdrGotLdr	Lloh0, Lloh1, Lloh2
	.cfi_endproc
                                        ; -- End function
	.comm	_SREAL_BITS,4,2                 ; @SREAL_BITS
	.comm	_SREAL_MAX_EXP,8,3              ; @SREAL_MAX_EXP
	.comm	_SREAL_PART_BITS,4,2            ; @SREAL_PART_BITS
	.no_dead_strip	_shift_right
.subsections_via_symbols
