Home | History | Annotate | Download | only in priv

Lines Matching defs:t32

2104       IRTemp t32 = newTemp(Ity_I64);
2105       assign(t32, binop(Iop_Or64, mkexpr(t16),
2108       assign(t64, binop(Iop_Or64, mkexpr(t32),
2109                                   binop(Iop_Shl64, mkexpr(t32), mkU8(32))));
2113       IRTemp t32 = newTemp(Ity_I64);
2114       assign(t32, binop(Iop_Or64, mkexpr(src),
2117       assign(t64, binop(Iop_Or64, mkexpr(t32),
2118                                   binop(Iop_Shl64, mkexpr(t32), mkU8(32))));