	.file	"extr_float80.c_f80_shift_right.c"
	.intel_syntax noprefix
	.text
	.p2align 4
	.type	f80_shift_right, @function
f80_shift_right:
.LFB0:
	.cfi_startproc
	endbr64
	push	r12
	.cfi_def_cfa_offset 16
	.cfi_offset 12, -16
	push	rbp
	.cfi_def_cfa_offset 24
	.cfi_offset 6, -24
	mov	ebp, edx
	push	rbx
	.cfi_def_cfa_offset 32
	.cfi_offset 3, -32
	mov	rbx, rdi
	mov	edi, esi
	mov	esi, ebp
	mov	r12d, ebx
	shr	rbx, 32
	mov	edx, ebx
	add	ebp, r12d
	sub	rsp, 48
	.cfi_def_cfa_offset 80
	call	u128_shift_right_round@PLT
	mov	DWORD PTR 36[rsp], ebp
	mov	DWORD PTR 40[rsp], ebx
	mov	edx, eax
	mov	rax, QWORD PTR 36[rsp]
	add	rsp, 48
	.cfi_def_cfa_offset 32
	pop	rbx
	.cfi_def_cfa_offset 24
	pop	rbp
	.cfi_def_cfa_offset 16
	pop	r12
	.cfi_def_cfa_offset 8
	ret
	.cfi_endproc
.LFE0:
	.size	f80_shift_right, .-f80_shift_right
	.ident	"GCC: (Ubuntu 9.4.0-1ubuntu1~20.04.2) 9.4.0"
	.section	.note.GNU-stack,"",@progbits
	.section	.note.gnu.property,"a"
	.align 8
	.long	 1f - 0f
	.long	 4f - 1f
	.long	 5
0:
	.string	 "GNU"
1:
	.align 8
	.long	 0xc0000002
	.long	 3f - 2f
2:
	.long	 0x3
3:
	.align 8
4:

	.arch armv5t
	.eabi_attribute 20, 1
	.eabi_attribute 21, 1
	.eabi_attribute 23, 3
	.eabi_attribute 24, 1
	.eabi_attribute 25, 1
	.eabi_attribute 26, 2
	.eabi_attribute 30, 2
	.eabi_attribute 34, 0
	.eabi_attribute 18, 4
	.file	"extr_float80.c_f80_shift_right.c"
	.text
	.align	2
	.syntax unified
	.arm
	.fpu softvfp
	.type	f80_shift_right, %function
f80_shift_right:
	@ args = 4, pretend = 0, frame = 16
	@ frame_needed = 0, uses_anonymous_args = 0
	push	{r4, r5, r6, r7, lr}
	sub	sp, sp, #20
	add	r5, sp, #4
	stm	r5, {r1, r2, r3}
	ldr	r6, [sp, #40]
	mov	r4, r0
	mov	r1, r6
	ldr	r2, [sp, #8]
	ldr	r0, [sp, #12]
	ldr	r7, [sp, #4]
	bl	u128_shift_right_round
	add	r6, r6, r7
	str	r6, [sp, #4]
	str	r0, [sp, #12]
	ldm	r5, {r0, r1, r2}
	stm	r4, {r0, r1, r2}
	mov	r0, r4
	add	sp, sp, #20
	@ sp needed
	pop	{r4, r5, r6, r7, pc}
	.size	f80_shift_right, .-f80_shift_right
	.ident	"GCC: (Ubuntu 9.4.0-1ubuntu1~20.04.2) 9.4.0"
	.section	.note.GNU-stack,"",%progbits
