// File: /workspace/github_c_makefile_star2_O0/lucvoo[P]sparse-dev/simplify.c
// Function: trivial_phi
static pseudo_t trivial_phi(pseudo_t pseudo, struct instruction *insn, struct pseudo_list **list)
{
	pseudo_t target = insn->target;
	pseudo_t phi;

	add_pseudo(list, target);

	FOR_EACH_PTR(insn->phi_list, phi) {
		struct instruction *def;
		pseudo_t src;

		if (phi == VOID)
			continue;
		def = phi->def;
		if (!def->bb)
			continue;
		src = def->phi_src; // bypass OP_PHISRC & get the real source
		if (src == VOID)
			continue;
		if (src == target)
			continue;
		if (!pseudo) {
			pseudo = src;
			continue;
		}
		if (src == pseudo)
			continue;
		if (DEF_OPCODE(def, src) == OP_PHI) {
			if (pseudo_in_list(*list, src))
				continue;
			if ((pseudo = trivial_phi(pseudo, def, list)))
				continue;
		}
		return NULL;
	} END_FOR_EACH_PTR(phi);

	return pseudo ? pseudo : VOID;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x70, %rsp
movq %rdi, -0x10(%rbp)
movq %rsi, -0x18(%rbp)
movq %rdx, -0x20(%rbp)
movq -0x18(%rbp), %rax
movq 0x20(%rax), %rax
movq %rax, -0x28(%rbp)
movq -0x20(%rbp), %rdi
movq -0x28(%rbp), %rsi
callq 0x3cdd0
movq -0x18(%rbp), %rax
movq 0x38(%rax), %rax
movq %rax, -0x38(%rbp)
movq -0x38(%rbp), %rax
movq %rax, -0x40(%rbp)
movq -0x38(%rbp), %rax
movq %rax, -0x48(%rbp)
cmpq $0x0, -0x38(%rbp)
jne 0x3ca15
jmp 0x3cb83
jmp 0x3ca17
movl $0x0, -0x4c(%rbp)
movl -0x4c(%rbp), %eax
movq -0x40(%rbp), %rcx
movw (%rcx), %cx
shlw $0x8, %cx
sarw $0x8, %cx
movswl %cx, %ecx
cmpl %ecx, %eax
jge 0x3cb6b
movq -0x40(%rbp), %rax
movslq -0x4c(%rbp), %rcx
movq 0x18(%rax,%rcx,8), %rax
movq %rax, -0x30(%rbp)
movq -0x40(%rbp), %rax
movw (%rax), %ax
sarw $0x8, %ax
cwtl
cmpl $0x0, %eax
je 0x3ca69
cmpq $0x0, -0x30(%rbp)
jne 0x3ca69
jmp 0x3cb5d
leaq 0x4f340(%rip), %rax     # 0x8bdb0
cmpq %rax, -0x30(%rbp)
jne 0x3ca7b
jmp 0x3cb5d
movq -0x30(%rbp), %rax
movq 0x18(%rax), %rax
movq %rax, -0x58(%rbp)
movq -0x58(%rbp), %rax
cmpq $0x0, 0x8(%rax)
jne 0x3ca97
jmp 0x3cb5d
movq -0x58(%rbp), %rax
movq 0x30(%rax), %rax
movq %rax, -0x60(%rbp)
leaq 0x4f306(%rip), %rax     # 0x8bdb0
cmpq %rax, -0x60(%rbp)
jne 0x3cab5
jmp 0x3cb5d
movq -0x60(%rbp), %rax
cmpq -0x28(%rbp), %rax
jne 0x3cac4
jmp 0x3cb5d
cmpq $0x0, -0x10(%rbp)
jne 0x3cad8
movq -0x60(%rbp), %rax
movq %rax, -0x10(%rbp)
jmp 0x3cb5d
movq -0x60(%rbp), %rax
cmpq -0x10(%rbp), %rax
jne 0x3cae4
jmp 0x3cb5d
movq -0x60(%rbp), %rax
cmpl $0x3, 0x4(%rax)
jne 0x3cb0e
movq -0x60(%rbp), %rax
movq 0x18(%rax), %rax
movq %rax, -0x58(%rbp)
cmpq $0x0, %rax
je 0x3cb0e
movq -0x58(%rbp), %rax
movl (%rax), %eax
andl $0x7f, %eax
movl %eax, -0x64(%rbp)
jmp 0x3cb15
xorl %eax, %eax
movl %eax, -0x64(%rbp)
jmp 0x3cb15
movl -0x64(%rbp), %eax
cmpl $0x46, %eax
jne 0x3cb53
movq -0x20(%rbp), %rax
movq (%rax), %rdi
movq -0x60(%rbp), %rsi
callq 0x35130
cmpl $0x0, %eax
je 0x3cb34
jmp 0x3cb5d
movq -0x10(%rbp), %rdi
movq -0x58(%rbp), %rsi
movq -0x20(%rbp), %rdx
callq 0x3c9c0
movq %rax, -0x10(%rbp)
cmpq $0x0, %rax
je 0x3cb51
jmp 0x3cb5d
jmp 0x3cb53
movq $0x0, -0x8(%rbp)
jmp 0x3cba9
movl -0x4c(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x4c(%rbp)
jmp 0x3ca1e
jmp 0x3cb6d
movq -0x40(%rbp), %rax
movq 0x10(%rax), %rax
movq %rax, -0x40(%rbp)
cmpq -0x38(%rbp), %rax
jne 0x3ca17
cmpq $0x0, -0x10(%rbp)
je 0x3cb94
movq -0x10(%rbp), %rax
movq %rax, -0x70(%rbp)
jmp 0x3cba1
leaq 0x4f215(%rip), %rax     # 0x8bdb0
movq %rax, -0x70(%rbp)
jmp 0x3cba1
movq -0x70(%rbp), %rax
movq %rax, -0x8(%rbp)
movq -0x8(%rbp), %rax
addq $0x70, %rsp
popq %rbp
retq
nopw %cs:(%rax,%rax)