Lines Matching refs:hi64r
11436 IRTemp sV, dV, hi64, lo64, hi64r, lo64r; in disInstr_X86_WRK() local
11447 hi64r = newTemp(Ity_I64); in disInstr_X86_WRK()
11461 assign( hi64r, mkexpr(hi64) ); in disInstr_X86_WRK()
11466 assign( hi64r, mkexpr(lo64) ); in disInstr_X86_WRK()
11471 assign( hi64r, binop( Iop_Shl64, in disInstr_X86_WRK()
11478 assign( hi64r, in disInstr_X86_WRK()
11487 assign( dV, binop(Iop_64HLtoV128, mkexpr(hi64r), mkexpr(lo64r)) ); in disInstr_X86_WRK()
11566 IRTemp sV, dV, hi64, lo64, hi64r, lo64r; in disInstr_X86_WRK() local
11577 hi64r = newTemp(Ity_I64); in disInstr_X86_WRK()
11591 assign( hi64r, mkexpr(hi64) ); in disInstr_X86_WRK()
11595 assign( hi64r, mkU64(0) ); in disInstr_X86_WRK()
11600 assign( hi64r, mkU64(0) ); in disInstr_X86_WRK()
11605 assign( hi64r, binop( Iop_Shr64, in disInstr_X86_WRK()
11618 assign( dV, binop(Iop_64HLtoV128, mkexpr(hi64r), mkexpr(lo64r)) ); in disInstr_X86_WRK()