blob: 8f96e06957a4bc1e9c218ea4742d6f9d186083d5 [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
10#include "llvm/MC/MCFragment.h"
11#include "llvm/ADT/StringExtras.h"
12#include "llvm/ADT/Twine.h"
Reid Klecknera5b1eef2016-08-26 17:58:37 +000013#include "llvm/MC/MCAssembler.h"
Chandler Carruth8d736232015-12-29 09:06:16 +000014#include "llvm/MC/MCAsmBackend.h"
15#include "llvm/MC/MCAsmInfo.h"
16#include "llvm/MC/MCAsmLayout.h"
17#include "llvm/MC/MCContext.h"
18#include "llvm/MC/MCDwarf.h"
19#include "llvm/MC/MCExpr.h"
20#include "llvm/MC/MCFixupKindInfo.h"
21#include "llvm/MC/MCSection.h"
22#include "llvm/MC/MCSectionELF.h"
23#include "llvm/MC/MCSymbol.h"
24#include "llvm/MC/MCValue.h"
25#include "llvm/Support/ErrorHandling.h"
26#include "llvm/Support/LEB128.h"
27#include "llvm/Support/TargetRegistry.h"
28#include "llvm/Support/raw_ostream.h"
Chandler Carruth8d736232015-12-29 09:06:16 +000029using namespace llvm;
30
31MCAsmLayout::MCAsmLayout(MCAssembler &Asm)
32 : Assembler(Asm), LastValidFragment()
33 {
34 // Compute the section layout order. Virtual sections must go last.
35 for (MCSection &Sec : Asm)
36 if (!Sec.isVirtualSection())
37 SectionOrder.push_back(&Sec);
38 for (MCSection &Sec : Asm)
39 if (Sec.isVirtualSection())
40 SectionOrder.push_back(&Sec);
41}
42
43bool MCAsmLayout::isFragmentValid(const MCFragment *F) const {
44 const MCSection *Sec = F->getParent();
45 const MCFragment *LastValid = LastValidFragment.lookup(Sec);
46 if (!LastValid)
47 return false;
48 assert(LastValid->getParent() == Sec);
49 return F->getLayoutOrder() <= LastValid->getLayoutOrder();
50}
51
52void MCAsmLayout::invalidateFragmentsFrom(MCFragment *F) {
53 // If this fragment wasn't already valid, we don't need to do anything.
54 if (!isFragmentValid(F))
55 return;
56
57 // Otherwise, reset the last valid fragment to the previous fragment
58 // (if this is the first fragment, it will be NULL).
59 LastValidFragment[F->getParent()] = F->getPrevNode();
60}
61
62void MCAsmLayout::ensureValid(const MCFragment *F) const {
63 MCSection *Sec = F->getParent();
64 MCSection::iterator I;
65 if (MCFragment *Cur = LastValidFragment[Sec])
66 I = ++MCSection::iterator(Cur);
67 else
68 I = Sec->begin();
69
70 // Advance the layout position until the fragment is valid.
71 while (!isFragmentValid(F)) {
72 assert(I != Sec->end() && "Layout bookkeeping error");
73 const_cast<MCAsmLayout *>(this)->layoutFragment(&*I);
74 ++I;
75 }
76}
77
78uint64_t MCAsmLayout::getFragmentOffset(const MCFragment *F) const {
79 ensureValid(F);
80 assert(F->Offset != ~UINT64_C(0) && "Address not set!");
81 return F->Offset;
82}
83
84// Simple getSymbolOffset helper for the non-varibale case.
85static bool getLabelOffset(const MCAsmLayout &Layout, const MCSymbol &S,
86 bool ReportError, uint64_t &Val) {
87 if (!S.getFragment()) {
88 if (ReportError)
89 report_fatal_error("unable to evaluate offset to undefined symbol '" +
90 S.getName() + "'");
91 return false;
92 }
93 Val = Layout.getFragmentOffset(S.getFragment()) + S.getOffset();
94 return true;
95}
96
97static bool getSymbolOffsetImpl(const MCAsmLayout &Layout, const MCSymbol &S,
98 bool ReportError, uint64_t &Val) {
99 if (!S.isVariable())
100 return getLabelOffset(Layout, S, ReportError, Val);
101
102 // If SD is a variable, evaluate it.
103 MCValue Target;
104 if (!S.getVariableValue()->evaluateAsValue(Target, Layout))
105 report_fatal_error("unable to evaluate offset for variable '" +
106 S.getName() + "'");
107
108 uint64_t Offset = Target.getConstant();
109
110 const MCSymbolRefExpr *A = Target.getSymA();
111 if (A) {
112 uint64_t ValA;
113 if (!getLabelOffset(Layout, A->getSymbol(), ReportError, ValA))
114 return false;
115 Offset += ValA;
116 }
117
118 const MCSymbolRefExpr *B = Target.getSymB();
119 if (B) {
120 uint64_t ValB;
121 if (!getLabelOffset(Layout, B->getSymbol(), ReportError, ValB))
122 return false;
123 Offset -= ValB;
124 }
125
126 Val = Offset;
127 return true;
128}
129
130bool MCAsmLayout::getSymbolOffset(const MCSymbol &S, uint64_t &Val) const {
131 return getSymbolOffsetImpl(*this, S, false, Val);
132}
133
134uint64_t MCAsmLayout::getSymbolOffset(const MCSymbol &S) const {
135 uint64_t Val;
136 getSymbolOffsetImpl(*this, S, true, Val);
137 return Val;
138}
139
140const MCSymbol *MCAsmLayout::getBaseSymbol(const MCSymbol &Symbol) const {
141 if (!Symbol.isVariable())
142 return &Symbol;
143
144 const MCExpr *Expr = Symbol.getVariableValue();
145 MCValue Value;
146 if (!Expr->evaluateAsValue(Value, *this)) {
147 Assembler.getContext().reportError(
Chad Rosier9245e122017-01-19 20:06:32 +0000148 Expr->getLoc(), "expression could not be evaluated");
Chandler Carruth8d736232015-12-29 09:06:16 +0000149 return nullptr;
150 }
151
152 const MCSymbolRefExpr *RefB = Value.getSymB();
153 if (RefB) {
154 Assembler.getContext().reportError(
Chad Rosier9245e122017-01-19 20:06:32 +0000155 Expr->getLoc(), Twine("symbol '") + RefB->getSymbol().getName() +
Chandler Carruth8d736232015-12-29 09:06:16 +0000156 "' could not be evaluated in a subtraction expression");
157 return nullptr;
158 }
159
160 const MCSymbolRefExpr *A = Value.getSymA();
161 if (!A)
162 return nullptr;
163
164 const MCSymbol &ASym = A->getSymbol();
165 const MCAssembler &Asm = getAssembler();
166 if (ASym.isCommon()) {
Chad Rosier9245e122017-01-19 20:06:32 +0000167 Asm.getContext().reportError(Expr->getLoc(),
Chandler Carruth8d736232015-12-29 09:06:16 +0000168 "Common symbol '" + ASym.getName() +
169 "' cannot be used in assignment expr");
170 return nullptr;
171 }
172
173 return &ASym;
174}
175
176uint64_t MCAsmLayout::getSectionAddressSize(const MCSection *Sec) const {
177 // The size is the last fragment's end offset.
178 const MCFragment &F = Sec->getFragmentList().back();
179 return getFragmentOffset(&F) + getAssembler().computeFragmentSize(*this, F);
180}
181
182uint64_t MCAsmLayout::getSectionFileSize(const MCSection *Sec) const {
183 // Virtual sections have no file size.
184 if (Sec->isVirtualSection())
185 return 0;
186
187 // Otherwise, the file size is the same as the address space size.
188 return getSectionAddressSize(Sec);
189}
190
191uint64_t llvm::computeBundlePadding(const MCAssembler &Assembler,
192 const MCFragment *F,
193 uint64_t FOffset, uint64_t FSize) {
194 uint64_t BundleSize = Assembler.getBundleAlignSize();
195 assert(BundleSize > 0 &&
196 "computeBundlePadding should only be called if bundling is enabled");
197 uint64_t BundleMask = BundleSize - 1;
198 uint64_t OffsetInBundle = FOffset & BundleMask;
199 uint64_t EndOfFragment = OffsetInBundle + FSize;
200
201 // There are two kinds of bundling restrictions:
202 //
203 // 1) For alignToBundleEnd(), add padding to ensure that the fragment will
204 // *end* on a bundle boundary.
205 // 2) Otherwise, check if the fragment would cross a bundle boundary. If it
206 // would, add padding until the end of the bundle so that the fragment
207 // will start in a new one.
208 if (F->alignToBundleEnd()) {
209 // Three possibilities here:
210 //
211 // A) The fragment just happens to end at a bundle boundary, so we're good.
212 // B) The fragment ends before the current bundle boundary: pad it just
213 // enough to reach the boundary.
214 // C) The fragment ends after the current bundle boundary: pad it until it
215 // reaches the end of the next bundle boundary.
216 //
217 // Note: this code could be made shorter with some modulo trickery, but it's
218 // intentionally kept in its more explicit form for simplicity.
219 if (EndOfFragment == BundleSize)
220 return 0;
221 else if (EndOfFragment < BundleSize)
222 return BundleSize - EndOfFragment;
223 else { // EndOfFragment > BundleSize
224 return 2 * BundleSize - EndOfFragment;
225 }
226 } else if (OffsetInBundle > 0 && EndOfFragment > BundleSize)
227 return BundleSize - OffsetInBundle;
228 else
229 return 0;
230}
231
232/* *** */
233
Duncan P. N. Exon Smithf947c3a2016-08-30 18:40:47 +0000234void ilist_alloc_traits<MCFragment>::deleteNode(MCFragment *V) { V->destroy(); }
Chandler Carruth8d736232015-12-29 09:06:16 +0000235
Chandler Carruth8d736232015-12-29 09:06:16 +0000236MCFragment::~MCFragment() { }
237
238MCFragment::MCFragment(FragmentType Kind, bool HasInstructions,
239 uint8_t BundlePadding, MCSection *Parent)
240 : Kind(Kind), HasInstructions(HasInstructions), AlignToBundleEnd(false),
241 BundlePadding(BundlePadding), Parent(Parent), Atom(nullptr),
242 Offset(~UINT64_C(0)) {
243 if (Parent && !isDummy())
244 Parent->getFragmentList().push_back(this);
245}
246
247void MCFragment::destroy() {
248 // First check if we are the sentinal.
249 if (Kind == FragmentType(~0)) {
250 delete this;
251 return;
252 }
253
254 switch (Kind) {
255 case FT_Align:
256 delete cast<MCAlignFragment>(this);
257 return;
258 case FT_Data:
259 delete cast<MCDataFragment>(this);
260 return;
261 case FT_CompactEncodedInst:
262 delete cast<MCCompactEncodedInstFragment>(this);
263 return;
264 case FT_Fill:
265 delete cast<MCFillFragment>(this);
266 return;
267 case FT_Relaxable:
268 delete cast<MCRelaxableFragment>(this);
269 return;
270 case FT_Org:
271 delete cast<MCOrgFragment>(this);
272 return;
273 case FT_Dwarf:
274 delete cast<MCDwarfLineAddrFragment>(this);
275 return;
276 case FT_DwarfFrame:
277 delete cast<MCDwarfCallFrameFragment>(this);
278 return;
279 case FT_LEB:
280 delete cast<MCLEBFragment>(this);
281 return;
282 case FT_SafeSEH:
283 delete cast<MCSafeSEHFragment>(this);
284 return;
Reid Kleckner1fcd6102016-02-02 17:41:18 +0000285 case FT_CVInlineLines:
286 delete cast<MCCVInlineLineTableFragment>(this);
287 return;
David Majnemer408b5e62016-02-05 01:55:49 +0000288 case FT_CVDefRange:
289 delete cast<MCCVDefRangeFragment>(this);
290 return;
Chandler Carruth8d736232015-12-29 09:06:16 +0000291 case FT_Dummy:
292 delete cast<MCDummyFragment>(this);
293 return;
294 }
295}
296
297/* *** */
298
299// 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
310}
311
Yaron Kereneb2a2542016-01-29 20:50:44 +0000312LLVM_DUMP_METHOD void MCFragment::dump() {
Chandler Carruth8d736232015-12-29 09:06:16 +0000313 raw_ostream &OS = llvm::errs();
314
315 OS << "<";
316 switch (getKind()) {
317 case MCFragment::FT_Align: OS << "MCAlignFragment"; break;
318 case MCFragment::FT_Data: OS << "MCDataFragment"; break;
319 case MCFragment::FT_CompactEncodedInst:
320 OS << "MCCompactEncodedInstFragment"; break;
321 case MCFragment::FT_Fill: OS << "MCFillFragment"; break;
322 case MCFragment::FT_Relaxable: OS << "MCRelaxableFragment"; break;
323 case MCFragment::FT_Org: OS << "MCOrgFragment"; break;
324 case MCFragment::FT_Dwarf: OS << "MCDwarfFragment"; break;
325 case MCFragment::FT_DwarfFrame: OS << "MCDwarfCallFrameFragment"; break;
326 case MCFragment::FT_LEB: OS << "MCLEBFragment"; break;
327 case MCFragment::FT_SafeSEH: OS << "MCSafeSEHFragment"; break;
Reid Kleckner1fcd6102016-02-02 17:41:18 +0000328 case MCFragment::FT_CVInlineLines: OS << "MCCVInlineLineTableFragment"; break;
David Majnemer408b5e62016-02-05 01:55:49 +0000329 case MCFragment::FT_CVDefRange: OS << "MCCVDefRangeTableFragment"; break;
Reid Kleckner1fcd6102016-02-02 17:41:18 +0000330 case MCFragment::FT_Dummy: OS << "MCDummyFragment"; break;
Chandler Carruth8d736232015-12-29 09:06:16 +0000331 }
332
333 OS << "<MCFragment " << (void*) this << " LayoutOrder:" << LayoutOrder
334 << " Offset:" << Offset
335 << " HasInstructions:" << hasInstructions()
336 << " BundlePadding:" << static_cast<unsigned>(getBundlePadding()) << ">";
337
338 switch (getKind()) {
339 case MCFragment::FT_Align: {
340 const MCAlignFragment *AF = cast<MCAlignFragment>(this);
341 if (AF->hasEmitNops())
342 OS << " (emit nops)";
343 OS << "\n ";
344 OS << " Alignment:" << AF->getAlignment()
345 << " Value:" << AF->getValue() << " ValueSize:" << AF->getValueSize()
346 << " MaxBytesToEmit:" << AF->getMaxBytesToEmit() << ">";
347 break;
348 }
349 case MCFragment::FT_Data: {
350 const MCDataFragment *DF = cast<MCDataFragment>(this);
351 OS << "\n ";
352 OS << " Contents:[";
353 const SmallVectorImpl<char> &Contents = DF->getContents();
354 for (unsigned i = 0, e = Contents.size(); i != e; ++i) {
355 if (i) OS << ",";
356 OS << hexdigit((Contents[i] >> 4) & 0xF) << hexdigit(Contents[i] & 0xF);
357 }
358 OS << "] (" << Contents.size() << " bytes)";
359
360 if (DF->fixup_begin() != DF->fixup_end()) {
361 OS << ",\n ";
362 OS << " Fixups:[";
363 for (MCDataFragment::const_fixup_iterator it = DF->fixup_begin(),
364 ie = DF->fixup_end(); it != ie; ++it) {
365 if (it != DF->fixup_begin()) OS << ",\n ";
366 OS << *it;
367 }
368 OS << "]";
369 }
370 break;
371 }
372 case MCFragment::FT_CompactEncodedInst: {
373 const MCCompactEncodedInstFragment *CEIF =
374 cast<MCCompactEncodedInstFragment>(this);
375 OS << "\n ";
376 OS << " Contents:[";
377 const SmallVectorImpl<char> &Contents = CEIF->getContents();
378 for (unsigned i = 0, e = Contents.size(); i != e; ++i) {
379 if (i) OS << ",";
380 OS << hexdigit((Contents[i] >> 4) & 0xF) << hexdigit(Contents[i] & 0xF);
381 }
382 OS << "] (" << Contents.size() << " bytes)";
383 break;
384 }
385 case MCFragment::FT_Fill: {
386 const MCFillFragment *FF = cast<MCFillFragment>(this);
Rafael Espindola1a7e8b42016-01-19 16:57:08 +0000387 OS << " Value:" << FF->getValue() << " Size:" << FF->getSize();
Chandler Carruth8d736232015-12-29 09:06:16 +0000388 break;
389 }
390 case MCFragment::FT_Relaxable: {
391 const MCRelaxableFragment *F = cast<MCRelaxableFragment>(this);
392 OS << "\n ";
393 OS << " Inst:";
394 F->getInst().dump_pretty(OS);
395 break;
396 }
397 case MCFragment::FT_Org: {
398 const MCOrgFragment *OF = cast<MCOrgFragment>(this);
399 OS << "\n ";
400 OS << " Offset:" << OF->getOffset() << " Value:" << OF->getValue();
401 break;
402 }
403 case MCFragment::FT_Dwarf: {
404 const MCDwarfLineAddrFragment *OF = cast<MCDwarfLineAddrFragment>(this);
405 OS << "\n ";
406 OS << " AddrDelta:" << OF->getAddrDelta()
407 << " LineDelta:" << OF->getLineDelta();
408 break;
409 }
410 case MCFragment::FT_DwarfFrame: {
411 const MCDwarfCallFrameFragment *CF = cast<MCDwarfCallFrameFragment>(this);
412 OS << "\n ";
413 OS << " AddrDelta:" << CF->getAddrDelta();
414 break;
415 }
416 case MCFragment::FT_LEB: {
417 const MCLEBFragment *LF = cast<MCLEBFragment>(this);
418 OS << "\n ";
419 OS << " Value:" << LF->getValue() << " Signed:" << LF->isSigned();
420 break;
421 }
422 case MCFragment::FT_SafeSEH: {
423 const MCSafeSEHFragment *F = cast<MCSafeSEHFragment>(this);
424 OS << "\n ";
425 OS << " Sym:" << F->getSymbol();
426 break;
427 }
Reid Kleckner1fcd6102016-02-02 17:41:18 +0000428 case MCFragment::FT_CVInlineLines: {
429 const auto *F = cast<MCCVInlineLineTableFragment>(this);
430 OS << "\n ";
431 OS << " Sym:" << *F->getFnStartSym();
432 break;
433 }
David Majnemer408b5e62016-02-05 01:55:49 +0000434 case MCFragment::FT_CVDefRange: {
435 const auto *F = cast<MCCVDefRangeFragment>(this);
436 OS << "\n ";
437 for (std::pair<const MCSymbol *, const MCSymbol *> RangeStartEnd :
438 F->getRanges()) {
439 OS << " RangeStart:" << RangeStartEnd.first;
440 OS << " RangeEnd:" << RangeStartEnd.second;
441 }
442 break;
443 }
Chandler Carruth8d736232015-12-29 09:06:16 +0000444 case MCFragment::FT_Dummy:
445 break;
446 }
447 OS << ">";
448}
449
Yaron Kereneb2a2542016-01-29 20:50:44 +0000450LLVM_DUMP_METHOD void MCAssembler::dump() {
Chandler Carruth8d736232015-12-29 09:06:16 +0000451 raw_ostream &OS = llvm::errs();
452
453 OS << "<MCAssembler\n";
454 OS << " Sections:[\n ";
455 for (iterator it = begin(), ie = end(); it != ie; ++it) {
456 if (it != begin()) OS << ",\n ";
457 it->dump();
458 }
459 OS << "],\n";
460 OS << " Symbols:[";
461
462 for (symbol_iterator it = symbol_begin(), ie = symbol_end(); it != ie; ++it) {
463 if (it != symbol_begin()) OS << ",\n ";
464 OS << "(";
465 it->dump();
466 OS << ", Index:" << it->getIndex() << ", ";
467 OS << ")";
468 }
469 OS << "]>\n";
470}