| OLD | NEW |
| 1 //===- subzero/src/IceInstX8664.cpp - X86-64 instruction implementation ---===// | 1 //===- subzero/src/IceInstX8664.cpp - X86-64 instruction implementation ---===// |
| 2 // | 2 // |
| 3 // The Subzero Code Generator | 3 // The Subzero Code Generator |
| 4 // | 4 // |
| 5 // This file is distributed under the University of Illinois Open Source | 5 // This file is distributed under the University of Illinois Open Source |
| 6 // License. See LICENSE.TXT for details. | 6 // License. See LICENSE.TXT for details. |
| 7 // | 7 // |
| 8 //===----------------------------------------------------------------------===// | 8 //===----------------------------------------------------------------------===// |
| 9 /// | 9 /// |
| 10 /// \file | 10 /// \file |
| (...skipping 48 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 59 }; | 59 }; |
| 60 | 60 |
| 61 void TargetX8664Traits::X86Operand::dump(const Cfg *, Ostream &Str) const { | 61 void TargetX8664Traits::X86Operand::dump(const Cfg *, Ostream &Str) const { |
| 62 if (BuildDefs::dump()) | 62 if (BuildDefs::dump()) |
| 63 Str << "<OperandX8664>"; | 63 Str << "<OperandX8664>"; |
| 64 } | 64 } |
| 65 | 65 |
| 66 TargetX8664Traits::X86OperandMem::X86OperandMem(Cfg *Func, Type Ty, | 66 TargetX8664Traits::X86OperandMem::X86OperandMem(Cfg *Func, Type Ty, |
| 67 Variable *Base, | 67 Variable *Base, |
| 68 Constant *Offset, | 68 Constant *Offset, |
| 69 Variable *Index, uint16_t Shift) | 69 Variable *Index, uint16_t Shift, |
| 70 bool IsPIC) |
| 70 : X86Operand(kMem, Ty), Base(Base), Offset(Offset), Index(Index), | 71 : X86Operand(kMem, Ty), Base(Base), Offset(Offset), Index(Index), |
| 71 Shift(Shift) { | 72 Shift(Shift), IsPIC(IsPIC) { |
| 72 assert(Shift <= 3); | 73 assert(Shift <= 3); |
| 73 Vars = nullptr; | 74 Vars = nullptr; |
| 74 NumVars = 0; | 75 NumVars = 0; |
| 75 if (Base) | 76 if (Base) |
| 76 ++NumVars; | 77 ++NumVars; |
| 77 if (Index) | 78 if (Index) |
| 78 ++NumVars; | 79 ++NumVars; |
| 79 if (NumVars) { | 80 if (NumVars) { |
| 80 Vars = Func->allocateArrayOf<Variable *>(NumVars); | 81 Vars = Func->allocateArrayOf<Variable *>(NumVars); |
| 81 SizeT I = 0; | 82 SizeT I = 0; |
| (...skipping 44 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 126 } else if (getOffset() == nullptr && Disp != 0) { | 127 } else if (getOffset() == nullptr && Disp != 0) { |
| 127 Str << Disp; | 128 Str << Disp; |
| 128 } else if (const auto *CI = llvm::dyn_cast<ConstantInteger32>(Offset)) { | 129 } else if (const auto *CI = llvm::dyn_cast<ConstantInteger32>(Offset)) { |
| 129 if (Base == nullptr || CI->getValue() || Disp != 0) | 130 if (Base == nullptr || CI->getValue() || Disp != 0) |
| 130 // Emit a non-zero offset without a leading '$'. | 131 // Emit a non-zero offset without a leading '$'. |
| 131 Str << CI->getValue() + Disp; | 132 Str << CI->getValue() + Disp; |
| 132 } else if (const auto *CR = llvm::dyn_cast<ConstantRelocatable>(Offset)) { | 133 } else if (const auto *CR = llvm::dyn_cast<ConstantRelocatable>(Offset)) { |
| 133 // TODO(sehr): ConstantRelocatable still needs updating for | 134 // TODO(sehr): ConstantRelocatable still needs updating for |
| 134 // rematerializable base/index and Disp. | 135 // rematerializable base/index and Disp. |
| 135 assert(Disp == 0); | 136 assert(Disp == 0); |
| 136 CR->emitWithoutPrefix(Func->getTarget()); | 137 const bool UseNonsfi = Func->getContext()->getFlags().getUseNonsfi(); |
| 138 CR->emitWithoutPrefix(Func->getTarget(), UseNonsfi ? "@GOTOFF" : ""); |
| 137 } else { | 139 } else { |
| 138 llvm_unreachable("Invalid offset type for x86 mem operand"); | 140 llvm_unreachable("Invalid offset type for x86 mem operand"); |
| 139 } | 141 } |
| 140 | 142 |
| 141 if (Base || Index) { | 143 if (Base || Index) { |
| 142 Str << "("; | 144 Str << "("; |
| 143 if (Base) { | 145 if (Base) { |
| 144 const Variable *Base32 = Base; | 146 const Variable *Base32 = Base; |
| 145 if (Base->getType() != IceType_i32) { | 147 if (Base->getType() != IceType_i32) { |
| 146 // X86-64 is ILP32, but %rsp and %rbp are accessed as 64-bit registers. | 148 // X86-64 is ILP32, but %rsp and %rbp are accessed as 64-bit registers. |
| (...skipping 88 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 235 } | 237 } |
| 236 if (getIndex()) | 238 if (getIndex()) |
| 237 assert(!getIndex()->isRematerializable()); | 239 assert(!getIndex()->isRematerializable()); |
| 238 AssemblerFixup *Fixup = nullptr; | 240 AssemblerFixup *Fixup = nullptr; |
| 239 // Determine the offset (is it relocatable?) | 241 // Determine the offset (is it relocatable?) |
| 240 if (getOffset() != nullptr) { | 242 if (getOffset() != nullptr) { |
| 241 if (const auto *CI = llvm::dyn_cast<ConstantInteger32>(getOffset())) { | 243 if (const auto *CI = llvm::dyn_cast<ConstantInteger32>(getOffset())) { |
| 242 Disp += static_cast<int32_t>(CI->getValue()); | 244 Disp += static_cast<int32_t>(CI->getValue()); |
| 243 } else if (const auto CR = | 245 } else if (const auto CR = |
| 244 llvm::dyn_cast<ConstantRelocatable>(getOffset())) { | 246 llvm::dyn_cast<ConstantRelocatable>(getOffset())) { |
| 245 Disp += CR->getOffset(); | 247 Disp = CR->getOffset(); |
| 246 Fixup = Asm->createFixup(RelFixup, CR); | 248 Fixup = Asm->createFixup(FK_Abs, CR); |
| 247 } else { | 249 } else { |
| 248 llvm_unreachable("Unexpected offset type"); | 250 llvm_unreachable("Unexpected offset type"); |
| 249 } | 251 } |
| 250 } | 252 } |
| 251 | 253 |
| 252 // Now convert to the various possible forms. | 254 // Now convert to the various possible forms. |
| 253 if (getBase() && getIndex()) { | 255 if (getBase() && getIndex()) { |
| 254 return X8664::Traits::Address(getEncodedGPR(getBase()->getRegNum()), | 256 return X8664::Traits::Address(getEncodedGPR(getBase()->getRegNum()), |
| 255 getEncodedGPR(getIndex()->getRegNum()), | 257 getEncodedGPR(getIndex()->getRegNum()), |
| 256 X8664::Traits::ScaleFactor(getShift()), Disp, | 258 X8664::Traits::ScaleFactor(getShift()), Disp, |
| (...skipping 50 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 307 Var->dump(Func); | 309 Var->dump(Func); |
| 308 else | 310 else |
| 309 Var->dump(Str); | 311 Var->dump(Str); |
| 310 Str << ")"; | 312 Str << ")"; |
| 311 } | 313 } |
| 312 | 314 |
| 313 } // namespace X8664 | 315 } // namespace X8664 |
| 314 } // end of namespace Ice | 316 } // end of namespace Ice |
| 315 | 317 |
| 316 X86INSTS_DEFINE_STATIC_DATA(X8664, X8664::Traits) | 318 X86INSTS_DEFINE_STATIC_DATA(X8664, X8664::Traits) |
| OLD | NEW |