has_reg_type
if (!has_reg_type(state, dst->reg1))
if (!has_reg_type(state, src->reg1) ||
if (!has_reg_type(state, dst->reg1))
else if (has_reg_type(state, src->reg1) &&
if (!has_reg_type(state, dst->reg1))
else if (has_reg_type(state, src->reg1) &&
if (!has_reg_type(state, sreg) ||
!has_reg_type(state, dst->reg1) ||
if (has_reg_type(state, dst->reg1) && !dst->mem_ref &&
if (!has_reg_type(state, dst->reg1))
if (!has_reg_type(state, src->reg1) ||
if (!has_reg_type(state, dst->reg1))
else if (has_reg_type(state, sreg) && state->regs[sreg].ok &&
else if (has_reg_type(state, sreg) && state->regs[sreg].ok &&
else if (has_reg_type(state, sreg) &&
if (has_reg_type(state, reg2) && state->regs[reg2].ok &&
else if (has_reg_type(state, sreg) && state->regs[sreg].ok &&
if (!has_reg_type(state, src->reg1) ||
if (has_reg_type(state, reg2) && state->regs[reg2].ok &&
} else if (has_reg_type(state, var->reg)) {
if (has_reg_type(state, reg->copied_from)) {
bool has_reg_type(struct type_state *state, int reg);