	.file	"extr_fold-const.c_fold_range_test.c"
	.intel_syntax noprefix
	.text
	.section	.rodata.str1.8,"aMS",@progbits,1
	.align 8
.LC0:
	.string	"assuming signed overflow does not occur when simplifying range test"
	.text
	.p2align 4
	.type	fold_range_test, @function
fold_range_test:
.LFB0:
	.cfi_startproc
	endbr64
	push	r15
	.cfi_def_cfa_offset 16
	.cfi_offset 15, -16
	mov	r15, rsi
	push	r14
	.cfi_def_cfa_offset 24
	.cfi_offset 14, -24
	mov	r14, rcx
	push	r13
	.cfi_def_cfa_offset 32
	.cfi_offset 13, -32
	mov	r13, rdx
	push	r12
	.cfi_def_cfa_offset 40
	.cfi_offset 12, -40
	push	rbp
	.cfi_def_cfa_offset 48
	.cfi_offset 6, -48
	push	rbx
	.cfi_def_cfa_offset 56
	.cfi_offset 3, -56
	mov	ebx, edi
	sub	rsp, 120
	.cfi_def_cfa_offset 176
	mov	rax, QWORD PTR fs:40
	mov	QWORD PTR 104[rsp], rax
	xor	eax, eax
	cmp	DWORD PTR TRUTH_ORIF_EXPR[rip], edi
	je	.L2
	cmp	DWORD PTR TRUTH_OR_EXPR[rip], edi
	je	.L2
	lea	r12, 52[rsp]
	lea	rcx, 80[rsp]
	mov	rdi, r13
	mov	DWORD PTR 52[rsp], 0
	mov	r8, r12
	lea	rdx, 56[rsp]
	lea	rsi, 40[rsp]
	call	make_range@PLT
	mov	r8, r12
	lea	rcx, 88[rsp]
	mov	rdi, r14
	lea	rdx, 64[rsp]
	lea	rsi, 44[rsp]
	mov	rbp, rax
	call	make_range@PLT
	lea	rdi, .LC0[rip]
	mov	r12, rax
	call	G_@PLT
	mov	DWORD PTR 12[rsp], 0
	mov	QWORD PTR 16[rsp], rax
	test	rbp, rbp
	jne	.L58
.L4:
	lea	rdx, 96[rsp]
	lea	rsi, 72[rsp]
	lea	rdi, 48[rsp]
	sub	rsp, 8
	.cfi_def_cfa_offset 184
	push	QWORD PTR 96[rsp]
	.cfi_def_cfa_offset 192
	push	QWORD PTR 80[rsp]
	.cfi_def_cfa_offset 200
	mov	eax, DWORD PTR 68[rsp]
	push	rax
	.cfi_def_cfa_offset 208
	mov	r9, QWORD PTR 112[rsp]
	mov	r8, QWORD PTR 88[rsp]
	mov	ecx, DWORD PTR 72[rsp]
	call	merge_ranges@PLT
	add	rsp, 32
	.cfi_def_cfa_offset 176
	test	rax, rax
	jne	.L59
.L7:
	cmp	QWORD PTR LOGICAL_OP_NON_SHORT_CIRCUIT[rip], 0
	je	.L12
	test	rbp, rbp
	je	.L12
	test	r12, r12
	jne	.L24
	.p2align 4,,10
	.p2align 3
.L12:
	xor	r8d, r8d
.L1:
	mov	rax, QWORD PTR 104[rsp]
	xor	rax, QWORD PTR fs:40
	jne	.L60
	add	rsp, 120
	.cfi_remember_state
	.cfi_def_cfa_offset 56
	mov	rax, r8
	pop	rbx
	.cfi_def_cfa_offset 48
	pop	rbp
	.cfi_def_cfa_offset 40
	pop	r12
	.cfi_def_cfa_offset 32
	pop	r13
	.cfi_def_cfa_offset 24
	pop	r14
	.cfi_def_cfa_offset 16
	pop	r15
	.cfi_def_cfa_offset 8
	ret
	.p2align 4,,10
	.p2align 3
