Lines Matching full:lo64
7555 IRTemp lo64 = newTemp(Ity_I64);
7557 assign( lo64, unop(Iop_V128to64, mkexpr(t128)) );
7568 assign( *t0, unop(Iop_64to32, mkexpr(lo64)) );
7569 assign( *t1, unop(Iop_64HIto32, mkexpr(lo64)) );
7864 IRTemp lo64, Int byteShift )
7870 binop(Iop_Shr64, mkexpr(lo64), mkU8(8*byteShift))
11383 IRTemp sV, dV, hi64, lo64, hi64r, lo64r;
11393 lo64 = newTemp(Ity_I64);
11404 assign( lo64, unop(Iop_V128to64, mkexpr(sV)) );
11407 assign( lo64r, mkexpr(lo64) );
11413 assign( hi64r, mkexpr(lo64) );
11419 mkexpr(lo64),
11423 mkexpr(lo64),
11429 binop(Iop_Shr64, mkexpr(lo64),
11513 IRTemp sV, dV, hi64, lo64, hi64r, lo64r;
11523 lo64 = newTemp(Ity_I64);
11534 assign( lo64, unop(Iop_V128to64, mkexpr(sV)) );
11537 assign( lo64r, mkexpr(lo64) );
11557 binop(Iop_Shr64, mkexpr(lo64),
