	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	4, 0x90                         ## -- Begin function vrp_var_may_overflow
_vrp_var_may_overflow:                  ## @vrp_var_may_overflow
	.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	_current_loops@GOTPCREL(%rip), %rax
	movl	$1, %r15d
	cmpq	$0, (%rax)
	je	LBB0_10
## %bb.1:
	movq	%rsi, %r12
	movq	%rdi, %rbx
	movq	%rsi, %rdi
	callq	_loop_containing_stmt
	testq	%rax, %rax
	je	LBB0_10
## %bb.2:
	movq	%rax, %r14
	movq	%rax, %rdi
	movq	%rbx, -56(%rbp)                 ## 8-byte Spill
	movq	%rbx, %rsi
	callq	_analyze_scalar_evolution
	movq	%r14, %rdi
	movl	%eax, %esi
	callq	_instantiate_parameters
	movq	%rax, %r13
	movq	%rax, %rdi
	callq	_TREE_CODE
	movq	_POLYNOMIAL_CHREC@GOTPCREL(%rip), %rcx
	cmpq	(%rcx), %rax
	jne	LBB0_10
## %bb.3:
	movl	(%r14), %esi
	movq	%r13, %rdi
	callq	_initial_condition_in_loop_num
	movq	%rax, -48(%rbp)                 ## 8-byte Spill
	movl	(%r14), %esi
	movq	%r13, %rdi
	callq	_evolution_part_in_loop_num
	movq	%rax, %rbx
	movq	_NULL_TREE@GOTPCREL(%rip), %rax
	cmpq	(%rax), %rbx
	je	LBB0_10
## %bb.4:
	movq	-48(%rbp), %r14                 ## 8-byte Reload
	movq	%rbx, %rdi
	callq	_is_gimple_min_invariant
	testl	%eax, %eax
	je	LBB0_10
## %bb.5:
	movq	%r14, %rdi
	callq	_valid_value_p
	testl	%eax, %eax
	je	LBB0_10
## %bb.6:
	movq	_current_loops@GOTPCREL(%rip), %rax
	movq	(%rax), %rax
	movq	(%rax), %r14
	movq	%r13, %rdi
	callq	_CHREC_VARIABLE
	movl	(%r14,%rax,4), %ecx
	movl	$1, %r15d
	movq	-48(%rbp), %rdi                 ## 8-byte Reload
	movq	%rbx, %rsi
	movq	%r12, %rdx
	movl	$1, %r8d
	callq	_scev_probably_wraps_p
	testq	%rax, %rax
	jne	LBB0_10
## %bb.7:
	movq	_dump_file@GOTPCREL(%rip), %rbx
	movq	(%rbx), %rdi
	xorl	%r15d, %r15d
	testq	%rdi, %rdi
	je	LBB0_10
## %bb.8:
	movq	_dump_flags@GOTPCREL(%rip), %rax
	movq	_TDF_DETAILS@GOTPCREL(%rip), %rcx
	movl	(%rcx), %ecx
	testl	%ecx, (%rax)
	je	LBB0_10
## %bb.9:
	xorl	%r15d, %r15d
	movq	-56(%rbp), %rsi                 ## 8-byte Reload
	xorl	%edx, %edx
	callq	_print_generic_expr
	movq	(%rbx), %rdi
	leaq	L_.str(%rip), %rsi
	callq	_fprintf
LBB0_10:
	movl	%r15d, %eax
	addq	$24, %rsp
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	retq
	.cfi_endproc
                                        ## -- End function
	.comm	_current_loops,8,3              ## @current_loops
	.comm	_POLYNOMIAL_CHREC,8,3           ## @POLYNOMIAL_CHREC
	.comm	_NULL_TREE,8,3                  ## @NULL_TREE
	.comm	_dump_file,8,3                  ## @dump_file
	.comm	_dump_flags,4,2                 ## @dump_flags
	.comm	_TDF_DETAILS,4,2                ## @TDF_DETAILS
	.section	__TEXT,__cstring,cstring_literals
L_.str:                                 ## @.str
	.asciz	": loop information indicates does not overflow\n"

	.no_dead_strip	_vrp_var_may_overflow
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	2                               ; -- Begin function vrp_var_may_overflow
_vrp_var_may_overflow:                  ; @vrp_var_may_overflow
	.cfi_startproc
