PSEUDO_PHI
assert(phi->type == PSEUDO_PHI);
case PSEUDO_PHI:
case PSEUDO_PHI:
phi->type = PSEUDO_PHI;
case PSEUDO_PHI:
case PSEUDO_PHI:
if (insn->func->type == PSEUDO_REG || insn->func->type == PSEUDO_PHI)