	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	4, 0x90                         ## -- Begin function extract_range_from_expr
_extract_range_from_expr:               ## @extract_range_from_expr
	.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
	movl	%esi, %edi
	callq	_TREE_CODE
	movl	%eax, %ebx
	movq	_ASSERT_EXPR@GOTPCREL(%rip), %rax
	cmpl	(%rax), %ebx
	jne	LBB0_2
## %bb.1:
	movq	%r14, %rdi
	movl	%r15d, %esi
	callq	_extract_range_from_assert
	jmp	LBB0_18
LBB0_2:
	movq	_SSA_NAME@GOTPCREL(%rip), %rax
	cmpl	(%rax), %ebx
	jne	LBB0_4
## %bb.3:
	movq	%r14, %rdi
	movl	%r15d, %esi
	callq	_extract_range_from_ssa_name
	jmp	LBB0_18
LBB0_4:
	movl	%ebx, %edi
	callq	_TREE_CODE_CLASS
	movq	_tcc_binary@GOTPCREL(%rip), %rcx
	cmpq	(%rcx), %rax
	je	LBB0_10
## %bb.5:
	movq	_TRUTH_ANDIF_EXPR@GOTPCREL(%rip), %rax
	cmpl	(%rax), %ebx
	je	LBB0_10
## %bb.6:
	movq	_TRUTH_ORIF_EXPR@GOTPCREL(%rip), %rax
	cmpl	(%rax), %ebx
	je	LBB0_10
## %bb.7:
	movq	_TRUTH_AND_EXPR@GOTPCREL(%rip), %rax
	cmpl	(%rax), %ebx
	je	LBB0_10
## %bb.8:
	movq	_TRUTH_OR_EXPR@GOTPCREL(%rip), %rax
	cmpl	(%rax), %ebx
	je	LBB0_10
## %bb.9:
	movq	_TRUTH_XOR_EXPR@GOTPCREL(%rip), %rax
	cmpl	(%rax), %ebx
	je	LBB0_10
## %bb.11:
	movl	%ebx, %edi
	callq	_TREE_CODE_CLASS
	movq	_tcc_unary@GOTPCREL(%rip), %rcx
	cmpq	(%rcx), %rax
	jne	LBB0_13
## %bb.12:
	movq	%r14, %rdi
	movl	%r15d, %esi
	callq	_extract_range_from_unary_expr
	jmp	LBB0_18
LBB0_10:
	movq	%r14, %rdi
	movl	%r15d, %esi
	callq	_extract_range_from_binary_expr
LBB0_18:
	movq	(%r14), %rax
	movq	_VR_VARYING@GOTPCREL(%rip), %rcx
	cmpq	(%rcx), %rax
	jne	LBB0_27
## %bb.19:
	movl	$0, -28(%rbp)
	movl	%r15d, %edi
	callq	_TREE_TYPE
	movl	%eax, %edi
	callq	_INTEGRAL_TYPE_P
	testq	%rax, %rax
	je	LBB0_24
## %bb.20:
	leaq	-28(%rbp), %rsi
	movl	%r15d, %edi
	callq	_vrp_expr_computes_nonnegative
	testq	%rax, %rax
	je	LBB0_24
## %bb.21:
	movl	%r15d, %edi
	callq	_TREE_TYPE
	movl	%eax, %ebx
	movl	$1, %edx
	cmpl	$0, -28(%rbp)
	jne	LBB0_23
## %bb.22:
	movl	%r15d, %edi
	callq	_is_overflow_infinity
	xorl	%edx, %edx
	testq	%rax, %rax
	setne	%dl
LBB0_23:
	movq	%r14, %rdi
	movl	%ebx, %esi
	callq	_set_value_range_to_nonnegative
	jmp	LBB0_27
LBB0_24:
	leaq	-28(%rbp), %rsi
	movl	%r15d, %edi
	callq	_vrp_expr_computes_nonzero
	testq	%rax, %rax
	je	LBB0_27
## %bb.25:
	cmpl	$0, -28(%rbp)
	jne	LBB0_27
## %bb.26:
	movl	%r15d, %edi
	callq	_TREE_TYPE
	movq	%r14, %rdi
	movl	%eax, %esi
	callq	_set_value_range_to_nonnull
LBB0_27:
	addq	$8, %rsp
	popq	%rbx
	popq	%r14
	popq	%r15
	popq	%rbp
	retq
LBB0_13:
	movl	%ebx, %edi
	callq	_TREE_CODE_CLASS
	movq	_tcc_comparison@GOTPCREL(%rip), %rcx
	cmpq	(%rcx), %rax
	jne	LBB0_15
## %bb.14:
	movq	%r14, %rdi
	movl	%r15d, %esi
	callq	_extract_range_from_comparison
	jmp	LBB0_18
LBB0_15:
	movl	%r15d, %edi
	callq	_is_gimple_min_invariant
	movq	%r14, %rdi
	testq	%rax, %rax
	je	LBB0_17
## %bb.16:
	movl	%r15d, %esi
	xorl	%edx, %edx
	callq	_set_value_range_to_value
	jmp	LBB0_18