; %bb.0:
	stp	x24, x23, [sp, #-64]!           ; 16-byte Folded Spill
	.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
	.cfi_offset w23, -56
	.cfi_offset w24, -64
Lloh0:
	adrp	x24, _current_loops@GOTPAGE
Lloh1:
	ldr	x24, [x24, _current_loops@GOTPAGEOFF]
	ldr	x8, [x24]
	cbz	x8, LBB0_11
; %bb.1:
	mov	x20, x1
	mov	x19, x0
	mov	x0, x1
	bl	_loop_containing_stmt
	cbz	x0, LBB0_11
; %bb.2:
	mov	x23, x0
	mov	x1, x19
	bl	_analyze_scalar_evolution
	mov	x1, x0
	mov	x0, x23
	bl	_instantiate_parameters
	mov	x21, x0
	bl	_TREE_CODE
Lloh2:
	adrp	x8, _POLYNOMIAL_CHREC@GOTPAGE
Lloh3:
	ldr	x8, [x8, _POLYNOMIAL_CHREC@GOTPAGEOFF]
Lloh4:
	ldr	x8, [x8]
	cmp	x0, x8
	b.ne	LBB0_11
; %bb.3:
	ldr	w1, [x23]
	mov	x0, x21
	bl	_initial_condition_in_loop_num
	mov	x22, x0
	ldr	w1, [x23]
	mov	x0, x21
	bl	_evolution_part_in_loop_num
Lloh5:
	adrp	x8, _NULL_TREE@GOTPAGE
Lloh6:
	ldr	x8, [x8, _NULL_TREE@GOTPAGEOFF]
Lloh7:
	ldr	x8, [x8]
	cmp	x0, x8
	b.eq	LBB0_11
; %bb.4:
	mov	x23, x0
	bl	_is_gimple_min_invariant
	cbz	w0, LBB0_11
; %bb.5:
	mov	x0, x22
	bl	_valid_value_p
	cbz	w0, LBB0_11
; %bb.6:
	ldr	x8, [x24]
	ldr	x24, [x8]
	mov	x0, x21
	bl	_CHREC_VARIABLE
	ldr	w3, [x24, x0, lsl #2]
	mov	w21, #1
	mov	x0, x22
	mov	x1, x23
	mov	x2, x20
	mov	w4, #1
	bl	_scev_probably_wraps_p
	cbnz	x0, LBB0_12
; %bb.7:
Lloh8:
	adrp	x20, _dump_file@GOTPAGE
Lloh9:
	ldr	x20, [x20, _dump_file@GOTPAGEOFF]
	ldr	x0, [x20]
	cbz	x0, LBB0_10
; %bb.8:
Lloh10:
	adrp	x8, _dump_flags@GOTPAGE
Lloh11:
	ldr	x8, [x8, _dump_flags@GOTPAGEOFF]
Lloh12:
	ldr	w8, [x8]
Lloh13:
	adrp	x9, _TDF_DETAILS@GOTPAGE
Lloh14:
	ldr	x9, [x9, _TDF_DETAILS@GOTPAGEOFF]
Lloh15:
	ldr	w9, [x9]
	tst	w9, w8
	b.eq	LBB0_10
; %bb.9:
	mov	x1, x19
	mov	w2, #0
	bl	_print_generic_expr
	ldr	x0, [x20]
Lloh16:
	adrp	x1, l_.str@PAGE
Lloh17:
	add	x1, x1, l_.str@PAGEOFF
	bl	_fprintf
LBB0_10:
	mov	w21, #0
	b	LBB0_12
LBB0_11:
	mov	w21, #1
LBB0_12:
	mov	x0, x21
	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
	ldp	x24, x23, [sp], #64             ; 16-byte Folded Reload
	ret
	.loh AdrpLdrGot	Lloh0, Lloh1
	.loh AdrpLdrGotLdr	Lloh2, Lloh3, Lloh4
	.loh AdrpLdrGotLdr	Lloh5, Lloh6, Lloh7
	.loh AdrpLdrGot	Lloh8, Lloh9
	.loh AdrpLdrGotLdr	Lloh13, Lloh14, Lloh15
	.loh AdrpLdrGotLdr	Lloh10, Lloh11, Lloh12
	.loh AdrpAdd	Lloh16, Lloh17
	.cfi_endproc
                                        ; -- End function
	.comm	_current_loops,8,3              ; @current_loops
	.comm	_POLYNOMIAL_CHREC,8,3           ; @POLYNOMIAL_CHREC
	.comm	_NULL_TREE,8,3                  ; @NULL_TREE
	.comm	_dump_file,8,3                  ; @dump_file
	.comm	_dump_flags,4,2                 ; @dump_flags
	.comm	_TDF_DETAILS,4,2                ; @TDF_DETAILS
	.section	__TEXT,__cstring,cstring_literals
l_.str:                                 ; @.str
	.asciz	": loop information indicates does not overflow\n"

	.no_dead_strip	_vrp_var_may_overflow
.subsections_via_symbols
