Lines Matching full:arg32
11686 IRTemp arg32 = newTemp(Ity_I32);
11688 assign( arg32, getIReg32(eregOfRexRM(pfx,modrm)) );
11694 assign( arg32, loadLE(Ity_I32, mkexpr(addr)) );
11703 unop(Iop_I32StoF64, mkexpr(arg32)) ) );
11734 IRTemp arg32 = newTemp(Ity_I32);
11736 assign( arg32, getIReg32(eregOfRexRM(pfx,modrm)) );
11742 assign( arg32, loadLE(Ity_I32, mkexpr(addr)) );
11748 unop(Iop_I32StoF64, mkexpr(arg32))
22158 IRTemp arg32 = newTemp(Ity_I32);
22161 assign( arg32, getIReg32(rS) );
22167 assign( arg32, loadLE(Ity_I32, mkexpr(addr)) );
22173 unop(Iop_I32StoF64, mkexpr(arg32)));
22242 IRTemp arg32 = newTemp(Ity_I32);
22245 assign( arg32, getIReg32(rS) );
22251 assign( arg32, loadLE(Ity_I32, mkexpr(addr)) );
22259 unop(Iop_I32StoF64, mkexpr(arg32)) ) );