Lines Matching refs:t0
244 IRTemp t0;
246 t0 = newTemp(Ity_I1);
247 assign(t0, guard);
248 return IRStmt_Exit(mkexpr(t0), Ijk_Boring,
282 IRTemp t0, t1, t2, t3, t4;
583 t0 = newTemp(Ity_I64);
585 assign(t0, binop(Iop_Xor64,
606 mkexpr(t0),
636 t0 = newTemp(Ity_I64);
647 assign(t0, binop(Iop_Or64,
657 mkexpr(t0),
874 t0 = newTemp(Ity_I64);
878 /* t0 is the bit shift amount */
879 assign(t0, binop(Iop_Shl64,
886 mkexpr(t0)));
894 unop(Iop_64to8, mkexpr(t0)))));
923 t0 = newTemp(Ity_I32);
927 t0,
935 assign(t2, unop(Iop_32Sto64, mkexpr(t0)));
970 t0 = newTemp(Ity_I32);
974 t0,
983 assign(t2, unop(Iop_32Sto64, mkexpr(t0)));
1002 t0 = newTemp(Ity_I32);
1006 t0,
1015 assign(t2, unop(Iop_32Sto64, mkexpr(t0)));
1038 t0 = newTemp(Ity_I32);
1042 t0,
1050 assign(t2, unop(Iop_32Sto64, mkexpr(t0)));
1067 t0 = newTemp(Ity_I32);
1071 t0,
1079 assign(t2, unop(Iop_32Sto64, mkexpr(t0)));
1439 t0 = newTemp(Ity_I64);
1444 assign(t0, unop(Iop_32Sto64,
1448 unop(Iop_64to32, mkexpr(t0)),
1452 mkexpr(t0),
1474 t0 = newTemp(Ity_I64);
1479 assign(t0, unop(Iop_32Sto64,
1483 unop(Iop_64to32, mkexpr(t0)),
1487 mkexpr(t0),
1511 t0 = newTemp(Ity_I64);
1516 assign(t0, unop(Iop_32Sto64,
1521 unop(Iop_64to32, mkexpr(t0)),
1525 mkexpr(t0),
1554 t0 = newTemp(Ity_I64);
1559 assign(t0, unop(Iop_32Sto64,
1562 unop(Iop_64to32, mkexpr(t0)),
1566 mkexpr(t0),
1584 t0 = newTemp(Ity_I64);
1587 assign(t0, binop(Iop_MullS32,
1592 assign(t2, binop(Iop_Add64, getIReg(rd), mkexpr(t0)));
1596 t0 = newTemp(Ity_I64);
1601 assign(t0, unop(Iop_32Sto64,
1605 unop(Iop_64to32, mkexpr(t0)),
1610 mkexpr(t0),
1636 t0 = newTemp(Ity_I64);
1641 assign(t0, unop(Iop_32Sto64,
1645 unop(Iop_64to32, mkexpr(t0)),
1649 mkexpr(t0),
1689 t0 = newTemp(Ity_I64);
1694 assign(t0, unop(Iop_32Sto64,
1697 unop(Iop_64to32, mkexpr(t0)),
1701 mkexpr(t0),
1787 t0 = newTemp(Ity_I64);
1790 assign(t0, binop(Iop_Shl64,
1798 assign(t2, binop(Iop_Or64, mkexpr(t0), mkexpr(t1)));
1802 t0 = newTemp(Ity_I64);
1805 assign(t0, binop(Iop_Shl64,
1811 assign(t2, binop(Iop_Or64, mkexpr(t0), mkexpr(t1)));