	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	4, 0x90                         ## -- Begin function fold_range_test
_fold_range_test:                       ## @fold_range_test
	.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	$104, %rsp
	.cfi_offset %rbx, -56
	.cfi_offset %r12, -48
	.cfi_offset %r13, -40
	.cfi_offset %r14, -32
	.cfi_offset %r15, -24
	movq	_TRUTH_ORIF_EXPR@GOTPCREL(%rip), %rax
	cmpl	%edi, (%rax)
	sete	%al
	movq	_TRUTH_OR_EXPR@GOTPCREL(%rip), %rbx
	movl	%edi, -52(%rbp)                 ## 4-byte Spill
	cmpl	%edi, (%rbx)
	movq	%rcx, %rbx
	movq	%rdx, %rdi
	movq	%rsi, -64(%rbp)                 ## 8-byte Spill
	sete	%r13b
	orb	%al, %r13b
	movl	$0, -56(%rbp)
	leaq	-48(%rbp), %rsi
	leaq	-104(%rbp), %rdx
	leaq	-88(%rbp), %rcx
	leaq	-56(%rbp), %r14
	movq	%rdi, -120(%rbp)                ## 8-byte Spill
	movq	%r14, %r8
	callq	_make_range
	movq	%rax, %r15
	leaq	-44(%rbp), %rsi
	leaq	-96(%rbp), %rdx
	leaq	-80(%rbp), %rcx
	movq	%rbx, -128(%rbp)                ## 8-byte Spill
	movq	%rbx, %rdi
	movq	%r14, %r8
	callq	_make_range
	movq	%rax, %r14
	leaq	L_.str(%rip), %rdi
	callq	_G_
	movq	%rax, %rbx
	cmpb	$1, %r13b
	jne	LBB0_2
## %bb.1:
	xorl	%eax, %eax
	cmpl	$0, -48(%rbp)
	sete	%al
	movl	%eax, -48(%rbp)
	xorl	%eax, %eax
	cmpl	$0, -44(%rbp)
	sete	%al
	movl	%eax, -44(%rbp)
LBB0_2:
	testq	%r15, %r15
	je	LBB0_5
## %bb.3:
	testq	%r14, %r14
	je	LBB0_5
## %bb.4:
	movq	%r15, %rdi
	movq	%r14, %rsi
	xorl	%edx, %edx
	callq	_operand_equal_p
	testq	%rax, %rax
	je	LBB0_13
LBB0_5:
	movl	-48(%rbp), %ecx
	movq	-104(%rbp), %r8
	movq	-88(%rbp), %r9
	movl	-44(%rbp), %eax
	subq	$8, %rsp
	leaq	-68(%rbp), %rdi
	leaq	-144(%rbp), %rsi
	leaq	-136(%rbp), %rdx
	pushq	-80(%rbp)
	pushq	-96(%rbp)
	pushq	%rax
	callq	_merge_ranges
	addq	$32, %rsp
	testq	%rax, %rax
	je	LBB0_13
## %bb.6:
	movq	%r14, %rsi
	testq	%r14, %r14
	jne	LBB0_8
## %bb.7:
	movq	_integer_zero_node@GOTPCREL(%rip), %rax
	movq	(%rax), %rsi
LBB0_8:
	testq	%r15, %r15
	cmovneq	%r15, %rsi
	movl	-68(%rbp), %edx
	movq	-144(%rbp), %rcx
	movq	-136(%rbp), %r8
	movq	-64(%rbp), %rdi                 ## 8-byte Reload
	callq	_build_range_check
	testq	%rax, %rax
	je	LBB0_13
## %bb.9:
	movq	%rax, %r12
	cmpl	$0, -56(%rbp)
	je	LBB0_11
## %bb.10:
	movq	_WARN_STRICT_OVERFLOW_COMPARISON@GOTPCREL(%rip), %rax
	movl	(%rax), %esi
	movq	%rbx, %rdi
	callq	_fold_overflow_warning
LBB0_11:
	testb	%r13b, %r13b
	je	LBB0_26
## %bb.12:
	movq	%r12, %rdi
	callq	_invert_truthvalue
	jmp	LBB0_25
LBB0_13:
	movq	_LOGICAL_OP_NON_SHORT_CIRCUIT@GOTPCREL(%rip), %rax
	xorl	%r12d, %r12d
	cmpq	$0, (%rax)
	je	LBB0_26