.L2:
	.cfi_restore_state
	lea	r12, 52[rsp]
	lea	rcx, 80[rsp]
	mov	rdi, r13
	mov	DWORD PTR 52[rsp], 0
	mov	r8, r12
	lea	rdx, 56[rsp]
	lea	rsi, 40[rsp]
	call	make_range@PLT
	lea	rcx, 88[rsp]
	mov	r8, r12
	mov	rdi, r14
	lea	rdx, 64[rsp]
	lea	rsi, 44[rsp]
	mov	rbp, rax
	call	make_range@PLT
	lea	rdi, .LC0[rip]
	mov	r12, rax
	call	G_@PLT
	mov	edx, DWORD PTR 40[rsp]
	mov	ecx, DWORD PTR 44[rsp]
	mov	DWORD PTR 12[rsp], 1
	mov	QWORD PTR 16[rsp], rax
	xor	eax, eax
	test	edx, edx
	sete	al
	mov	DWORD PTR 40[rsp], eax
	xor	eax, eax
	test	ecx, ecx
	sete	al
	mov	DWORD PTR 44[rsp], eax
	test	rbp, rbp
	je	.L4
.L58:
	test	r12, r12
	je	.L4
	xor	edx, edx
	mov	rsi, r12
	mov	rdi, rbp
	call	operand_equal_p@PLT
	test	rax, rax
	je	.L54
	lea	rdx, 96[rsp]
	lea	rsi, 72[rsp]
	lea	rdi, 48[rsp]
	sub	rsp, 8
	.cfi_def_cfa_offset 184
	push	QWORD PTR 96[rsp]
	.cfi_def_cfa_offset 192
	push	QWORD PTR 80[rsp]
	.cfi_def_cfa_offset 200
	mov	eax, DWORD PTR 68[rsp]
	push	rax
	.cfi_def_cfa_offset 208
	mov	r9, QWORD PTR 112[rsp]
	mov	r8, QWORD PTR 88[rsp]
	mov	ecx, DWORD PTR 72[rsp]
	call	merge_ranges@PLT
	add	rsp, 32
	.cfi_def_cfa_offset 176
	test	rax, rax
	je	.L54
	mov	r8, QWORD PTR 96[rsp]
	mov	rcx, QWORD PTR 72[rsp]
	mov	rsi, rbp
	mov	edx, DWORD PTR 48[rsp]
.L8:
	mov	rdi, r15
	call	build_range_check@PLT
	mov	r8, rax
	test	rax, rax
	je	.L7
.L64:
	mov	r10d, DWORD PTR 52[rsp]
	test	r10d, r10d
	jne	.L61
.L9:
	mov	r9d, DWORD PTR 12[rsp]
	test	r9d, r9d
	je	.L1
	mov	rdi, r8
	call	invert_truthvalue@PLT
	mov	r8, rax
	jmp	.L1
	.p2align 4,,10
	.p2align 3
.L54:
	cmp	QWORD PTR LOGICAL_OP_NON_SHORT_CIRCUIT[rip], 0
	je	.L12
.L24:
	cmp	DWORD PTR TRUTH_ANDIF_EXPR[rip], ebx
	je	.L13
	cmp	DWORD PTR TRUTH_ORIF_EXPR[rip], ebx
	jne	.L12
.L13:
	xor	edx, edx
	mov	rsi, r12
	mov	rdi, rbp
	call	operand_equal_p@PLT
	test	rax, rax
	je	.L12
	mov	rdi, rbp
	call	simple_operand_p@PLT
	test	rax, rax
	jne	.L62
	xor	eax, eax
	call	[QWORD PTR lang_hooks[rip]]
	test	rax, rax
	jne	.L12
	mov	rdi, rbp
	call	CONTAINS_PLACEHOLDER_P@PLT
	test	eax, eax
	jne	.L12
	mov	rdi, rbp
	call	save_expr@PLT
	mov	edi, DWORD PTR 12[rsp]
	mov	r8, QWORD PTR 80[rsp]
	mov	rcx, QWORD PTR 56[rsp]
	mov	rbp, rax
	test	edi, edi
	je	.L17
	mov	esi, DWORD PTR 40[rsp]
	xor	edx, edx
	mov	rdi, r15
	test	esi, esi
	mov	rsi, rax
	sete	dl
	call	build_range_check@PLT
	mov	r12, rax
	test	rax, rax
	je	.L12
	xor	edx, edx
	mov	r8, QWORD PTR 88[rsp]
	cmp	DWORD PTR 44[rsp], 0
	mov	rcx, QWORD PTR 64[rsp]
	sete	dl
.L23:
	mov	rsi, rbp
	mov	rdi, r15
	call	build_range_check@PLT
	mov	r13, rax
	test	rax, rax
	je	.L12
	cmp	DWORD PTR 52[rsp], 0
	jne	.L63
