Lines Matching defs:t17
2721 t15, t16, t17;
2871 t17 = newTemp(Ity_I32);
2991 /* t17 = t15|t11|t7|t3 */
2992 assign(t17,
2997 putIReg(rd, mkexpr(t17));
4226 t17 = newTemp(Ity_I1);
4231 assign(t17, binop(Iop_CmpEQ32,
4235 assign(t1, IRExpr_ITE(mkexpr(t17),
4288 IRExpr_ITE(mkexpr(t17),
9273 t17 = newTemp(Ity_I16);
9381 assign(t17, IRExpr_ITE(binop(Iop_CmpNE32,
9390 putIReg(rd, binop(Iop_16HLto32, mkexpr(t17), mkexpr(t15)));