## %bb.14:
	testq	%r15, %r15
	je	LBB0_26
## %bb.15:
	testq	%r14, %r14
	je	LBB0_26
## %bb.16:
	movq	%rbx, -112(%rbp)                ## 8-byte Spill
	movq	_TRUTH_ANDIF_EXPR@GOTPCREL(%rip), %rbx
	movl	-52(%rbp), %eax                 ## 4-byte Reload
	cmpl	%eax, (%rbx)
	je	LBB0_19
## %bb.17:
	movq	_TRUTH_ORIF_EXPR@GOTPCREL(%rip), %rcx
	cmpl	%eax, (%rcx)
	je	LBB0_19
LBB0_18:
	xorl	%r12d, %r12d
	jmp	LBB0_26
LBB0_19:
	xorl	%r12d, %r12d
	movq	%r15, %rdi
	movq	%r14, %rsi
	xorl	%edx, %edx
	callq	_operand_equal_p
	testq	%rax, %rax
	je	LBB0_26
## %bb.20:
	movq	%r15, %rdi
	callq	_simple_operand_p
	testq	%rax, %rax
	je	LBB0_27
## %bb.21:
	movl	-52(%rbp), %eax                 ## 4-byte Reload
	cmpl	%eax, (%rbx)
	movq	_TRUTH_OR_EXPR@GOTPCREL(%rip), %rax
	jne	LBB0_23
## %bb.22:
	movq	_TRUTH_AND_EXPR@GOTPCREL(%rip), %rax
LBB0_23:
	movl	(%rax), %edi
	movq	-64(%rbp), %rsi                 ## 8-byte Reload
	movq	-120(%rbp), %rdx                ## 8-byte Reload
	movq	-128(%rbp), %rcx                ## 8-byte Reload
LBB0_24:
	callq	_build2
LBB0_25:
	movq	%rax, %r12
LBB0_26:
	movq	%r12, %rax
	addq	$104, %rsp
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	retq
LBB0_27:
	movq	_lang_hooks@GOTPCREL(%rip), %rcx
	xorl	%r12d, %r12d
	xorl	%eax, %eax
	callq	*(%rcx)
	testq	%rax, %rax
	jne	LBB0_26
## %bb.28:
	movq	%r15, %rdi
	callq	_CONTAINS_PLACEHOLDER_P
	testl	%eax, %eax
	jne	LBB0_18
## %bb.30:
	movq	%r15, %rdi
	callq	_save_expr
	movq	%rax, %r15
	movl	-48(%rbp), %eax
	xorl	%edx, %edx
	testl	%eax, %eax
	sete	%dl
	testb	%r13b, %r13b
	cmovel	%eax, %edx
	movq	-104(%rbp), %rcx
	movq	-88(%rbp), %r8
	movq	-64(%rbp), %r12                 ## 8-byte Reload
	movq	%r12, %rdi
	movq	%r15, %rsi
	callq	_build_range_check
	testq	%rax, %rax
	je	LBB0_18
## %bb.31:
	movq	%rax, %r14
	movl	-44(%rbp), %eax
	xorl	%edx, %edx
	testl	%eax, %eax
	sete	%dl
	testb	%r13b, %r13b
	cmovel	%eax, %edx
	movq	-96(%rbp), %rcx
	movq	-80(%rbp), %r8
	movq	%r12, %rdi
	movq	%r15, %rsi
	callq	_build_range_check
	testq	%rax, %rax
	je	LBB0_18
## %bb.32:
	movq	%rax, %r15
	cmpl	$0, -56(%rbp)
	je	LBB0_34
## %bb.33:
	movq	_WARN_STRICT_OVERFLOW_COMPARISON@GOTPCREL(%rip), %rax
	movl	(%rax), %esi
	movq	-112(%rbp), %rdi                ## 8-byte Reload
	callq	_fold_overflow_warning
LBB0_34:
	movl	-52(%rbp), %eax                 ## 4-byte Reload
	cmpl	%eax, (%rbx)
	jne	LBB0_38
## %bb.35:
	movq	_TRUTH_AND_EXPR@GOTPCREL(%rip), %rax
	jmp	LBB0_39
LBB0_38:
	movq	_TRUTH_OR_EXPR@GOTPCREL(%rip), %rax
