Home | History | Annotate | Download | only in priv

Lines Matching refs:t64

2107       IRTemp t64 = newTemp(Ity_I64);
2108       assign(t64, binop(Iop_Or64, mkexpr(t32),
2110       return t64;
2116       IRTemp t64 = newTemp(Ity_I64);
2117       assign(t64, binop(Iop_Or64, mkexpr(t32),
2119       return t64;
2122       IRTemp t64 = newTemp(Ity_I64);
2123       assign(t64
2125       return t64;