	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	4, 0x90                         ## -- Begin function adjust_range_with_scev
_adjust_range_with_scev:                ## @adjust_range_with_scev
	.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	$24, %rsp
	.cfi_offset %rbx, -56
	.cfi_offset %r12, -48
	.cfi_offset %r13, -40
	.cfi_offset %r14, -32
	.cfi_offset %r15, -24
	movq	%rcx, %r13
	movq	%rdi, -64(%rbp)                 ## 8-byte Spill
	movq	(%rdi), %rax
	movq	_VR_ANTI_RANGE@GOTPCREL(%rip), %rcx
	cmpq	(%rcx), %rax
	je	LBB0_31
## %bb.1:
	movq	%rdx, %r12
	movq	%rsi, %rbx
	movq	%rsi, %rdi
	movq	%r13, %rsi
	callq	_analyze_scalar_evolution
	movq	%rbx, %rdi
	movl	%eax, %esi
	callq	_instantiate_parameters
	movq	%rax, %r15
	movq	%rax, %rdi
	callq	_TREE_CODE
	movq	_POLYNOMIAL_CHREC@GOTPCREL(%rip), %rcx
	cmpq	(%rcx), %rax
	jne	LBB0_31
## %bb.2:
	movl	(%rbx), %esi
	movq	%r15, %rdi
	callq	_initial_condition_in_loop_num
	movq	%rax, -48(%rbp)                 ## 8-byte Spill
	movl	(%rbx), %esi
	movq	%r15, %rdi
	callq	_evolution_part_in_loop_num
	movq	%rax, %r14
	movq	_NULL_TREE@GOTPCREL(%rip), %rax
	cmpq	(%rax), %r14
	je	LBB0_31
## %bb.3:
	movq	%r14, %rdi
	callq	_is_gimple_min_invariant
	testq	%rax, %rax
	je	LBB0_31
## %bb.4:
	movq	-48(%rbp), %rdi                 ## 8-byte Reload
	callq	_valid_value_p
	testl	%eax, %eax
	je	LBB0_31
## %bb.5:
	movq	%r15, %rdi
	callq	_scev_direction
	movq	_EV_DIR_UNKNOWN@GOTPCREL(%rip), %rcx
	movl	%eax, -52(%rbp)                 ## 4-byte Spill
	cmpl	(%rcx), %eax
	je	LBB0_31
## %bb.6:
	movq	_current_loops@GOTPCREL(%rip), %rax
	movq	(%rax), %rax
	movq	(%rax), %rbx
	movq	%r15, %rdi
	callq	_CHREC_VARIABLE
	movl	(%rbx,%rax,4), %ecx
	movq	-48(%rbp), %rdi                 ## 8-byte Reload
	movq	%r14, %rsi
	movq	%r12, %rdx
	movl	$1, %r8d
	callq	_scev_probably_wraps_p
	testq	%rax, %rax
	je	LBB0_7
LBB0_31:
	addq	$24, %rsp
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	retq
LBB0_7:
	movq	%r13, %rdi
	callq	_TREE_TYPE
	movq	%rax, %rbx
	movq	%rax, %rdi
	callq	_POINTER_TYPE_P
	testq	%rax, %rax
	je	LBB0_9
## %bb.8:
	movq	-48(%rbp), %rdi                 ## 8-byte Reload
	callq	_is_gimple_min_invariant
	testq	%rax, %rax
	jne	LBB0_31
LBB0_9:
	movq	%rbx, %rdi
	callq	_POINTER_TYPE_P
	testq	%rax, %rax
	je	LBB0_10
LBB0_11:
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_lower_bound_in_type
	jmp	LBB0_13
LBB0_10:
	movq	%rbx, %rdi
	callq	_TYPE_MIN_VALUE
	testq	%rax, %rax
	je	LBB0_11
## %bb.12:
	movq	%rbx, %rdi
	callq	_TYPE_MIN_VALUE