.L20:
	cmp	DWORD PTR TRUTH_ANDIF_EXPR[rip], ebx
	mov	edi, DWORD PTR TRUTH_OR_EXPR[rip]
	jne	.L22
	mov	edi, DWORD PTR TRUTH_AND_EXPR[rip]
.L22:
	mov	rcx, r13
	mov	rdx, r12
	mov	rsi, r15
	call	build2@PLT
	mov	r8, rax
	jmp	.L1
	.p2align 4,,10
	.p2align 3
.L59:
	mov	r8, QWORD PTR 96[rsp]
	mov	rcx, QWORD PTR 72[rsp]
	mov	rsi, rbp
	mov	edx, DWORD PTR 48[rsp]
	test	rbp, rbp
	jne	.L8
	test	r12, r12
	mov	rsi, r12
	cmove	rsi, QWORD PTR integer_zero_node[rip]
	mov	rdi, r15
	call	build_range_check@PLT
	mov	r8, rax
	test	rax, rax
	je	.L7
	jmp	.L64
	.p2align 4,,10
	.p2align 3
.L61:
	mov	esi, DWORD PTR WARN_STRICT_OVERFLOW_COMPARISON[rip]
	mov	rdi, QWORD PTR 16[rsp]
	mov	QWORD PTR 24[rsp], rax
	call	fold_overflow_warning@PLT
	mov	r8, QWORD PTR 24[rsp]
	jmp	.L9
	.p2align 4,,10
	.p2align 3
.L62:
	cmp	DWORD PTR TRUTH_ANDIF_EXPR[rip], ebx
	mov	edi, DWORD PTR TRUTH_OR_EXPR[rip]
	jne	.L16
	mov	edi, DWORD PTR TRUTH_AND_EXPR[rip]
.L16:
	mov	rcx, r14
	mov	rdx, r13
	mov	rsi, r15
	call	build2@PLT
	mov	r8, rax
	jmp	.L1
.L17:
	mov	edx, DWORD PTR 40[rsp]
	mov	rsi, rax
	mov	rdi, r15
	call	build_range_check@PLT
	mov	r12, rax
	test	rax, rax
	je	.L12
	mov	r8, QWORD PTR 88[rsp]
	mov	rcx, QWORD PTR 64[rsp]
	mov	edx, DWORD PTR 44[rsp]
	jmp	.L23
.L60:
	call	__stack_chk_fail@PLT
.L63:
	mov	esi, DWORD PTR WARN_STRICT_OVERFLOW_COMPARISON[rip]
	mov	rdi, QWORD PTR 16[rsp]
	call	fold_overflow_warning@PLT
	jmp	.L20
	.cfi_endproc
.LFE0:
	.size	fold_range_test, .-fold_range_test
	.comm	lang_hooks,8,8
	.comm	integer_zero_node,8,8
	.comm	WARN_STRICT_OVERFLOW_COMPARISON,4,4
	.comm	TRUTH_OR_EXPR,4,4
	.comm	TRUTH_ORIF_EXPR,4,4
	.comm	TRUTH_AND_EXPR,4,4
	.comm	TRUTH_ANDIF_EXPR,4,4
	.comm	LOGICAL_OP_NON_SHORT_CIRCUIT,8,8
	.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_fold-const.c_fold_range_test.c"
	.text
	.section	.rodata.str1.4,"aMS",%progbits,1
	.align	2
.LC0:
	.ascii	"assuming signed overflow does not occur when simpli"
	.ascii	"fying range test\000"
	.section	.rodata.cst4,"aM",%progbits,4
	.align	2
.LC1:
	.word	__stack_chk_guard
	.text
	.align	2
	.syntax unified
	.arm
	.fpu softvfp
	.type	fold_range_test, %function
