Lines Matching defs:t13
2374 IRTemp t0, t1 = 0, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14,
2521 t13 = newTemp(Ity_I1);
2605 /* t13 holds 1 if t12 is equal to 0x80, or 0 otherwise. */
2606 assign(t13, binop(Iop_CmpEQ32,
2617 assign(t15, IRExpr_ITE(mkexpr(t13),
2632 unop(Iop_1Sto32, mkexpr(t13)),
3037 t13 = newTemp(Ity_I1);
3118 assign(t13, binop(Iop_CmpNE32,
3131 unop(Iop_1Sto32, mkexpr(t13)))));
3162 t13 = newTemp(Ity_I1);
3258 assign(t13, binop(Iop_CmpNE32,
3271 unop(Iop_1Sto32, mkexpr(t13)))));
3475 t13 = newTemp(Ity_I1);
3569 assign(t13, binop(Iop_CmpNE32,
3582 unop(Iop_1Sto32, mkexpr(t13)))));
3608 t13 = newTemp(Ity_I1);
3700 assign(t13, binop(Iop_CmpNE32,
3713 unop(Iop_1Sto32, mkexpr(t13)))));
3739 t13 = newTemp(Ity_I1);
3823 assign(t13, binop(Iop_CmpNE32,
3836 unop(Iop_1Sto32, mkexpr(t13)))));
3876 t13 = newTemp(Ity_I1);
3971 assign(t13, binop(Iop_CmpNE32,
3984 unop(Iop_1Sto32, mkexpr(t13)))));
7022 t13 = newTemp(Ity_I8);
7165 assign(t13, IRExpr_ITE(binop(Iop_CmpLT32U,
7185 mkexpr(t13),
8570 t13 = newTemp(Ity_I1);
8639 assign(t13, binop(Iop_CmpEQ32,
8653 IRExpr_ITE(mkexpr(t13),
8709 t13 = newTemp(Ity_I32);
8834 assign(t13, IRExpr_ITE(binop(Iop_CmpEQ32,
8845 mkexpr(t13),
8923 t13 = newTemp(Ity_I1);
9009 assign(t13, binop(Iop_CmpEQ32,
9023 IRExpr_ITE(mkexpr(t13),
9039 IRExpr_ITE(mkexpr(t13),