LBB0_39:
	movl	(%rax), %edi
	movq	%r12, %rsi
	movq	%r14, %rdx
	movq	%r15, %rcx
	jmp	LBB0_24
	.cfi_endproc
                                        ## -- End function
	.comm	_TRUTH_ORIF_EXPR,4,2            ## @TRUTH_ORIF_EXPR
	.comm	_TRUTH_OR_EXPR,4,2              ## @TRUTH_OR_EXPR
	.section	__TEXT,__cstring,cstring_literals
L_.str:                                 ## @.str
	.asciz	"assuming signed overflow does not occur when simplifying range test"

	.comm	_integer_zero_node,8,3          ## @integer_zero_node
	.comm	_WARN_STRICT_OVERFLOW_COMPARISON,4,2 ## @WARN_STRICT_OVERFLOW_COMPARISON
	.comm	_LOGICAL_OP_NON_SHORT_CIRCUIT,8,3 ## @LOGICAL_OP_NON_SHORT_CIRCUIT
	.comm	_TRUTH_ANDIF_EXPR,4,2           ## @TRUTH_ANDIF_EXPR
	.comm	_TRUTH_AND_EXPR,4,2             ## @TRUTH_AND_EXPR
	.comm	_lang_hooks,8,3                 ## @lang_hooks
	.no_dead_strip	_fold_range_test
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	2                               ; -- Begin function fold_range_test
_fold_range_test:                       ; @fold_range_test
	.cfi_startproc
