Lines Matching refs:dV
9099 IRTemp sV, dV, s3, s2, s1, s0; in disInstr_X86_WRK() local
9102 dV = newTemp(Ity_I64); in disInstr_X86_WRK()
9125 assign(dV, in disInstr_X86_WRK()
9129 putMMXReg(gregOfRM(modrm), mkexpr(dV)); in disInstr_X86_WRK()
9447 IRTemp sV, dV; in disInstr_X86_WRK() local
9450 dV = newTemp(Ity_V128); in disInstr_X86_WRK()
9453 assign( dV, getXMMReg(gregOfRM(modrm)) ); in disInstr_X86_WRK()
9472 breakup128to32s( dV, &d3, &d2, &d1, &d0 ); in disInstr_X86_WRK()
9547 IRTemp sV, dV; in disInstr_X86_WRK() local
9551 dV = newTemp(Ity_V128); in disInstr_X86_WRK()
9554 assign( dV, getXMMReg(gregOfRM(modrm)) ); in disInstr_X86_WRK()
9571 breakup128to32s( dV, &d3, &d2, &d1, &d0 ); in disInstr_X86_WRK()
10707 IRTemp dV = newTemp(Ity_V128); in disInstr_X86_WRK() local
10714 assign( dV, getXMMReg(gregOfRM(modrm)) ); in disInstr_X86_WRK()
10733 assign( d1, unop(Iop_V128HIto64, mkexpr(dV)) ); in disInstr_X86_WRK()
10734 assign( d0, unop(Iop_V128to64, mkexpr(dV)) ); in disInstr_X86_WRK()
10789 IRTemp dV = newTemp(Ity_V128); in disInstr_X86_WRK() local
10793 assign( dV, getXMMReg(gregOfRM(modrm)) ); in disInstr_X86_WRK()
10810 assign( d1, unop(Iop_V128HIto64, mkexpr(dV)) ); in disInstr_X86_WRK()
10811 assign( d0, unop(Iop_V128to64, mkexpr(dV)) ); in disInstr_X86_WRK()
11052 IRTemp dV = newTemp(Ity_V128); in disInstr_X86_WRK() local
11089 assign( dV, binop(Iop_64HLtoV128, mkexpr(dHi), mkexpr(dLo))) ; in disInstr_X86_WRK()
11090 putXMMReg(gregOfRM(modrm), mkexpr(dV)); in disInstr_X86_WRK()
11173 IRTemp dV = newTemp(Ity_I64); in disInstr_X86_WRK() local
11179 assign( dV, getMMXReg(gregOfRM(modrm)) ); in disInstr_X86_WRK()
11194 assign( t0, unop(Iop_64to32, mkexpr(dV)) ); in disInstr_X86_WRK()
11207 IRTemp sV, dV; in disInstr_X86_WRK() local
11210 dV = newTemp(Ity_V128); in disInstr_X86_WRK()
11215 assign( dV, getXMMReg(gregOfRM(modrm)) ); in disInstr_X86_WRK()
11230 breakup128to32s( dV, &d3, &d2, &d1, &d0 ); in disInstr_X86_WRK()
11251 IRTemp dV = newTemp(Ity_V128); in disInstr_X86_WRK() local
11288 assign( dV, binop(Iop_64HLtoV128, mkexpr(dHi), mkexpr(dLo))) ; in disInstr_X86_WRK()
11289 putXMMReg(gregOfRM(modrm), mkexpr(dV)); in disInstr_X86_WRK()
11296 IRTemp sV, dV, s3, s2, s1, s0; in disInstr_X86_WRK() local
11299 dV = newTemp(Ity_V128); in disInstr_X86_WRK()
11321 assign(dV, in disInstr_X86_WRK()
11325 putXMMReg(gregOfRM(modrm), mkexpr(dV)); in disInstr_X86_WRK()
11334 IRTemp sVhi, dVhi, sV, dV, s3, s2, s1, s0; in disInstr_X86_WRK() local
11337 dV = newTemp(Ity_V128); in disInstr_X86_WRK()
11366 assign(dV, binop( Iop_64HLtoV128, in disInstr_X86_WRK()
11369 putXMMReg(gregOfRM(modrm), mkexpr(dV)); in disInstr_X86_WRK()
11378 IRTemp sVlo, dVlo, sV, dV, s3, s2, s1, s0; in disInstr_X86_WRK() local
11381 dV = newTemp(Ity_V128); in disInstr_X86_WRK()
11410 assign(dV, binop( Iop_64HLtoV128, in disInstr_X86_WRK()
11413 putXMMReg(gregOfRM(modrm), mkexpr(dV)); in disInstr_X86_WRK()
11436 IRTemp sV, dV, hi64, lo64, hi64r, lo64r; in disInstr_X86_WRK() local
11444 dV = newTemp(Ity_V128); in disInstr_X86_WRK()
11487 assign( dV, binop(Iop_64HLtoV128, mkexpr(hi64r), mkexpr(lo64r)) ); in disInstr_X86_WRK()
11488 putXMMReg(reg, mkexpr(dV)); in disInstr_X86_WRK()
11566 IRTemp sV, dV, hi64, lo64, hi64r, lo64r; in disInstr_X86_WRK() local
11574 dV = newTemp(Ity_V128); in disInstr_X86_WRK()
11618 assign( dV, binop(Iop_64HLtoV128, mkexpr(hi64r), mkexpr(lo64r)) ); in disInstr_X86_WRK()
11619 putXMMReg(reg, mkexpr(dV)); in disInstr_X86_WRK()
12100 IRTemp dV = newTemp(Ity_I64); in disInstr_X86_WRK() local
12108 assign( dV, getMMXReg(gregOfRM(modrm)) ); in disInstr_X86_WRK()
12131 binop(Iop_ShrN16x4, mkexpr(dV), mkU8(8)) ); in disInstr_X86_WRK()
12134 binop(Iop_ShlN16x4, mkexpr(dV), mkU8(8)), in disInstr_X86_WRK()
12152 IRTemp dV = newTemp(Ity_V128); in disInstr_X86_WRK() local
12159 assign( dV, getXMMReg(gregOfRM(modrm)) ); in disInstr_X86_WRK()
12183 binop(Iop_ShrN16x8, mkexpr(dV), mkU8(8)) ); in disInstr_X86_WRK()
12186 binop(Iop_ShlN16x8, mkexpr(dV), mkU8(8)), in disInstr_X86_WRK()
12222 IRTemp dV = newTemp(Ity_I64); in disInstr_X86_WRK() local
12241 assign( dV, getMMXReg(gregOfRM(modrm)) ); in disInstr_X86_WRK()
12259 binop(opCatE,mkexpr(sV),mkexpr(dV)), in disInstr_X86_WRK()
12260 binop(opCatO,mkexpr(sV),mkexpr(dV)) in disInstr_X86_WRK()
12288 IRTemp dV = newTemp(Ity_V128); in disInstr_X86_WRK() local
12310 assign( dV, getXMMReg(gregOfRM(modrm)) ); in disInstr_X86_WRK()
12326 assign( dHi, unop(Iop_V128HIto64, mkexpr(dV)) ); in disInstr_X86_WRK()
12327 assign( dLo, unop(Iop_V128to64, mkexpr(dV)) ); in disInstr_X86_WRK()
12355 IRTemp dV = newTemp(Ity_I64); in disInstr_X86_WRK() local
12359 assign( dV, getMMXReg(gregOfRM(modrm)) ); in disInstr_X86_WRK()
12376 dis_PMULHRSW_helper( mkexpr(sV), mkexpr(dV) ) in disInstr_X86_WRK()
12386 IRTemp dV = newTemp(Ity_V128); in disInstr_X86_WRK() local
12393 assign( dV, getXMMReg(gregOfRM(modrm)) ); in disInstr_X86_WRK()
12409 assign( dHi, unop(Iop_V128HIto64, mkexpr(dV)) ); in disInstr_X86_WRK()
12410 assign( dLo, unop(Iop_V128to64, mkexpr(dV)) ); in disInstr_X86_WRK()
12431 IRTemp dV = newTemp(Ity_I64); in disInstr_X86_WRK() local
12444 assign( dV, getMMXReg(gregOfRM(modrm)) ); in disInstr_X86_WRK()
12461 dis_PSIGN_helper( mkexpr(sV), mkexpr(dV), laneszB ) in disInstr_X86_WRK()
12473 IRTemp dV = newTemp(Ity_V128); in disInstr_X86_WRK() local
12489 assign( dV, getXMMReg(gregOfRM(modrm)) ); in disInstr_X86_WRK()
12505 assign( dHi, unop(Iop_V128HIto64, mkexpr(dV)) ); in disInstr_X86_WRK()
12506 assign( dLo, unop(Iop_V128to64, mkexpr(dV)) ); in disInstr_X86_WRK()
12612 IRTemp dV = newTemp(Ity_I64); in disInstr_X86_WRK() local
12617 assign( dV, getMMXReg(gregOfRM(modrm)) ); in disInstr_X86_WRK()
12643 binop(Iop_Shl64, mkexpr(dV), mkU8(8*(8-d32)) in disInstr_X86_WRK()
12647 assign( res, mkexpr(dV) ); in disInstr_X86_WRK()
12650 assign( res, binop(Iop_Shr64, mkexpr(dV), mkU8(8*(d32-8))) ); in disInstr_X86_WRK()
12666 IRTemp dV = newTemp(Ity_V128); in disInstr_X86_WRK() local
12675 assign( dV, getXMMReg(gregOfRM(modrm)) ); in disInstr_X86_WRK()
12695 assign( dHi, unop(Iop_V128HIto64, mkexpr(dV)) ); in disInstr_X86_WRK()
12696 assign( dLo, unop(Iop_V128to64, mkexpr(dV)) ); in disInstr_X86_WRK()
12750 IRTemp dV = newTemp(Ity_I64); in disInstr_X86_WRK() local
12754 assign( dV, getMMXReg(gregOfRM(modrm)) ); in disInstr_X86_WRK()
12776 mkexpr(dV), in disInstr_X86_WRK()
12790 IRTemp dV = newTemp(Ity_V128); in disInstr_X86_WRK() local
12808 assign( dV, getXMMReg(gregOfRM(modrm)) ); in disInstr_X86_WRK()
12824 assign( dHi, unop(Iop_V128HIto64, mkexpr(dV)) ); in disInstr_X86_WRK()
12825 assign( dLo, unop(Iop_V128to64, mkexpr(dV)) ); in disInstr_X86_WRK()