Searched defs:dVoddsZX (Results 1 - 2 of 2) sorted by relevance

/external/valgrind/main/VEX/priv/
H A Dguest_x86_toIR.c12045 IRTemp dVoddsZX = newTemp(Ity_I64); local
12072 assign( dVoddsZX,
12082 binop(Iop_Mul16x4, mkexpr(sVoddsSX), mkexpr(dVoddsZX)),
12097 IRTemp dVoddsZX = newTemp(Ity_V128); local
12124 assign( dVoddsZX,
12134 binop(Iop_Mul16x8, mkexpr(sVoddsSX), mkexpr(dVoddsZX)),
H A Dguest_amd64_toIR.c15245 IRTemp dVoddsZX = newTemp(Ity_V128); local
15252 assign( dVoddsZX, binop(Iop_ShrN16x8, mkexpr(dV), mkU8(8)) );
15259 binop(Iop_Mul16x8, mkexpr(sVoddsSX), mkexpr(dVoddsZX)),
15490 IRTemp dVoddsZX = newTemp(Ity_I64); local
15517 assign( dVoddsZX,
15527 binop(Iop_Mul16x4, mkexpr(sVoddsSX), mkexpr(dVoddsZX)),
[all...]

Completed in 458 milliseconds