	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	4, 0x90                         ## -- Begin function follow_ssa_edge_in_rhs
_follow_ssa_edge_in_rhs:                ## @follow_ssa_edge_in_rhs
	.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	$56, %rsp
	.cfi_offset %rbx, -56
	.cfi_offset %r12, -48
	.cfi_offset %r13, -40
	.cfi_offset %r14, -32
	.cfi_offset %r15, -24
	movl	%r9d, %r13d
	movq	%r8, %r15
	movl	%ecx, %r14d
	movl	%edx, %ebx
	movl	%esi, -44(%rbp)                 ## 4-byte Spill
	movq	%rdi, %r12
	movl	%edx, %edi
	callq	_TREE_TYPE
	movl	%eax, -48(%rbp)                 ## 4-byte Spill
	movl	%ebx, %edi
	callq	_TREE_CODE
                                        ## kill: def $eax killed $eax def $rax
	addl	$-128, %eax
	cmpl	$5, %eax
	ja	LBB0_25
## %bb.1:
	leaq	LJTI0_0(%rip), %rcx
	movslq	(%rcx,%rax,4), %rax
	addq	%rcx, %rax
	jmpq	*%rax
LBB0_3:
	movl	%r13d, -60(%rbp)                ## 4-byte Spill
	movq	%r12, -80(%rbp)                 ## 8-byte Spill
	movl	%ebx, %edi
	xorl	%esi, %esi
	callq	_TREE_OPERAND
	movl	%eax, %r12d
	movl	%ebx, %edi
	movl	$1, %esi
	callq	_TREE_OPERAND
	movl	%eax, %r13d
	movl	%r12d, %edi
	callq	_STRIP_TYPE_NOPS
	movl	%r13d, %edi
	callq	_STRIP_TYPE_NOPS
	movl	%r12d, -56(%rbp)                ## 4-byte Spill
	movl	%r12d, %edi
	callq	_TREE_CODE
	movl	%eax, %ebx
	movl	%r13d, -52(%rbp)                ## 4-byte Spill
	movl	%r13d, %edi
	callq	_TREE_CODE
	cmpl	$128, %ebx
	jne	LBB0_18
## %bb.4:
	cmpl	$128, %eax
	jne	LBB0_14
## %bb.5:
	movl	(%r15), %eax
	movl	%eax, -84(%rbp)
	movl	-56(%rbp), %edi                 ## 4-byte Reload
	callq	_SSA_NAME_DEF_STMT
	leaq	-84(%rbp), %rcx
	movq	-80(%rbp), %r12                 ## 8-byte Reload
	movq	%r12, %rdi
	movl	%eax, %esi
	movl	%r14d, %edx
	movl	-60(%rbp), %r13d                ## 4-byte Reload
	movl	%r13d, %r8d
	callq	_follow_ssa_edge
	movl	%eax, %ebx
	movq	_t_true@GOTPCREL(%rip), %rcx
	cmpl	(%rcx), %eax
	jne	LBB0_9
## %bb.6:
	movl	(%r12), %r14d
	movl	-84(%rbp), %esi
	jmp	LBB0_7
LBB0_21:
	movq	%r15, -72(%rbp)                 ## 8-byte Spill
	movl	%ebx, %edi
	xorl	%esi, %esi
	callq	_TREE_OPERAND
	movl	%eax, %r15d
	movl	%ebx, %edi
	movl	$1, %esi
	callq	_TREE_OPERAND
	movl	%eax, %ebx
	movl	%r15d, %edi
	callq	_STRIP_TYPE_NOPS
	movl	%ebx, %edi
	callq	_STRIP_TYPE_NOPS
	movl	%r15d, %edi
	callq	_TREE_CODE
	cmpl	$128, %eax
	jne	LBB0_25
