	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.globl	_vrp_evaluate_conditional       ## -- Begin function vrp_evaluate_conditional
	.p2align	4, 0x90
_vrp_evaluate_conditional:              ## @vrp_evaluate_conditional
	.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	%r12
	pushq	%rbx
	subq	$16, %rsp
	.cfi_offset %rbx, -48
	.cfi_offset %r12, -40
	.cfi_offset %r14, -32
	.cfi_offset %r15, -24
	movq	%rsi, %r14
	movl	$0, -36(%rbp)
	leaq	-36(%rbp), %rdx
	movl	$1, %esi
	callq	_vrp_evaluate_conditional_warnv
	movq	%rax, %rbx
	testq	%rax, %rax
	je	LBB0_7
## %bb.1:
	cmpl	$0, -36(%rbp)
	je	LBB0_7
## %bb.2:
	movq	%rbx, %rdi
	callq	_is_gimple_min_invariant
	testq	%rax, %rax
	leaq	L_.str.1(%rip), %rax
	leaq	L_.str(%rip), %rdi
	cmoveq	%rax, %rdi
	movq	_WARN_STRICT_OVERFLOW_CONDITIONAL@GOTPCREL(%rip), %rax
	cmoveq	_WARN_STRICT_OVERFLOW_COMPARISON@GOTPCREL(%rip), %rax
	movl	(%rax), %r12d
	callq	_G_
	movq	%rax, %r15
	movl	%r12d, %edi
	callq	_issue_strict_overflow_warning
	testq	%rax, %rax
	je	LBB0_7
## %bb.3:
	movq	%r14, %rdi
	callq	_EXPR_HAS_LOCATION
	testl	%eax, %eax
	je	LBB0_4
## %bb.5:
	movq	%r14, %rdi
	callq	_EXPR_LOCATION
	jmp	LBB0_6
LBB0_4:
	movq	_input_location@GOTPCREL(%rip), %rax
	movl	(%rax), %eax
LBB0_6:
	movl	%eax, -40(%rbp)
	movq	_OPT_Wstrict_overflow@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	leaq	L_.str.2(%rip), %rsi
	leaq	-40(%rbp), %rdx
	movq	%r15, %rcx
	callq	_warning
LBB0_7:
	movq	%rbx, %rax
	addq	$16, %rsp
	popq	%rbx
	popq	%r12
	popq	%r14
	popq	%r15
	popq	%rbp
	retq
	.cfi_endproc
                                        ## -- End function
	.comm	_WARN_STRICT_OVERFLOW_CONDITIONAL,4,2 ## @WARN_STRICT_OVERFLOW_CONDITIONAL
	.section	__TEXT,__cstring,cstring_literals
L_.str:                                 ## @.str
	.asciz	"assuming signed overflow does not occur when simplifying conditional to constant"

	.comm	_WARN_STRICT_OVERFLOW_COMPARISON,4,2 ## @WARN_STRICT_OVERFLOW_COMPARISON
L_.str.1:                               ## @.str.1
	.asciz	"assuming signed overflow does not occur when simplifying conditional"

	.comm	_input_location,4,2             ## @input_location
	.comm	_OPT_Wstrict_overflow,4,2       ## @OPT_Wstrict_overflow
L_.str.2:                               ## @.str.2
	.asciz	"%H%s"

.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.globl	_vrp_evaluate_conditional       ; -- Begin function vrp_evaluate_conditional
	.p2align	2
_vrp_evaluate_conditional:              ; @vrp_evaluate_conditional
	.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
	str	wzr, [sp, #12]
	add	x2, sp, #12
	mov	w1, #1
	bl	_vrp_evaluate_conditional_warnv
	mov	x19, x0
	cbz	x0, LBB0_7
; %bb.1:
	ldr	w8, [sp, #12]
	cbz	w8, LBB0_7
; %bb.2:
	mov	x0, x19
	bl	_is_gimple_min_invariant
Lloh0:
	adrp	x8, l_.str@PAGE
Lloh1:
	add	x8, x8, l_.str@PAGEOFF
Lloh2:
	adrp	x9, l_.str.1@PAGE
Lloh3:
	add	x9, x9, l_.str.1@PAGEOFF
	cmp	x0, #0
	csel	x0, x9, x8, eq
Lloh4:
	adrp	x8, _WARN_STRICT_OVERFLOW_COMPARISON@GOTPAGE
Lloh5:
	ldr	x8, [x8, _WARN_STRICT_OVERFLOW_COMPARISON@GOTPAGEOFF]
Lloh6:
	adrp	x9, _WARN_STRICT_OVERFLOW_CONDITIONAL@GOTPAGE
Lloh7:
	ldr	x9, [x9, _WARN_STRICT_OVERFLOW_CONDITIONAL@GOTPAGEOFF]
	csel	x8, x8, x9, eq
	ldr	w22, [x8]
	bl	_G_
	mov	x21, x0
	mov	x0, x22
	bl	_issue_strict_overflow_warning
	cbz	x0, LBB0_7
; %bb.3:
	mov	x0, x20
	bl	_EXPR_HAS_LOCATION
	cbz	w0, LBB0_5
; %bb.4:
	mov	x0, x20
	bl	_EXPR_LOCATION
	b	LBB0_6
LBB0_5:
Lloh8:
	adrp	x8, _input_location@GOTPAGE
Lloh9:
	ldr	x8, [x8, _input_location@GOTPAGEOFF]
Lloh10:
	ldr	w0, [x8]
LBB0_6:
	str	w0, [sp, #8]
Lloh11:
	adrp	x8, _OPT_Wstrict_overflow@GOTPAGE
Lloh12:
	ldr	x8, [x8, _OPT_Wstrict_overflow@GOTPAGEOFF]
Lloh13:
	ldr	w0, [x8]
Lloh14:
	adrp	x1, l_.str.2@PAGE
Lloh15:
	add	x1, x1, l_.str.2@PAGEOFF
	add	x2, sp, #8
	mov	x3, x21
	bl	_warning
LBB0_7:
	mov	x0, x19
	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 AdrpLdrGot	Lloh6, Lloh7
	.loh AdrpLdrGot	Lloh4, Lloh5
	.loh AdrpAdd	Lloh2, Lloh3
	.loh AdrpAdd	Lloh0, Lloh1
	.loh AdrpLdrGotLdr	Lloh8, Lloh9, Lloh10
	.loh AdrpAdd	Lloh14, Lloh15
	.loh AdrpLdrGotLdr	Lloh11, Lloh12, Lloh13
	.cfi_endproc
                                        ; -- End function
	.comm	_WARN_STRICT_OVERFLOW_CONDITIONAL,4,2 ; @WARN_STRICT_OVERFLOW_CONDITIONAL
	.section	__TEXT,__cstring,cstring_literals
l_.str:                                 ; @.str
	.asciz	"assuming signed overflow does not occur when simplifying conditional to constant"

	.comm	_WARN_STRICT_OVERFLOW_COMPARISON,4,2 ; @WARN_STRICT_OVERFLOW_COMPARISON
l_.str.1:                               ; @.str.1
	.asciz	"assuming signed overflow does not occur when simplifying conditional"

	.comm	_input_location,4,2             ; @input_location
	.comm	_OPT_Wstrict_overflow,4,2       ; @OPT_Wstrict_overflow
l_.str.2:                               ; @.str.2
	.asciz	"%H%s"

.subsections_via_symbols
