blob: 94839de14f8d7edb27c901ab7a552060da12cb2e [file] [log] [blame]
Chandler Carruth8d736232015-12-29 09:06:16 +00001//===- lib/MC/MCFragment.cpp - Assembler Fragment Implementation ----------===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9
Chandler Carruth6bda14b2017-06-06 11:49:48 +000010#include "llvm/MC/MCFragment.h"
Eugene Zelenko1d435522017-02-07 23:02:00 +000011#include "llvm/ADT/SmallVector.h"
Chandler Carruth8d736232015-12-29 09:06:16 +000012#include "llvm/ADT/StringExtras.h"
13#include "llvm/ADT/Twine.h"
Chandler Carruth8d736232015-12-29 09:06:16 +000014#include "llvm/MC/MCAsmLayout.h"
Chandler Carruth6bda14b2017-06-06 11:49:48 +000015#include "llvm/MC/MCAssembler.h"
Chandler Carruth8d736232015-12-29 09:06:16 +000016#include "llvm/MC/MCContext.h"
Chandler Carruth8d736232015-12-29 09:06:16 +000017#include "llvm/MC/MCExpr.h"
Eugene Zelenko1d435522017-02-07 23:02:00 +000018#include "llvm/MC/MCFixup.h"
Chandler Carruth8d736232015-12-29 09:06:16 +000019#include "llvm/MC/MCSection.h"
Chandler Carruth8d736232015-12-29 09:06:16 +000020#include "llvm/MC/MCSymbol.h"
21#include "llvm/MC/MCValue.h"
Eugene Zelenko1d435522017-02-07 23:02:00 +000022#include "llvm/Support/Casting.h"
23#include "llvm/Support/Compiler.h"
Chandler Carruth8d736232015-12-29 09:06:16 +000024#include "llvm/Support/ErrorHandling.h"
Chandler Carruth8d736232015-12-29 09:06:16 +000025#include "llvm/Support/raw_ostream.h"
Eugene Zelenko1d435522017-02-07 23:02:00 +000026#include <cassert>
27#include <cstdint>
28#include <utility>
29
Chandler Carruth8d736232015-12-29 09:06:16 +000030using namespace llvm;
31
Eugene Zelenko1d435522017-02-07 23:02:00 +000032MCAsmLayout::MCAsmLayout(MCAssembler &Asm) : Assembler(Asm) {
Chandler Carruth8d736232015-12-29 09:06:16 +000033 // Compute the section layout order. Virtual sections must go last.
34 for (MCSection &Sec : Asm)
35 if (!Sec.isVirtualSection())
36 SectionOrder.push_back(&Sec);
37 for (MCSection &Sec : Asm)
38 if (Sec.isVirtualSection())
39 SectionOrder.push_back(&Sec);
40}
41
42bool MCAsmLayout::isFragmentValid(const MCFragment *F) const {
43 const MCSection *Sec = F->getParent();
44 const MCFragment *LastValid = LastValidFragment.lookup(Sec);
45 if (!LastValid)
46 return false;
47 assert(LastValid->getParent() == Sec);
48 return F->getLayoutOrder() <= LastValid->getLayoutOrder();
49}
50
51void MCAsmLayout::invalidateFragmentsFrom(MCFragment *F) {
52 // If this fragment wasn't already valid, we don't need to do anything.
53 if (!isFragmentValid(F))
54 return;
55
56 // Otherwise, reset the last valid fragment to the previous fragment
57 // (if this is the first fragment, it will be NULL).
58 LastValidFragment[F->getParent()] = F->getPrevNode();
59}
60
61void MCAsmLayout::ensureValid(const MCFragment *F) const {
62 MCSection *Sec = F->getParent();
63 MCSection::iterator I;
64 if (MCFragment *Cur = LastValidFragment[Sec])
65 I = ++MCSection::iterator(Cur);
66 else
67 I = Sec->begin();
68
69 // Advance the layout position until the fragment is valid.
70 while (!isFragmentValid(F)) {
71 assert(I != Sec->end() && "Layout bookkeeping error");
72 const_cast<MCAsmLayout *>(this)->layoutFragment(&*I);
73 ++I;
74 }
75}
76
77uint64_t MCAsmLayout::getFragmentOffset(const MCFragment *F) const {
78 ensureValid(F);
79 assert(F->Offset != ~UINT64_C(0) && "Address not set!");
80 return F->Offset;
81}
82
Mandeep Singh Grang1be19e62017-09-15 20:01:43 +000083// Simple getSymbolOffset helper for the non-variable case.
Chandler Carruth8d736232015-12-29 09:06:16 +000084static bool getLabelOffset(const MCAsmLayout &Layout, const MCSymbol &S,
85 bool ReportError, uint64_t &Val) {
86 if (!S.getFragment()) {
87 if (ReportError)
88 report_fatal_error("unable to evaluate offset to undefined symbol '" +
89 S.getName() + "'");
90 return false;
91 }
92 Val = Layout.getFragmentOffset(S.getFragment()) + S.getOffset();
93 return true;
94}
95
96static bool getSymbolOffsetImpl(const MCAsmLayout &Layout, const MCSymbol &S,
97 bool ReportError, uint64_t &Val) {
98 if (!S.isVariable())
99 return getLabelOffset(Layout, S, ReportError, Val);
100
101 // If SD is a variable, evaluate it.
102 MCValue Target;
103 if (!S.getVariableValue()->evaluateAsValue(Target, Layout))
104 report_fatal_error("unable to evaluate offset for variable '" +
105 S.getName() + "'");
106
107 uint64_t Offset = Target.getConstant();
108
109 const MCSymbolRefExpr *A = Target.getSymA();
110 if (A) {
111 uint64_t ValA;
112 if (!getLabelOffset(Layout, A->getSymbol(), ReportError, ValA))
113 return false;
114 Offset += ValA;
115 }
116
117 const MCSymbolRefExpr *B = Target.getSymB();
118 if (B) {
119 uint64_t ValB;
120 if (!getLabelOffset(Layout, B->getSymbol(), ReportError, ValB))
121 return false;
122 Offset -= ValB;
123 }
124
125 Val = Offset;
126 return true;
127}
128
129bool MCAsmLayout::getSymbolOffset(const MCSymbol &S, uint64_t &Val) const {
130 return getSymbolOffsetImpl(*this, S, false, Val);
131}
132
133uint64_t MCAsmLayout::getSymbolOffset(const MCSymbol &S) const {
134 uint64_t Val;
135 getSymbolOffsetImpl(*this, S, true, Val);
136 return Val;
137}
138
139const MCSymbol *MCAsmLayout::getBaseSymbol(const MCSymbol &Symbol) const {
140 if (!Symbol.isVariable())
141 return &Symbol;
142
143 const MCExpr *Expr = Symbol.getVariableValue();
144 MCValue Value;
145 if (!Expr->evaluateAsValue(Value, *this)) {
146 Assembler.getContext().reportError(
Chad Rosier9245e122017-01-19 20:06:32 +0000147 Expr->getLoc(), "expression could not be evaluated");
Chandler Carruth8d736232015-12-29 09:06:16 +0000148 return nullptr;
149 }
150
151 const MCSymbolRefExpr *RefB = Value.getSymB();
152 if (RefB) {
153 Assembler.getContext().reportError(
Chad Rosier9245e122017-01-19 20:06:32 +0000154 Expr->getLoc(), Twine("symbol '") + RefB->getSymbol().getName() +
Chandler Carruth8d736232015-12-29 09:06:16 +0000155 "' could not be evaluated in a subtraction expression");
156 return nullptr;
157 }
158
159 const MCSymbolRefExpr *A = Value.getSymA();
160 if (!A)
161 return nullptr;
162
163 const MCSymbol &ASym = A->getSymbol();
164 const MCAssembler &Asm = getAssembler();
165 if (ASym.isCommon()) {
Chad Rosier9245e122017-01-19 20:06:32 +0000166 Asm.getContext().reportError(Expr->getLoc(),
Chandler Carruth8d736232015-12-29 09:06:16 +0000167 "Common symbol '" + ASym.getName() +
168 "' cannot be used in assignment expr");
169 return nullptr;
170 }
171
172 return &ASym;
173}
174
175uint64_t MCAsmLayout::getSectionAddressSize(const MCSection *Sec) const {
176 // The size is the last fragment's end offset.
177 const MCFragment &F = Sec->getFragmentList().back();
178 return getFragmentOffset(&F) + getAssembler().computeFragmentSize(*this, F);
179}
180
181uint64_t MCAsmLayout::getSectionFileSize(const MCSection *Sec) const {
182 // Virtual sections have no file size.
183 if (Sec->isVirtualSection())
184 return 0;
185
186 // Otherwise, the file size is the same as the address space size.
187 return getSectionAddressSize(Sec);
188}
189
190uint64_t llvm::computeBundlePadding(const MCAssembler &Assembler,
191 const MCFragment *F,
192 uint64_t FOffset, uint64_t FSize) {
193 uint64_t BundleSize = Assembler.getBundleAlignSize();
194 assert(BundleSize > 0 &&
195 "computeBundlePadding should only be called if bundling is enabled");
196 uint64_t BundleMask = BundleSize - 1;
197 uint64_t OffsetInBundle = FOffset & BundleMask;
198 uint64_t EndOfFragment = OffsetInBundle + FSize;
199
200 // There are two kinds of bundling restrictions:
201 //
202 // 1) For alignToBundleEnd(), add padding to ensure that the fragment will
203 // *end* on a bundle boundary.
204 // 2) Otherwise, check if the fragment would cross a bundle boundary. If it
205 // would, add padding until the end of the bundle so that the fragment
206 // will start in a new one.
207 if (F->alignToBundleEnd()) {
208 // Three possibilities here:
209 //
210 // A) The fragment just happens to end at a bundle boundary, so we're good.
211 // B) The fragment ends before the current bundle boundary: pad it just
212 // enough to reach the boundary.
213 // C) The fragment ends after the current bundle boundary: pad it until it
214 // reaches the end of the next bundle boundary.
215 //
216 // Note: this code could be made shorter with some modulo trickery, but it's
217 // intentionally kept in its more explicit form for simplicity.
218 if (EndOfFragment == BundleSize)
219 return 0;
220 else if (EndOfFragment < BundleSize)
221 return BundleSize - EndOfFragment;
222 else { // EndOfFragment > BundleSize
223 return 2 * BundleSize - EndOfFragment;
224 }
225 } else if (OffsetInBundle > 0 && EndOfFragment > BundleSize)
226 return BundleSize - OffsetInBundle;
227 else
228 return 0;
229}
230
231/* *** */
232
Duncan P. N. Exon Smithf947c3a2016-08-30 18:40:47 +0000233void ilist_alloc_traits<MCFragment>::deleteNode(MCFragment *V) { V->destroy(); }
Chandler Carruth8d736232015-12-29 09:06:16 +0000234
Eugene Zelenko1d435522017-02-07 23:02:00 +0000235MCFragment::~MCFragment() = default;
Chandler Carruth8d736232015-12-29 09:06:16 +0000236
237MCFragment::MCFragment(FragmentType Kind, bool HasInstructions,
238 uint8_t BundlePadding, MCSection *Parent)
239 : Kind(Kind), HasInstructions(HasInstructions), AlignToBundleEnd(false),
240 BundlePadding(BundlePadding), Parent(Parent), Atom(nullptr),
241 Offset(~UINT64_C(0)) {
242 if (Parent && !isDummy())
243 Parent->getFragmentList().push_back(this);
244}
245
246void MCFragment::destroy() {
247 // First check if we are the sentinal.
248 if (Kind == FragmentType(~0)) {
249 delete this;
250 return;
251 }
252
253 switch (Kind) {
254 case FT_Align:
255 delete cast<MCAlignFragment>(this);
256 return;
257 case FT_Data:
258 delete cast<MCDataFragment>(this);
259 return;
260 case FT_CompactEncodedInst:
261 delete cast<MCCompactEncodedInstFragment>(this);
262 return;
263 case FT_Fill:
264 delete cast<MCFillFragment>(this);
265 return;
266 case FT_Relaxable:
267 delete cast<MCRelaxableFragment>(this);
268 return;
269 case FT_Org:
270 delete cast<MCOrgFragment>(this);
271 return;
272 case FT_Dwarf:
273 delete cast<MCDwarfLineAddrFragment>(this);
274 return;
275 case FT_DwarfFrame:
276 delete cast<MCDwarfCallFrameFragment>(this);
277 return;
278 case FT_LEB:
279 delete cast<MCLEBFragment>(this);
280 return;
Omer Paparo Bivas2251c792017-10-24 06:16:03 +0000281 case FT_Padding:
282 delete cast<MCPaddingFragment>(this);
283 return;
Chandler Carruth8d736232015-12-29 09:06:16 +0000284 case FT_SafeSEH:
285 delete cast<MCSafeSEHFragment>(this);
286 return;
Reid Kleckner1fcd6102016-02-02 17:41:18 +0000287 case FT_CVInlineLines:
288 delete cast<MCCVInlineLineTableFragment>(this);
289 return;
David Majnemer408b5e62016-02-05 01:55:49 +0000290 case FT_CVDefRange:
291 delete cast<MCCVDefRangeFragment>(this);
292 return;
Chandler Carruth8d736232015-12-29 09:06:16 +0000293 case FT_Dummy:
294 delete cast<MCDummyFragment>(this);
295 return;
296 }
297}
298
Chandler Carruth8d736232015-12-29 09:06:16 +0000299// Debugging methods
300
301namespace llvm {
302
303raw_ostream &operator<<(raw_ostream &OS, const MCFixup &AF) {
304 OS << "<MCFixup" << " Offset:" << AF.getOffset()
305 << " Value:" << *AF.getValue()
306 << " Kind:" << AF.getKind() << ">";
307 return OS;
308}
309
Eugene Zelenko1d435522017-02-07 23:02:00 +0000310} // end namespace llvm
Chandler Carruth8d736232015-12-29 09:06:16 +0000311
Aaron Ballman615eb472017-10-15 14:32:27 +0000312#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
Sam Clegg705f7982017-06-21 22:19:17 +0000313LLVM_DUMP_METHOD void MCFragment::dump() const {
Eugene Zelenko1d435522017-02-07 23:02:00 +0000314 raw_ostream &OS = errs();
Chandler Carruth8d736232015-12-29 09:06:16 +0000315
316 OS << "<";
317 switch (getKind()) {
318 case MCFragment::FT_Align: OS << "MCAlignFragment"; break;
319 case MCFragment::FT_Data: OS << "MCDataFragment"; break;
320 case MCFragment::FT_CompactEncodedInst:
321 OS << "MCCompactEncodedInstFragment"; break;
322 case MCFragment::FT_Fill: OS << "MCFillFragment"; break;
323 case MCFragment::FT_Relaxable: OS << "MCRelaxableFragment"; break;
324 case MCFragment::FT_Org: OS << "MCOrgFragment"; break;
325 case MCFragment::FT_Dwarf: OS << "MCDwarfFragment"; break;
326 case MCFragment::FT_DwarfFrame: OS << "MCDwarfCallFrameFragment"; break;
327 case MCFragment::FT_LEB: OS << "MCLEBFragment"; break;
Omer Paparo Bivas2251c792017-10-24 06:16:03 +0000328 case MCFragment::FT_Padding: OS << "MCPaddingFragment"; break;
Chandler Carruth8d736232015-12-29 09:06:16 +0000329 case MCFragment::FT_SafeSEH: OS << "MCSafeSEHFragment"; break;
Reid Kleckner1fcd6102016-02-02 17:41:18 +0000330 case MCFragment::FT_CVInlineLines: OS << "MCCVInlineLineTableFragment"; break;
David Majnemer408b5e62016-02-05 01:55:49 +0000331 case MCFragment::FT_CVDefRange: OS << "MCCVDefRangeTableFragment"; break;
Reid Kleckner1fcd6102016-02-02 17:41:18 +0000332 case MCFragment::FT_Dummy: OS << "MCDummyFragment"; break;
Chandler Carruth8d736232015-12-29 09:06:16 +0000333 }
334
Ekaterina Vaartisc4a63222017-06-22 19:08:30 +0000335 OS << "<MCFragment " << (const void*) this << " LayoutOrder:" << LayoutOrder
Chandler Carruth8d736232015-12-29 09:06:16 +0000336 << " Offset:" << Offset
Ekaterina Vaartisc4a63222017-06-22 19:08:30 +0000337 << " HasInstructions:" << hasInstructions()
Chandler Carruth8d736232015-12-29 09:06:16 +0000338 << " BundlePadding:" << static_cast<unsigned>(getBundlePadding()) << ">";
339
340 switch (getKind()) {
341 case MCFragment::FT_Align: {
342 const MCAlignFragment *AF = cast<MCAlignFragment>(this);
343 if (AF->hasEmitNops())
344 OS << " (emit nops)";
345 OS << "\n ";
346 OS << " Alignment:" << AF->getAlignment()
347 << " Value:" << AF->getValue() << " ValueSize:" << AF->getValueSize()
348 << " MaxBytesToEmit:" << AF->getMaxBytesToEmit() << ">";
349 break;
350 }
351 case MCFragment::FT_Data: {
352 const MCDataFragment *DF = cast<MCDataFragment>(this);
353 OS << "\n ";
354 OS << " Contents:[";
355 const SmallVectorImpl<char> &Contents = DF->getContents();
356 for (unsigned i = 0, e = Contents.size(); i != e; ++i) {
357 if (i) OS << ",";
358 OS << hexdigit((Contents[i] >> 4) & 0xF) << hexdigit(Contents[i] & 0xF);
359 }
360 OS << "] (" << Contents.size() << " bytes)";
361
362 if (DF->fixup_begin() != DF->fixup_end()) {
363 OS << ",\n ";
364 OS << " Fixups:[";
365 for (MCDataFragment::const_fixup_iterator it = DF->fixup_begin(),
366 ie = DF->fixup_end(); it != ie; ++it) {
367 if (it != DF->fixup_begin()) OS << ",\n ";
368 OS << *it;
369 }
370 OS << "]";
371 }
372 break;
373 }
374 case MCFragment::FT_CompactEncodedInst: {
375 const MCCompactEncodedInstFragment *CEIF =
376 cast<MCCompactEncodedInstFragment>(this);
377 OS << "\n ";
378 OS << " Contents:[";
379 const SmallVectorImpl<char> &Contents = CEIF->getContents();
380 for (unsigned i = 0, e = Contents.size(); i != e; ++i) {
381 if (i) OS << ",";
382 OS << hexdigit((Contents[i] >> 4) & 0xF) << hexdigit(Contents[i] & 0xF);
383 }
384 OS << "] (" << Contents.size() << " bytes)";
385 break;
386 }
387 case MCFragment::FT_Fill: {
388 const MCFillFragment *FF = cast<MCFillFragment>(this);
Sam Clegg58ad080e2017-06-22 17:57:01 +0000389 OS << " Value:" << static_cast<unsigned>(FF->getValue())
390 << " Size:" << FF->getSize();
Chandler Carruth8d736232015-12-29 09:06:16 +0000391 break;
392 }
393 case MCFragment::FT_Relaxable: {
394 const MCRelaxableFragment *F = cast<MCRelaxableFragment>(this);
395 OS << "\n ";
396 OS << " Inst:";
397 F->getInst().dump_pretty(OS);
398 break;
399 }
400 case MCFragment::FT_Org: {
401 const MCOrgFragment *OF = cast<MCOrgFragment>(this);
402 OS << "\n ";
Sam Clegg58ad080e2017-06-22 17:57:01 +0000403 OS << " Offset:" << OF->getOffset()
404 << " Value:" << static_cast<unsigned>(OF->getValue());
Chandler Carruth8d736232015-12-29 09:06:16 +0000405 break;
406 }
407 case MCFragment::FT_Dwarf: {
408 const MCDwarfLineAddrFragment *OF = cast<MCDwarfLineAddrFragment>(this);
409 OS << "\n ";
410 OS << " AddrDelta:" << OF->getAddrDelta()
411 << " LineDelta:" << OF->getLineDelta();
412 break;
413 }
414 case MCFragment::FT_DwarfFrame: {
415 const MCDwarfCallFrameFragment *CF = cast<MCDwarfCallFrameFragment>(this);
416 OS << "\n ";
417 OS << " AddrDelta:" << CF->getAddrDelta();
418 break;
419 }
420 case MCFragment::FT_LEB: {
421 const MCLEBFragment *LF = cast<MCLEBFragment>(this);
422 OS << "\n ";
423 OS << " Value:" << LF->getValue() << " Signed:" << LF->isSigned();
424 break;
425 }
Omer Paparo Bivas2251c792017-10-24 06:16:03 +0000426 case MCFragment::FT_Padding: {
427 const MCPaddingFragment *F = cast<MCPaddingFragment>(this);
428 OS << "\n ";
429 OS << " PaddingPoliciesMask:" << F->getPaddingPoliciesMask()
430 << " IsInsertionPoint:" << F->isInsertionPoint()
431 << " Size:" << F->getSize();
432 OS << "\n ";
433 OS << " Inst:";
434 F->getInst().dump_pretty(OS);
435 OS << " InstSize:" << F->getInstSize();
436 OS << "\n ";
437 break;
438 }
Chandler Carruth8d736232015-12-29 09:06:16 +0000439 case MCFragment::FT_SafeSEH: {
440 const MCSafeSEHFragment *F = cast<MCSafeSEHFragment>(this);
441 OS << "\n ";
442 OS << " Sym:" << F->getSymbol();
443 break;
444 }
Reid Kleckner1fcd6102016-02-02 17:41:18 +0000445 case MCFragment::FT_CVInlineLines: {
446 const auto *F = cast<MCCVInlineLineTableFragment>(this);
447 OS << "\n ";
448 OS << " Sym:" << *F->getFnStartSym();
449 break;
450 }
David Majnemer408b5e62016-02-05 01:55:49 +0000451 case MCFragment::FT_CVDefRange: {
452 const auto *F = cast<MCCVDefRangeFragment>(this);
453 OS << "\n ";
454 for (std::pair<const MCSymbol *, const MCSymbol *> RangeStartEnd :
455 F->getRanges()) {
456 OS << " RangeStart:" << RangeStartEnd.first;
457 OS << " RangeEnd:" << RangeStartEnd.second;
458 }
459 break;
460 }
Chandler Carruth8d736232015-12-29 09:06:16 +0000461 case MCFragment::FT_Dummy:
462 break;
463 }
464 OS << ">";
465}
466
Sam Clegg705f7982017-06-21 22:19:17 +0000467LLVM_DUMP_METHOD void MCAssembler::dump() const{
Eugene Zelenko1d435522017-02-07 23:02:00 +0000468 raw_ostream &OS = errs();
Chandler Carruth8d736232015-12-29 09:06:16 +0000469
470 OS << "<MCAssembler\n";
471 OS << " Sections:[\n ";
Sam Clegg705f7982017-06-21 22:19:17 +0000472 for (const_iterator it = begin(), ie = end(); it != ie; ++it) {
Chandler Carruth8d736232015-12-29 09:06:16 +0000473 if (it != begin()) OS << ",\n ";
474 it->dump();
475 }
476 OS << "],\n";
477 OS << " Symbols:[";
478
Sam Clegg705f7982017-06-21 22:19:17 +0000479 for (const_symbol_iterator it = symbol_begin(), ie = symbol_end(); it != ie; ++it) {
Chandler Carruth8d736232015-12-29 09:06:16 +0000480 if (it != symbol_begin()) OS << ",\n ";
481 OS << "(";
482 it->dump();
483 OS << ", Index:" << it->getIndex() << ", ";
484 OS << ")";
485 }
486 OS << "]>\n";
487}
Matthias Braun8c209aa2017-01-28 02:02:38 +0000488#endif