## %bb.22:
	movl	%ebx, -80(%rbp)                 ## 4-byte Spill
	movl	%r15d, %edi
	callq	_SSA_NAME_DEF_STMT
	movq	%r12, %rdi
	movl	%eax, %esi
	movl	%r14d, %edx
	movq	-72(%rbp), %r15                 ## 8-byte Reload
	movq	%r15, %rcx
	movl	%r13d, %r8d
	callq	_follow_ssa_edge
	movl	%eax, %ebx
	movq	_t_true@GOTPCREL(%rip), %rax
	cmpl	(%rax), %ebx
	jne	LBB0_16
## %bb.23:
	movl	(%r12), %r14d
	movl	(%r15), %esi
	movl	-48(%rbp), %edi                 ## 4-byte Reload
	movl	-44(%rbp), %r12d                ## 4-byte Reload
	movl	%r12d, %edx
	callq	_chrec_convert
	movl	%r14d, %edi
	movl	%eax, %esi
	movl	$131, %edx
	movl	-80(%rbp), %ecx                 ## 4-byte Reload
	jmp	LBB0_8
LBB0_2:
	movl	%ebx, %edi
	xorl	%esi, %esi
	callq	_TREE_OPERAND
	movq	%r12, %rdi
	movl	-44(%rbp), %r12d                ## 4-byte Reload
	movl	%r12d, %esi
	movl	%eax, %edx
	movl	%r14d, %ecx
	movq	%r15, %r8
	movl	%r13d, %r9d
	callq	_follow_ssa_edge_in_rhs
	movl	%eax, %r14d
	movl	%ebx, %edi
	callq	_TREE_TYPE
	movl	(%r15), %esi
	movl	%eax, %edi
	movl	%r12d, %edx
	callq	_chrec_convert
	movl	%eax, (%r15)
	movl	%r14d, %eax
	jmp	LBB0_27
LBB0_24:
	movl	%ebx, %edi
	callq	_ASSERT_EXPR_VAR
	movl	%eax, %ebx
	movl	%eax, %edi
	callq	_TREE_CODE
	cmpl	$128, %eax
	jne	LBB0_25
LBB0_28:
	movl	%ebx, %edi
	callq	_SSA_NAME_DEF_STMT
	movq	%r12, %rdi
	movl	%eax, %esi
	movl	%r14d, %edx
	movq	%r15, %rcx
	movl	%r13d, %r8d
	addq	$56, %rsp
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	jmp	_follow_ssa_edge                ## TAILCALL
LBB0_18:
	cmpl	$128, %eax
	jne	LBB0_25
## %bb.19:
	movl	-52(%rbp), %edi                 ## 4-byte Reload
	callq	_SSA_NAME_DEF_STMT
	movq	-80(%rbp), %r12                 ## 8-byte Reload
	movq	%r12, %rdi
	movl	%eax, %esi
	movl	%r14d, %edx
	movq	%r15, %rcx
	movl	-60(%rbp), %r8d                 ## 4-byte Reload
	callq	_follow_ssa_edge
	movl	%eax, %ebx
	movq	_t_true@GOTPCREL(%rip), %rax
	cmpl	(%rax), %ebx
	jne	LBB0_16
## %bb.20:
	movl	(%r12), %r14d
	movl	(%r15), %esi
	movl	-48(%rbp), %edi                 ## 4-byte Reload
	movl	-44(%rbp), %r12d                ## 4-byte Reload
	movl	%r12d, %edx
	callq	_chrec_convert
	movl	%r14d, %edi
	movl	%eax, %esi
	movl	$129, %edx
	movl	-56(%rbp), %ecx                 ## 4-byte Reload
	jmp	LBB0_8
LBB0_25:
	movq	_t_false@GOTPCREL(%rip), %rax
	movl	(%rax), %ebx
LBB0_26:
	movl	%ebx, %eax
