Daniel Dunbar | fb4a6b3 | 2009-08-21 09:11:24 +0000 | [diff] [blame] | 1 | //===- lib/MC/MCAssembler.cpp - Assembler Backend 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 Carruth | e3e43d9 | 2017-06-06 11:49:48 +0000 | [diff] [blame] | 10 | #include "llvm/MC/MCAssembler.h" |
Eugene Zelenko | f31871c | 2017-02-07 23:02:00 +0000 | [diff] [blame] | 11 | #include "llvm/ADT/ArrayRef.h" |
| 12 | #include "llvm/ADT/SmallString.h" |
| 13 | #include "llvm/ADT/SmallVector.h" |
Chandler Carruth | d04a8d4 | 2012-12-03 16:50:05 +0000 | [diff] [blame] | 14 | #include "llvm/ADT/Statistic.h" |
Eugene Zelenko | f31871c | 2017-02-07 23:02:00 +0000 | [diff] [blame] | 15 | #include "llvm/ADT/StringRef.h" |
Chandler Carruth | d04a8d4 | 2012-12-03 16:50:05 +0000 | [diff] [blame] | 16 | #include "llvm/ADT/Twine.h" |
| 17 | #include "llvm/MC/MCAsmBackend.h" |
Lang Hames | 4c553e0 | 2015-01-09 18:55:42 +0000 | [diff] [blame] | 18 | #include "llvm/MC/MCAsmInfo.h" |
Daniel Dunbar | 18ff2cc | 2010-03-11 05:53:33 +0000 | [diff] [blame] | 19 | #include "llvm/MC/MCAsmLayout.h" |
Daniel Dunbar | b36052f | 2010-03-19 10:43:23 +0000 | [diff] [blame] | 20 | #include "llvm/MC/MCCodeEmitter.h" |
Reid Kleckner | 617bba8 | 2016-02-02 17:41:18 +0000 | [diff] [blame] | 21 | #include "llvm/MC/MCCodeView.h" |
Rafael Espindola | fea753b | 2010-12-24 21:22:02 +0000 | [diff] [blame] | 22 | #include "llvm/MC/MCContext.h" |
Chandler Carruth | d04a8d4 | 2012-12-03 16:50:05 +0000 | [diff] [blame] | 23 | #include "llvm/MC/MCDwarf.h" |
Daniel Dunbar | 1253a6f | 2009-10-16 01:58:03 +0000 | [diff] [blame] | 24 | #include "llvm/MC/MCExpr.h" |
Eugene Zelenko | f31871c | 2017-02-07 23:02:00 +0000 | [diff] [blame] | 25 | #include "llvm/MC/MCFixup.h" |
Craig Topper | f1d0f77 | 2012-03-26 06:58:25 +0000 | [diff] [blame] | 26 | #include "llvm/MC/MCFixupKindInfo.h" |
Eugene Zelenko | f31871c | 2017-02-07 23:02:00 +0000 | [diff] [blame] | 27 | #include "llvm/MC/MCFragment.h" |
| 28 | #include "llvm/MC/MCInst.h" |
Daniel Dunbar | 53b2338 | 2010-03-19 09:28:59 +0000 | [diff] [blame] | 29 | #include "llvm/MC/MCObjectWriter.h" |
Kevin Enderby | c095793 | 2010-09-30 16:52:03 +0000 | [diff] [blame] | 30 | #include "llvm/MC/MCSection.h" |
Chandler Carruth | 1b27914 | 2015-01-14 11:23:27 +0000 | [diff] [blame] | 31 | #include "llvm/MC/MCSectionELF.h" |
Daniel Dunbar | 1253a6f | 2009-10-16 01:58:03 +0000 | [diff] [blame] | 32 | #include "llvm/MC/MCSymbol.h" |
| 33 | #include "llvm/MC/MCValue.h" |
Eugene Zelenko | f31871c | 2017-02-07 23:02:00 +0000 | [diff] [blame] | 34 | #include "llvm/Support/Casting.h" |
Daniel Dunbar | ac2884a | 2010-03-25 22:49:09 +0000 | [diff] [blame] | 35 | #include "llvm/Support/Debug.h" |
Daniel Dunbar | 0705fbf | 2009-08-21 18:29:01 +0000 | [diff] [blame] | 36 | #include "llvm/Support/ErrorHandling.h" |
Jim Grosbach | 2d39a0e | 2012-08-08 23:56:06 +0000 | [diff] [blame] | 37 | #include "llvm/Support/LEB128.h" |
Eugene Zelenko | f31871c | 2017-02-07 23:02:00 +0000 | [diff] [blame] | 38 | #include "llvm/Support/MathExtras.h" |
Chandler Carruth | d04a8d4 | 2012-12-03 16:50:05 +0000 | [diff] [blame] | 39 | #include "llvm/Support/raw_ostream.h" |
Eugene Zelenko | f31871c | 2017-02-07 23:02:00 +0000 | [diff] [blame] | 40 | #include <cassert> |
| 41 | #include <cstdint> |
Chandler Carruth | e3e43d9 | 2017-06-06 11:49:48 +0000 | [diff] [blame] | 42 | #include <cstring> |
Benjamin Kramer | d17f593 | 2014-04-29 23:46:48 +0000 | [diff] [blame] | 43 | #include <tuple> |
Eugene Zelenko | f31871c | 2017-02-07 23:02:00 +0000 | [diff] [blame] | 44 | #include <utility> |
| 45 | |
Daniel Dunbar | fb4a6b3 | 2009-08-21 09:11:24 +0000 | [diff] [blame] | 46 | using namespace llvm; |
| 47 | |
Chandler Carruth | 0d338a5 | 2014-04-22 03:04:17 +0000 | [diff] [blame] | 48 | #define DEBUG_TYPE "assembler" |
| 49 | |
Daniel Dunbar | ff54784 | 2010-03-23 23:47:14 +0000 | [diff] [blame] | 50 | namespace { |
| 51 | namespace stats { |
Eugene Zelenko | f31871c | 2017-02-07 23:02:00 +0000 | [diff] [blame] | 52 | |
Eli Bendersky | 8ddc5a1 | 2012-12-07 17:59:21 +0000 | [diff] [blame] | 53 | STATISTIC(EmittedFragments, "Number of emitted assembler fragments - total"); |
Eli Bendersky | 6f6204f | 2013-01-08 17:41:59 +0000 | [diff] [blame] | 54 | STATISTIC(EmittedRelaxableFragments, |
| 55 | "Number of emitted assembler fragments - relaxable"); |
Eli Bendersky | 6ac81f5 | 2012-12-10 18:59:39 +0000 | [diff] [blame] | 56 | STATISTIC(EmittedDataFragments, |
| 57 | "Number of emitted assembler fragments - data"); |
Eli Bendersky | 9ccb769 | 2013-01-15 23:22:09 +0000 | [diff] [blame] | 58 | STATISTIC(EmittedCompactEncodedInstFragments, |
| 59 | "Number of emitted assembler fragments - compact encoded inst"); |
Eli Bendersky | 6ac81f5 | 2012-12-10 18:59:39 +0000 | [diff] [blame] | 60 | STATISTIC(EmittedAlignFragments, |
| 61 | "Number of emitted assembler fragments - align"); |
| 62 | STATISTIC(EmittedFillFragments, |
| 63 | "Number of emitted assembler fragments - fill"); |
| 64 | STATISTIC(EmittedOrgFragments, |
| 65 | "Number of emitted assembler fragments - org"); |
Jim Grosbach | f77d5b1 | 2011-12-06 00:03:48 +0000 | [diff] [blame] | 66 | STATISTIC(evaluateFixup, "Number of evaluated fixups"); |
Daniel Dunbar | ac2884a | 2010-03-25 22:49:09 +0000 | [diff] [blame] | 67 | STATISTIC(FragmentLayouts, "Number of fragment layouts"); |
Daniel Dunbar | ff54784 | 2010-03-23 23:47:14 +0000 | [diff] [blame] | 68 | STATISTIC(ObjectBytes, "Number of emitted object file bytes"); |
Daniel Dunbar | ac2884a | 2010-03-25 22:49:09 +0000 | [diff] [blame] | 69 | STATISTIC(RelaxationSteps, "Number of assembler layout and relaxation steps"); |
| 70 | STATISTIC(RelaxedInstructions, "Number of relaxed instructions"); |
Omer Paparo Bivas | 1be670d | 2017-10-24 06:16:03 +0000 | [diff] [blame] | 71 | STATISTIC(PaddingFragmentsRelaxations, |
| 72 | "Number of Padding Fragments relaxations"); |
| 73 | STATISTIC(PaddingFragmentsBytes, |
| 74 | "Total size of all padding from adding Fragments"); |
Eugene Zelenko | f31871c | 2017-02-07 23:02:00 +0000 | [diff] [blame] | 75 | |
| 76 | } // end namespace stats |
| 77 | } // end anonymous namespace |
Daniel Dunbar | 0adcd35 | 2009-08-25 21:10:45 +0000 | [diff] [blame] | 78 | |
Daniel Dunbar | 8f4d146 | 2009-08-28 07:08:35 +0000 | [diff] [blame] | 79 | // FIXME FIXME FIXME: There are number of places in this file where we convert |
| 80 | // what is a 64-bit assembler value used for computation into a value in the |
| 81 | // object file, which may truncate it. We should detect that truncation where |
| 82 | // invalid and report errors back. |
| 83 | |
Daniel Dunbar | fb4a6b3 | 2009-08-21 09:11:24 +0000 | [diff] [blame] | 84 | /* *** */ |
| 85 | |
Nirav Dave | 92f209b | 2018-04-27 15:45:27 +0000 | [diff] [blame] | 86 | MCAssembler::MCAssembler(MCContext &Context, |
| 87 | std::unique_ptr<MCAsmBackend> Backend, |
| 88 | std::unique_ptr<MCCodeEmitter> Emitter, |
| 89 | std::unique_ptr<MCObjectWriter> Writer) |
| 90 | : Context(Context), Backend(std::move(Backend)), |
| 91 | Emitter(std::move(Emitter)), Writer(std::move(Writer)), |
David Majnemer | dc2d216 | 2015-09-01 23:19:38 +0000 | [diff] [blame] | 92 | BundleAlignSize(0), RelaxAll(false), SubsectionsViaSymbols(false), |
David Majnemer | 56afa6e | 2015-12-21 22:09:27 +0000 | [diff] [blame] | 93 | IncrementalLinkerCompatible(false), ELFHeaderEFlags(0) { |
Matthias Braun | 177a4fc | 2017-12-14 00:12:46 +0000 | [diff] [blame] | 94 | VersionInfo.Major = 0; // Major version == 0 for "none specified" |
Daniel Dunbar | 6009db4 | 2009-08-26 21:22:22 +0000 | [diff] [blame] | 95 | } |
Daniel Dunbar | fb4a6b3 | 2009-08-21 09:11:24 +0000 | [diff] [blame] | 96 | |
Eugene Zelenko | f31871c | 2017-02-07 23:02:00 +0000 | [diff] [blame] | 97 | MCAssembler::~MCAssembler() = default; |
Daniel Dunbar | fb4a6b3 | 2009-08-21 09:11:24 +0000 | [diff] [blame] | 98 | |
Pedro Artigas | 5399d25 | 2012-12-12 22:59:46 +0000 | [diff] [blame] | 99 | void MCAssembler::reset() { |
| 100 | Sections.clear(); |
| 101 | Symbols.clear(); |
Pedro Artigas | 5399d25 | 2012-12-12 22:59:46 +0000 | [diff] [blame] | 102 | IndirectSymbols.clear(); |
| 103 | DataRegions.clear(); |
Yaron Keren | c63035a | 2014-09-17 09:25:36 +0000 | [diff] [blame] | 104 | LinkerOptions.clear(); |
| 105 | FileNames.clear(); |
Pedro Artigas | 5399d25 | 2012-12-12 22:59:46 +0000 | [diff] [blame] | 106 | ThumbFuncs.clear(); |
Yaron Keren | c63035a | 2014-09-17 09:25:36 +0000 | [diff] [blame] | 107 | BundleAlignSize = 0; |
Pedro Artigas | 5399d25 | 2012-12-12 22:59:46 +0000 | [diff] [blame] | 108 | RelaxAll = false; |
Pedro Artigas | 5399d25 | 2012-12-12 22:59:46 +0000 | [diff] [blame] | 109 | SubsectionsViaSymbols = false; |
David Majnemer | 56afa6e | 2015-12-21 22:09:27 +0000 | [diff] [blame] | 110 | IncrementalLinkerCompatible = false; |
Jack Carter | 9a7bf43 | 2013-01-30 02:09:52 +0000 | [diff] [blame] | 111 | ELFHeaderEFlags = 0; |
Yaron Keren | c63035a | 2014-09-17 09:25:36 +0000 | [diff] [blame] | 112 | LOHContainer.reset(); |
Matthias Braun | 177a4fc | 2017-12-14 00:12:46 +0000 | [diff] [blame] | 113 | VersionInfo.Major = 0; |
Alex Lorenz | 6592c09 | 2018-12-14 01:14:10 +0000 | [diff] [blame] | 114 | VersionInfo.SDKVersion = VersionTuple(); |
Pedro Artigas | 99cbdde | 2012-12-14 18:52:11 +0000 | [diff] [blame] | 115 | |
| 116 | // reset objects owned by us |
Nirav Dave | 92f209b | 2018-04-27 15:45:27 +0000 | [diff] [blame] | 117 | if (getBackendPtr()) |
| 118 | getBackendPtr()->reset(); |
| 119 | if (getEmitterPtr()) |
| 120 | getEmitterPtr()->reset(); |
| 121 | if (getWriterPtr()) |
| 122 | getWriterPtr()->reset(); |
Tim Northover | 1330ee3 | 2014-03-29 07:34:53 +0000 | [diff] [blame] | 123 | getLOHContainer().reset(); |
Pedro Artigas | 5399d25 | 2012-12-12 22:59:46 +0000 | [diff] [blame] | 124 | } |
| 125 | |
Rafael Espindola | 8e4f570 | 2015-10-03 18:28:40 +0000 | [diff] [blame] | 126 | bool MCAssembler::registerSection(MCSection &Section) { |
| 127 | if (Section.isRegistered()) |
| 128 | return false; |
| 129 | Sections.push_back(&Section); |
| 130 | Section.setIsRegistered(true); |
| 131 | return true; |
| 132 | } |
| 133 | |
Rafael Espindola | 1c5f439 | 2014-04-29 12:46:50 +0000 | [diff] [blame] | 134 | bool MCAssembler::isThumbFunc(const MCSymbol *Symbol) const { |
| 135 | if (ThumbFuncs.count(Symbol)) |
| 136 | return true; |
| 137 | |
| 138 | if (!Symbol->isVariable()) |
| 139 | return false; |
| 140 | |
Rafael Espindola | 1c5f439 | 2014-04-29 12:46:50 +0000 | [diff] [blame] | 141 | const MCExpr *Expr = Symbol->getVariableValue(); |
Evgeniy Stepanov | e2c3142 | 2017-01-19 20:04:11 +0000 | [diff] [blame] | 142 | |
| 143 | MCValue V; |
| 144 | if (!Expr->evaluateAsRelocatable(V, nullptr, nullptr)) |
| 145 | return false; |
| 146 | |
| 147 | if (V.getSymB() || V.getRefKind() != MCSymbolRefExpr::VK_None) |
| 148 | return false; |
| 149 | |
| 150 | const MCSymbolRefExpr *Ref = V.getSymA(); |
Rafael Espindola | 1c5f439 | 2014-04-29 12:46:50 +0000 | [diff] [blame] | 151 | if (!Ref) |
| 152 | return false; |
| 153 | |
| 154 | if (Ref->getKind() != MCSymbolRefExpr::VK_None) |
| 155 | return false; |
| 156 | |
| 157 | const MCSymbol &Sym = Ref->getSymbol(); |
| 158 | if (!isThumbFunc(&Sym)) |
| 159 | return false; |
| 160 | |
| 161 | ThumbFuncs.insert(Symbol); // Cache it. |
| 162 | return true; |
| 163 | } |
| 164 | |
Daniel Dunbar | 843aa1f | 2010-06-16 20:04:29 +0000 | [diff] [blame] | 165 | bool MCAssembler::isSymbolLinkerVisible(const MCSymbol &Symbol) const { |
Daniel Dunbar | 2386985 | 2010-03-19 03:18:09 +0000 | [diff] [blame] | 166 | // Non-temporary labels should always be visible to the linker. |
Daniel Dunbar | 843aa1f | 2010-06-16 20:04:29 +0000 | [diff] [blame] | 167 | if (!Symbol.isTemporary()) |
Daniel Dunbar | 2386985 | 2010-03-19 03:18:09 +0000 | [diff] [blame] | 168 | return true; |
| 169 | |
| 170 | // Absolute temporary labels are never visible. |
Daniel Dunbar | 843aa1f | 2010-06-16 20:04:29 +0000 | [diff] [blame] | 171 | if (!Symbol.isInSection()) |
Daniel Dunbar | 2386985 | 2010-03-19 03:18:09 +0000 | [diff] [blame] | 172 | return false; |
| 173 | |
Rafael Espindola | a1e31b4 | 2015-06-17 20:08:20 +0000 | [diff] [blame] | 174 | if (Symbol.isUsedInReloc()) |
Rafael Espindola | a23cc6a | 2015-01-19 21:11:14 +0000 | [diff] [blame] | 175 | return true; |
| 176 | |
| 177 | return false; |
Daniel Dunbar | 2386985 | 2010-03-19 03:18:09 +0000 | [diff] [blame] | 178 | } |
| 179 | |
Duncan P. N. Exon Smith | 20cf3f4 | 2015-05-20 16:02:11 +0000 | [diff] [blame] | 180 | const MCSymbol *MCAssembler::getAtom(const MCSymbol &S) const { |
Daniel Dunbar | 8ad0dcc | 2010-03-19 03:18:15 +0000 | [diff] [blame] | 181 | // Linker visible symbols define atoms. |
Duncan P. N. Exon Smith | 20cf3f4 | 2015-05-20 16:02:11 +0000 | [diff] [blame] | 182 | if (isSymbolLinkerVisible(S)) |
| 183 | return &S; |
Daniel Dunbar | 8ad0dcc | 2010-03-19 03:18:15 +0000 | [diff] [blame] | 184 | |
| 185 | // Absolute and undefined symbols have no defining atom. |
Rafael Espindola | 0eba49c | 2015-10-05 12:07:05 +0000 | [diff] [blame] | 186 | if (!S.isInSection()) |
Craig Topper | 4266ae8 | 2014-04-13 04:57:38 +0000 | [diff] [blame] | 187 | return nullptr; |
Daniel Dunbar | 8ad0dcc | 2010-03-19 03:18:15 +0000 | [diff] [blame] | 188 | |
Daniel Dunbar | a5f1d57 | 2010-05-12 00:38:17 +0000 | [diff] [blame] | 189 | // Non-linker visible symbols in sections which can't be atomized have no |
| 190 | // defining atom. |
Lang Hames | 4c553e0 | 2015-01-09 18:55:42 +0000 | [diff] [blame] | 191 | if (!getContext().getAsmInfo()->isSectionAtomizableBySymbols( |
Rafael Espindola | cfac75a | 2015-05-29 21:45:01 +0000 | [diff] [blame] | 192 | *S.getFragment()->getParent())) |
Craig Topper | 4266ae8 | 2014-04-13 04:57:38 +0000 | [diff] [blame] | 193 | return nullptr; |
Daniel Dunbar | a5f1d57 | 2010-05-12 00:38:17 +0000 | [diff] [blame] | 194 | |
Daniel Dunbar | 651804c | 2010-05-11 17:22:50 +0000 | [diff] [blame] | 195 | // Otherwise, return the atom for the containing fragment. |
Rafael Espindola | cfac75a | 2015-05-29 21:45:01 +0000 | [diff] [blame] | 196 | return S.getFragment()->getAtom(); |
Daniel Dunbar | 8ad0dcc | 2010-03-19 03:18:15 +0000 | [diff] [blame] | 197 | } |
| 198 | |
Jim Grosbach | f77d5b1 | 2011-12-06 00:03:48 +0000 | [diff] [blame] | 199 | bool MCAssembler::evaluateFixup(const MCAsmLayout &Layout, |
Daniel Dunbar | c90e30a | 2010-05-26 15:18:56 +0000 | [diff] [blame] | 200 | const MCFixup &Fixup, const MCFragment *DF, |
Shiva Chen | e274015 | 2018-05-18 06:42:21 +0000 | [diff] [blame] | 201 | MCValue &Target, uint64_t &Value, |
| 202 | bool &WasForced) const { |
Jim Grosbach | f77d5b1 | 2011-12-06 00:03:48 +0000 | [diff] [blame] | 203 | ++stats::evaluateFixup; |
Daniel Dunbar | ff54784 | 2010-03-23 23:47:14 +0000 | [diff] [blame] | 204 | |
Jim Grosbach | bc81286 | 2015-06-04 22:24:41 +0000 | [diff] [blame] | 205 | // FIXME: This code has some duplication with recordRelocation. We should |
Rafael Espindola | 4551671 | 2014-07-01 14:34:30 +0000 | [diff] [blame] | 206 | // probably merge the two into a single callback that tries to evaluate a |
| 207 | // fixup and records a relocation if one is needed. |
Rafael Espindola | 6f1c76b | 2017-06-22 17:25:35 +0000 | [diff] [blame] | 208 | |
| 209 | // On error claim to have completely evaluated the fixup, to prevent any |
| 210 | // further processing from being done. |
Rafael Espindola | 4551671 | 2014-07-01 14:34:30 +0000 | [diff] [blame] | 211 | const MCExpr *Expr = Fixup.getValue(); |
Rafael Espindola | 6f1c76b | 2017-06-22 17:25:35 +0000 | [diff] [blame] | 212 | MCContext &Ctx = getContext(); |
| 213 | Value = 0; |
Shiva Chen | e274015 | 2018-05-18 06:42:21 +0000 | [diff] [blame] | 214 | WasForced = false; |
Oliver Stannard | 99ab112 | 2015-11-17 10:00:43 +0000 | [diff] [blame] | 215 | if (!Expr->evaluateAsRelocatable(Target, &Layout, &Fixup)) { |
Rafael Espindola | 6f1c76b | 2017-06-22 17:25:35 +0000 | [diff] [blame] | 216 | Ctx.reportError(Fixup.getLoc(), "expected relocatable expression"); |
Oliver Stannard | 99ab112 | 2015-11-17 10:00:43 +0000 | [diff] [blame] | 217 | return true; |
| 218 | } |
Rafael Espindola | 6f1c76b | 2017-06-22 17:25:35 +0000 | [diff] [blame] | 219 | if (const MCSymbolRefExpr *RefB = Target.getSymB()) { |
| 220 | if (RefB->getKind() != MCSymbolRefExpr::VK_None) { |
| 221 | Ctx.reportError(Fixup.getLoc(), |
| 222 | "unsupported subtraction of qualified symbol"); |
| 223 | return true; |
| 224 | } |
| 225 | } |
Daniel Dunbar | df3c8f2 | 2010-03-12 21:00:49 +0000 | [diff] [blame] | 226 | |
Nirav Dave | 92f209b | 2018-04-27 15:45:27 +0000 | [diff] [blame] | 227 | assert(getBackendPtr() && "Expected assembler backend"); |
| 228 | bool IsPCRel = getBackendPtr()->getFixupKindInfo(Fixup.getKind()).Flags & |
| 229 | MCFixupKindInfo::FKF_IsPCRel; |
Rafael Espindola | fea753b | 2010-12-24 21:22:02 +0000 | [diff] [blame] | 230 | |
Nirav Dave | b2d1a40 | 2018-04-27 16:11:24 +0000 | [diff] [blame] | 231 | bool IsResolved = false; |
Rafael Espindola | fea753b | 2010-12-24 21:22:02 +0000 | [diff] [blame] | 232 | if (IsPCRel) { |
| 233 | if (Target.getSymB()) { |
| 234 | IsResolved = false; |
| 235 | } else if (!Target.getSymA()) { |
| 236 | IsResolved = false; |
| 237 | } else { |
Rafael Espindola | 908159b | 2011-02-16 03:25:55 +0000 | [diff] [blame] | 238 | const MCSymbolRefExpr *A = Target.getSymA(); |
| 239 | const MCSymbol &SA = A->getSymbol(); |
Rafael Espindola | e17e7a2 | 2015-04-06 16:10:05 +0000 | [diff] [blame] | 240 | if (A->getKind() != MCSymbolRefExpr::VK_None || SA.isUndefined()) { |
Rafael Espindola | fea753b | 2010-12-24 21:22:02 +0000 | [diff] [blame] | 241 | IsResolved = false; |
Nirav Dave | 80e97ed | 2018-04-27 15:45:54 +0000 | [diff] [blame] | 242 | } else if (auto *Writer = getWriterPtr()) { |
| 243 | IsResolved = Writer->isSymbolRefDifferenceFullyResolvedImpl( |
Duncan P. N. Exon Smith | 9e6378d | 2015-05-16 01:01:55 +0000 | [diff] [blame] | 244 | *this, SA, *DF, false, true); |
Rafael Espindola | fea753b | 2010-12-24 21:22:02 +0000 | [diff] [blame] | 245 | } |
| 246 | } |
| 247 | } else { |
| 248 | IsResolved = Target.isAbsolute(); |
| 249 | } |
Daniel Dunbar | df3c8f2 | 2010-03-12 21:00:49 +0000 | [diff] [blame] | 250 | |
| 251 | Value = Target.getConstant(); |
| 252 | |
Daniel Dunbar | 9a1d200 | 2010-03-18 00:59:10 +0000 | [diff] [blame] | 253 | if (const MCSymbolRefExpr *A = Target.getSymA()) { |
Rafael Espindola | e17e7a2 | 2015-04-06 16:10:05 +0000 | [diff] [blame] | 254 | const MCSymbol &Sym = A->getSymbol(); |
Rafael Espindola | 94ed5fc | 2010-11-15 16:33:49 +0000 | [diff] [blame] | 255 | if (Sym.isDefined()) |
Duncan P. N. Exon Smith | e1fce86 | 2015-05-19 23:53:20 +0000 | [diff] [blame] | 256 | Value += Layout.getSymbolOffset(Sym); |
Daniel Dunbar | df3c8f2 | 2010-03-12 21:00:49 +0000 | [diff] [blame] | 257 | } |
Daniel Dunbar | 9a1d200 | 2010-03-18 00:59:10 +0000 | [diff] [blame] | 258 | if (const MCSymbolRefExpr *B = Target.getSymB()) { |
Rafael Espindola | e17e7a2 | 2015-04-06 16:10:05 +0000 | [diff] [blame] | 259 | const MCSymbol &Sym = B->getSymbol(); |
Rafael Espindola | 94ed5fc | 2010-11-15 16:33:49 +0000 | [diff] [blame] | 260 | if (Sym.isDefined()) |
Duncan P. N. Exon Smith | e1fce86 | 2015-05-19 23:53:20 +0000 | [diff] [blame] | 261 | Value -= Layout.getSymbolOffset(Sym); |
Daniel Dunbar | 939f8d7 | 2010-03-19 03:18:12 +0000 | [diff] [blame] | 262 | } |
Daniel Dunbar | df3c8f2 | 2010-03-12 21:00:49 +0000 | [diff] [blame] | 263 | |
Nirav Dave | 92f209b | 2018-04-27 15:45:27 +0000 | [diff] [blame] | 264 | bool ShouldAlignPC = getBackend().getFixupKindInfo(Fixup.getKind()).Flags & |
| 265 | MCFixupKindInfo::FKF_IsAlignedDownTo32Bits; |
Owen Anderson | 47dbd42 | 2010-12-15 18:48:27 +0000 | [diff] [blame] | 266 | assert((ShouldAlignPC ? IsPCRel : true) && |
| 267 | "FKF_IsAlignedDownTo32Bits is only allowed on PC-relative fixups!"); |
| 268 | |
Owen Anderson | 05018c2 | 2010-12-09 20:27:52 +0000 | [diff] [blame] | 269 | if (IsPCRel) { |
Owen Anderson | 175fb36 | 2010-12-17 21:49:48 +0000 | [diff] [blame] | 270 | uint32_t Offset = Layout.getFragmentOffset(DF) + Fixup.getOffset(); |
Jim Grosbach | 684457d | 2011-10-26 22:44:41 +0000 | [diff] [blame] | 271 | |
Owen Anderson | 47dbd42 | 2010-12-15 18:48:27 +0000 | [diff] [blame] | 272 | // A number of ARM fixups in Thumb mode require that the effective PC |
| 273 | // address be determined as the 32-bit aligned version of the actual offset. |
Owen Anderson | d18e011 | 2010-12-15 19:24:24 +0000 | [diff] [blame] | 274 | if (ShouldAlignPC) Offset &= ~0x3; |
Owen Anderson | 175fb36 | 2010-12-17 21:49:48 +0000 | [diff] [blame] | 275 | Value -= Offset; |
Owen Anderson | 05018c2 | 2010-12-09 20:27:52 +0000 | [diff] [blame] | 276 | } |
Daniel Dunbar | df3c8f2 | 2010-03-12 21:00:49 +0000 | [diff] [blame] | 277 | |
Rafael Espindola | 42ad163 | 2017-06-30 22:47:27 +0000 | [diff] [blame] | 278 | // Let the backend force a relocation if needed. |
Shiva Chen | e274015 | 2018-05-18 06:42:21 +0000 | [diff] [blame] | 279 | if (IsResolved && getBackend().shouldForceRelocation(*this, Fixup, Target)) { |
Rafael Espindola | 42ad163 | 2017-06-30 22:47:27 +0000 | [diff] [blame] | 280 | IsResolved = false; |
Shiva Chen | e274015 | 2018-05-18 06:42:21 +0000 | [diff] [blame] | 281 | WasForced = true; |
| 282 | } |
Jim Grosbach | 4750020 | 2010-12-14 18:46:57 +0000 | [diff] [blame] | 283 | |
Daniel Dunbar | df3c8f2 | 2010-03-12 21:00:49 +0000 | [diff] [blame] | 284 | return IsResolved; |
| 285 | } |
| 286 | |
Jim Grosbach | f77d5b1 | 2011-12-06 00:03:48 +0000 | [diff] [blame] | 287 | uint64_t MCAssembler::computeFragmentSize(const MCAsmLayout &Layout, |
Rafael Espindola | 7a45903 | 2010-12-21 20:35:18 +0000 | [diff] [blame] | 288 | const MCFragment &F) const { |
Nirav Dave | 92f209b | 2018-04-27 15:45:27 +0000 | [diff] [blame] | 289 | assert(getBackendPtr() && "Requires assembler backend"); |
Daniel Dunbar | 2c18d3b | 2010-05-13 18:35:06 +0000 | [diff] [blame] | 290 | switch (F.getKind()) { |
| 291 | case MCFragment::FT_Data: |
Pete Cooper | c821cef | 2015-06-17 22:01:28 +0000 | [diff] [blame] | 292 | return cast<MCDataFragment>(F).getContents().size(); |
Eli Bendersky | 0fdcef6 | 2013-01-08 22:05:10 +0000 | [diff] [blame] | 293 | case MCFragment::FT_Relaxable: |
Pete Cooper | c821cef | 2015-06-17 22:01:28 +0000 | [diff] [blame] | 294 | return cast<MCRelaxableFragment>(F).getContents().size(); |
Eli Bendersky | 9ccb769 | 2013-01-15 23:22:09 +0000 | [diff] [blame] | 295 | case MCFragment::FT_CompactEncodedInst: |
Pete Cooper | c821cef | 2015-06-17 22:01:28 +0000 | [diff] [blame] | 296 | return cast<MCCompactEncodedInstFragment>(F).getContents().size(); |
Rafael Espindola | 5d5caec | 2018-01-09 22:48:37 +0000 | [diff] [blame] | 297 | case MCFragment::FT_Fill: { |
| 298 | auto &FF = cast<MCFillFragment>(F); |
Nirav Dave | cdcd5e1 | 2018-05-18 17:45:48 +0000 | [diff] [blame] | 299 | int64_t NumValues = 0; |
| 300 | if (!FF.getNumValues().evaluateAsAbsolute(NumValues, Layout)) { |
Rafael Espindola | 5d5caec | 2018-01-09 22:48:37 +0000 | [diff] [blame] | 301 | getContext().reportError(FF.getLoc(), |
| 302 | "expected assembly-time absolute expression"); |
Nirav Dave | cdcd5e1 | 2018-05-18 17:45:48 +0000 | [diff] [blame] | 303 | return 0; |
| 304 | } |
| 305 | int64_t Size = NumValues * FF.getValueSize(); |
Rafael Espindola | 5d5caec | 2018-01-09 22:48:37 +0000 | [diff] [blame] | 306 | if (Size < 0) { |
| 307 | getContext().reportError(FF.getLoc(), "invalid number of bytes"); |
| 308 | return 0; |
| 309 | } |
| 310 | return Size; |
| 311 | } |
Daniel Dunbar | 2c18d3b | 2010-05-13 18:35:06 +0000 | [diff] [blame] | 312 | |
Rafael Espindola | 3ff5709 | 2010-11-02 17:22:24 +0000 | [diff] [blame] | 313 | case MCFragment::FT_LEB: |
Rafael Espindola | db74aea | 2010-12-04 21:58:52 +0000 | [diff] [blame] | 314 | return cast<MCLEBFragment>(F).getContents().size(); |
Rafael Espindola | 3ff5709 | 2010-11-02 17:22:24 +0000 | [diff] [blame] | 315 | |
Omer Paparo Bivas | 1be670d | 2017-10-24 06:16:03 +0000 | [diff] [blame] | 316 | case MCFragment::FT_Padding: |
| 317 | return cast<MCPaddingFragment>(F).getSize(); |
| 318 | |
Adrian McCarthy | cf89e1c | 2017-11-08 18:57:02 +0000 | [diff] [blame] | 319 | case MCFragment::FT_SymbolId: |
David Majnemer | e0d2a29 | 2015-05-30 04:56:02 +0000 | [diff] [blame] | 320 | return 4; |
| 321 | |
Rafael Espindola | 7a45903 | 2010-12-21 20:35:18 +0000 | [diff] [blame] | 322 | case MCFragment::FT_Align: { |
| 323 | const MCAlignFragment &AF = cast<MCAlignFragment>(F); |
| 324 | unsigned Offset = Layout.getFragmentOffset(&AF); |
| 325 | unsigned Size = OffsetToAlignment(Offset, AF.getAlignment()); |
Owen Anderson | 15b7a98 | 2012-08-29 22:18:56 +0000 | [diff] [blame] | 326 | // If we are padding with nops, force the padding to be larger than the |
| 327 | // minimum nop size. |
| 328 | if (Size > 0 && AF.hasEmitNops()) { |
| 329 | while (Size % getBackend().getMinimumNopSize()) |
| 330 | Size += AF.getAlignment(); |
| 331 | } |
Rafael Espindola | 7a45903 | 2010-12-21 20:35:18 +0000 | [diff] [blame] | 332 | if (Size > AF.getMaxBytesToEmit()) |
| 333 | return 0; |
| 334 | return Size; |
| 335 | } |
Daniel Dunbar | 2c18d3b | 2010-05-13 18:35:06 +0000 | [diff] [blame] | 336 | |
Rafael Espindola | 7a45903 | 2010-12-21 20:35:18 +0000 | [diff] [blame] | 337 | case MCFragment::FT_Org: { |
David Blaikie | f12b379 | 2013-02-11 01:16:51 +0000 | [diff] [blame] | 338 | const MCOrgFragment &OF = cast<MCOrgFragment>(F); |
Rafael Espindola | 036ec43 | 2015-11-04 23:50:29 +0000 | [diff] [blame] | 339 | MCValue Value; |
Oliver Stannard | f4f8560 | 2016-12-14 10:43:58 +0000 | [diff] [blame] | 340 | if (!OF.getOffset().evaluateAsValue(Value, Layout)) { |
| 341 | getContext().reportError(OF.getLoc(), |
| 342 | "expected assembly-time absolute expression"); |
| 343 | return 0; |
| 344 | } |
Rafael Espindola | 7a45903 | 2010-12-21 20:35:18 +0000 | [diff] [blame] | 345 | |
Rafael Espindola | 7a45903 | 2010-12-21 20:35:18 +0000 | [diff] [blame] | 346 | uint64_t FragmentOffset = Layout.getFragmentOffset(&OF); |
Rafael Espindola | 036ec43 | 2015-11-04 23:50:29 +0000 | [diff] [blame] | 347 | int64_t TargetLocation = Value.getConstant(); |
| 348 | if (const MCSymbolRefExpr *A = Value.getSymA()) { |
| 349 | uint64_t Val; |
Oliver Stannard | f4f8560 | 2016-12-14 10:43:58 +0000 | [diff] [blame] | 350 | if (!Layout.getSymbolOffset(A->getSymbol(), Val)) { |
| 351 | getContext().reportError(OF.getLoc(), "expected absolute expression"); |
| 352 | return 0; |
| 353 | } |
Rafael Espindola | 036ec43 | 2015-11-04 23:50:29 +0000 | [diff] [blame] | 354 | TargetLocation += Val; |
| 355 | } |
Rafael Espindola | 7a45903 | 2010-12-21 20:35:18 +0000 | [diff] [blame] | 356 | int64_t Size = TargetLocation - FragmentOffset; |
Oliver Stannard | f4f8560 | 2016-12-14 10:43:58 +0000 | [diff] [blame] | 357 | if (Size < 0 || Size >= 0x40000000) { |
| 358 | getContext().reportError( |
| 359 | OF.getLoc(), "invalid .org offset '" + Twine(TargetLocation) + |
| 360 | "' (at offset '" + Twine(FragmentOffset) + "')"); |
| 361 | return 0; |
| 362 | } |
Rafael Espindola | 7a45903 | 2010-12-21 20:35:18 +0000 | [diff] [blame] | 363 | return Size; |
| 364 | } |
Kevin Enderby | c095793 | 2010-09-30 16:52:03 +0000 | [diff] [blame] | 365 | |
Rafael Espindola | 187d833 | 2010-11-07 02:07:12 +0000 | [diff] [blame] | 366 | case MCFragment::FT_Dwarf: |
Rafael Espindola | db74aea | 2010-12-04 21:58:52 +0000 | [diff] [blame] | 367 | return cast<MCDwarfLineAddrFragment>(F).getContents().size(); |
Rafael Espindola | 245a1e2 | 2010-12-28 05:39:27 +0000 | [diff] [blame] | 368 | case MCFragment::FT_DwarfFrame: |
| 369 | return cast<MCDwarfCallFrameFragment>(F).getContents().size(); |
Reid Kleckner | 617bba8 | 2016-02-02 17:41:18 +0000 | [diff] [blame] | 370 | case MCFragment::FT_CVInlineLines: |
| 371 | return cast<MCCVInlineLineTableFragment>(F).getContents().size(); |
David Majnemer | 7ddc547 | 2016-02-05 01:55:49 +0000 | [diff] [blame] | 372 | case MCFragment::FT_CVDefRange: |
| 373 | return cast<MCCVDefRangeFragment>(F).getContents().size(); |
Rafael Espindola | 0eba49c | 2015-10-05 12:07:05 +0000 | [diff] [blame] | 374 | case MCFragment::FT_Dummy: |
| 375 | llvm_unreachable("Should not have been added"); |
Daniel Dunbar | 2c18d3b | 2010-05-13 18:35:06 +0000 | [diff] [blame] | 376 | } |
| 377 | |
Craig Topper | 8581438 | 2012-02-07 05:05:23 +0000 | [diff] [blame] | 378 | llvm_unreachable("invalid fragment kind"); |
Daniel Dunbar | 2c18d3b | 2010-05-13 18:35:06 +0000 | [diff] [blame] | 379 | } |
| 380 | |
Eli Bendersky | d52a2c0 | 2012-12-12 19:54:05 +0000 | [diff] [blame] | 381 | void MCAsmLayout::layoutFragment(MCFragment *F) { |
Daniel Dunbar | 9005d45 | 2010-05-14 00:37:21 +0000 | [diff] [blame] | 382 | MCFragment *Prev = F->getPrevNode(); |
Daniel Dunbar | f0d17d2 | 2010-05-12 21:35:25 +0000 | [diff] [blame] | 383 | |
Eli Bendersky | d52a2c0 | 2012-12-12 19:54:05 +0000 | [diff] [blame] | 384 | // We should never try to recompute something which is valid. |
| 385 | assert(!isFragmentValid(F) && "Attempt to recompute a valid fragment!"); |
| 386 | // We should never try to compute the fragment layout if its predecessor |
| 387 | // isn't valid. |
| 388 | assert((!Prev || isFragmentValid(Prev)) && |
| 389 | "Attempt to compute fragment before its predecessor!"); |
Daniel Dunbar | f0d17d2 | 2010-05-12 21:35:25 +0000 | [diff] [blame] | 390 | |
| 391 | ++stats::FragmentLayouts; |
| 392 | |
Daniel Dunbar | b69fc04 | 2010-05-13 20:40:12 +0000 | [diff] [blame] | 393 | // Compute fragment offset and size. |
Rafael Espindola | 85f2ecc | 2010-12-07 00:27:36 +0000 | [diff] [blame] | 394 | if (Prev) |
Eli Bendersky | 4766ef4 | 2012-12-20 19:05:53 +0000 | [diff] [blame] | 395 | F->Offset = Prev->Offset + getAssembler().computeFragmentSize(*this, *Prev); |
| 396 | else |
| 397 | F->Offset = 0; |
Rafael Espindola | ea3533b | 2015-05-26 02:00:36 +0000 | [diff] [blame] | 398 | LastValidFragment[F->getParent()] = F; |
Eli Bendersky | 4766ef4 | 2012-12-20 19:05:53 +0000 | [diff] [blame] | 399 | |
| 400 | // If bundling is enabled and this fragment has instructions in it, it has to |
| 401 | // obey the bundling restrictions. With padding, we'll have: |
| 402 | // |
| 403 | // |
| 404 | // BundlePadding |
Derek Schuff | b11917c | 2013-01-31 17:00:03 +0000 | [diff] [blame] | 405 | // ||| |
Eli Bendersky | 4766ef4 | 2012-12-20 19:05:53 +0000 | [diff] [blame] | 406 | // ------------------------------------- |
| 407 | // Prev |##########| F | |
| 408 | // ------------------------------------- |
| 409 | // ^ |
| 410 | // | |
| 411 | // F->Offset |
| 412 | // |
| 413 | // The fragment's offset will point to after the padding, and its computed |
| 414 | // size won't include the padding. |
| 415 | // |
Petr Hosek | 054db7d | 2015-04-12 23:42:25 +0000 | [diff] [blame] | 416 | // When the -mc-relax-all flag is used, we optimize bundling by writting the |
Petr Hosek | 0aaf328 | 2015-06-27 01:49:53 +0000 | [diff] [blame] | 417 | // padding directly into fragments when the instructions are emitted inside |
| 418 | // the streamer. When the fragment is larger than the bundle size, we need to |
| 419 | // ensure that it's bundle aligned. This means that if we end up with |
| 420 | // multiple fragments, we must emit bundle padding between fragments. |
Petr Hosek | 054db7d | 2015-04-12 23:42:25 +0000 | [diff] [blame] | 421 | // |
Petr Hosek | 0aaf328 | 2015-06-27 01:49:53 +0000 | [diff] [blame] | 422 | // ".align N" is an example of a directive that introduces multiple |
| 423 | // fragments. We could add a special case to handle ".align N" by emitting |
| 424 | // within-fragment padding (which would produce less padding when N is less |
| 425 | // than the bundle size), but for now we don't. |
| 426 | // |
| 427 | if (Assembler.isBundlingEnabled() && F->hasInstructions()) { |
Eli Bendersky | 4766ef4 | 2012-12-20 19:05:53 +0000 | [diff] [blame] | 428 | assert(isa<MCEncodedFragment>(F) && |
| 429 | "Only MCEncodedFragment implementations have instructions"); |
Peter Smith | 565bf54 | 2018-06-15 09:48:18 +0000 | [diff] [blame] | 430 | MCEncodedFragment *EF = cast<MCEncodedFragment>(F); |
| 431 | uint64_t FSize = Assembler.computeFragmentSize(*this, *EF); |
Eli Bendersky | 4766ef4 | 2012-12-20 19:05:53 +0000 | [diff] [blame] | 432 | |
Petr Hosek | 0aaf328 | 2015-06-27 01:49:53 +0000 | [diff] [blame] | 433 | if (!Assembler.getRelaxAll() && FSize > Assembler.getBundleAlignSize()) |
Eli Bendersky | 4766ef4 | 2012-12-20 19:05:53 +0000 | [diff] [blame] | 434 | report_fatal_error("Fragment can't be larger than a bundle size"); |
| 435 | |
Peter Smith | 565bf54 | 2018-06-15 09:48:18 +0000 | [diff] [blame] | 436 | uint64_t RequiredBundlePadding = |
| 437 | computeBundlePadding(Assembler, EF, EF->Offset, FSize); |
Eli Bendersky | 4766ef4 | 2012-12-20 19:05:53 +0000 | [diff] [blame] | 438 | if (RequiredBundlePadding > UINT8_MAX) |
| 439 | report_fatal_error("Padding cannot exceed 255 bytes"); |
Peter Smith | 565bf54 | 2018-06-15 09:48:18 +0000 | [diff] [blame] | 440 | EF->setBundlePadding(static_cast<uint8_t>(RequiredBundlePadding)); |
| 441 | EF->Offset += RequiredBundlePadding; |
Eli Bendersky | 4766ef4 | 2012-12-20 19:05:53 +0000 | [diff] [blame] | 442 | } |
Daniel Dunbar | 0705fbf | 2009-08-21 18:29:01 +0000 | [diff] [blame] | 443 | } |
| 444 | |
Rafael Espindola | ba9e328 | 2015-06-01 14:34:40 +0000 | [diff] [blame] | 445 | void MCAssembler::registerSymbol(const MCSymbol &Symbol, bool *Created) { |
| 446 | bool New = !Symbol.isRegistered(); |
| 447 | if (Created) |
| 448 | *Created = New; |
| 449 | if (New) { |
| 450 | Symbol.setIsRegistered(true); |
| 451 | Symbols.push_back(&Symbol); |
| 452 | } |
| 453 | } |
| 454 | |
Peter Smith | 565bf54 | 2018-06-15 09:48:18 +0000 | [diff] [blame] | 455 | void MCAssembler::writeFragmentPadding(raw_ostream &OS, |
| 456 | const MCEncodedFragment &EF, |
Peter Collingbourne | 74bda0b | 2018-05-21 18:11:35 +0000 | [diff] [blame] | 457 | uint64_t FSize) const { |
Nirav Dave | 92f209b | 2018-04-27 15:45:27 +0000 | [diff] [blame] | 458 | assert(getBackendPtr() && "Expected assembler backend"); |
Eli Bendersky | 4766ef4 | 2012-12-20 19:05:53 +0000 | [diff] [blame] | 459 | // Should NOP padding be written out before this fragment? |
Peter Smith | 565bf54 | 2018-06-15 09:48:18 +0000 | [diff] [blame] | 460 | unsigned BundlePadding = EF.getBundlePadding(); |
Eli Bendersky | 4766ef4 | 2012-12-20 19:05:53 +0000 | [diff] [blame] | 461 | if (BundlePadding > 0) { |
Petr Hosek | 054db7d | 2015-04-12 23:42:25 +0000 | [diff] [blame] | 462 | assert(isBundlingEnabled() && |
Eli Bendersky | 4766ef4 | 2012-12-20 19:05:53 +0000 | [diff] [blame] | 463 | "Writing bundle padding with disabled bundling"); |
Peter Smith | 565bf54 | 2018-06-15 09:48:18 +0000 | [diff] [blame] | 464 | assert(EF.hasInstructions() && |
Eli Bendersky | 4766ef4 | 2012-12-20 19:05:53 +0000 | [diff] [blame] | 465 | "Writing bundle padding for a fragment without instructions"); |
| 466 | |
Petr Hosek | 054db7d | 2015-04-12 23:42:25 +0000 | [diff] [blame] | 467 | unsigned TotalLength = BundlePadding + static_cast<unsigned>(FSize); |
Peter Smith | 565bf54 | 2018-06-15 09:48:18 +0000 | [diff] [blame] | 468 | if (EF.alignToBundleEnd() && TotalLength > getBundleAlignSize()) { |
Derek Schuff | b11917c | 2013-01-31 17:00:03 +0000 | [diff] [blame] | 469 | // If the padding itself crosses a bundle boundary, it must be emitted |
| 470 | // in 2 pieces, since even nop instructions must not cross boundaries. |
| 471 | // v--------------v <- BundleAlignSize |
| 472 | // v---------v <- BundlePadding |
| 473 | // ---------------------------- |
| 474 | // | Prev |####|####| F | |
| 475 | // ---------------------------- |
| 476 | // ^-------------------^ <- TotalLength |
Petr Hosek | 054db7d | 2015-04-12 23:42:25 +0000 | [diff] [blame] | 477 | unsigned DistanceToBoundary = TotalLength - getBundleAlignSize(); |
Peter Collingbourne | 74bda0b | 2018-05-21 18:11:35 +0000 | [diff] [blame] | 478 | if (!getBackend().writeNopData(OS, DistanceToBoundary)) |
Peter Smith | 565bf54 | 2018-06-15 09:48:18 +0000 | [diff] [blame] | 479 | report_fatal_error("unable to write NOP sequence of " + |
| 480 | Twine(DistanceToBoundary) + " bytes"); |
Derek Schuff | b11917c | 2013-01-31 17:00:03 +0000 | [diff] [blame] | 481 | BundlePadding -= DistanceToBoundary; |
| 482 | } |
Peter Collingbourne | 74bda0b | 2018-05-21 18:11:35 +0000 | [diff] [blame] | 483 | if (!getBackend().writeNopData(OS, BundlePadding)) |
Eli Bendersky | 4766ef4 | 2012-12-20 19:05:53 +0000 | [diff] [blame] | 484 | report_fatal_error("unable to write NOP sequence of " + |
| 485 | Twine(BundlePadding) + " bytes"); |
| 486 | } |
Petr Hosek | 054db7d | 2015-04-12 23:42:25 +0000 | [diff] [blame] | 487 | } |
| 488 | |
Adrian Prantl | 26b584c | 2018-05-01 15:54:18 +0000 | [diff] [blame] | 489 | /// Write the fragment \p F to the output file. |
Peter Collingbourne | 74bda0b | 2018-05-21 18:11:35 +0000 | [diff] [blame] | 490 | static void writeFragment(raw_ostream &OS, const MCAssembler &Asm, |
| 491 | const MCAsmLayout &Layout, const MCFragment &F) { |
Petr Hosek | 054db7d | 2015-04-12 23:42:25 +0000 | [diff] [blame] | 492 | // FIXME: Embed in fragments instead? |
| 493 | uint64_t FragmentSize = Asm.computeFragmentSize(Layout, F); |
| 494 | |
Peter Collingbourne | 74bda0b | 2018-05-21 18:11:35 +0000 | [diff] [blame] | 495 | support::endianness Endian = Asm.getBackend().Endian; |
| 496 | |
Peter Smith | 565bf54 | 2018-06-15 09:48:18 +0000 | [diff] [blame] | 497 | if (const MCEncodedFragment *EF = dyn_cast<MCEncodedFragment>(&F)) |
| 498 | Asm.writeFragmentPadding(OS, *EF, FragmentSize); |
Eli Bendersky | 4766ef4 | 2012-12-20 19:05:53 +0000 | [diff] [blame] | 499 | |
| 500 | // This variable (and its dummy usage) is to participate in the assert at |
| 501 | // the end of the function. |
Peter Collingbourne | 74bda0b | 2018-05-21 18:11:35 +0000 | [diff] [blame] | 502 | uint64_t Start = OS.tell(); |
Daniel Dunbar | 0705fbf | 2009-08-21 18:29:01 +0000 | [diff] [blame] | 503 | (void) Start; |
Daniel Dunbar | 7eb8519 | 2009-10-16 01:58:15 +0000 | [diff] [blame] | 504 | |
Daniel Dunbar | ff54784 | 2010-03-23 23:47:14 +0000 | [diff] [blame] | 505 | ++stats::EmittedFragments; |
Daniel Dunbar | 0adcd35 | 2009-08-25 21:10:45 +0000 | [diff] [blame] | 506 | |
Daniel Dunbar | 0705fbf | 2009-08-21 18:29:01 +0000 | [diff] [blame] | 507 | switch (F.getKind()) { |
Daniel Dunbar | d6f761e | 2009-08-21 23:07:38 +0000 | [diff] [blame] | 508 | case MCFragment::FT_Align: { |
Eli Bendersky | 6ac81f5 | 2012-12-10 18:59:39 +0000 | [diff] [blame] | 509 | ++stats::EmittedAlignFragments; |
David Blaikie | f12b379 | 2013-02-11 01:16:51 +0000 | [diff] [blame] | 510 | const MCAlignFragment &AF = cast<MCAlignFragment>(F); |
Daniel Dunbar | e73d49e | 2010-05-12 22:51:27 +0000 | [diff] [blame] | 511 | assert(AF.getValueSize() && "Invalid virtual align in concrete fragment!"); |
| 512 | |
Eric Christopher | ee0dcf4 | 2013-08-07 18:51:09 +0000 | [diff] [blame] | 513 | uint64_t Count = FragmentSize / AF.getValueSize(); |
| 514 | |
Daniel Dunbar | d6f761e | 2009-08-21 23:07:38 +0000 | [diff] [blame] | 515 | // FIXME: This error shouldn't actually occur (the front end should emit |
| 516 | // multiple .align directives to enforce the semantics it wants), but is |
| 517 | // severe enough that we want to report it. How to handle this? |
Daniel Dunbar | 432cd5f | 2010-03-25 02:00:02 +0000 | [diff] [blame] | 518 | if (Count * AF.getValueSize() != FragmentSize) |
Chris Lattner | 75361b6 | 2010-04-07 22:58:41 +0000 | [diff] [blame] | 519 | report_fatal_error("undefined .align directive, value size '" + |
Daniel Dunbar | 7eb8519 | 2009-10-16 01:58:15 +0000 | [diff] [blame] | 520 | Twine(AF.getValueSize()) + |
Daniel Dunbar | d6f761e | 2009-08-21 23:07:38 +0000 | [diff] [blame] | 521 | "' is not a divisor of padding size '" + |
Daniel Dunbar | 432cd5f | 2010-03-25 02:00:02 +0000 | [diff] [blame] | 522 | Twine(FragmentSize) + "'"); |
Daniel Dunbar | d6f761e | 2009-08-21 23:07:38 +0000 | [diff] [blame] | 523 | |
Kevin Enderby | 6e72048 | 2010-02-23 18:26:34 +0000 | [diff] [blame] | 524 | // See if we are aligning with nops, and if so do that first to try to fill |
| 525 | // the Count bytes. Then if that did not fill any bytes or there are any |
Sylvestre Ledru | c8e41c5 | 2012-07-23 08:51:15 +0000 | [diff] [blame] | 526 | // bytes left to fill use the Value and ValueSize to fill the rest. |
Daniel Dunbar | 8f9b80e | 2010-03-23 02:36:58 +0000 | [diff] [blame] | 527 | // If we are aligning with nops, ask that target to emit the right data. |
Daniel Dunbar | 1c15413 | 2010-05-12 22:56:23 +0000 | [diff] [blame] | 528 | if (AF.hasEmitNops()) { |
Peter Collingbourne | 74bda0b | 2018-05-21 18:11:35 +0000 | [diff] [blame] | 529 | if (!Asm.getBackend().writeNopData(OS, Count)) |
Chris Lattner | 75361b6 | 2010-04-07 22:58:41 +0000 | [diff] [blame] | 530 | report_fatal_error("unable to write nop sequence of " + |
Daniel Dunbar | 8f9b80e | 2010-03-23 02:36:58 +0000 | [diff] [blame] | 531 | Twine(Count) + " bytes"); |
| 532 | break; |
Kevin Enderby | 6e72048 | 2010-02-23 18:26:34 +0000 | [diff] [blame] | 533 | } |
| 534 | |
Daniel Dunbar | 8f9b80e | 2010-03-23 02:36:58 +0000 | [diff] [blame] | 535 | // Otherwise, write out in multiples of the value size. |
Daniel Dunbar | d6f761e | 2009-08-21 23:07:38 +0000 | [diff] [blame] | 536 | for (uint64_t i = 0; i != Count; ++i) { |
| 537 | switch (AF.getValueSize()) { |
Craig Topper | 8581438 | 2012-02-07 05:05:23 +0000 | [diff] [blame] | 538 | default: llvm_unreachable("Invalid size!"); |
Peter Collingbourne | 74bda0b | 2018-05-21 18:11:35 +0000 | [diff] [blame] | 539 | case 1: OS << char(AF.getValue()); break; |
| 540 | case 2: |
| 541 | support::endian::write<uint16_t>(OS, AF.getValue(), Endian); |
| 542 | break; |
| 543 | case 4: |
| 544 | support::endian::write<uint32_t>(OS, AF.getValue(), Endian); |
| 545 | break; |
| 546 | case 8: |
| 547 | support::endian::write<uint64_t>(OS, AF.getValue(), Endian); |
| 548 | break; |
Daniel Dunbar | d6f761e | 2009-08-21 23:07:38 +0000 | [diff] [blame] | 549 | } |
| 550 | } |
| 551 | break; |
| 552 | } |
Daniel Dunbar | 0705fbf | 2009-08-21 18:29:01 +0000 | [diff] [blame] | 553 | |
Fangrui Song | af7b183 | 2018-07-30 19:41:25 +0000 | [diff] [blame] | 554 | case MCFragment::FT_Data: |
Eli Bendersky | 8ddc5a1 | 2012-12-07 17:59:21 +0000 | [diff] [blame] | 555 | ++stats::EmittedDataFragments; |
Peter Collingbourne | 74bda0b | 2018-05-21 18:11:35 +0000 | [diff] [blame] | 556 | OS << cast<MCDataFragment>(F).getContents(); |
Daniel Dunbar | 0705fbf | 2009-08-21 18:29:01 +0000 | [diff] [blame] | 557 | break; |
Eli Bendersky | 64d9a32 | 2012-12-07 19:13:57 +0000 | [diff] [blame] | 558 | |
Eli Bendersky | 251040b | 2013-01-08 00:22:56 +0000 | [diff] [blame] | 559 | case MCFragment::FT_Relaxable: |
Eli Bendersky | 6f6204f | 2013-01-08 17:41:59 +0000 | [diff] [blame] | 560 | ++stats::EmittedRelaxableFragments; |
Peter Collingbourne | 74bda0b | 2018-05-21 18:11:35 +0000 | [diff] [blame] | 561 | OS << cast<MCRelaxableFragment>(F).getContents(); |
Eli Bendersky | 64d9a32 | 2012-12-07 19:13:57 +0000 | [diff] [blame] | 562 | break; |
Daniel Dunbar | 0705fbf | 2009-08-21 18:29:01 +0000 | [diff] [blame] | 563 | |
Eli Bendersky | 9ccb769 | 2013-01-15 23:22:09 +0000 | [diff] [blame] | 564 | case MCFragment::FT_CompactEncodedInst: |
| 565 | ++stats::EmittedCompactEncodedInstFragments; |
Peter Collingbourne | 74bda0b | 2018-05-21 18:11:35 +0000 | [diff] [blame] | 566 | OS << cast<MCCompactEncodedInstFragment>(F).getContents(); |
Eli Bendersky | 9ccb769 | 2013-01-15 23:22:09 +0000 | [diff] [blame] | 567 | break; |
| 568 | |
Daniel Dunbar | 0705fbf | 2009-08-21 18:29:01 +0000 | [diff] [blame] | 569 | case MCFragment::FT_Fill: { |
Eli Bendersky | 6ac81f5 | 2012-12-10 18:59:39 +0000 | [diff] [blame] | 570 | ++stats::EmittedFillFragments; |
David Blaikie | f12b379 | 2013-02-11 01:16:51 +0000 | [diff] [blame] | 571 | const MCFillFragment &FF = cast<MCFillFragment>(F); |
Nirav Dave | cdcd5e1 | 2018-05-18 17:45:48 +0000 | [diff] [blame] | 572 | uint64_t V = FF.getValue(); |
| 573 | unsigned VSize = FF.getValueSize(); |
Rafael Espindola | be7a41b | 2016-01-19 17:47:48 +0000 | [diff] [blame] | 574 | const unsigned MaxChunkSize = 16; |
| 575 | char Data[MaxChunkSize]; |
Nirav Dave | cdcd5e1 | 2018-05-18 17:45:48 +0000 | [diff] [blame] | 576 | // Duplicate V into Data as byte vector to reduce number of |
Peter Collingbourne | 74bda0b | 2018-05-21 18:11:35 +0000 | [diff] [blame] | 577 | // writes done. As such, do endian conversion here. |
Nirav Dave | cdcd5e1 | 2018-05-18 17:45:48 +0000 | [diff] [blame] | 578 | for (unsigned I = 0; I != VSize; ++I) { |
Peter Collingbourne | 74bda0b | 2018-05-21 18:11:35 +0000 | [diff] [blame] | 579 | unsigned index = Endian == support::little ? I : (VSize - I - 1); |
Nirav Dave | cdcd5e1 | 2018-05-18 17:45:48 +0000 | [diff] [blame] | 580 | Data[I] = uint8_t(V >> (index * 8)); |
| 581 | } |
| 582 | for (unsigned I = VSize; I < MaxChunkSize; ++I) |
| 583 | Data[I] = Data[I - VSize]; |
Daniel Dunbar | e2fee5b | 2010-05-12 22:51:35 +0000 | [diff] [blame] | 584 | |
Nirav Dave | cdcd5e1 | 2018-05-18 17:45:48 +0000 | [diff] [blame] | 585 | // Set to largest multiple of VSize in Data. |
| 586 | const unsigned NumPerChunk = MaxChunkSize / VSize; |
| 587 | // Set ChunkSize to largest multiple of VSize in Data |
| 588 | const unsigned ChunkSize = VSize * NumPerChunk; |
| 589 | |
| 590 | // Do copies by chunk. |
| 591 | StringRef Ref(Data, ChunkSize); |
| 592 | for (uint64_t I = 0, E = FragmentSize / ChunkSize; I != E; ++I) |
Peter Collingbourne | 74bda0b | 2018-05-21 18:11:35 +0000 | [diff] [blame] | 593 | OS << Ref; |
Nirav Dave | cdcd5e1 | 2018-05-18 17:45:48 +0000 | [diff] [blame] | 594 | |
| 595 | // do remainder if needed. |
| 596 | unsigned TrailingCount = FragmentSize % ChunkSize; |
Peter Collingbourne | 74bda0b | 2018-05-21 18:11:35 +0000 | [diff] [blame] | 597 | if (TrailingCount) |
| 598 | OS.write(Data, TrailingCount); |
Daniel Dunbar | 0705fbf | 2009-08-21 18:29:01 +0000 | [diff] [blame] | 599 | break; |
| 600 | } |
Daniel Dunbar | 7eb8519 | 2009-10-16 01:58:15 +0000 | [diff] [blame] | 601 | |
Rafael Espindola | 3ff5709 | 2010-11-02 17:22:24 +0000 | [diff] [blame] | 602 | case MCFragment::FT_LEB: { |
David Blaikie | f12b379 | 2013-02-11 01:16:51 +0000 | [diff] [blame] | 603 | const MCLEBFragment &LF = cast<MCLEBFragment>(F); |
Peter Collingbourne | 74bda0b | 2018-05-21 18:11:35 +0000 | [diff] [blame] | 604 | OS << LF.getContents(); |
Rafael Espindola | 3ff5709 | 2010-11-02 17:22:24 +0000 | [diff] [blame] | 605 | break; |
| 606 | } |
| 607 | |
Omer Paparo Bivas | 1be670d | 2017-10-24 06:16:03 +0000 | [diff] [blame] | 608 | case MCFragment::FT_Padding: { |
Peter Collingbourne | 74bda0b | 2018-05-21 18:11:35 +0000 | [diff] [blame] | 609 | if (!Asm.getBackend().writeNopData(OS, FragmentSize)) |
Omer Paparo Bivas | 1be670d | 2017-10-24 06:16:03 +0000 | [diff] [blame] | 610 | report_fatal_error("unable to write nop sequence of " + |
| 611 | Twine(FragmentSize) + " bytes"); |
| 612 | break; |
| 613 | } |
| 614 | |
Adrian McCarthy | cf89e1c | 2017-11-08 18:57:02 +0000 | [diff] [blame] | 615 | case MCFragment::FT_SymbolId: { |
| 616 | const MCSymbolIdFragment &SF = cast<MCSymbolIdFragment>(F); |
Peter Collingbourne | 74bda0b | 2018-05-21 18:11:35 +0000 | [diff] [blame] | 617 | support::endian::write<uint32_t>(OS, SF.getSymbol()->getIndex(), Endian); |
David Majnemer | e0d2a29 | 2015-05-30 04:56:02 +0000 | [diff] [blame] | 618 | break; |
| 619 | } |
| 620 | |
Daniel Dunbar | d6f761e | 2009-08-21 23:07:38 +0000 | [diff] [blame] | 621 | case MCFragment::FT_Org: { |
Eli Bendersky | 6ac81f5 | 2012-12-10 18:59:39 +0000 | [diff] [blame] | 622 | ++stats::EmittedOrgFragments; |
David Blaikie | f12b379 | 2013-02-11 01:16:51 +0000 | [diff] [blame] | 623 | const MCOrgFragment &OF = cast<MCOrgFragment>(F); |
Daniel Dunbar | d6f761e | 2009-08-21 23:07:38 +0000 | [diff] [blame] | 624 | |
Daniel Dunbar | 432cd5f | 2010-03-25 02:00:02 +0000 | [diff] [blame] | 625 | for (uint64_t i = 0, e = FragmentSize; i != e; ++i) |
Peter Collingbourne | 74bda0b | 2018-05-21 18:11:35 +0000 | [diff] [blame] | 626 | OS << char(OF.getValue()); |
Daniel Dunbar | d6f761e | 2009-08-21 23:07:38 +0000 | [diff] [blame] | 627 | |
| 628 | break; |
| 629 | } |
Kevin Enderby | c095793 | 2010-09-30 16:52:03 +0000 | [diff] [blame] | 630 | |
| 631 | case MCFragment::FT_Dwarf: { |
| 632 | const MCDwarfLineAddrFragment &OF = cast<MCDwarfLineAddrFragment>(F); |
Peter Collingbourne | 74bda0b | 2018-05-21 18:11:35 +0000 | [diff] [blame] | 633 | OS << OF.getContents(); |
Kevin Enderby | c095793 | 2010-09-30 16:52:03 +0000 | [diff] [blame] | 634 | break; |
| 635 | } |
Rafael Espindola | 245a1e2 | 2010-12-28 05:39:27 +0000 | [diff] [blame] | 636 | case MCFragment::FT_DwarfFrame: { |
| 637 | const MCDwarfCallFrameFragment &CF = cast<MCDwarfCallFrameFragment>(F); |
Peter Collingbourne | 74bda0b | 2018-05-21 18:11:35 +0000 | [diff] [blame] | 638 | OS << CF.getContents(); |
Rafael Espindola | 245a1e2 | 2010-12-28 05:39:27 +0000 | [diff] [blame] | 639 | break; |
| 640 | } |
Reid Kleckner | 617bba8 | 2016-02-02 17:41:18 +0000 | [diff] [blame] | 641 | case MCFragment::FT_CVInlineLines: { |
| 642 | const auto &OF = cast<MCCVInlineLineTableFragment>(F); |
Peter Collingbourne | 74bda0b | 2018-05-21 18:11:35 +0000 | [diff] [blame] | 643 | OS << OF.getContents(); |
Reid Kleckner | 617bba8 | 2016-02-02 17:41:18 +0000 | [diff] [blame] | 644 | break; |
| 645 | } |
David Majnemer | 7ddc547 | 2016-02-05 01:55:49 +0000 | [diff] [blame] | 646 | case MCFragment::FT_CVDefRange: { |
| 647 | const auto &DRF = cast<MCCVDefRangeFragment>(F); |
Peter Collingbourne | 74bda0b | 2018-05-21 18:11:35 +0000 | [diff] [blame] | 648 | OS << DRF.getContents(); |
David Majnemer | 7ddc547 | 2016-02-05 01:55:49 +0000 | [diff] [blame] | 649 | break; |
| 650 | } |
Rafael Espindola | 0eba49c | 2015-10-05 12:07:05 +0000 | [diff] [blame] | 651 | case MCFragment::FT_Dummy: |
| 652 | llvm_unreachable("Should not have been added"); |
Daniel Dunbar | 0705fbf | 2009-08-21 18:29:01 +0000 | [diff] [blame] | 653 | } |
| 654 | |
Peter Collingbourne | 74bda0b | 2018-05-21 18:11:35 +0000 | [diff] [blame] | 655 | assert(OS.tell() - Start == FragmentSize && |
Eli Bendersky | 4766ef4 | 2012-12-20 19:05:53 +0000 | [diff] [blame] | 656 | "The stream should advance by fragment size"); |
Daniel Dunbar | 0705fbf | 2009-08-21 18:29:01 +0000 | [diff] [blame] | 657 | } |
| 658 | |
Peter Collingbourne | 74bda0b | 2018-05-21 18:11:35 +0000 | [diff] [blame] | 659 | void MCAssembler::writeSectionData(raw_ostream &OS, const MCSection *Sec, |
Daniel Dunbar | 5d2477c | 2010-12-17 02:45:59 +0000 | [diff] [blame] | 660 | const MCAsmLayout &Layout) const { |
Nirav Dave | 92f209b | 2018-04-27 15:45:27 +0000 | [diff] [blame] | 661 | assert(getBackendPtr() && "Expected assembler backend"); |
| 662 | |
Daniel Dunbar | d5a8e98 | 2009-08-28 05:49:21 +0000 | [diff] [blame] | 663 | // Ignore virtual sections. |
Rafael Espindola | 2224f64 | 2015-05-26 02:17:21 +0000 | [diff] [blame] | 664 | if (Sec->isVirtualSection()) { |
| 665 | assert(Layout.getSectionFileSize(Sec) == 0 && "Invalid size for section!"); |
Daniel Dunbar | e2fee5b | 2010-05-12 22:51:35 +0000 | [diff] [blame] | 666 | |
| 667 | // Check that contents are only things legal inside a virtual section. |
Craig Topper | dc8bd0c | 2015-08-02 22:34:02 +0000 | [diff] [blame] | 668 | for (const MCFragment &F : *Sec) { |
| 669 | switch (F.getKind()) { |
Craig Topper | 8581438 | 2012-02-07 05:05:23 +0000 | [diff] [blame] | 670 | default: llvm_unreachable("Invalid fragment in virtual section!"); |
Daniel Dunbar | c983b20 | 2010-08-18 18:22:37 +0000 | [diff] [blame] | 671 | case MCFragment::FT_Data: { |
| 672 | // Check that we aren't trying to write a non-zero contents (or fixups) |
| 673 | // into a virtual section. This is to support clients which use standard |
| 674 | // directives to fill the contents of virtual sections. |
Craig Topper | dc8bd0c | 2015-08-02 22:34:02 +0000 | [diff] [blame] | 675 | const MCDataFragment &DF = cast<MCDataFragment>(F); |
Davide Italiano | e20e4c1 | 2016-07-26 18:16:33 +0000 | [diff] [blame] | 676 | if (DF.fixup_begin() != DF.fixup_end()) |
| 677 | report_fatal_error("cannot have fixups in virtual section!"); |
Daniel Dunbar | c983b20 | 2010-08-18 18:22:37 +0000 | [diff] [blame] | 678 | for (unsigned i = 0, e = DF.getContents().size(); i != e; ++i) |
Weiming Zhao | 09f104f | 2014-06-22 00:33:44 +0000 | [diff] [blame] | 679 | if (DF.getContents()[i]) { |
Rafael Espindola | 2224f64 | 2015-05-26 02:17:21 +0000 | [diff] [blame] | 680 | if (auto *ELFSec = dyn_cast<const MCSectionELF>(Sec)) |
Weiming Zhao | 09f104f | 2014-06-22 00:33:44 +0000 | [diff] [blame] | 681 | report_fatal_error("non-zero initializer found in section '" + |
| 682 | ELFSec->getSectionName() + "'"); |
| 683 | else |
| 684 | report_fatal_error("non-zero initializer found in virtual section"); |
| 685 | } |
Daniel Dunbar | c983b20 | 2010-08-18 18:22:37 +0000 | [diff] [blame] | 686 | break; |
| 687 | } |
Daniel Dunbar | e2fee5b | 2010-05-12 22:51:35 +0000 | [diff] [blame] | 688 | case MCFragment::FT_Align: |
Daniel Dunbar | c983b20 | 2010-08-18 18:22:37 +0000 | [diff] [blame] | 689 | // Check that we aren't trying to write a non-zero value into a virtual |
| 690 | // section. |
Craig Topper | dc8bd0c | 2015-08-02 22:34:02 +0000 | [diff] [blame] | 691 | assert((cast<MCAlignFragment>(F).getValueSize() == 0 || |
| 692 | cast<MCAlignFragment>(F).getValue() == 0) && |
Daniel Dunbar | e2fee5b | 2010-05-12 22:51:35 +0000 | [diff] [blame] | 693 | "Invalid align in virtual section!"); |
| 694 | break; |
| 695 | case MCFragment::FT_Fill: |
Rafael Espindola | 9f9435e | 2016-01-19 16:57:08 +0000 | [diff] [blame] | 696 | assert((cast<MCFillFragment>(F).getValue() == 0) && |
Daniel Dunbar | e2fee5b | 2010-05-12 22:51:35 +0000 | [diff] [blame] | 697 | "Invalid fill in virtual section!"); |
| 698 | break; |
Daniel Dunbar | e2fee5b | 2010-05-12 22:51:35 +0000 | [diff] [blame] | 699 | } |
| 700 | } |
| 701 | |
Daniel Dunbar | d5a8e98 | 2009-08-28 05:49:21 +0000 | [diff] [blame] | 702 | return; |
| 703 | } |
| 704 | |
Peter Collingbourne | 74bda0b | 2018-05-21 18:11:35 +0000 | [diff] [blame] | 705 | uint64_t Start = OS.tell(); |
Jim Grosbach | b5762bf | 2012-09-18 23:05:18 +0000 | [diff] [blame] | 706 | (void)Start; |
Daniel Dunbar | 7eb8519 | 2009-10-16 01:58:15 +0000 | [diff] [blame] | 707 | |
Craig Topper | dc8bd0c | 2015-08-02 22:34:02 +0000 | [diff] [blame] | 708 | for (const MCFragment &F : *Sec) |
Peter Collingbourne | 74bda0b | 2018-05-21 18:11:35 +0000 | [diff] [blame] | 709 | writeFragment(OS, *this, Layout, F); |
Daniel Dunbar | 0705fbf | 2009-08-21 18:29:01 +0000 | [diff] [blame] | 710 | |
Peter Collingbourne | 74bda0b | 2018-05-21 18:11:35 +0000 | [diff] [blame] | 711 | assert(OS.tell() - Start == Layout.getSectionAddressSize(Sec)); |
Daniel Dunbar | 0705fbf | 2009-08-21 18:29:01 +0000 | [diff] [blame] | 712 | } |
| 713 | |
Rafael Espindola | 3d8b65f | 2017-06-23 22:52:36 +0000 | [diff] [blame] | 714 | std::tuple<MCValue, uint64_t, bool> |
| 715 | MCAssembler::handleFixup(const MCAsmLayout &Layout, MCFragment &F, |
| 716 | const MCFixup &Fixup) { |
Joerg Sonnenberger | 286cc13 | 2014-01-13 15:50:36 +0000 | [diff] [blame] | 717 | // Evaluate the fixup. |
| 718 | MCValue Target; |
| 719 | uint64_t FixedValue; |
Shiva Chen | e274015 | 2018-05-18 06:42:21 +0000 | [diff] [blame] | 720 | bool WasForced; |
| 721 | bool IsResolved = evaluateFixup(Layout, Fixup, &F, Target, FixedValue, |
| 722 | WasForced); |
Rafael Espindola | 4aebf83 | 2017-07-11 23:18:25 +0000 | [diff] [blame] | 723 | if (!IsResolved) { |
Joerg Sonnenberger | 286cc13 | 2014-01-13 15:50:36 +0000 | [diff] [blame] | 724 | // The fixup was unresolved, we need a relocation. Inform the object |
| 725 | // writer of the relocation, and give it an opportunity to adjust the |
| 726 | // fixup value if need be. |
Alex Bradbury | e54d539 | 2018-05-23 12:36:18 +0000 | [diff] [blame] | 727 | if (Target.getSymA() && Target.getSymB() && |
| 728 | getBackend().requiresDiffExpressionRelocations()) { |
| 729 | // The fixup represents the difference between two symbols, which the |
| 730 | // backend has indicated must be resolved at link time. Split up the fixup |
| 731 | // into two relocations, one for the add, and one for the sub, and emit |
| 732 | // both of these. The constant will be associated with the add half of the |
| 733 | // expression. |
| 734 | MCFixup FixupAdd = MCFixup::createAddFor(Fixup); |
| 735 | MCValue TargetAdd = |
| 736 | MCValue::get(Target.getSymA(), nullptr, Target.getConstant()); |
| 737 | getWriter().recordRelocation(*this, Layout, &F, FixupAdd, TargetAdd, |
| 738 | FixedValue); |
| 739 | MCFixup FixupSub = MCFixup::createSubFor(Fixup); |
| 740 | MCValue TargetSub = MCValue::get(Target.getSymB()); |
| 741 | getWriter().recordRelocation(*this, Layout, &F, FixupSub, TargetSub, |
| 742 | FixedValue); |
| 743 | } else { |
| 744 | getWriter().recordRelocation(*this, Layout, &F, Fixup, Target, |
| 745 | FixedValue); |
| 746 | } |
Joerg Sonnenberger | 286cc13 | 2014-01-13 15:50:36 +0000 | [diff] [blame] | 747 | } |
Rafael Espindola | 4aebf83 | 2017-07-11 23:18:25 +0000 | [diff] [blame] | 748 | return std::make_tuple(Target, FixedValue, IsResolved); |
Joerg Sonnenberger | 286cc13 | 2014-01-13 15:50:36 +0000 | [diff] [blame] | 749 | } |
Rafael Espindola | 179821a | 2010-12-06 19:08:48 +0000 | [diff] [blame] | 750 | |
Frederic Riss | 41426ae | 2015-08-26 05:09:49 +0000 | [diff] [blame] | 751 | void MCAssembler::layout(MCAsmLayout &Layout) { |
Nirav Dave | 92f209b | 2018-04-27 15:45:27 +0000 | [diff] [blame] | 752 | assert(getBackendPtr() && "Expected assembler backend"); |
Daniel Dunbar | b7c3a4b | 2010-02-13 09:28:03 +0000 | [diff] [blame] | 753 | DEBUG_WITH_TYPE("mc-dump", { |
Eugene Zelenko | f31871c | 2017-02-07 23:02:00 +0000 | [diff] [blame] | 754 | errs() << "assembler backend - pre-layout\n--\n"; |
Daniel Dunbar | b7c3a4b | 2010-02-13 09:28:03 +0000 | [diff] [blame] | 755 | dump(); }); |
| 756 | |
Daniel Dunbar | 337718e | 2010-05-14 00:37:14 +0000 | [diff] [blame] | 757 | // Create dummy fragments and assign section ordinals. |
Daniel Dunbar | 49ed921 | 2010-05-13 08:43:37 +0000 | [diff] [blame] | 758 | unsigned SectionIndex = 0; |
Craig Topper | dc8bd0c | 2015-08-02 22:34:02 +0000 | [diff] [blame] | 759 | for (MCSection &Sec : *this) { |
Daniel Dunbar | 49ed921 | 2010-05-13 08:43:37 +0000 | [diff] [blame] | 760 | // Create dummy fragments to eliminate any empty sections, this simplifies |
| 761 | // layout. |
Craig Topper | dc8bd0c | 2015-08-02 22:34:02 +0000 | [diff] [blame] | 762 | if (Sec.getFragmentList().empty()) |
| 763 | new MCDataFragment(&Sec); |
Daniel Dunbar | 49ed921 | 2010-05-13 08:43:37 +0000 | [diff] [blame] | 764 | |
Craig Topper | dc8bd0c | 2015-08-02 22:34:02 +0000 | [diff] [blame] | 765 | Sec.setOrdinal(SectionIndex++); |
Daniel Dunbar | 337718e | 2010-05-14 00:37:14 +0000 | [diff] [blame] | 766 | } |
Daniel Dunbar | 49ed921 | 2010-05-13 08:43:37 +0000 | [diff] [blame] | 767 | |
Daniel Dunbar | 337718e | 2010-05-14 00:37:14 +0000 | [diff] [blame] | 768 | // Assign layout order indices to sections and fragments. |
Daniel Dunbar | 337718e | 2010-05-14 00:37:14 +0000 | [diff] [blame] | 769 | for (unsigned i = 0, e = Layout.getSectionOrder().size(); i != e; ++i) { |
Rafael Espindola | ea3533b | 2015-05-26 02:00:36 +0000 | [diff] [blame] | 770 | MCSection *Sec = Layout.getSectionOrder()[i]; |
| 771 | Sec->setLayoutOrder(i); |
Daniel Dunbar | 337718e | 2010-05-14 00:37:14 +0000 | [diff] [blame] | 772 | |
Rafael Espindola | 4f4363a | 2010-12-07 23:32:26 +0000 | [diff] [blame] | 773 | unsigned FragmentIndex = 0; |
Craig Topper | dc8bd0c | 2015-08-02 22:34:02 +0000 | [diff] [blame] | 774 | for (MCFragment &Frag : *Sec) |
| 775 | Frag.setLayoutOrder(FragmentIndex++); |
Daniel Dunbar | 49ed921 | 2010-05-13 08:43:37 +0000 | [diff] [blame] | 776 | } |
| 777 | |
Daniel Dunbar | 61066db | 2010-05-13 02:34:14 +0000 | [diff] [blame] | 778 | // Layout until everything fits. |
Jim Grosbach | f77d5b1 | 2011-12-06 00:03:48 +0000 | [diff] [blame] | 779 | while (layoutOnce(Layout)) |
Oliver Stannard | f4f8560 | 2016-12-14 10:43:58 +0000 | [diff] [blame] | 780 | if (getContext().hadError()) |
| 781 | return; |
Daniel Dunbar | f08fde4 | 2010-03-12 22:07:14 +0000 | [diff] [blame] | 782 | |
| 783 | DEBUG_WITH_TYPE("mc-dump", { |
Eugene Zelenko | f31871c | 2017-02-07 23:02:00 +0000 | [diff] [blame] | 784 | errs() << "assembler backend - post-relaxation\n--\n"; |
Daniel Dunbar | 3f4dcd9 | 2010-03-22 23:16:48 +0000 | [diff] [blame] | 785 | dump(); }); |
| 786 | |
| 787 | // Finalize the layout, including fragment lowering. |
Jim Grosbach | f77d5b1 | 2011-12-06 00:03:48 +0000 | [diff] [blame] | 788 | finishLayout(Layout); |
Daniel Dunbar | 3f4dcd9 | 2010-03-22 23:16:48 +0000 | [diff] [blame] | 789 | |
| 790 | DEBUG_WITH_TYPE("mc-dump", { |
Eugene Zelenko | f31871c | 2017-02-07 23:02:00 +0000 | [diff] [blame] | 791 | errs() << "assembler backend - final-layout\n--\n"; |
Daniel Dunbar | f08fde4 | 2010-03-12 22:07:14 +0000 | [diff] [blame] | 792 | dump(); }); |
| 793 | |
Daniel Dunbar | bacba99 | 2010-03-19 07:09:33 +0000 | [diff] [blame] | 794 | // Allow the object writer a chance to perform post-layout binding (for |
| 795 | // example, to set the index fields in the symbol data). |
Jim Grosbach | eafe465 | 2015-06-04 23:25:54 +0000 | [diff] [blame] | 796 | getWriter().executePostLayoutBinding(*this, Layout); |
Daniel Dunbar | bacba99 | 2010-03-19 07:09:33 +0000 | [diff] [blame] | 797 | |
Daniel Dunbar | b1e9894 | 2010-03-19 07:09:47 +0000 | [diff] [blame] | 798 | // Evaluate and apply the fixups, generating relocation entries as necessary. |
Craig Topper | dc8bd0c | 2015-08-02 22:34:02 +0000 | [diff] [blame] | 799 | for (MCSection &Sec : *this) { |
| 800 | for (MCFragment &Frag : Sec) { |
Pete Cooper | c821cef | 2015-06-17 22:01:28 +0000 | [diff] [blame] | 801 | // Data and relaxable fragments both have fixups. So only process |
| 802 | // those here. |
| 803 | // FIXME: Is there a better way to do this? MCEncodedFragmentWithFixups |
| 804 | // being templated makes this tricky. |
David Majnemer | 7ddc547 | 2016-02-05 01:55:49 +0000 | [diff] [blame] | 805 | if (isa<MCEncodedFragment>(&Frag) && |
| 806 | isa<MCCompactEncodedInstFragment>(&Frag)) |
| 807 | continue; |
| 808 | if (!isa<MCEncodedFragment>(&Frag) && !isa<MCCVDefRangeFragment>(&Frag)) |
Pete Cooper | c821cef | 2015-06-17 22:01:28 +0000 | [diff] [blame] | 809 | continue; |
| 810 | ArrayRef<MCFixup> Fixups; |
| 811 | MutableArrayRef<char> Contents; |
Peter Smith | e2b2a91 | 2018-06-06 09:40:06 +0000 | [diff] [blame] | 812 | const MCSubtargetInfo *STI = nullptr; |
David Majnemer | 7ddc547 | 2016-02-05 01:55:49 +0000 | [diff] [blame] | 813 | if (auto *FragWithFixups = dyn_cast<MCDataFragment>(&Frag)) { |
Pete Cooper | c821cef | 2015-06-17 22:01:28 +0000 | [diff] [blame] | 814 | Fixups = FragWithFixups->getFixups(); |
| 815 | Contents = FragWithFixups->getContents(); |
Peter Smith | e2b2a91 | 2018-06-06 09:40:06 +0000 | [diff] [blame] | 816 | STI = FragWithFixups->getSubtargetInfo(); |
| 817 | assert(!FragWithFixups->hasInstructions() || STI != nullptr); |
David Majnemer | 7ddc547 | 2016-02-05 01:55:49 +0000 | [diff] [blame] | 818 | } else if (auto *FragWithFixups = dyn_cast<MCRelaxableFragment>(&Frag)) { |
| 819 | Fixups = FragWithFixups->getFixups(); |
| 820 | Contents = FragWithFixups->getContents(); |
Peter Smith | e2b2a91 | 2018-06-06 09:40:06 +0000 | [diff] [blame] | 821 | STI = FragWithFixups->getSubtargetInfo(); |
| 822 | assert(!FragWithFixups->hasInstructions() || STI != nullptr); |
David Majnemer | 7ddc547 | 2016-02-05 01:55:49 +0000 | [diff] [blame] | 823 | } else if (auto *FragWithFixups = dyn_cast<MCCVDefRangeFragment>(&Frag)) { |
Pete Cooper | c821cef | 2015-06-17 22:01:28 +0000 | [diff] [blame] | 824 | Fixups = FragWithFixups->getFixups(); |
| 825 | Contents = FragWithFixups->getContents(); |
Hsiangkai Wang | 2bdc8dd | 2018-08-01 02:18:06 +0000 | [diff] [blame] | 826 | } else if (auto *FragWithFixups = dyn_cast<MCDwarfLineAddrFragment>(&Frag)) { |
| 827 | Fixups = FragWithFixups->getFixups(); |
| 828 | Contents = FragWithFixups->getContents(); |
Pete Cooper | c821cef | 2015-06-17 22:01:28 +0000 | [diff] [blame] | 829 | } else |
Yaron Keren | 57dee47 | 2015-07-04 05:48:52 +0000 | [diff] [blame] | 830 | llvm_unreachable("Unknown fragment with fixups!"); |
Pete Cooper | c821cef | 2015-06-17 22:01:28 +0000 | [diff] [blame] | 831 | for (const MCFixup &Fixup : Fixups) { |
| 832 | uint64_t FixedValue; |
Rafael Espindola | 4aebf83 | 2017-07-11 23:18:25 +0000 | [diff] [blame] | 833 | bool IsResolved; |
Rafael Espindola | 3d8b65f | 2017-06-23 22:52:36 +0000 | [diff] [blame] | 834 | MCValue Target; |
Rafael Espindola | 4aebf83 | 2017-07-11 23:18:25 +0000 | [diff] [blame] | 835 | std::tie(Target, FixedValue, IsResolved) = |
Rafael Espindola | 3d8b65f | 2017-06-23 22:52:36 +0000 | [diff] [blame] | 836 | handleFixup(Layout, Frag, Fixup); |
| 837 | getBackend().applyFixup(*this, Fixup, Target, Contents, FixedValue, |
Peter Smith | e2b2a91 | 2018-06-06 09:40:06 +0000 | [diff] [blame] | 838 | IsResolved, STI); |
Daniel Dunbar | b1e9894 | 2010-03-19 07:09:47 +0000 | [diff] [blame] | 839 | } |
| 840 | } |
| 841 | } |
Frederic Riss | 41426ae | 2015-08-26 05:09:49 +0000 | [diff] [blame] | 842 | } |
| 843 | |
| 844 | void MCAssembler::Finish() { |
| 845 | // Create the layout object. |
| 846 | MCAsmLayout Layout(*this); |
| 847 | layout(Layout); |
| 848 | |
Daniel Dunbar | bacba99 | 2010-03-19 07:09:33 +0000 | [diff] [blame] | 849 | // Write the object file. |
Peter Collingbourne | 0d4292f | 2018-05-21 18:23:50 +0000 | [diff] [blame] | 850 | stats::ObjectBytes += getWriter().writeObject(*this, Layout); |
Daniel Dunbar | f08fde4 | 2010-03-12 22:07:14 +0000 | [diff] [blame] | 851 | } |
| 852 | |
Jim Grosbach | f77d5b1 | 2011-12-06 00:03:48 +0000 | [diff] [blame] | 853 | bool MCAssembler::fixupNeedsRelaxation(const MCFixup &Fixup, |
Eli Bendersky | 251040b | 2013-01-08 00:22:56 +0000 | [diff] [blame] | 854 | const MCRelaxableFragment *DF, |
Daniel Dunbar | 8d39eb4 | 2010-03-22 20:35:35 +0000 | [diff] [blame] | 855 | const MCAsmLayout &Layout) const { |
Nirav Dave | 92f209b | 2018-04-27 15:45:27 +0000 | [diff] [blame] | 856 | assert(getBackendPtr() && "Expected assembler backend"); |
Daniel Dunbar | f08fde4 | 2010-03-12 22:07:14 +0000 | [diff] [blame] | 857 | MCValue Target; |
| 858 | uint64_t Value; |
Shiva Chen | e274015 | 2018-05-18 06:42:21 +0000 | [diff] [blame] | 859 | bool WasForced; |
| 860 | bool Resolved = evaluateFixup(Layout, Fixup, DF, Target, Value, WasForced); |
Peter Collingbourne | 043d1a9 | 2017-01-31 18:28:44 +0000 | [diff] [blame] | 861 | if (Target.getSymA() && |
| 862 | Target.getSymA()->getKind() == MCSymbolRefExpr::VK_X86_ABS8 && |
| 863 | Fixup.getKind() == FK_Data_1) |
| 864 | return false; |
Colin LeMahieu | 32de7d7 | 2015-05-30 18:42:22 +0000 | [diff] [blame] | 865 | return getBackend().fixupNeedsRelaxationAdvanced(Fixup, Resolved, Value, DF, |
Shiva Chen | e274015 | 2018-05-18 06:42:21 +0000 | [diff] [blame] | 866 | Layout, WasForced); |
Daniel Dunbar | f08fde4 | 2010-03-12 22:07:14 +0000 | [diff] [blame] | 867 | } |
| 868 | |
Eli Bendersky | 251040b | 2013-01-08 00:22:56 +0000 | [diff] [blame] | 869 | bool MCAssembler::fragmentNeedsRelaxation(const MCRelaxableFragment *F, |
Daniel Dunbar | d8036fb | 2010-03-23 05:09:03 +0000 | [diff] [blame] | 870 | const MCAsmLayout &Layout) const { |
Nirav Dave | 92f209b | 2018-04-27 15:45:27 +0000 | [diff] [blame] | 871 | assert(getBackendPtr() && "Expected assembler backend"); |
Daniel Dunbar | d8036fb | 2010-03-23 05:09:03 +0000 | [diff] [blame] | 872 | // If this inst doesn't ever need relaxation, ignore it. This occurs when we |
| 873 | // are intentionally pushing out inst fragments, or because we relaxed a |
| 874 | // previous instruction to one that doesn't need relaxation. |
Peter Smith | e2b2a91 | 2018-06-06 09:40:06 +0000 | [diff] [blame] | 875 | if (!getBackend().mayNeedRelaxation(F->getInst(), *F->getSubtargetInfo())) |
Daniel Dunbar | d8036fb | 2010-03-23 05:09:03 +0000 | [diff] [blame] | 876 | return false; |
| 877 | |
Craig Topper | dc8bd0c | 2015-08-02 22:34:02 +0000 | [diff] [blame] | 878 | for (const MCFixup &Fixup : F->getFixups()) |
| 879 | if (fixupNeedsRelaxation(Fixup, F, Layout)) |
Daniel Dunbar | d8036fb | 2010-03-23 05:09:03 +0000 | [diff] [blame] | 880 | return true; |
| 881 | |
| 882 | return false; |
| 883 | } |
| 884 | |
Jim Grosbach | f77d5b1 | 2011-12-06 00:03:48 +0000 | [diff] [blame] | 885 | bool MCAssembler::relaxInstruction(MCAsmLayout &Layout, |
Eli Bendersky | 251040b | 2013-01-08 00:22:56 +0000 | [diff] [blame] | 886 | MCRelaxableFragment &F) { |
Nirav Dave | 92f209b | 2018-04-27 15:45:27 +0000 | [diff] [blame] | 887 | assert(getEmitterPtr() && |
| 888 | "Expected CodeEmitter defined for relaxInstruction"); |
Eli Bendersky | 251040b | 2013-01-08 00:22:56 +0000 | [diff] [blame] | 889 | if (!fragmentNeedsRelaxation(&F, Layout)) |
Rafael Espindola | 3ff5709 | 2010-11-02 17:22:24 +0000 | [diff] [blame] | 890 | return false; |
| 891 | |
| 892 | ++stats::RelaxedInstructions; |
| 893 | |
| 894 | // FIXME-PERF: We could immediately lower out instructions if we can tell |
| 895 | // they are fully resolved, to avoid retesting on later passes. |
| 896 | |
| 897 | // Relax the fragment. |
| 898 | |
| 899 | MCInst Relaxed; |
Peter Smith | e2b2a91 | 2018-06-06 09:40:06 +0000 | [diff] [blame] | 900 | getBackend().relaxInstruction(F.getInst(), *F.getSubtargetInfo(), Relaxed); |
Rafael Espindola | 3ff5709 | 2010-11-02 17:22:24 +0000 | [diff] [blame] | 901 | |
| 902 | // Encode the new instruction. |
| 903 | // |
| 904 | // FIXME-PERF: If it matters, we could let the target do this. It can |
| 905 | // probably do so more efficiently in many cases. |
| 906 | SmallVector<MCFixup, 4> Fixups; |
| 907 | SmallString<256> Code; |
| 908 | raw_svector_ostream VecOS(Code); |
Peter Smith | e2b2a91 | 2018-06-06 09:40:06 +0000 | [diff] [blame] | 909 | getEmitter().encodeInstruction(Relaxed, VecOS, Fixups, *F.getSubtargetInfo()); |
Rafael Espindola | 3ff5709 | 2010-11-02 17:22:24 +0000 | [diff] [blame] | 910 | |
Eli Bendersky | 251040b | 2013-01-08 00:22:56 +0000 | [diff] [blame] | 911 | // Update the fragment. |
| 912 | F.setInst(Relaxed); |
| 913 | F.getContents() = Code; |
| 914 | F.getFixups() = Fixups; |
Rafael Espindola | 3ff5709 | 2010-11-02 17:22:24 +0000 | [diff] [blame] | 915 | |
Rafael Espindola | 3ff5709 | 2010-11-02 17:22:24 +0000 | [diff] [blame] | 916 | return true; |
| 917 | } |
| 918 | |
Omer Paparo Bivas | 1be670d | 2017-10-24 06:16:03 +0000 | [diff] [blame] | 919 | bool MCAssembler::relaxPaddingFragment(MCAsmLayout &Layout, |
| 920 | MCPaddingFragment &PF) { |
Nirav Dave | 92f209b | 2018-04-27 15:45:27 +0000 | [diff] [blame] | 921 | assert(getBackendPtr() && "Expected assembler backend"); |
Omer Paparo Bivas | 1be670d | 2017-10-24 06:16:03 +0000 | [diff] [blame] | 922 | uint64_t OldSize = PF.getSize(); |
| 923 | if (!getBackend().relaxFragment(&PF, Layout)) |
| 924 | return false; |
| 925 | uint64_t NewSize = PF.getSize(); |
| 926 | |
| 927 | ++stats::PaddingFragmentsRelaxations; |
| 928 | stats::PaddingFragmentsBytes += NewSize; |
| 929 | stats::PaddingFragmentsBytes -= OldSize; |
| 930 | return true; |
| 931 | } |
| 932 | |
Jim Grosbach | f77d5b1 | 2011-12-06 00:03:48 +0000 | [diff] [blame] | 933 | bool MCAssembler::relaxLEB(MCAsmLayout &Layout, MCLEBFragment &LF) { |
Rafael Espindola | db74aea | 2010-12-04 21:58:52 +0000 | [diff] [blame] | 934 | uint64_t OldSize = LF.getContents().size(); |
Rafael Espindola | 49dba99 | 2015-03-25 00:25:37 +0000 | [diff] [blame] | 935 | int64_t Value; |
| 936 | bool Abs = LF.getValue().evaluateKnownAbsolute(Value, Layout); |
| 937 | if (!Abs) |
| 938 | report_fatal_error("sleb128 and uleb128 expressions must be absolute"); |
Rafael Espindola | db74aea | 2010-12-04 21:58:52 +0000 | [diff] [blame] | 939 | SmallString<8> &Data = LF.getContents(); |
| 940 | Data.clear(); |
| 941 | raw_svector_ostream OSE(Data); |
Rafael Espindola | ea9d3ea | 2018-02-01 00:25:19 +0000 | [diff] [blame] | 942 | // The compiler can generate EH table assembly that is impossible to assemble |
| 943 | // without either adding padding to an LEB fragment or adding extra padding |
| 944 | // to a later alignment fragment. To accommodate such tables, relaxation can |
| 945 | // only increase an LEB fragment size here, not decrease it. See PR35809. |
Rafael Espindola | 3ff5709 | 2010-11-02 17:22:24 +0000 | [diff] [blame] | 946 | if (LF.isSigned()) |
Rafael Espindola | ea9d3ea | 2018-02-01 00:25:19 +0000 | [diff] [blame] | 947 | encodeSLEB128(Value, OSE, OldSize); |
Rafael Espindola | 3ff5709 | 2010-11-02 17:22:24 +0000 | [diff] [blame] | 948 | else |
Rafael Espindola | ea9d3ea | 2018-02-01 00:25:19 +0000 | [diff] [blame] | 949 | encodeULEB128(Value, OSE, OldSize); |
Rafael Espindola | db74aea | 2010-12-04 21:58:52 +0000 | [diff] [blame] | 950 | return OldSize != LF.getContents().size(); |
Rafael Espindola | 3ff5709 | 2010-11-02 17:22:24 +0000 | [diff] [blame] | 951 | } |
| 952 | |
Jim Grosbach | f77d5b1 | 2011-12-06 00:03:48 +0000 | [diff] [blame] | 953 | bool MCAssembler::relaxDwarfLineAddr(MCAsmLayout &Layout, |
Jim Grosbach | f68a26b | 2011-12-06 00:13:09 +0000 | [diff] [blame] | 954 | MCDwarfLineAddrFragment &DF) { |
Ulrich Weigand | c1f4a4b | 2013-06-12 14:46:54 +0000 | [diff] [blame] | 955 | MCContext &Context = Layout.getAssembler().getContext(); |
Rafael Espindola | db74aea | 2010-12-04 21:58:52 +0000 | [diff] [blame] | 956 | uint64_t OldSize = DF.getContents().size(); |
Rafael Espindola | 49dba99 | 2015-03-25 00:25:37 +0000 | [diff] [blame] | 957 | int64_t AddrDelta; |
Hsiangkai Wang | c8a8300 | 2018-08-01 04:17:41 +0000 | [diff] [blame] | 958 | bool Abs; |
| 959 | if (getBackend().requiresDiffExpressionRelocations()) |
| 960 | Abs = DF.getAddrDelta().evaluateAsAbsolute(AddrDelta, Layout); |
| 961 | else { |
| 962 | Abs = DF.getAddrDelta().evaluateKnownAbsolute(AddrDelta, Layout); |
| 963 | assert(Abs && "We created a line delta with an invalid expression"); |
| 964 | } |
Rafael Espindola | 187d833 | 2010-11-07 02:07:12 +0000 | [diff] [blame] | 965 | int64_t LineDelta; |
| 966 | LineDelta = DF.getLineDelta(); |
Hsiangkai Wang | 2bdc8dd | 2018-08-01 02:18:06 +0000 | [diff] [blame] | 967 | SmallVectorImpl<char> &Data = DF.getContents(); |
Rafael Espindola | db74aea | 2010-12-04 21:58:52 +0000 | [diff] [blame] | 968 | Data.clear(); |
| 969 | raw_svector_ostream OSE(Data); |
Hsiangkai Wang | 2bdc8dd | 2018-08-01 02:18:06 +0000 | [diff] [blame] | 970 | DF.getFixups().clear(); |
| 971 | |
| 972 | if (Abs) { |
| 973 | MCDwarfLineAddr::Encode(Context, getDWARFLinetableParams(), LineDelta, |
| 974 | AddrDelta, OSE); |
| 975 | } else { |
| 976 | uint32_t Offset; |
| 977 | uint32_t Size; |
| 978 | bool SetDelta = MCDwarfLineAddr::FixedEncode(Context, |
| 979 | getDWARFLinetableParams(), |
| 980 | LineDelta, AddrDelta, |
| 981 | OSE, &Offset, &Size); |
| 982 | // Add Fixups for address delta or new address. |
| 983 | const MCExpr *FixupExpr; |
| 984 | if (SetDelta) { |
| 985 | FixupExpr = &DF.getAddrDelta(); |
| 986 | } else { |
| 987 | const MCBinaryExpr *ABE = cast<MCBinaryExpr>(&DF.getAddrDelta()); |
| 988 | FixupExpr = ABE->getLHS(); |
| 989 | } |
| 990 | DF.getFixups().push_back( |
| 991 | MCFixup::create(Offset, FixupExpr, |
| 992 | MCFixup::getKindForSize(Size, false /*isPCRel*/))); |
| 993 | } |
| 994 | |
Rafael Espindola | db74aea | 2010-12-04 21:58:52 +0000 | [diff] [blame] | 995 | return OldSize != Data.size(); |
Rafael Espindola | 187d833 | 2010-11-07 02:07:12 +0000 | [diff] [blame] | 996 | } |
| 997 | |
Jim Grosbach | f77d5b1 | 2011-12-06 00:03:48 +0000 | [diff] [blame] | 998 | bool MCAssembler::relaxDwarfCallFrameFragment(MCAsmLayout &Layout, |
Rafael Espindola | 245a1e2 | 2010-12-28 05:39:27 +0000 | [diff] [blame] | 999 | MCDwarfCallFrameFragment &DF) { |
Ulrich Weigand | c1f4a4b | 2013-06-12 14:46:54 +0000 | [diff] [blame] | 1000 | MCContext &Context = Layout.getAssembler().getContext(); |
Rafael Espindola | 245a1e2 | 2010-12-28 05:39:27 +0000 | [diff] [blame] | 1001 | uint64_t OldSize = DF.getContents().size(); |
Rafael Espindola | 49dba99 | 2015-03-25 00:25:37 +0000 | [diff] [blame] | 1002 | int64_t AddrDelta; |
| 1003 | bool Abs = DF.getAddrDelta().evaluateKnownAbsolute(AddrDelta, Layout); |
| 1004 | assert(Abs && "We created call frame with an invalid expression"); |
Rafael Espindola | 41509f4 | 2015-03-25 00:45:41 +0000 | [diff] [blame] | 1005 | (void) Abs; |
Rafael Espindola | 245a1e2 | 2010-12-28 05:39:27 +0000 | [diff] [blame] | 1006 | SmallString<8> &Data = DF.getContents(); |
| 1007 | Data.clear(); |
| 1008 | raw_svector_ostream OSE(Data); |
Ulrich Weigand | c1f4a4b | 2013-06-12 14:46:54 +0000 | [diff] [blame] | 1009 | MCDwarfFrameEmitter::EncodeAdvanceLoc(Context, AddrDelta, OSE); |
Rafael Espindola | 245a1e2 | 2010-12-28 05:39:27 +0000 | [diff] [blame] | 1010 | return OldSize != Data.size(); |
| 1011 | } |
| 1012 | |
Reid Kleckner | 617bba8 | 2016-02-02 17:41:18 +0000 | [diff] [blame] | 1013 | bool MCAssembler::relaxCVInlineLineTable(MCAsmLayout &Layout, |
| 1014 | MCCVInlineLineTableFragment &F) { |
| 1015 | unsigned OldSize = F.getContents().size(); |
| 1016 | getContext().getCVContext().encodeInlineLineTable(Layout, F); |
| 1017 | return OldSize != F.getContents().size(); |
| 1018 | } |
| 1019 | |
David Majnemer | 7ddc547 | 2016-02-05 01:55:49 +0000 | [diff] [blame] | 1020 | bool MCAssembler::relaxCVDefRange(MCAsmLayout &Layout, |
| 1021 | MCCVDefRangeFragment &F) { |
| 1022 | unsigned OldSize = F.getContents().size(); |
| 1023 | getContext().getCVContext().encodeDefRange(Layout, F); |
| 1024 | return OldSize != F.getContents().size(); |
| 1025 | } |
| 1026 | |
Rafael Espindola | 2224f64 | 2015-05-26 02:17:21 +0000 | [diff] [blame] | 1027 | bool MCAssembler::layoutSectionOnce(MCAsmLayout &Layout, MCSection &Sec) { |
Eli Bendersky | f43e3fd | 2012-12-10 20:13:43 +0000 | [diff] [blame] | 1028 | // Holds the first fragment which needed relaxing during this layout. It will |
| 1029 | // remain NULL if none were relaxed. |
Eli Bendersky | d52a2c0 | 2012-12-12 19:54:05 +0000 | [diff] [blame] | 1030 | // When a fragment is relaxed, all the fragments following it should get |
| 1031 | // invalidated because their offset is going to change. |
Craig Topper | 4266ae8 | 2014-04-13 04:57:38 +0000 | [diff] [blame] | 1032 | MCFragment *FirstRelaxedFragment = nullptr; |
Eli Bendersky | f43e3fd | 2012-12-10 20:13:43 +0000 | [diff] [blame] | 1033 | |
Eli Bendersky | d52a2c0 | 2012-12-12 19:54:05 +0000 | [diff] [blame] | 1034 | // Attempt to relax all the fragments in the section. |
Rafael Espindola | 899cab6 | 2015-05-27 15:14:11 +0000 | [diff] [blame] | 1035 | for (MCSection::iterator I = Sec.begin(), IE = Sec.end(); I != IE; ++I) { |
Eli Bendersky | f43e3fd | 2012-12-10 20:13:43 +0000 | [diff] [blame] | 1036 | // Check if this is a fragment that needs relaxation. |
| 1037 | bool RelaxedFrag = false; |
| 1038 | switch(I->getKind()) { |
Rafael Espindola | 62b83b6 | 2010-12-21 04:22:09 +0000 | [diff] [blame] | 1039 | default: |
Eli Bendersky | f43e3fd | 2012-12-10 20:13:43 +0000 | [diff] [blame] | 1040 | break; |
Eli Bendersky | 251040b | 2013-01-08 00:22:56 +0000 | [diff] [blame] | 1041 | case MCFragment::FT_Relaxable: |
Eli Bendersky | 37a9830 | 2012-12-11 17:16:00 +0000 | [diff] [blame] | 1042 | assert(!getRelaxAll() && |
Eli Bendersky | 251040b | 2013-01-08 00:22:56 +0000 | [diff] [blame] | 1043 | "Did not expect a MCRelaxableFragment in RelaxAll mode"); |
| 1044 | RelaxedFrag = relaxInstruction(Layout, *cast<MCRelaxableFragment>(I)); |
Rafael Espindola | 62b83b6 | 2010-12-21 04:22:09 +0000 | [diff] [blame] | 1045 | break; |
Rafael Espindola | 62b83b6 | 2010-12-21 04:22:09 +0000 | [diff] [blame] | 1046 | case MCFragment::FT_Dwarf: |
Eli Bendersky | f43e3fd | 2012-12-10 20:13:43 +0000 | [diff] [blame] | 1047 | RelaxedFrag = relaxDwarfLineAddr(Layout, |
| 1048 | *cast<MCDwarfLineAddrFragment>(I)); |
Rafael Espindola | 62b83b6 | 2010-12-21 04:22:09 +0000 | [diff] [blame] | 1049 | break; |
Rafael Espindola | 245a1e2 | 2010-12-28 05:39:27 +0000 | [diff] [blame] | 1050 | case MCFragment::FT_DwarfFrame: |
Eli Bendersky | f43e3fd | 2012-12-10 20:13:43 +0000 | [diff] [blame] | 1051 | RelaxedFrag = |
Jim Grosbach | f77d5b1 | 2011-12-06 00:03:48 +0000 | [diff] [blame] | 1052 | relaxDwarfCallFrameFragment(Layout, |
Eli Bendersky | f43e3fd | 2012-12-10 20:13:43 +0000 | [diff] [blame] | 1053 | *cast<MCDwarfCallFrameFragment>(I)); |
Rafael Espindola | 245a1e2 | 2010-12-28 05:39:27 +0000 | [diff] [blame] | 1054 | break; |
| 1055 | case MCFragment::FT_LEB: |
Eli Bendersky | f43e3fd | 2012-12-10 20:13:43 +0000 | [diff] [blame] | 1056 | RelaxedFrag = relaxLEB(Layout, *cast<MCLEBFragment>(I)); |
Rafael Espindola | 245a1e2 | 2010-12-28 05:39:27 +0000 | [diff] [blame] | 1057 | break; |
Omer Paparo Bivas | 1be670d | 2017-10-24 06:16:03 +0000 | [diff] [blame] | 1058 | case MCFragment::FT_Padding: |
| 1059 | RelaxedFrag = relaxPaddingFragment(Layout, *cast<MCPaddingFragment>(I)); |
| 1060 | break; |
Reid Kleckner | 617bba8 | 2016-02-02 17:41:18 +0000 | [diff] [blame] | 1061 | case MCFragment::FT_CVInlineLines: |
| 1062 | RelaxedFrag = |
| 1063 | relaxCVInlineLineTable(Layout, *cast<MCCVInlineLineTableFragment>(I)); |
| 1064 | break; |
David Majnemer | 7ddc547 | 2016-02-05 01:55:49 +0000 | [diff] [blame] | 1065 | case MCFragment::FT_CVDefRange: |
| 1066 | RelaxedFrag = relaxCVDefRange(Layout, *cast<MCCVDefRangeFragment>(I)); |
| 1067 | break; |
Rafael Espindola | 62b83b6 | 2010-12-21 04:22:09 +0000 | [diff] [blame] | 1068 | } |
Eli Bendersky | d52a2c0 | 2012-12-12 19:54:05 +0000 | [diff] [blame] | 1069 | if (RelaxedFrag && !FirstRelaxedFragment) |
Duncan P. N. Exon Smith | 5d8fcb9 | 2015-10-10 00:13:11 +0000 | [diff] [blame] | 1070 | FirstRelaxedFragment = &*I; |
Rafael Espindola | 62b83b6 | 2010-12-21 04:22:09 +0000 | [diff] [blame] | 1071 | } |
Eli Bendersky | d52a2c0 | 2012-12-12 19:54:05 +0000 | [diff] [blame] | 1072 | if (FirstRelaxedFragment) { |
Derek Schuff | f918d7f | 2013-02-05 17:55:27 +0000 | [diff] [blame] | 1073 | Layout.invalidateFragmentsFrom(FirstRelaxedFragment); |
Rafael Espindola | 62b83b6 | 2010-12-21 04:22:09 +0000 | [diff] [blame] | 1074 | return true; |
| 1075 | } |
| 1076 | return false; |
| 1077 | } |
| 1078 | |
Jim Grosbach | f77d5b1 | 2011-12-06 00:03:48 +0000 | [diff] [blame] | 1079 | bool MCAssembler::layoutOnce(MCAsmLayout &Layout) { |
Daniel Dunbar | ff54784 | 2010-03-23 23:47:14 +0000 | [diff] [blame] | 1080 | ++stats::RelaxationSteps; |
| 1081 | |
Daniel Dunbar | 0cc8bd4 | 2010-03-25 19:35:56 +0000 | [diff] [blame] | 1082 | bool WasRelaxed = false; |
Daniel Dunbar | f08fde4 | 2010-03-12 22:07:14 +0000 | [diff] [blame] | 1083 | for (iterator it = begin(), ie = end(); it != ie; ++it) { |
Rafael Espindola | e86bc46 | 2015-05-25 23:14:17 +0000 | [diff] [blame] | 1084 | MCSection &Sec = *it; |
Rafael Espindola | 2224f64 | 2015-05-26 02:17:21 +0000 | [diff] [blame] | 1085 | while (layoutSectionOnce(Layout, Sec)) |
Rafael Espindola | 62b83b6 | 2010-12-21 04:22:09 +0000 | [diff] [blame] | 1086 | WasRelaxed = true; |
Daniel Dunbar | f08fde4 | 2010-03-12 22:07:14 +0000 | [diff] [blame] | 1087 | } |
| 1088 | |
Daniel Dunbar | 0cc8bd4 | 2010-03-25 19:35:56 +0000 | [diff] [blame] | 1089 | return WasRelaxed; |
Daniel Dunbar | fb4a6b3 | 2009-08-21 09:11:24 +0000 | [diff] [blame] | 1090 | } |
Daniel Dunbar | b7c3a4b | 2010-02-13 09:28:03 +0000 | [diff] [blame] | 1091 | |
Jim Grosbach | f77d5b1 | 2011-12-06 00:03:48 +0000 | [diff] [blame] | 1092 | void MCAssembler::finishLayout(MCAsmLayout &Layout) { |
Nirav Dave | 92f209b | 2018-04-27 15:45:27 +0000 | [diff] [blame] | 1093 | assert(getBackendPtr() && "Expected assembler backend"); |
Rafael Espindola | b4172fa | 2010-12-04 22:47:22 +0000 | [diff] [blame] | 1094 | // The layout is done. Mark every fragment as valid. |
Rafael Espindola | 4f4363a | 2010-12-07 23:32:26 +0000 | [diff] [blame] | 1095 | for (unsigned int i = 0, n = Layout.getSectionOrder().size(); i != n; ++i) { |
Oliver Stannard | f4f8560 | 2016-12-14 10:43:58 +0000 | [diff] [blame] | 1096 | MCSection &Section = *Layout.getSectionOrder()[i]; |
| 1097 | Layout.getFragmentOffset(&*Section.rbegin()); |
| 1098 | computeFragmentSize(Layout, *Section.rbegin()); |
Rafael Espindola | 4f4363a | 2010-12-07 23:32:26 +0000 | [diff] [blame] | 1099 | } |
Colin LeMahieu | a6e18c1 | 2016-04-27 21:26:13 +0000 | [diff] [blame] | 1100 | getBackend().finishLayout(*this, Layout); |
Daniel Dunbar | 3f4dcd9 | 2010-03-22 23:16:48 +0000 | [diff] [blame] | 1101 | } |
Sam Clegg | 28809c0 | 2018-06-14 14:04:23 +0000 | [diff] [blame] | 1102 | |
| 1103 | #if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP) |
| 1104 | LLVM_DUMP_METHOD void MCAssembler::dump() const{ |
| 1105 | raw_ostream &OS = errs(); |
| 1106 | |
| 1107 | OS << "<MCAssembler\n"; |
| 1108 | OS << " Sections:[\n "; |
| 1109 | for (const_iterator it = begin(), ie = end(); it != ie; ++it) { |
| 1110 | if (it != begin()) OS << ",\n "; |
| 1111 | it->dump(); |
| 1112 | } |
| 1113 | OS << "],\n"; |
| 1114 | OS << " Symbols:["; |
| 1115 | |
| 1116 | for (const_symbol_iterator it = symbol_begin(), ie = symbol_end(); it != ie; ++it) { |
| 1117 | if (it != symbol_begin()) OS << ",\n "; |
| 1118 | OS << "("; |
| 1119 | it->dump(); |
| 1120 | OS << ", Index:" << it->getIndex() << ", "; |
| 1121 | OS << ")"; |
| 1122 | } |
| 1123 | OS << "]>\n"; |
| 1124 | } |
| 1125 | #endif |