LBB0_13:
	movq	%rax, %r12
	movq	%rbx, %rdi
	callq	_POINTER_TYPE_P
	testq	%rax, %rax
	je	LBB0_14
LBB0_15:
	movq	%rbx, %rdi
	movq	%rbx, %rsi
	callq	_upper_bound_in_type
	jmp	LBB0_17
LBB0_14:
	movq	%rbx, %rdi
	callq	_TYPE_MAX_VALUE
	testq	%rax, %rax
	je	LBB0_15
## %bb.16:
	movq	%rbx, %rdi
	callq	_TYPE_MAX_VALUE
LBB0_17:
	movq	%rax, %rbx
	movq	-64(%rbp), %rax                 ## 8-byte Reload
	movq	(%rax), %rax
	movq	_VR_VARYING@GOTPCREL(%rip), %rcx
	cmpq	(%rcx), %rax
	je	LBB0_19
## %bb.18:
	movq	_VR_UNDEFINED@GOTPCREL(%rip), %rcx
	cmpq	(%rcx), %rax
	je	LBB0_19
## %bb.21:
	movq	_VR_RANGE@GOTPCREL(%rip), %r14
	cmpq	(%r14), %rax
	jne	LBB0_31
## %bb.22:
	movq	-64(%rbp), %rax                 ## 8-byte Reload
	movq	8(%rax), %r15
	movq	16(%rax), %r13
	movq	_EV_DIR_DECREASES@GOTPCREL(%rip), %rax
	movl	-52(%rbp), %ecx                 ## 4-byte Reload
	cmpl	(%rax), %ecx
	jne	LBB0_26
## %bb.23:
	movq	-48(%rbp), %rdi                 ## 8-byte Reload
	movq	%r13, %rsi
	callq	_compare_values
	cmpl	$-1, %eax
	jne	LBB0_25
## %bb.24:
	movq	%r15, %rdi
	movq	-48(%rbp), %r13                 ## 8-byte Reload
	movq	%r13, %rsi
	callq	_compare_values
	cmpl	$1, %eax
	je	LBB0_31
LBB0_25:
	movq	%r15, %rdi
	callq	_is_negative_overflow_infinity
	testq	%rax, %rax
	cmoveq	%r15, %r12
	jmp	LBB0_29
LBB0_19:
	movq	_EV_DIR_DECREASES@GOTPCREL(%rip), %rax
	movl	-52(%rbp), %ecx                 ## 4-byte Reload
	cmpl	(%rax), %ecx
	movq	-48(%rbp), %rax                 ## 8-byte Reload
	cmovneq	%rax, %r12
	cmoveq	%rax, %rbx
	movq	%r12, %rdi
	movq	%rbx, %rsi
	callq	_compare_values
	cmpl	$1, %eax
	je	LBB0_31
## %bb.20:
	movq	_VR_RANGE@GOTPCREL(%rip), %rax
	movq	(%rax), %rsi
	movq	-64(%rbp), %rdi                 ## 8-byte Reload
	movl	24(%rdi), %r8d
	movq	%r12, %rdx
	movq	%rbx, %rcx
	jmp	LBB0_30
LBB0_26:
	movq	-48(%rbp), %rdi                 ## 8-byte Reload
	movq	%r15, %rsi
	callq	_compare_values
	cmpl	$1, %eax
	jne	LBB0_28
## %bb.27:
	movq	-48(%rbp), %r15                 ## 8-byte Reload
	movq	%r15, %rdi
	movq	%r13, %rsi
	callq	_compare_values
	cmpl	$1, %eax
	je	LBB0_31
LBB0_28:
	movq	%r13, %rdi
	callq	_is_positive_overflow_infinity
	testq	%rax, %rax
	cmovneq	%rbx, %r13
	movq	%r15, %r12
LBB0_29:
	movq	(%r14), %rsi
	movq	-64(%rbp), %rdi                 ## 8-byte Reload
	movl	24(%rdi), %r8d
	movq	%r12, %rdx
	movq	%r13, %rcx
