H A D | guest_x86_toIR.c | 11853 IRTemp gV = newTemp(Ity_V128); local 11873 assign( gV, getXMMReg(gregOfRM(modrm)) ); 11876 assign( addV, triop(Iop_Add32Fx4, mkexpr(rm), mkexpr(gV), mkexpr(eV)) ); 11877 assign( subV, triop(Iop_Sub32Fx4, mkexpr(rm), mkexpr(gV), mkexpr(eV)) ); 11889 IRTemp gV = newTemp(Ity_V128); local 11910 assign( gV, getXMMReg(gregOfRM(modrm)) ); 11913 assign( addV, triop(Iop_Add64Fx2, mkexpr(rm), mkexpr(gV), mkexpr(eV)) ); 11914 assign( subV, triop(Iop_Sub64Fx2, mkexpr(rm), mkexpr(gV), mkexpr(eV)) ); 11930 IRTemp gV = newTemp(Ity_V128); local 11952 assign( gV, getXMMRe 11975 IRTemp gV = newTemp(Ity_V128); local [all...] |