LBB0_17:
	callq	_set_value_range_to_varying
	jmp	LBB0_18
	.cfi_endproc
                                        ## -- End function
	.comm	_ASSERT_EXPR,4,2                ## @ASSERT_EXPR
	.comm	_SSA_NAME,4,2                   ## @SSA_NAME
	.comm	_tcc_binary,8,3                 ## @tcc_binary
	.comm	_TRUTH_ANDIF_EXPR,4,2           ## @TRUTH_ANDIF_EXPR
	.comm	_TRUTH_ORIF_EXPR,4,2            ## @TRUTH_ORIF_EXPR
	.comm	_TRUTH_AND_EXPR,4,2             ## @TRUTH_AND_EXPR
	.comm	_TRUTH_OR_EXPR,4,2              ## @TRUTH_OR_EXPR
	.comm	_TRUTH_XOR_EXPR,4,2             ## @TRUTH_XOR_EXPR
	.comm	_tcc_unary,8,3                  ## @tcc_unary
	.comm	_tcc_comparison,8,3             ## @tcc_comparison
	.comm	_VR_VARYING,8,3                 ## @VR_VARYING
	.no_dead_strip	_extract_range_from_expr
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	2                               ; -- Begin function extract_range_from_expr
_extract_range_from_expr:               ; @extract_range_from_expr
	.cfi_startproc