LBB0_30:
	addq	$24, %rsp
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	jmp	_set_value_range                ## TAILCALL
	.cfi_endproc
                                        ## -- End function
	.comm	_VR_ANTI_RANGE,8,3              ## @VR_ANTI_RANGE
	.comm	_POLYNOMIAL_CHREC,8,3           ## @POLYNOMIAL_CHREC
	.comm	_NULL_TREE,8,3                  ## @NULL_TREE
	.comm	_EV_DIR_UNKNOWN,4,2             ## @EV_DIR_UNKNOWN
	.comm	_current_loops,8,3              ## @current_loops
	.comm	_VR_VARYING,8,3                 ## @VR_VARYING
	.comm	_VR_UNDEFINED,8,3               ## @VR_UNDEFINED
	.comm	_EV_DIR_DECREASES,4,2           ## @EV_DIR_DECREASES
	.comm	_VR_RANGE,8,3                   ## @VR_RANGE
	.no_dead_strip	_adjust_range_with_scev
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	2                               ; -- Begin function adjust_range_with_scev
_adjust_range_with_scev:                ; @adjust_range_with_scev
	.cfi_startproc
; %bb.0:
	stp	x26, x25, [sp, #-80]!           ; 16-byte Folded Spill
	.cfi_def_cfa_offset 80
	stp	x24, x23, [sp, #16]             ; 16-byte Folded Spill
	stp	x22, x21, [sp, #32]             ; 16-byte Folded Spill
	stp	x20, x19, [sp, #48]             ; 16-byte Folded Spill
	stp	x29, x30, [sp, #64]             ; 16-byte Folded Spill
	add	x29, sp, #64
	.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
	ldr	x8, [x0]
Lloh0:
	adrp	x9, _VR_ANTI_RANGE@GOTPAGE
Lloh1:
	ldr	x9, [x9, _VR_ANTI_RANGE@GOTPAGEOFF]
Lloh2:
	ldr	x9, [x9]
	cmp	x8, x9
	b.eq	LBB0_7
; %bb.1:
	mov	x22, x3
	mov	x23, x2
	mov	x21, x1
	mov	x19, x0
	mov	x0, x1
	mov	x1, x3
	bl	_analyze_scalar_evolution
	mov	x1, x0
	mov	x0, x21
	bl	_instantiate_parameters
	mov	x24, x0
	bl	_TREE_CODE
Lloh3:
	adrp	x8, _POLYNOMIAL_CHREC@GOTPAGE
Lloh4:
	ldr	x8, [x8, _POLYNOMIAL_CHREC@GOTPAGEOFF]
Lloh5:
	ldr	x8, [x8]
	cmp	x0, x8
	b.ne	LBB0_7
; %bb.2:
	ldr	w1, [x21]
	mov	x0, x24
	bl	_initial_condition_in_loop_num
	mov	x20, x0
	ldr	w1, [x21]
	mov	x0, x24
	bl	_evolution_part_in_loop_num
Lloh6:
	adrp	x8, _NULL_TREE@GOTPAGE
Lloh7:
	ldr	x8, [x8, _NULL_TREE@GOTPAGEOFF]
Lloh8:
	ldr	x8, [x8]
	cmp	x0, x8
	b.eq	LBB0_7
; %bb.3:
	mov	x25, x0
	bl	_is_gimple_min_invariant
	cbz	x0, LBB0_7
; %bb.4:
	mov	x0, x20
	bl	_valid_value_p
	cbz	w0, LBB0_7
; %bb.5:
	mov	x0, x24
	bl	_scev_direction
Lloh9:
	adrp	x8, _EV_DIR_UNKNOWN@GOTPAGE
Lloh10:
	ldr	x8, [x8, _EV_DIR_UNKNOWN@GOTPAGEOFF]
Lloh11:
	ldr	w8, [x8]
	cmp	w0, w8
	b.eq	LBB0_7
; %bb.6:
	mov	x21, x0
Lloh12:
	adrp	x8, _current_loops@GOTPAGE
Lloh13:
	ldr	x8, [x8, _current_loops@GOTPAGEOFF]
Lloh14:
	ldr	x8, [x8]
	ldr	x26, [x8]
	mov	x0, x24
	bl	_CHREC_VARIABLE
	ldr	w3, [x26, x0, lsl #2]
	mov	x0, x20
	mov	x1, x25
	mov	x2, x23
	mov	w4, #1
	bl	_scev_probably_wraps_p
	cbz	x0, LBB0_8
LBB0_7:
	ldp	x29, x30, [sp, #64]             ; 16-byte Folded Reload
	ldp	x20, x19, [sp, #48]             ; 16-byte Folded Reload
	ldp	x22, x21, [sp, #32]             ; 16-byte Folded Reload
	ldp	x24, x23, [sp, #16]             ; 16-byte Folded Reload
	ldp	x26, x25, [sp], #80             ; 16-byte Folded Reload
	ret
LBB0_8:
	mov	x0, x22
	bl	_TREE_TYPE
	mov	x23, x0
	bl	_POINTER_TYPE_P
	cbz	x0, LBB0_10
; %bb.9:
	mov	x0, x20
	bl	_is_gimple_min_invariant
	cbnz	x0, LBB0_7
LBB0_10:
	mov	x0, x23
	bl	_POINTER_TYPE_P
	cbz	x0, LBB0_12
LBB0_11:
	mov	x0, x23
	mov	x1, x23
	bl	_lower_bound_in_type
	b	LBB0_14
LBB0_12:
	mov	x0, x23
	bl	_TYPE_MIN_VALUE
	cbz	x0, LBB0_11
; %bb.13:
	mov	x0, x23
	bl	_TYPE_MIN_VALUE
LBB0_14:
	mov	x22, x0
	mov	x0, x23
	bl	_POINTER_TYPE_P
	cbz	x0, LBB0_16
LBB0_15:
	mov	x0, x23
	mov	x1, x23
	bl	_upper_bound_in_type
	b	LBB0_18
LBB0_16:
	mov	x0, x23
	bl	_TYPE_MAX_VALUE
	cbz	x0, LBB0_15
; %bb.17:
	mov	x0, x23
	bl	_TYPE_MAX_VALUE
LBB0_18:
	mov	x25, x0
	ldr	x8, [x19]
Lloh15:
	adrp	x9, _VR_VARYING@GOTPAGE
Lloh16:
	ldr	x9, [x9, _VR_VARYING@GOTPAGEOFF]
Lloh17:
	ldr	x9, [x9]
	cmp	x8, x9
	b.eq	LBB0_25
; %bb.19:
Lloh18:
	adrp	x9, _VR_UNDEFINED@GOTPAGE
Lloh19:
	ldr	x9, [x9, _VR_UNDEFINED@GOTPAGEOFF]
Lloh20:
	ldr	x9, [x9]
	cmp	x8, x9
	b.eq	LBB0_25
; %bb.20:
Lloh21:
	adrp	x26, _VR_RANGE@GOTPAGE
Lloh22:
	ldr	x26, [x26, _VR_RANGE@GOTPAGEOFF]
	ldr	x9, [x26]
	cmp	x8, x9
	b.ne	LBB0_7
; %bb.21:
	ldp	x23, x24, [x19, #8]
Lloh23:
	adrp	x8, _EV_DIR_DECREASES@GOTPAGE
Lloh24:
	ldr	x8, [x8, _EV_DIR_DECREASES@GOTPAGEOFF]
Lloh25:
	ldr	w8, [x8]
	mov	x0, x20
	cmp	w21, w8
	b.ne	LBB0_27
; %bb.22:
	mov	x1, x24
	bl	_compare_values
	cmn	w0, #1
	b.ne	LBB0_24
; %bb.23:
	mov	x0, x23
	mov	x1, x20
	bl	_compare_values
	mov	x24, x20
	cmp	w0, #1
	b.eq	LBB0_7
LBB0_24:
	mov	x0, x23
	bl	_is_negative_overflow_infinity
	cmp	x0, #0
	csel	x23, x23, x22, eq
	b	LBB0_30
LBB0_25:
Lloh26:
	adrp	x8, _EV_DIR_DECREASES@GOTPAGE
Lloh27:
	ldr	x8, [x8, _EV_DIR_DECREASES@GOTPAGEOFF]
Lloh28:
	ldr	w8, [x8]
	cmp	w21, w8
	csel	x21, x22, x20, eq
	csel	x20, x20, x25, eq
	mov	x0, x21
	mov	x1, x20
	bl	_compare_values
	cmp	w0, #1
	b.eq	LBB0_7
; %bb.26:
Lloh29:
	adrp	x8, _VR_RANGE@GOTPAGE
Lloh30:
	ldr	x8, [x8, _VR_RANGE@GOTPAGEOFF]
Lloh31:
	ldr	x1, [x8]
	ldr	w4, [x19, #24]
	mov	x0, x19
	mov	x2, x21
	mov	x3, x20
	b	LBB0_31
LBB0_27:
	mov	x1, x23
	bl	_compare_values
	cmp	w0, #1
	b.ne	LBB0_29
; %bb.28:
	mov	x0, x20
	mov	x1, x24
	bl	_compare_values
	mov	x23, x20
	cmp	w0, #1
	b.eq	LBB0_7
LBB0_29:
	mov	x0, x24
	bl	_is_positive_overflow_infinity
	cmp	x0, #0
	csel	x24, x24, x25, eq
LBB0_30:
	ldr	x1, [x26]
	ldr	w4, [x19, #24]
	mov	x0, x19
	mov	x2, x23
	mov	x3, x24
LBB0_31:
	ldp	x29, x30, [sp, #64]             ; 16-byte Folded Reload
	ldp	x20, x19, [sp, #48]             ; 16-byte Folded Reload
	ldp	x22, x21, [sp, #32]             ; 16-byte Folded Reload
	ldp	x24, x23, [sp, #16]             ; 16-byte Folded Reload
	ldp	x26, x25, [sp], #80             ; 16-byte Folded Reload
	b	_set_value_range
	.loh AdrpLdrGotLdr	Lloh0, Lloh1, Lloh2
	.loh AdrpLdrGotLdr	Lloh3, Lloh4, Lloh5
	.loh AdrpLdrGotLdr	Lloh6, Lloh7, Lloh8
	.loh AdrpLdrGotLdr	Lloh9, Lloh10, Lloh11
	.loh AdrpLdrGotLdr	Lloh12, Lloh13, Lloh14
	.loh AdrpLdrGotLdr	Lloh15, Lloh16, Lloh17
	.loh AdrpLdrGotLdr	Lloh18, Lloh19, Lloh20
	.loh AdrpLdrGot	Lloh21, Lloh22
	.loh AdrpLdrGotLdr	Lloh23, Lloh24, Lloh25
	.loh AdrpLdrGotLdr	Lloh26, Lloh27, Lloh28
	.loh AdrpLdrGotLdr	Lloh29, Lloh30, Lloh31
	.cfi_endproc
                                        ; -- End function
	.comm	_VR_ANTI_RANGE,8,3              ; @VR_ANTI_RANGE
	.comm	_POLYNOMIAL_CHREC,8,3           ; @POLYNOMIAL_CHREC
	.comm	_NULL_TREE,8,3                  ; @NULL_TREE
	.comm	_EV_DIR_UNKNOWN,4,2             ; @EV_DIR_UNKNOWN
	.comm	_current_loops,8,3              ; @current_loops
	.comm	_VR_VARYING,8,3                 ; @VR_VARYING
	.comm	_VR_UNDEFINED,8,3               ; @VR_UNDEFINED
	.comm	_EV_DIR_DECREASES,4,2           ; @EV_DIR_DECREASES
	.comm	_VR_RANGE,8,3                   ; @VR_RANGE
	.no_dead_strip	_adjust_range_with_scev
.subsections_via_symbols
