Lines Matching refs:arg64
8614 IRTemp arg64 = newTemp(Ity_I64); in disInstr_X86_WRK() local
8623 assign( arg64, getMMXReg(eregOfRM(modrm)) ); in disInstr_X86_WRK()
8629 assign( arg64, loadLE(Ity_I64, mkexpr(addr)) ); in disInstr_X86_WRK()
8642 unop(Iop_64to32, mkexpr(arg64)) )) ); in disInstr_X86_WRK()
8649 unop(Iop_64HIto32, mkexpr(arg64)) )) ); in disInstr_X86_WRK()
9679 IRTemp arg64 = newTemp(Ity_I64); in disInstr_X86_WRK() local
9684 assign( arg64, getXMMRegLane64(eregOfRM(modrm), 0) ); in disInstr_X86_WRK()
9690 assign( arg64, loadLE(Ity_I64, mkexpr(addr)) ); in disInstr_X86_WRK()
9698 unop(Iop_I32StoF64, unop(Iop_64to32, mkexpr(arg64))) in disInstr_X86_WRK()
9703 unop(Iop_I32StoF64, unop(Iop_64HIto32, mkexpr(arg64))) in disInstr_X86_WRK()
9888 IRTemp arg64 = newTemp(Ity_I64); in disInstr_X86_WRK() local
9899 assign( arg64, getMMXReg(eregOfRM(modrm)) ); in disInstr_X86_WRK()
9905 assign( arg64, loadLE(Ity_I64, mkexpr(addr)) ); in disInstr_X86_WRK()
9913 unop(Iop_I32StoF64, unop(Iop_64to32, mkexpr(arg64)) ) in disInstr_X86_WRK()
9918 unop(Iop_I32StoF64, unop(Iop_64HIto32, mkexpr(arg64)) ) in disInstr_X86_WRK()