Lines Matching refs:t10
2374 IRTemp t0, t1 = 0, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14,
2518 t10 = newTemp(Ity_I1);
2585 assign(t10, unop(Iop_32to1,
2594 IRExpr_ITE(mkexpr(t10),
3034 t10 = newTemp(Ity_I1);
3103 assign(t10, binop(Iop_CmpNE32,
3127 unop(Iop_1Sto32, mkexpr(t10)),
3159 t10 = newTemp(Ity_I1);
3243 assign(t10, binop(Iop_CmpNE32,
3267 unop(Iop_1Sto32, mkexpr(t10)),
3472 t10 = newTemp(Ity_I1);
3554 assign(t10, binop(Iop_CmpNE32,
3578 unop(Iop_1Sto32, mkexpr(t10)),
3605 t10 = newTemp(Ity_I1);
3685 assign(t10, binop(Iop_CmpNE32,
3709 unop(Iop_1Sto32, mkexpr(t10)),
3736 t10 = newTemp(Ity_I1);
3808 assign(t10, binop(Iop_CmpNE32,
3832 unop(Iop_1Sto32, mkexpr(t10)),
3873 t10 = newTemp(Ity_I1);
3956 assign(t10, binop(Iop_CmpNE32,
3980 unop(Iop_1Sto32, mkexpr(t10)),
5059 t10 = newTemp(Ity_I1);
5132 /* t10 will be 1 if there is overflow, 0 otherwise. */
5133 assign(t10, binop(Iop_CmpEQ32,
5139 assign(t11, IRExpr_ITE(mkexpr(t10),
5147 unop(Iop_1Sto32, mkexpr(t10)),
7019 t10 = newTemp(Ity_I8);
7119 assign(t10, IRExpr_ITE(binop(Iop_CmpLT32U,
7139 mkexpr(t10),
7656 t10 = newTemp(Ity_I1);
7710 assign(t10, binop(Iop_CmpNE32,
7738 mkexpr(t10))))));
7830 t10 = newTemp(Ity_I1);
7886 assign(t10, binop(Iop_CmpNE32,
7914 mkexpr(t10))))));
7991 t10 = newTemp(Ity_I32);
8059 assign(t10,
8063 assign(t11, binop(Iop_Shr32, mkexpr(t10), mkU8(rs)));
8071 mkexpr(t10),
8176 t10 = newTemp(Ity_I32);
8273 assign(t10,
8279 mkexpr(t10),
8290 mkexpr(t10),
8567 t10 = newTemp(Ity_I32);
8588 assign(t10, binop(Iop_And32,
8605 mkexpr(t10),
8706 t10 = newTemp(Ity_I32);
8769 assign(t10,
8871 mkexpr(t10),
8920 t10 = newTemp(Ity_I32);
8945 assign(t10, binop(Iop_And32,
8962 mkexpr(t10),
8979 mkexpr(t10),
9379 t10 = newTemp(Ity_I32);
9435 assign(t10, unop(Iop_8Uto32,
9444 mkexpr(t10)),
9467 t10 = newTemp(Ity_I8);
9508 assign(t10, unop(Iop_16to8,
9540 mkexpr(t10), mkexpr(t9))));
11218 t10 = newTemp(Ity_I32);
11347 assign(t10, IRExpr_ITE(binop(Iop_CmpEQ32,
11363 mkexpr(t10),
11384 t10 = newTemp(Ity_I32);
11513 assign(t10, IRExpr_ITE(binop(Iop_CmpEQ32,
11529 mkexpr(t10),