; %bb.0:
	sub	sp, sp, #176
	.cfi_def_cfa_offset 176
	stp	x28, x27, [sp, #80]             ; 16-byte Folded Spill
	stp	x26, x25, [sp, #96]             ; 16-byte Folded Spill
	stp	x24, x23, [sp, #112]            ; 16-byte Folded Spill
	stp	x22, x21, [sp, #128]            ; 16-byte Folded Spill
	stp	x20, x19, [sp, #144]            ; 16-byte Folded Spill
	stp	x29, x30, [sp, #160]            ; 16-byte Folded Spill
	add	x29, sp, #160
	.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	x22, x3
	mov	x23, x2
	mov	x19, x1
	mov	x20, x0
Lloh0:
	adrp	x27, _TRUTH_ORIF_EXPR@GOTPAGE
Lloh1:
	ldr	x27, [x27, _TRUTH_ORIF_EXPR@GOTPAGEOFF]
	ldr	w8, [x27]
	cmp	w8, w0
Lloh2:
	adrp	x8, _TRUTH_OR_EXPR@GOTPAGE
Lloh3:
	ldr	x8, [x8, _TRUTH_OR_EXPR@GOTPAGEOFF]
Lloh4:
	ldr	w8, [x8]
	ccmp	w8, w0, #4, ne
	cset	w28, eq
	str	wzr, [sp, #12]
	add	x1, sp, #76
	add	x2, sp, #56
	add	x3, sp, #32
	add	x4, sp, #12
	mov	x0, x23
	bl	_make_range
	mov	x24, x0
	add	x1, sp, #72
	add	x2, sp, #48
	add	x3, sp, #24
	add	x4, sp, #12
	mov	x0, x22
	bl	_make_range
	mov	x25, x0
Lloh5:
	adrp	x0, l_.str@PAGE
Lloh6:
	add	x0, x0, l_.str@PAGEOFF
	bl	_G_
	mov	x21, x0
	cmp	w28, #1
	b.ne	LBB0_2
; %bb.1:
	ldr	w8, [sp, #76]
	cmp	w8, #0
	cset	w9, eq
	ldr	w8, [sp, #72]
	cmp	w8, #0
	cset	w8, eq
	stp	w8, w9, [sp, #72]
LBB0_2:
	cbz	x24, LBB0_5
; %bb.3:
	cbz	x25, LBB0_5
; %bb.4:
	mov	x0, x24
	mov	x1, x25
	mov	w2, #0
	bl	_operand_equal_p
	cbz	x0, LBB0_11
LBB0_5:
	ldp	w6, w3, [sp, #72]
	ldp	x7, x4, [sp, #48]
	ldp	x8, x5, [sp, #24]
	str	x8, [sp]
	add	x0, sp, #68
	add	x1, sp, #40
	add	x2, sp, #16
	bl	_merge_ranges
	cbz	x0, LBB0_11
; %bb.6:
Lloh7:
	adrp	x8, _integer_zero_node@GOTPAGE
Lloh8:
	ldr	x8, [x8, _integer_zero_node@GOTPAGEOFF]
Lloh9:
	ldr	x8, [x8]
	cmp	x25, #0
	csel	x8, x8, x25, eq
	cmp	x24, #0
	csel	x1, x8, x24, eq
	ldr	w2, [sp, #68]
	ldr	x3, [sp, #40]
	ldr	x4, [sp, #16]
	mov	x0, x19
	bl	_build_range_check
	cbz	x0, LBB0_11
; %bb.7:
	mov	x26, x0
	ldr	w8, [sp, #12]
	cbz	w8, LBB0_9
; %bb.8:
Lloh10:
	adrp	x8, _WARN_STRICT_OVERFLOW_COMPARISON@GOTPAGE
Lloh11:
	ldr	x8, [x8, _WARN_STRICT_OVERFLOW_COMPARISON@GOTPAGEOFF]
Lloh12:
	ldr	w1, [x8]
	mov	x0, x21
	bl	_fold_overflow_warning
LBB0_9:
	cbz	w28, LBB0_22
; %bb.10:
	mov	x0, x26
	bl	_invert_truthvalue
	b	LBB0_18
LBB0_11:
Lloh13:
	adrp	x8, _LOGICAL_OP_NON_SHORT_CIRCUIT@GOTPAGE
Lloh14:
	ldr	x8, [x8, _LOGICAL_OP_NON_SHORT_CIRCUIT@GOTPAGEOFF]
Lloh15:
	ldr	x8, [x8]
	cmp	x8, #0
	ccmp	x24, #0, #4, ne
	ccmp	x25, #0, #4, ne
	b.eq	LBB0_21
; %bb.12:
Lloh16:
	adrp	x26, _TRUTH_ANDIF_EXPR@GOTPAGE
Lloh17:
	ldr	x26, [x26, _TRUTH_ANDIF_EXPR@GOTPAGEOFF]
	ldr	w8, [x26]
	cmp	w8, w20
	b.eq	LBB0_14
; %bb.13:
	ldr	w8, [x27]
	cmp	w8, w20
	b.ne	LBB0_21
LBB0_14:
	mov	x0, x24
	mov	x1, x25
	mov	w2, #0
	bl	_operand_equal_p
	cbz	x0, LBB0_21
; %bb.15:
	mov	x0, x24
	bl	_simple_operand_p
	cbz	x0, LBB0_19
; %bb.16:
	ldr	w8, [x26]
Lloh18:
	adrp	x9, _TRUTH_AND_EXPR@GOTPAGE
Lloh19:
	ldr	x9, [x9, _TRUTH_AND_EXPR@GOTPAGEOFF]
	cmp	w8, w20
Lloh20:
	adrp	x8, _TRUTH_OR_EXPR@GOTPAGE
Lloh21:
	ldr	x8, [x8, _TRUTH_OR_EXPR@GOTPAGEOFF]
	csel	x8, x9, x8, eq
	ldr	w0, [x8]
	mov	x1, x19
	mov	x2, x23
	mov	x3, x22
LBB0_17:
	bl	_build2
LBB0_18:
	mov	x26, x0
	b	LBB0_22
LBB0_19:
Lloh22:
	adrp	x8, _lang_hooks@GOTPAGE
Lloh23:
	ldr	x8, [x8, _lang_hooks@GOTPAGEOFF]
Lloh24:
	ldr	x8, [x8]
	blr	x8
	cbnz	x0, LBB0_21
; %bb.20:
	mov	x0, x24
	bl	_CONTAINS_PLACEHOLDER_P
	cbz	w0, LBB0_23
LBB0_21:
	mov	x26, #0
LBB0_22:
	mov	x0, x26
	ldp	x29, x30, [sp, #160]            ; 16-byte Folded Reload
	ldp	x20, x19, [sp, #144]            ; 16-byte Folded Reload
	ldp	x22, x21, [sp, #128]            ; 16-byte Folded Reload
	ldp	x24, x23, [sp, #112]            ; 16-byte Folded Reload
	ldp	x26, x25, [sp, #96]             ; 16-byte Folded Reload
	ldp	x28, x27, [sp, #80]             ; 16-byte Folded Reload
	add	sp, sp, #176
	ret
LBB0_23:
	mov	x0, x24
	bl	_save_expr
	mov	x23, x0
	ldr	w8, [sp, #76]
	cmp	w8, #0
	cset	w9, eq
	cmp	w28, #0
	csel	w2, w9, w8, ne
	ldr	x3, [sp, #56]
	ldr	x4, [sp, #32]
	mov	x0, x19
	mov	x1, x23
	bl	_build_range_check
	cbz	x0, LBB0_21
; %bb.24:
	mov	x22, x0
	ldr	w8, [sp, #72]
	cmp	w8, #0
	cset	w9, eq
	cmp	w28, #0
	csel	w2, w9, w8, ne
	ldr	x3, [sp, #48]
	ldr	x4, [sp, #24]
	mov	x0, x19
	mov	x1, x23
	bl	_build_range_check
	cbz	x0, LBB0_21
; %bb.25:
	mov	x23, x0
	ldr	w8, [sp, #12]
	cbz	w8, LBB0_27
; %bb.26:
Lloh25:
	adrp	x8, _WARN_STRICT_OVERFLOW_COMPARISON@GOTPAGE
Lloh26:
	ldr	x8, [x8, _WARN_STRICT_OVERFLOW_COMPARISON@GOTPAGEOFF]
Lloh27:
	ldr	w1, [x8]
	mov	x0, x21
	bl	_fold_overflow_warning
LBB0_27:
	ldr	w8, [x26]
Lloh28:
	adrp	x9, _TRUTH_AND_EXPR@GOTPAGE
Lloh29:
	ldr	x9, [x9, _TRUTH_AND_EXPR@GOTPAGEOFF]
	cmp	w8, w20
Lloh30:
	adrp	x8, _TRUTH_OR_EXPR@GOTPAGE
Lloh31:
	ldr	x8, [x8, _TRUTH_OR_EXPR@GOTPAGEOFF]
	csel	x8, x9, x8, eq
	ldr	w0, [x8]
	mov	x1, x19
	mov	x2, x22
	mov	x3, x23
	b	LBB0_17
	.loh AdrpAdd	Lloh5, Lloh6
	.loh AdrpLdrGotLdr	Lloh2, Lloh3, Lloh4
	.loh AdrpLdrGot	Lloh0, Lloh1
	.loh AdrpLdrGotLdr	Lloh7, Lloh8, Lloh9
	.loh AdrpLdrGotLdr	Lloh10, Lloh11, Lloh12
	.loh AdrpLdrGotLdr	Lloh13, Lloh14, Lloh15
	.loh AdrpLdrGot	Lloh16, Lloh17
	.loh AdrpLdrGot	Lloh20, Lloh21
	.loh AdrpLdrGot	Lloh18, Lloh19
	.loh AdrpLdrGotLdr	Lloh22, Lloh23, Lloh24
	.loh AdrpLdrGotLdr	Lloh25, Lloh26, Lloh27
	.loh AdrpLdrGot	Lloh30, Lloh31
	.loh AdrpLdrGot	Lloh28, Lloh29
	.cfi_endproc
                                        ; -- End function
	.comm	_TRUTH_ORIF_EXPR,4,2            ; @TRUTH_ORIF_EXPR
	.comm	_TRUTH_OR_EXPR,4,2              ; @TRUTH_OR_EXPR
	.section	__TEXT,__cstring,cstring_literals
l_.str:                                 ; @.str
	.asciz	"assuming signed overflow does not occur when simplifying range test"

	.comm	_integer_zero_node,8,3          ; @integer_zero_node
	.comm	_WARN_STRICT_OVERFLOW_COMPARISON,4,2 ; @WARN_STRICT_OVERFLOW_COMPARISON
	.comm	_LOGICAL_OP_NON_SHORT_CIRCUIT,8,3 ; @LOGICAL_OP_NON_SHORT_CIRCUIT
	.comm	_TRUTH_ANDIF_EXPR,4,2           ; @TRUTH_ANDIF_EXPR
	.comm	_TRUTH_AND_EXPR,4,2             ; @TRUTH_AND_EXPR
	.comm	_lang_hooks,8,3                 ; @lang_hooks
	.no_dead_strip	_fold_range_test
.subsections_via_symbols
