Lines Matching defs:res32
2462 IRTemp res32 = newTemp(Ity_I32);
2493 /* res32 = pre32 `shift` shift_amt */
2494 assign( res32, binop(op32, mkexpr(pre32), mkexpr(shift_amt)) );
2506 setFlags_DEP1_DEP2_shift(op32, res32, res32ss, ty, shift_amt);
2509 assign( dst1, narrowTo(ty, mkexpr(res32)) );
2767 IRTemp res32 = newTemp(Ity_I32);
2773 assign( res32, binop(mulOp, mkexpr(t1), mkexpr(tmp)) );
2774 assign( resHi, unop(Iop_32HIto16,mkexpr(res32)));
2775 assign( resLo, unop(Iop_32to16,mkexpr(res32)));
3426 IRTemp res32 = newTemp(Ity_I32);
3427 assign(res32,
3435 assign(res, narrowTo(ty, mkexpr(res32)));
12960 IRTemp res32 = newTemp(Ity_I32);
12962 assign(res32, widenUto32(mkexpr(res)));
12970 binop(Iop_CmpEQ32, mkexpr(res32), mkU32(0))),
