Lines Matching full:lo64
7926 IRTemp lo64 = newTemp(Ity_I64);
7928 assign(lo64, unop(Iop_V128to64, mkexpr(v128)) );
7931 if (out1) assign(*out1, binop(Iop_Shr64, mkexpr(lo64), mkU8(32)));
7932 if (out0) assign(*out0, binop(Iop_And64, mkexpr(lo64), mkU64(0xFFFFFFFF)));
7940 IRTemp lo64 = newTemp(Ity_I64);
7945 assign(lo64,
7950 assign(res, binop(Iop_64HLtoV128, mkexpr(hi64), mkexpr(lo64)));
8007 IRTemp lo64 = newTemp(Ity_I64);
8009 assign(lo64, unop(Iop_V128to64, mkexpr(v128)) );
8026 binop(Iop_Shr64, mkexpr(lo64), mkU8(48)),
8030 binop(Iop_Shr64, mkexpr(lo64), mkU8(32)),
8034 binop(Iop_Shr64, mkexpr(lo64), mkU8(16)),
8037 assign(*out0, binop(Iop_And64, mkexpr(lo64), mkU64(0xFFFF)));
8044 IRTemp lo64 = newTemp(Ity_I64);
8060 assign(lo64,
8076 assign(res, binop(Iop_64HLtoV128, mkexpr(hi64), mkexpr(lo64)));
8144 IRTemp lo64 = newTemp(Ity_I64);
8146 assign(lo64, unop(Iop_V128to64, mkexpr(v128)) );
8181 binop(Iop_Shr64, mkexpr(lo64), mkU8(56)),
8185 binop(Iop_Shr64, mkexpr(lo64), mkU8(48)),
8189 binop(Iop_Shr64, mkexpr(lo64), mkU8(40)),
8193 binop(Iop_Shr64, mkexpr(lo64), mkU8(32)),
8197 binop(Iop_Shr64, mkexpr(lo64), mkU8(24)),
8201 binop(Iop_Shr64, mkexpr(lo64), mkU8(16)),
8205 binop(Iop_Shr64, mkexpr(lo64), mkU8(8)),
8209 binop(Iop_Shr64, mkexpr(lo64), mkU8(0)),