LBB0_27:
	addq	$56, %rsp
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	retq
LBB0_14:
	movl	-56(%rbp), %edi                 ## 4-byte Reload
	callq	_SSA_NAME_DEF_STMT
	movq	-80(%rbp), %r12                 ## 8-byte Reload
	movq	%r12, %rdi
	movl	%eax, %esi
	movl	%r14d, %edx
	movq	%r15, %rcx
	movl	-60(%rbp), %r8d                 ## 4-byte Reload
	callq	_follow_ssa_edge
	movl	%eax, %ebx
	movq	_t_true@GOTPCREL(%rip), %rax
	cmpl	(%rax), %ebx
	jne	LBB0_16
## %bb.15:
	movl	(%r12), %r14d
	movl	(%r15), %esi
LBB0_7:
	movl	-48(%rbp), %edi                 ## 4-byte Reload
	movl	-44(%rbp), %r12d                ## 4-byte Reload
	movl	%r12d, %edx
	callq	_chrec_convert
	movl	%r14d, %edi
	movl	%eax, %esi
	movl	$129, %edx
	movl	-52(%rbp), %ecx                 ## 4-byte Reload
LBB0_8:
	movl	%r12d, %r8d
	callq	_add_to_evolution
	movl	%eax, (%r15)
	jmp	LBB0_26
LBB0_16:
	movq	_t_dont_know@GOTPCREL(%rip), %rax
	cmpl	(%rax), %ebx
	jne	LBB0_26
## %bb.17:
	movq	_chrec_dont_know@GOTPCREL(%rip), %rax
	movl	(%rax), %eax
	movl	%eax, (%r15)
	jmp	LBB0_26
LBB0_9:
	movq	%r15, -72(%rbp)                 ## 8-byte Spill
	movq	_t_false@GOTPCREL(%rip), %rax
	cmpl	(%rax), %ebx
	jne	LBB0_12
## %bb.10:
	movl	-52(%rbp), %edi                 ## 4-byte Reload
	movq	%rcx, %r15
	callq	_SSA_NAME_DEF_STMT
	movq	%r12, %rdi
	movl	%eax, %esi
	movl	%r14d, %edx
	movq	-72(%rbp), %r14                 ## 8-byte Reload
	movq	%r14, %rcx
	movl	%r13d, %r8d
	callq	_follow_ssa_edge
	movl	%eax, %ebx
	cmpl	(%r15), %eax
	jne	LBB0_12
## %bb.11:
	movl	(%r12), %r15d
	movl	(%r14), %esi
	movl	-48(%rbp), %edi                 ## 4-byte Reload
	movl	-44(%rbp), %r12d                ## 4-byte Reload
	movl	%r12d, %edx
	callq	_chrec_convert
	movl	%r15d, %edi
	movl	%eax, %esi
	movl	$129, %edx
	movl	-56(%rbp), %ecx                 ## 4-byte Reload
	movl	%r12d, %r8d
	callq	_add_to_evolution
	movl	%eax, (%r14)
	jmp	LBB0_26
LBB0_12:
	movq	_t_dont_know@GOTPCREL(%rip), %rax
	cmpl	(%rax), %ebx
	jne	LBB0_26
## %bb.13:
	movq	_chrec_dont_know@GOTPCREL(%rip), %rax
	movl	(%rax), %eax
	movq	-72(%rbp), %rcx                 ## 8-byte Reload
	movl	%eax, (%rcx)
	jmp	LBB0_26
	.cfi_endproc
	.p2align	2, 0x90
	.data_region jt32
.set L0_0_set_28, LBB0_28-LJTI0_0
.set L0_0_set_3, LBB0_3-LJTI0_0
.set L0_0_set_2, LBB0_2-LJTI0_0
.set L0_0_set_21, LBB0_21-LJTI0_0
.set L0_0_set_25, LBB0_25-LJTI0_0
.set L0_0_set_24, LBB0_24-LJTI0_0
LJTI0_0:
	.long	L0_0_set_28
	.long	L0_0_set_3
	.long	L0_0_set_2
	.long	L0_0_set_21
	.long	L0_0_set_25
	.long	L0_0_set_24
	.end_data_region
                                        ## -- End function
	.comm	_t_false,4,2                    ## @t_false
	.comm	_t_true,4,2                     ## @t_true
	.comm	_t_dont_know,4,2                ## @t_dont_know
	.comm	_chrec_dont_know,4,2            ## @chrec_dont_know
	.no_dead_strip	_follow_ssa_edge_in_rhs
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	2                               ; -- Begin function follow_ssa_edge_in_rhs
_follow_ssa_edge_in_rhs:                ; @follow_ssa_edge_in_rhs
	.cfi_startproc