; %bb.0:
	sub	sp, sp, #64
	.cfi_def_cfa_offset 64
	stp	x22, x21, [sp, #16]             ; 16-byte Folded Spill
	stp	x20, x19, [sp, #32]             ; 16-byte Folded Spill
	stp	x29, x30, [sp, #48]             ; 16-byte Folded Spill
	add	x29, sp, #48
	.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
	mov	x0, x1
	bl	_TREE_CODE
Lloh0:
	adrp	x8, _ASSERT_EXPR@GOTPAGE
Lloh1:
	ldr	x8, [x8, _ASSERT_EXPR@GOTPAGEOFF]
Lloh2:
	ldr	w8, [x8]
	cmp	w0, w8
	b.ne	LBB0_2
; %bb.1:
	mov	x0, x19
	mov	x1, x20
	bl	_extract_range_from_assert
	b	LBB0_13
LBB0_2:
	mov	x21, x0
Lloh3:
	adrp	x8, _SSA_NAME@GOTPAGE
Lloh4:
	ldr	x8, [x8, _SSA_NAME@GOTPAGEOFF]
Lloh5:
	ldr	w8, [x8]
	cmp	w0, w8
	b.ne	LBB0_4
; %bb.3:
	mov	x0, x19
	mov	x1, x20
	bl	_extract_range_from_ssa_name
	b	LBB0_13
LBB0_4:
	mov	x0, x21
	bl	_TREE_CODE_CLASS
Lloh6:
	adrp	x8, _tcc_binary@GOTPAGE
Lloh7:
	ldr	x8, [x8, _tcc_binary@GOTPAGEOFF]
Lloh8:
	ldr	x8, [x8]
Lloh9:
	adrp	x9, _TRUTH_ANDIF_EXPR@GOTPAGE
Lloh10:
	ldr	x9, [x9, _TRUTH_ANDIF_EXPR@GOTPAGEOFF]
Lloh11:
	ldr	w9, [x9]
Lloh12:
	adrp	x10, _TRUTH_ORIF_EXPR@GOTPAGE
Lloh13:
	ldr	x10, [x10, _TRUTH_ORIF_EXPR@GOTPAGEOFF]
Lloh14:
	ldr	w10, [x10]
Lloh15:
	adrp	x11, _TRUTH_AND_EXPR@GOTPAGE
Lloh16:
	ldr	x11, [x11, _TRUTH_AND_EXPR@GOTPAGEOFF]
Lloh17:
	ldr	w11, [x11]
Lloh18:
	adrp	x12, _TRUTH_OR_EXPR@GOTPAGE
Lloh19:
	ldr	x12, [x12, _TRUTH_OR_EXPR@GOTPAGEOFF]
Lloh20:
	ldr	w12, [x12]
Lloh21:
	adrp	x13, _TRUTH_XOR_EXPR@GOTPAGE
Lloh22:
	ldr	x13, [x13, _TRUTH_XOR_EXPR@GOTPAGEOFF]
Lloh23:
	ldr	w13, [x13]
	cmp	x0, x8
	ccmp	w21, w9, #4, ne
	ccmp	w21, w10, #4, ne
	ccmp	w21, w11, #4, ne
	ccmp	w21, w12, #4, ne
	ccmp	w21, w13, #4, ne
	b.ne	LBB0_6
; %bb.5:
	mov	x0, x19
	mov	x1, x20
	bl	_extract_range_from_binary_expr
	b	LBB0_13
LBB0_6:
	mov	x0, x21
	bl	_TREE_CODE_CLASS
Lloh24:
	adrp	x8, _tcc_unary@GOTPAGE
Lloh25:
	ldr	x8, [x8, _tcc_unary@GOTPAGEOFF]
Lloh26:
	ldr	x8, [x8]
	cmp	x0, x8
	b.ne	LBB0_8
; %bb.7:
	mov	x0, x19
	mov	x1, x20
	bl	_extract_range_from_unary_expr
	b	LBB0_13
LBB0_8:
	mov	x0, x21
	bl	_TREE_CODE_CLASS
Lloh27:
	adrp	x8, _tcc_comparison@GOTPAGE
Lloh28:
	ldr	x8, [x8, _tcc_comparison@GOTPAGEOFF]
Lloh29:
	ldr	x8, [x8]
	cmp	x0, x8
	b.ne	LBB0_10
; %bb.9:
	mov	x0, x19
	mov	x1, x20
	bl	_extract_range_from_comparison
	b	LBB0_13
LBB0_10:
	mov	x0, x20
	bl	_is_gimple_min_invariant
	cbz	x0, LBB0_12
; %bb.11:
	mov	x0, x19
	mov	x1, x20
	mov	x2, #0
	bl	_set_value_range_to_value
	b	LBB0_13
LBB0_12:
	mov	x0, x19
	bl	_set_value_range_to_varying
LBB0_13:
	ldr	x8, [x19]
Lloh30:
	adrp	x9, _VR_VARYING@GOTPAGE
Lloh31:
	ldr	x9, [x9, _VR_VARYING@GOTPAGEOFF]
Lloh32:
	ldr	x9, [x9]
	cmp	x8, x9
	b.ne	LBB0_23
; %bb.14:
	str	wzr, [sp, #12]
	mov	x0, x20
	bl	_TREE_TYPE
	bl	_INTEGRAL_TYPE_P
	cbz	x0, LBB0_18
; %bb.15:
	add	x1, sp, #12
	mov	x0, x20
	bl	_vrp_expr_computes_nonnegative
	cbz	x0, LBB0_18
; %bb.16:
	mov	x0, x20
	bl	_TREE_TYPE
	mov	x21, x0
	ldr	w8, [sp, #12]
	cbz	w8, LBB0_21
; %bb.17:
	mov	w2, #1
	b	LBB0_22
LBB0_18:
	add	x1, sp, #12
	mov	x0, x20
	bl	_vrp_expr_computes_nonzero
	cbz	x0, LBB0_23
; %bb.19:
	ldr	w8, [sp, #12]
	cbnz	w8, LBB0_23
; %bb.20:
	mov	x0, x20
	bl	_TREE_TYPE
	mov	x1, x0
	mov	x0, x19
	bl	_set_value_range_to_nonnull
	b	LBB0_23
LBB0_21:
	mov	x0, x20
	bl	_is_overflow_infinity
	cmp	x0, #0
	cset	w2, ne
LBB0_22:
	mov	x0, x19
	mov	x1, x21
	bl	_set_value_range_to_nonnegative
LBB0_23:
	ldp	x29, x30, [sp, #48]             ; 16-byte Folded Reload
	ldp	x20, x19, [sp, #32]             ; 16-byte Folded Reload
	ldp	x22, x21, [sp, #16]             ; 16-byte Folded Reload
	add	sp, sp, #64
	ret
	.loh AdrpLdrGotLdr	Lloh0, Lloh1, Lloh2
	.loh AdrpLdrGotLdr	Lloh3, Lloh4, Lloh5
	.loh AdrpLdrGotLdr	Lloh21, Lloh22, Lloh23
	.loh AdrpLdrGotLdr	Lloh18, Lloh19, Lloh20
	.loh AdrpLdrGotLdr	Lloh15, Lloh16, Lloh17
	.loh AdrpLdrGotLdr	Lloh12, Lloh13, Lloh14
	.loh AdrpLdrGotLdr	Lloh9, Lloh10, Lloh11
	.loh AdrpLdrGotLdr	Lloh6, Lloh7, Lloh8
	.loh AdrpLdrGotLdr	Lloh24, Lloh25, Lloh26
	.loh AdrpLdrGotLdr	Lloh27, Lloh28, Lloh29
	.loh AdrpLdrGotLdr	Lloh30, Lloh31, Lloh32
	.cfi_endproc
                                        ; -- End function
	.comm	_ASSERT_EXPR,4,2                ; @ASSERT_EXPR
	.comm	_SSA_NAME,4,2                   ; @SSA_NAME
	.comm	_tcc_binary,8,3                 ; @tcc_binary
	.comm	_TRUTH_ANDIF_EXPR,4,2           ; @TRUTH_ANDIF_EXPR
	.comm	_TRUTH_ORIF_EXPR,4,2            ; @TRUTH_ORIF_EXPR
	.comm	_TRUTH_AND_EXPR,4,2             ; @TRUTH_AND_EXPR
	.comm	_TRUTH_OR_EXPR,4,2              ; @TRUTH_OR_EXPR
	.comm	_TRUTH_XOR_EXPR,4,2             ; @TRUTH_XOR_EXPR
	.comm	_tcc_unary,8,3                  ; @tcc_unary
	.comm	_tcc_comparison,8,3             ; @tcc_comparison
	.comm	_VR_VARYING,8,3                 ; @VR_VARYING
	.no_dead_strip	_extract_range_from_expr
.subsections_via_symbols
