Lines Matching refs:arg64
8563 IRTemp arg64 = newTemp(Ity_I64); in disInstr_X86_WRK() local
8570 assign( arg64, getMMXReg(eregOfRM(modrm)) ); in disInstr_X86_WRK()
8576 assign( arg64, loadLE(Ity_I64, mkexpr(addr)) ); in disInstr_X86_WRK()
8589 unop(Iop_64to32, mkexpr(arg64)) )) ); in disInstr_X86_WRK()
8596 unop(Iop_64HIto32, mkexpr(arg64)) )) ); in disInstr_X86_WRK()
9626 IRTemp arg64 = newTemp(Ity_I64); in disInstr_X86_WRK() local
9631 assign( arg64, getXMMRegLane64(eregOfRM(modrm), 0) ); in disInstr_X86_WRK()
9637 assign( arg64, loadLE(Ity_I64, mkexpr(addr)) ); in disInstr_X86_WRK()
9645 unop(Iop_I32StoF64, unop(Iop_64to32, mkexpr(arg64))) in disInstr_X86_WRK()
9650 unop(Iop_I32StoF64, unop(Iop_64HIto32, mkexpr(arg64))) in disInstr_X86_WRK()
9835 IRTemp arg64 = newTemp(Ity_I64); in disInstr_X86_WRK() local
9846 assign( arg64, getMMXReg(eregOfRM(modrm)) ); in disInstr_X86_WRK()
9852 assign( arg64, loadLE(Ity_I64, mkexpr(addr)) ); in disInstr_X86_WRK()
9860 unop(Iop_I32StoF64, unop(Iop_64to32, mkexpr(arg64)) ) in disInstr_X86_WRK()
9865 unop(Iop_I32StoF64, unop(Iop_64HIto32, mkexpr(arg64)) ) in disInstr_X86_WRK()