; %bb.0:
	sub	sp, sp, #112
	.cfi_def_cfa_offset 112
	stp	x28, x27, [sp, #16]             ; 16-byte Folded Spill
	stp	x26, x25, [sp, #32]             ; 16-byte Folded Spill
	stp	x24, x23, [sp, #48]             ; 16-byte Folded Spill
	stp	x22, x21, [sp, #64]             ; 16-byte Folded Spill
	stp	x20, x19, [sp, #80]             ; 16-byte Folded Spill
	stp	x29, x30, [sp, #96]             ; 16-byte Folded Spill
	add	x29, sp, #96
	.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	x24, x5
	mov	x19, x4
	mov	x25, x3
	mov	x22, x2
	mov	x20, x1
	mov	x21, x0
	mov	x0, x2
	bl	_TREE_TYPE
	mov	x23, x0
	mov	x0, x22
	bl	_TREE_CODE
	sub	w8, w0, #128
	cmp	w8, #5
	b.hi	LBB0_16
; %bb.1:
Lloh0:
	adrp	x9, lJTI0_0@PAGE
Lloh1:
	add	x9, x9, lJTI0_0@PAGEOFF
	adr	x10, LBB0_2
	ldrb	w11, [x9, x8]
	add	x10, x10, x11, lsl #2
	br	x10
LBB0_2:
	mov	x0, x22
	b	LBB0_13
LBB0_3:
	mov	x0, x22
	mov	w1, #0
	bl	_TREE_OPERAND
	mov	x27, x0
	mov	x0, x22
	mov	w1, #1
	bl	_TREE_OPERAND
	mov	x26, x0
	mov	x0, x27
	bl	_STRIP_TYPE_NOPS
	mov	x0, x26
	bl	_STRIP_TYPE_NOPS
	mov	x0, x27
	bl	_TREE_CODE
	cmp	w0, #128
	b.ne	LBB0_16
; %bb.4:
	mov	x0, x27
	bl	_SSA_NAME_DEF_STMT
	mov	x1, x0
	mov	x0, x21
	mov	x2, x25
	mov	x3, x19
	mov	x4, x24
	bl	_follow_ssa_edge
	mov	x22, x0
Lloh2:
	adrp	x8, _t_true@GOTPAGE
Lloh3:
	ldr	x8, [x8, _t_true@GOTPAGEOFF]
Lloh4:
	ldr	w8, [x8]
	cmp	w0, w8
	b.ne	LBB0_27
; %bb.5:
	ldr	w21, [x21]
	ldr	w1, [x19]
	mov	x0, x23
	mov	x2, x20
	bl	_chrec_convert
	mov	x1, x0
	mov	x0, x21
	mov	w2, #131
	b	LBB0_25
LBB0_6:
	mov	x0, x22
	mov	w1, #0
	bl	_TREE_OPERAND
	mov	x26, x0
	mov	x0, x22
	mov	w1, #1
	bl	_TREE_OPERAND
	mov	x27, x0
	mov	x0, x26
	bl	_STRIP_TYPE_NOPS
	mov	x0, x27
	bl	_STRIP_TYPE_NOPS
	mov	x0, x26
	bl	_TREE_CODE
	mov	x22, x0
	mov	x0, x27
	bl	_TREE_CODE
	cmp	w22, #128
	b.ne	LBB0_14
; %bb.7:
	cmp	w0, #128
	b.ne	LBB0_19
; %bb.8:
	ldr	w8, [x19]
	str	w8, [sp, #12]
	mov	x0, x26
	bl	_SSA_NAME_DEF_STMT
	mov	x1, x0
	add	x3, sp, #12
	mov	x0, x21
	mov	x2, x25
	mov	x4, x24
	bl	_follow_ssa_edge
	mov	x22, x0
Lloh5:
	adrp	x28, _t_true@GOTPAGE
Lloh6:
	ldr	x28, [x28, _t_true@GOTPAGEOFF]
	ldr	w8, [x28]
	cmp	w0, w8
	b.ne	LBB0_22
; %bb.9:
	ldr	w21, [x21]
	ldr	w1, [sp, #12]
	b	LBB0_21
LBB0_10:
	mov	x0, x22
	mov	w1, #0
	bl	_TREE_OPERAND
	mov	x2, x0
	mov	x0, x21
	mov	x1, x20
	mov	x3, x25
	mov	x4, x19
	mov	x5, x24
	bl	_follow_ssa_edge_in_rhs
	mov	x21, x0
	mov	x0, x22
	bl	_TREE_TYPE
	ldr	w1, [x19]
	mov	x2, x20
	bl	_chrec_convert
	str	w0, [x19]
	mov	x0, x21
	b	LBB0_18
LBB0_11:
	mov	x0, x22
	bl	_ASSERT_EXPR_VAR
	mov	x20, x0
	bl	_TREE_CODE
	cmp	w0, #128
	b.ne	LBB0_16
; %bb.12:
	mov	x0, x20
LBB0_13:
	bl	_SSA_NAME_DEF_STMT
	mov	x1, x0
	mov	x0, x21
	mov	x2, x25
	mov	x3, x19
	mov	x4, x24
	ldp	x29, x30, [sp, #96]             ; 16-byte Folded Reload
	ldp	x20, x19, [sp, #80]             ; 16-byte Folded Reload
	ldp	x22, x21, [sp, #64]             ; 16-byte Folded Reload
	ldp	x24, x23, [sp, #48]             ; 16-byte Folded Reload
	ldp	x26, x25, [sp, #32]             ; 16-byte Folded Reload
	ldp	x28, x27, [sp, #16]             ; 16-byte Folded Reload
	add	sp, sp, #112
	b	_follow_ssa_edge
LBB0_14:
	cmp	w0, #128
	b.ne	LBB0_16
; %bb.15:
	mov	x0, x27
	bl	_SSA_NAME_DEF_STMT
	mov	x1, x0
	mov	x0, x21
	mov	x2, x25
	mov	x3, x19
	mov	x4, x24
	bl	_follow_ssa_edge
	mov	x22, x0
Lloh7:
	adrp	x8, _t_true@GOTPAGE
Lloh8:
	ldr	x8, [x8, _t_true@GOTPAGEOFF]
Lloh9:
	ldr	w8, [x8]
	cmp	w0, w8
	b.eq	LBB0_24
	b	LBB0_27
LBB0_16:
Lloh10:
	adrp	x8, _t_false@GOTPAGE
Lloh11:
	ldr	x8, [x8, _t_false@GOTPAGEOFF]
Lloh12:
	ldr	w22, [x8]
LBB0_17:
	mov	x0, x22
LBB0_18:
	ldp	x29, x30, [sp, #96]             ; 16-byte Folded Reload
	ldp	x20, x19, [sp, #80]             ; 16-byte Folded Reload
	ldp	x22, x21, [sp, #64]             ; 16-byte Folded Reload
	ldp	x24, x23, [sp, #48]             ; 16-byte Folded Reload
	ldp	x26, x25, [sp, #32]             ; 16-byte Folded Reload
	ldp	x28, x27, [sp, #16]             ; 16-byte Folded Reload
	add	sp, sp, #112
	ret
LBB0_19:
	mov	x0, x26
	bl	_SSA_NAME_DEF_STMT
	mov	x1, x0
	mov	x0, x21
	mov	x2, x25
	mov	x3, x19
	mov	x4, x24
	bl	_follow_ssa_edge
	mov	x22, x0
Lloh13:
	adrp	x8, _t_true@GOTPAGE
Lloh14:
	ldr	x8, [x8, _t_true@GOTPAGEOFF]
Lloh15:
	ldr	w8, [x8]
	cmp	w0, w8
	b.ne	LBB0_27
; %bb.20:
	ldr	w21, [x21]
	ldr	w1, [x19]
LBB0_21:
	mov	x0, x23
	mov	x2, x20
	bl	_chrec_convert
	mov	x1, x0
	mov	x0, x21
	mov	w2, #129
	mov	x3, x27
	b	LBB0_26
LBB0_22:
Lloh16:
	adrp	x8, _t_false@GOTPAGE
Lloh17:
	ldr	x8, [x8, _t_false@GOTPAGEOFF]
Lloh18:
	ldr	w8, [x8]
	cmp	w22, w8
	b.ne	LBB0_27
; %bb.23:
	mov	x0, x27
	bl	_SSA_NAME_DEF_STMT
	mov	x1, x0
	mov	x0, x21
	mov	x2, x25
	mov	x3, x19
	mov	x4, x24
	bl	_follow_ssa_edge
	mov	x22, x0
	ldr	w8, [x28]
	cmp	w0, w8
	b.ne	LBB0_27
LBB0_24:
	ldr	w21, [x21]
	ldr	w1, [x19]
	mov	x0, x23
	mov	x2, x20
	bl	_chrec_convert
	mov	x1, x0
	mov	x0, x21
	mov	w2, #129
LBB0_25:
	mov	x3, x26
LBB0_26:
	mov	x4, x20
	bl	_add_to_evolution
	str	w0, [x19]
	b	LBB0_17
LBB0_27:
Lloh19:
	adrp	x8, _t_dont_know@GOTPAGE
Lloh20:
	ldr	x8, [x8, _t_dont_know@GOTPAGEOFF]
Lloh21:
	ldr	w8, [x8]
	cmp	w22, w8
	b.ne	LBB0_17
; %bb.28:
Lloh22:
	adrp	x8, _chrec_dont_know@GOTPAGE
Lloh23:
	ldr	x8, [x8, _chrec_dont_know@GOTPAGEOFF]
Lloh24:
	ldr	w8, [x8]
	str	w8, [x19]
	b	LBB0_17
	.loh AdrpAdd	Lloh0, Lloh1
	.loh AdrpLdrGotLdr	Lloh2, Lloh3, Lloh4
	.loh AdrpLdrGot	Lloh5, Lloh6
	.loh AdrpLdrGotLdr	Lloh7, Lloh8, Lloh9
	.loh AdrpLdrGotLdr	Lloh10, Lloh11, Lloh12
	.loh AdrpLdrGotLdr	Lloh13, Lloh14, Lloh15
	.loh AdrpLdrGotLdr	Lloh16, Lloh17, Lloh18
	.loh AdrpLdrGotLdr	Lloh19, Lloh20, Lloh21
	.loh AdrpLdrGotLdr	Lloh22, Lloh23, Lloh24
	.cfi_endproc
	.section	__TEXT,__const
lJTI0_0:
	.byte	(LBB0_2-LBB0_2)>>2
	.byte	(LBB0_6-LBB0_2)>>2
	.byte	(LBB0_10-LBB0_2)>>2
	.byte	(LBB0_3-LBB0_2)>>2
	.byte	(LBB0_16-LBB0_2)>>2
	.byte	(LBB0_11-LBB0_2)>>2
                                        ; -- End function
	.comm	_t_false,4,2                    ; @t_false
	.comm	_t_true,4,2                     ; @t_true
	.comm	_t_dont_know,4,2                ; @t_dont_know
	.comm	_chrec_dont_know,4,2            ; @chrec_dont_know
	.no_dead_strip	_follow_ssa_edge_in_rhs
.subsections_via_symbols