fold_range_test:
	@ args = 0, pretend = 0, frame = 56
	@ frame_needed = 0, uses_anonymous_args = 0
	push	{r4, r5, r6, r7, r8, r9, r10, fp, lr}
	ldr	r10, .L66
	mov	r9, r1
	ldr	r1, [r10]
	mov	r8, r3
	ldr	r3, .L66+4
	sub	sp, sp, #84
	cmp	r1, r0
	mov	r5, r0
	mov	r7, r2
	ldr	r3, [r3]
	str	r3, [sp, #76]
	mov	r3,#0
	beq	.L2
	ldr	r3, .L66+8
	ldr	r3, [r3]
	cmp	r3, r0
	beq	.L2
	mov	fp, #0
	add	r6, sp, #72
	str	r6, [sp]
	add	r3, sp, #60
	add	r2, sp, #48
	add	r1, sp, #36
	mov	r0, r7
	str	fp, [sp, #72]
	bl	make_range
	str	r6, [sp]
	add	r3, sp, #64
	add	r2, sp, #52
	add	r1, sp, #40
	mov	r4, r0
	mov	r0, r8
	bl	make_range
	mov	r6, r0
	ldr	r0, .L66+12
	bl	G_
	str	fp, [sp, #24]
	str	r0, [sp, #28]
	b	.L26
.L2:
	mov	ip, #0
	add	r6, sp, #72
	str	r6, [sp]
	add	r3, sp, #60
	add	r2, sp, #48
	add	r1, sp, #36
	mov	r0, r7
	str	ip, [sp, #72]
	bl	make_range
	add	r3, sp, #64
	add	r2, sp, #52
	str	r6, [sp]
	add	r1, sp, #40
	mov	r4, r0
	mov	r0, r8
	bl	make_range
	mov	r6, r0
	ldr	r0, .L66+12
	bl	G_
	ldr	r3, [sp, #40]
	ldr	r2, [sp, #36]
	clz	r3, r3
	clz	r2, r2
	lsr	r3, r3, #5
	str	r3, [sp, #40]
	mov	r3, #1
	lsr	r2, r2, #5
	str	r0, [sp, #28]
	str	r2, [sp, #36]
	str	r3, [sp, #24]
.L26:
	clz	r2, r6
	cmp	r4, #0
	lsr	r2, r2, #5
	moveq	r2, #1
	cmp	r2, #0
	bne	.L4
	mov	r1, r6
	mov	r0, r4
	bl	operand_equal_p
	cmp	r0, #0
	beq	.L57
	ldr	r0, [sp, #52]
	ldr	r1, [sp, #40]
	ldr	r2, [sp, #60]
	ldr	r3, [sp, #48]
	ldr	ip, [sp, #64]
	str	r0, [sp, #12]
	str	r1, [sp, #8]
	str	r2, [sp, #4]
	str	r3, [sp]
	str	ip, [sp, #16]
	ldr	r3, [sp, #36]
	add	r2, sp, #68
	add	r1, sp, #56
	add	r0, sp, #44
	bl	merge_ranges
	cmp	r0, #0
	beq	.L57
.L30:
	mov	r1, r4
	b	.L8
.L4:
	ldr	r0, [sp, #52]
	ldr	r1, [sp, #40]
	ldr	r2, [sp, #60]
	ldr	r3, [sp, #48]
	ldr	ip, [sp, #64]
	str	r0, [sp, #12]
	str	r1, [sp, #8]
	str	r2, [sp, #4]
	str	r3, [sp]
	str	ip, [sp, #16]
	ldr	r3, [sp, #36]
	add	r2, sp, #68
	add	r1, sp, #56
	add	r0, sp, #44
	bl	merge_ranges
	cmp	r0, #0
	bne	.L61
.L7:
	ldr	r3, .L66+16
	ldr	r3, [r3]
	cmp	r3, #0
	beq	.L12
	cmp	r4, #0
	cmpne	r6, #0
	bne	.L24
.L12:
	mov	fp, #0
.L1:
	ldr	r3, .L66+4
	ldr	r2, [r3]
	ldr	r3, [sp, #76]
	eors	r2, r3, r2
	mov	r3, #0
	bne	.L62
	mov	r0, fp
	add	sp, sp, #84
	@ sp needed
	pop	{r4, r5, r6, r7, r8, r9, r10, fp, pc}
.L57:
	ldr	r3, .L66+16
	ldr	r3, [r3]
	cmp	r3, #0
	beq	.L12
.L24:
	ldr	fp, .L66+20
	ldr	r3, [fp]
	cmp	r3, r5
	beq	.L13
	ldr	r3, [r10]
	cmp	r3, r5
	bne	.L12
.L13:
	mov	r1, r6
	mov	r2, #0
	mov	r0, r4
	bl	operand_equal_p
	cmp	r0, #0
	beq	.L12
	mov	r0, r4
	bl	simple_operand_p
	cmp	r0, #0
	bne	.L63
	ldr	r3, .L66+24
	ldr	r3, [r3]
	blx	r3
	cmp	r0, #0
	bne	.L12
	mov	r0, r4
	bl	CONTAINS_PLACEHOLDER_P
	cmp	r0, #0
	bne	.L12
	mov	r0, r4
	bl	save_expr
	ldr	r3, [sp, #24]
	mov	r6, r0
	cmp	r3, #0
	beq	.L17
	ldr	r2, [sp, #36]
	ldr	r3, [sp, #60]
	clz	r2, r2
	mov	r1, r0
	str	r3, [sp]
	mov	r0, r9
	ldr	r3, [sp, #48]
	lsr	r2, r2, #5
	bl	build_range_check
	subs	r4, r0, #0
	beq	.L12
	ldr	r2, [sp, #40]
	clz	r2, r2
	lsr	r2, r2, #5
.L20:
	ldr	r3, [sp, #64]
	mov	r1, r6
	str	r3, [sp]
	mov	r0, r9
	ldr	r3, [sp, #52]
	bl	build_range_check
	subs	r6, r0, #0
	beq	.L12
	ldr	r3, [sp, #72]
	cmp	r3, #0
	bne	.L64
.L21:
	ldr	r3, [fp]
	mov	r2, r4
	cmp	r3, r5
	ldreq	r3, .L66+28
	ldrne	r3, .L66+8
	mov	r1, r9
	ldr	r0, [r3]
	mov	r3, r6
	bl	build2
	mov	fp, r0
	b	.L1
.L61:
	cmp	r4, #0
	bne	.L30
	cmp	r6, #0
	movne	r1, r6
	ldreq	r3, .L66+32
	ldreq	r1, [r3]
.L8:
	ldr	r3, [sp, #68]
	mov	r0, r9
	str	r3, [sp]
	ldr	r2, [sp, #44]
	ldr	r3, [sp, #56]
	bl	build_range_check
	subs	fp, r0, #0
	beq	.L7
	ldr	r3, [sp, #72]
	cmp	r3, #0
	bne	.L65
.L9:
	ldr	r3, [sp, #24]
	cmp	r3, #0
	beq	.L1
	mov	r0, fp
	bl	invert_truthvalue
	mov	fp, r0
	b	.L1
.L65:
	ldr	r3, .L66+36
	ldr	r0, [sp, #28]
	ldr	r1, [r3]
	bl	fold_overflow_warning
	b	.L9
.L63:
	ldr	r3, [fp]
	mov	r2, r7
	cmp	r3, r5
	ldreq	r3, .L66+28
	ldrne	r3, .L66+8
	mov	r1, r9
	ldr	r0, [r3]
	mov	r3, r8
	bl	build2
	mov	fp, r0
	b	.L1
.L17:
	ldr	r2, [sp, #60]
	mov	r1, r0
	str	r2, [sp]
	mov	r0, r9
	ldr	r2, [sp, #36]
	ldr	r3, [sp, #48]
	bl	build_range_check
	subs	r4, r0, #0
	ldrne	r2, [sp, #40]
	bne	.L20
	b	.L12
.L62:
	bl	__stack_chk_fail
.L64:
	ldr	r3, .L66+36
	ldr	r0, [sp, #28]
	ldr	r1, [r3]
	bl	fold_overflow_warning
	b	.L21
.L67:
	.align	2
.L66:
	.word	TRUTH_ORIF_EXPR
	.word	.LC1
	.word	TRUTH_OR_EXPR
	.word	.LC0
	.word	LOGICAL_OP_NON_SHORT_CIRCUIT
	.word	TRUTH_ANDIF_EXPR
	.word	lang_hooks
	.word	TRUTH_AND_EXPR
	.word	integer_zero_node
	.word	WARN_STRICT_OVERFLOW_COMPARISON
	.size	fold_range_test, .-fold_range_test
	.comm	lang_hooks,4,4
	.comm	integer_zero_node,4,4
	.comm	WARN_STRICT_OVERFLOW_COMPARISON,4,4
	.comm	TRUTH_OR_EXPR,4,4
	.comm	TRUTH_ORIF_EXPR,4,4
	.comm	TRUTH_AND_EXPR,4,4
	.comm	TRUTH_ANDIF_EXPR,4,4
	.comm	LOGICAL_OP_NON_SHORT_CIRCUIT,4,4
	.ident	"GCC: (Ubuntu 9.4.0-1ubuntu1~20.04.2) 9.4.0"
	.section	.note.GNU-stack,"",%progbits
