Lines Matching refs:lo64
7546 IRTemp lo64 = newTemp(Ity_I64);
7548 assign( lo64, unop(Iop_V128to64, mkexpr(t128)) );
7559 assign( *t0, unop(Iop_64to32, mkexpr(lo64)) );
7560 assign( *t1, unop(Iop_64HIto32, mkexpr(lo64)) );
7855 IRTemp lo64, Int byteShift )
7861 binop(Iop_Shr64, mkexpr(lo64), mkU8(8*byteShift))
11374 IRTemp sV, dV, hi64, lo64, hi64r, lo64r;
11384 lo64 = newTemp(Ity_I64);
11395 assign( lo64, unop(Iop_V128to64, mkexpr(sV)) );
11398 assign( lo64r, mkexpr(lo64) );
11404 assign( hi64r, mkexpr(lo64) );
11410 mkexpr(lo64),
11414 mkexpr(lo64),
11420 binop(Iop_Shr64, mkexpr(lo64),
11504 IRTemp sV, dV, hi64, lo64, hi64r, lo64r;
11514 lo64 = newTemp(Ity_I64);
11525 assign( lo64, unop(Iop_V128to64, mkexpr(sV)) );
11528 assign( lo64r, mkexpr(lo64) );
11548 binop(Iop_Shr64, mkexpr(lo64),
