11598    IRTemp arg64 = newTemp(Ity_I64);  in dis_CVTDQ2PD_128()  local
11603       assign( arg64, getXMMRegLane64(rE, 0) );  in dis_CVTDQ2PD_128()
11608       assign( arg64, loadLE(Ity_I64, mkexpr(addr)) );  in dis_CVTDQ2PD_128()
11614       unop(Iop_I32StoF64, unop(Iop_64to32, mkexpr(arg64)))  in dis_CVTDQ2PD_128()
11618       unop(Iop_I32StoF64, unop(Iop_64HIto32, mkexpr(arg64)))  in dis_CVTDQ2PD_128()
12970          IRTemp arg64 = newTemp(Ity_I64);  in dis_ESC_0F__SSE2()  local
12978             assign( arg64, getMMXReg(eregLO3ofRM(modrm)) );  in dis_ESC_0F__SSE2()
12984             assign( arg64, loadLE(Ity_I64, mkexpr(addr)) );  in dis_ESC_0F__SSE2()
12997                        unop(Iop_64to32, mkexpr(arg64)) )) );  in dis_ESC_0F__SSE2()
13004                        unop(Iop_64HIto32, mkexpr(arg64)) )) );  in dis_ESC_0F__SSE2()
13036             IRTemp arg64 = newTemp(Ity_I64);  in dis_ESC_0F__SSE2()  local
13038                assign( arg64, getIReg64(eregOfRexRM(pfx,modrm)) );  in dis_ESC_0F__SSE2()
13044                assign( arg64, loadLE(Ity_I64, mkexpr(addr)) );  in dis_ESC_0F__SSE2()
13053                      binop(Iop_I64StoF64, mkexpr(rmode), mkexpr(arg64)) ) );  in dis_ESC_0F__SSE2()
13082             IRTemp arg64 = newTemp(Ity_I64);  in dis_ESC_0F__SSE2()  local
13084                assign( arg64, getIReg64(eregOfRexRM(pfx,modrm)) );  in dis_ESC_0F__SSE2()
13090                assign( arg64, loadLE(Ity_I64, mkexpr(addr)) );  in dis_ESC_0F__SSE2()
13100                       mkexpr(arg64)  in dis_ESC_0F__SSE2()
13109          IRTemp arg64 = newTemp(Ity_I64);  in dis_ESC_0F__SSE2()  local
13120             assign( arg64, getMMXReg(eregLO3ofRM(modrm)) );  in dis_ESC_0F__SSE2()
13126             assign( arg64, loadLE(Ity_I64, mkexpr(addr)) );  in dis_ESC_0F__SSE2()
13134             unop(Iop_I32StoF64, unop(Iop_64to32, mkexpr(arg64)) )  in dis_ESC_0F__SSE2()
13139             unop(Iop_I32StoF64, unop(Iop_64HIto32, mkexpr(arg64)) )  in dis_ESC_0F__SSE2()
24803          IRTemp arg64 = newTemp(Ity_I64);  in dis_ESC_0F__VEX()  local
24806             assign( arg64, getIReg64(rS) );  in dis_ESC_0F__VEX()
24812             assign( arg64, loadLE(Ity_I64, mkexpr(addr)) );  in dis_ESC_0F__VEX()
24820                                   mkexpr(arg64)) );  in dis_ESC_0F__VEX()
24831          IRTemp arg64 = newTemp(Ity_I64);  in dis_ESC_0F__VEX()  local
24834             assign( arg64, getIReg64(rS) );  in dis_ESC_0F__VEX()
24840             assign( arg64, loadLE(Ity_I64, mkexpr(addr)) );  in dis_ESC_0F__VEX()
24849                                                       mkexpr(arg64)) ) );  in dis_ESC_0F__VEX()