Daniel Dunbar | badeace | 2009-06-23 23:39:15 +0000 | [diff] [blame] | 1 | //===- lib/MC/MCContext.cpp - Machine Code Context ------------------------===// |
Daniel Dunbar | ca29e4d | 2009-06-23 22:01:43 +0000 | [diff] [blame] | 2 | // |
Chandler Carruth | 2946cd7 | 2019-01-19 08:50:56 +0000 | [diff] [blame] | 3 | // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. |
| 4 | // See https://llvm.org/LICENSE.txt for license information. |
| 5 | // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception |
Daniel Dunbar | ca29e4d | 2009-06-23 22:01:43 +0000 | [diff] [blame] | 6 | // |
| 7 | //===----------------------------------------------------------------------===// |
| 8 | |
Chandler Carruth | 6bda14b | 2017-06-06 11:49:48 +0000 | [diff] [blame] | 9 | #include "llvm/MC/MCContext.h" |
Scott Linder | 16c7bda | 2018-02-23 23:01:06 +0000 | [diff] [blame] | 10 | #include "llvm/ADT/Optional.h" |
Chris Lattner | 86dfd73 | 2009-10-19 22:49:00 +0000 | [diff] [blame] | 11 | #include "llvm/ADT/SmallString.h" |
Eugene Zelenko | d96089b | 2017-02-14 00:33:36 +0000 | [diff] [blame] | 12 | #include "llvm/ADT/SmallVector.h" |
| 13 | #include "llvm/ADT/StringMap.h" |
| 14 | #include "llvm/ADT/StringRef.h" |
Chris Lattner | 86dfd73 | 2009-10-19 22:49:00 +0000 | [diff] [blame] | 15 | #include "llvm/ADT/Twine.h" |
Zachary Turner | 264b5d9 | 2017-06-07 03:48:56 +0000 | [diff] [blame] | 16 | #include "llvm/BinaryFormat/COFF.h" |
| 17 | #include "llvm/BinaryFormat/ELF.h" |
Chandler Carruth | ed0881b | 2012-12-03 16:50:05 +0000 | [diff] [blame] | 18 | #include "llvm/MC/MCAsmInfo.h" |
Reid Kleckner | 2214ed8 | 2016-01-29 00:49:42 +0000 | [diff] [blame] | 19 | #include "llvm/MC/MCCodeView.h" |
Chandler Carruth | ed0881b | 2012-12-03 16:50:05 +0000 | [diff] [blame] | 20 | #include "llvm/MC/MCDwarf.h" |
Eugene Zelenko | d96089b | 2017-02-14 00:33:36 +0000 | [diff] [blame] | 21 | #include "llvm/MC/MCExpr.h" |
| 22 | #include "llvm/MC/MCFragment.h" |
Chandler Carruth | ed0881b | 2012-12-03 16:50:05 +0000 | [diff] [blame] | 23 | #include "llvm/MC/MCLabel.h" |
| 24 | #include "llvm/MC/MCObjectFileInfo.h" |
Chandler Carruth | ed0881b | 2012-12-03 16:50:05 +0000 | [diff] [blame] | 25 | #include "llvm/MC/MCSectionCOFF.h" |
| 26 | #include "llvm/MC/MCSectionELF.h" |
| 27 | #include "llvm/MC/MCSectionMachO.h" |
Dan Gohman | 18eafb6 | 2017-02-22 01:23:18 +0000 | [diff] [blame] | 28 | #include "llvm/MC/MCSectionWasm.h" |
Pete Cooper | ef21bd4 | 2015-03-04 01:24:11 +0000 | [diff] [blame] | 29 | #include "llvm/MC/MCStreamer.h" |
Eugene Zelenko | d96089b | 2017-02-14 00:33:36 +0000 | [diff] [blame] | 30 | #include "llvm/MC/MCSymbol.h" |
Pete Cooper | ad9f9c3 | 2015-06-08 17:17:12 +0000 | [diff] [blame] | 31 | #include "llvm/MC/MCSymbolCOFF.h" |
Rafael Espindola | a869576 | 2015-06-02 00:25:12 +0000 | [diff] [blame] | 32 | #include "llvm/MC/MCSymbolELF.h" |
Pete Cooper | eb012fa | 2015-06-08 17:17:23 +0000 | [diff] [blame] | 33 | #include "llvm/MC/MCSymbolMachO.h" |
Dan Gohman | 18eafb6 | 2017-02-22 01:23:18 +0000 | [diff] [blame] | 34 | #include "llvm/MC/MCSymbolWasm.h" |
Jason Liu | 60ec248 | 2019-06-06 19:13:36 +0000 | [diff] [blame^] | 35 | #include "llvm/MC/MCSymbolXCOFF.h" |
Eugene Zelenko | d96089b | 2017-02-14 00:33:36 +0000 | [diff] [blame] | 36 | #include "llvm/MC/SectionKind.h" |
Chandler Carruth | 6bda14b | 2017-06-06 11:49:48 +0000 | [diff] [blame] | 37 | #include "llvm/Support/Casting.h" |
Igor Laevsky | 7b99885 | 2016-06-17 15:19:41 +0000 | [diff] [blame] | 38 | #include "llvm/Support/CommandLine.h" |
Jim Grosbach | b18b409 | 2012-01-26 23:20:11 +0000 | [diff] [blame] | 39 | #include "llvm/Support/ErrorHandling.h" |
Eric Christopher | 906da23 | 2012-12-18 00:31:01 +0000 | [diff] [blame] | 40 | #include "llvm/Support/MemoryBuffer.h" |
Paul Robinson | 1ca2576 | 2019-03-01 20:58:04 +0000 | [diff] [blame] | 41 | #include "llvm/Support/Path.h" |
Jim Grosbach | b18b409 | 2012-01-26 23:20:11 +0000 | [diff] [blame] | 42 | #include "llvm/Support/Signals.h" |
Chandler Carruth | ed0881b | 2012-12-03 16:50:05 +0000 | [diff] [blame] | 43 | #include "llvm/Support/SourceMgr.h" |
Chandler Carruth | 6bda14b | 2017-06-06 11:49:48 +0000 | [diff] [blame] | 44 | #include "llvm/Support/raw_ostream.h" |
Eugene Zelenko | d96089b | 2017-02-14 00:33:36 +0000 | [diff] [blame] | 45 | #include <cassert> |
| 46 | #include <cstdlib> |
| 47 | #include <tuple> |
| 48 | #include <utility> |
David Blaikie | 15b25df | 2013-10-22 23:41:52 +0000 | [diff] [blame] | 49 | |
Daniel Dunbar | ca29e4d | 2009-06-23 22:01:43 +0000 | [diff] [blame] | 50 | using namespace llvm; |
| 51 | |
Igor Laevsky | 7b99885 | 2016-06-17 15:19:41 +0000 | [diff] [blame] | 52 | static cl::opt<char*> |
| 53 | AsSecureLogFileName("as-secure-log-file-name", |
| 54 | cl::desc("As secure log file name (initialized from " |
| 55 | "AS_SECURE_LOG_FILE env variable)"), |
| 56 | cl::init(getenv("AS_SECURE_LOG_FILE")), cl::Hidden); |
| 57 | |
Bill Wendling | bc07a89 | 2013-06-18 07:20:20 +0000 | [diff] [blame] | 58 | MCContext::MCContext(const MCAsmInfo *mai, const MCRegisterInfo *mri, |
Pedro Artigas | e84b13f | 2012-12-06 22:12:44 +0000 | [diff] [blame] | 59 | const MCObjectFileInfo *mofi, const SourceMgr *mgr, |
David Blaikie | 7400a97 | 2014-03-27 20:45:58 +0000 | [diff] [blame] | 60 | bool DoAutoReset) |
Evgeniy Stepanov | 0338ce8 | 2017-02-24 21:44:52 +0000 | [diff] [blame] | 61 | : SrcMgr(mgr), InlineSrcMgr(nullptr), MAI(mai), MRI(mri), MOFI(mofi), |
| 62 | Symbols(Allocator), UsedNames(Allocator), |
| 63 | CurrentDwarfLoc(0, 0, 0, DWARF2_FLAG_IS_STMT, 0, 0), |
Eli Friedman | a6e3a82 | 2018-10-12 19:41:05 +0000 | [diff] [blame] | 64 | AutoReset(DoAutoReset) { |
Igor Laevsky | 7b99885 | 2016-06-17 15:19:41 +0000 | [diff] [blame] | 65 | SecureLogFile = AsSecureLogFileName; |
Eric Christopher | 906da23 | 2012-12-18 00:31:01 +0000 | [diff] [blame] | 66 | |
Alp Toker | a55b95b | 2014-07-06 10:33:31 +0000 | [diff] [blame] | 67 | if (SrcMgr && SrcMgr->getNumBuffers()) |
| 68 | MainFileName = |
| 69 | SrcMgr->getMemoryBuffer(SrcMgr->getMainFileID())->getBufferIdentifier(); |
Pedro Artigas | e84b13f | 2012-12-06 22:12:44 +0000 | [diff] [blame] | 70 | } |
| 71 | |
| 72 | MCContext::~MCContext() { |
Pedro Artigas | 7212ee4 | 2012-12-12 22:59:46 +0000 | [diff] [blame] | 73 | if (AutoReset) |
| 74 | reset(); |
Pedro Artigas | e84b13f | 2012-12-06 22:12:44 +0000 | [diff] [blame] | 75 | |
| 76 | // NOTE: The symbols are all allocated out of a bump pointer allocator, |
| 77 | // we don't need to free them here. |
Pedro Artigas | e84b13f | 2012-12-06 22:12:44 +0000 | [diff] [blame] | 78 | } |
| 79 | |
| 80 | //===----------------------------------------------------------------------===// |
| 81 | // Module Lifetime Management |
| 82 | //===----------------------------------------------------------------------===// |
| 83 | |
Pedro Artigas | 7212ee4 | 2012-12-12 22:59:46 +0000 | [diff] [blame] | 84 | void MCContext::reset() { |
Rafael Espindola | ed34d58 | 2015-05-26 01:52:19 +0000 | [diff] [blame] | 85 | // Call the destructors so the fragments are freed |
Rafael Espindola | 4264e2d | 2015-10-07 19:08:19 +0000 | [diff] [blame] | 86 | COFFAllocator.DestroyAll(); |
| 87 | ELFAllocator.DestroyAll(); |
| 88 | MachOAllocator.DestroyAll(); |
Rafael Espindola | ed34d58 | 2015-05-26 01:52:19 +0000 | [diff] [blame] | 89 | |
Akira Hatanaka | b11ef08 | 2015-11-14 06:35:56 +0000 | [diff] [blame] | 90 | MCSubtargetAllocator.DestroyAll(); |
Pedro Artigas | e84b13f | 2012-12-06 22:12:44 +0000 | [diff] [blame] | 91 | UsedNames.clear(); |
| 92 | Symbols.clear(); |
| 93 | Allocator.Reset(); |
| 94 | Instances.clear(); |
Yaron Keren | 559b47d | 2014-09-17 09:25:36 +0000 | [diff] [blame] | 95 | CompilationDir.clear(); |
| 96 | MainFileName.clear(); |
David Blaikie | d9012ba | 2014-03-13 21:59:51 +0000 | [diff] [blame] | 97 | MCDwarfLineTablesCUMap.clear(); |
Rafael Espindola | e074679 | 2015-05-21 16:52:32 +0000 | [diff] [blame] | 98 | SectionsForRanges.clear(); |
Pedro Artigas | e84b13f | 2012-12-06 22:12:44 +0000 | [diff] [blame] | 99 | MCGenDwarfLabelEntries.clear(); |
| 100 | DwarfDebugFlags = StringRef(); |
Pedro Artigas | 7ba2edc | 2013-02-20 00:10:29 +0000 | [diff] [blame] | 101 | DwarfCompileUnitID = 0; |
Jim Grosbach | 008359a | 2015-05-18 18:43:23 +0000 | [diff] [blame] | 102 | CurrentDwarfLoc = MCDwarfLoc(0, 0, 0, DWARF2_FLAG_IS_STMT, 0, 0); |
Michael J. Spencer | f13f442 | 2010-11-26 04:16:08 +0000 | [diff] [blame] | 103 | |
Reid Kleckner | 2214ed8 | 2016-01-29 00:49:42 +0000 | [diff] [blame] | 104 | CVContext.reset(); |
| 105 | |
David Blaikie | 9ec3212 | 2014-04-10 23:55:11 +0000 | [diff] [blame] | 106 | MachOUniquingMap.clear(); |
| 107 | ELFUniquingMap.clear(); |
| 108 | COFFUniquingMap.clear(); |
Sam Clegg | 105bdc2 | 2018-05-30 02:57:20 +0000 | [diff] [blame] | 109 | WasmUniquingMap.clear(); |
Pedro Artigas | 7212ee4 | 2012-12-12 22:59:46 +0000 | [diff] [blame] | 110 | |
Rafael Espindola | 9ab0923 | 2015-03-17 20:07:06 +0000 | [diff] [blame] | 111 | NextID.clear(); |
Pedro Artigas | 7212ee4 | 2012-12-12 22:59:46 +0000 | [diff] [blame] | 112 | AllowTemporaryLabels = true; |
| 113 | DwarfLocSeen = false; |
| 114 | GenDwarfForAssembly = false; |
| 115 | GenDwarfFileNumber = 0; |
Oliver Stannard | 07b43d3 | 2015-11-17 09:58:07 +0000 | [diff] [blame] | 116 | |
| 117 | HadError = false; |
Daniel Dunbar | ca29e4d | 2009-06-23 22:01:43 +0000 | [diff] [blame] | 118 | } |
| 119 | |
Chris Lattner | 2073112 | 2010-04-08 20:30:37 +0000 | [diff] [blame] | 120 | //===----------------------------------------------------------------------===// |
| 121 | // Symbol Manipulation |
| 122 | //===----------------------------------------------------------------------===// |
| 123 | |
Jim Grosbach | 6f48200 | 2015-05-18 18:43:14 +0000 | [diff] [blame] | 124 | MCSymbol *MCContext::getOrCreateSymbol(const Twine &Name) { |
Yaron Keren | 1ee89fc | 2015-03-17 09:51:17 +0000 | [diff] [blame] | 125 | SmallString<128> NameSV; |
| 126 | StringRef NameRef = Name.toStringRef(NameSV); |
Michael J. Spencer | f13f442 | 2010-11-26 04:16:08 +0000 | [diff] [blame] | 127 | |
Yaron Keren | 1ee89fc | 2015-03-17 09:51:17 +0000 | [diff] [blame] | 128 | assert(!NameRef.empty() && "Normal symbols cannot be unnamed!"); |
Rafael Espindola | 5fe5f45 | 2010-12-01 20:46:11 +0000 | [diff] [blame] | 129 | |
Yaron Keren | 1ee89fc | 2015-03-17 09:51:17 +0000 | [diff] [blame] | 130 | MCSymbol *&Sym = Symbols[NameRef]; |
David Blaikie | 5106ce7 | 2014-11-19 05:49:42 +0000 | [diff] [blame] | 131 | if (!Sym) |
Daniel Jasper | 41de802 | 2015-06-23 11:31:32 +0000 | [diff] [blame] | 132 | Sym = createSymbol(NameRef, false, false); |
Rafael Espindola | 5fe5f45 | 2010-12-01 20:46:11 +0000 | [diff] [blame] | 133 | |
Rafael Espindola | 5fe5f45 | 2010-12-01 20:46:11 +0000 | [diff] [blame] | 134 | return Sym; |
| 135 | } |
| 136 | |
Reid Kleckner | cfb9ce5 | 2015-03-05 18:26:34 +0000 | [diff] [blame] | 137 | MCSymbol *MCContext::getOrCreateFrameAllocSymbol(StringRef FuncName, |
| 138 | unsigned Idx) { |
Jim Grosbach | 6f48200 | 2015-05-18 18:43:14 +0000 | [diff] [blame] | 139 | return getOrCreateSymbol(Twine(MAI->getPrivateGlobalPrefix()) + FuncName + |
Reid Kleckner | cfb9ce5 | 2015-03-05 18:26:34 +0000 | [diff] [blame] | 140 | "$frame_escape_" + Twine(Idx)); |
Reid Kleckner | e9b8931 | 2015-01-13 00:48:10 +0000 | [diff] [blame] | 141 | } |
| 142 | |
David Majnemer | a225a19 | 2015-03-31 22:35:44 +0000 | [diff] [blame] | 143 | MCSymbol *MCContext::getOrCreateParentFrameOffsetSymbol(StringRef FuncName) { |
Jim Grosbach | 6f48200 | 2015-05-18 18:43:14 +0000 | [diff] [blame] | 144 | return getOrCreateSymbol(Twine(MAI->getPrivateGlobalPrefix()) + FuncName + |
David Majnemer | a225a19 | 2015-03-31 22:35:44 +0000 | [diff] [blame] | 145 | "$parent_frame_offset"); |
| 146 | } |
| 147 | |
Reid Kleckner | 2632f0d | 2015-05-20 23:08:04 +0000 | [diff] [blame] | 148 | MCSymbol *MCContext::getOrCreateLSDASymbol(StringRef FuncName) { |
| 149 | return getOrCreateSymbol(Twine(MAI->getPrivateGlobalPrefix()) + "__ehtable$" + |
| 150 | FuncName); |
| 151 | } |
| 152 | |
Rafael Espindola | a869576 | 2015-06-02 00:25:12 +0000 | [diff] [blame] | 153 | MCSymbol *MCContext::createSymbolImpl(const StringMapEntry<bool> *Name, |
| 154 | bool IsTemporary) { |
Pete Cooper | ad9f9c3 | 2015-06-08 17:17:12 +0000 | [diff] [blame] | 155 | if (MOFI) { |
Rafael Espindola | dbaf049 | 2015-08-14 15:48:41 +0000 | [diff] [blame] | 156 | switch (MOFI->getObjectFileType()) { |
| 157 | case MCObjectFileInfo::IsCOFF: |
Pete Cooper | 234b875 | 2015-06-09 18:36:13 +0000 | [diff] [blame] | 158 | return new (Name, *this) MCSymbolCOFF(Name, IsTemporary); |
Rafael Espindola | dbaf049 | 2015-08-14 15:48:41 +0000 | [diff] [blame] | 159 | case MCObjectFileInfo::IsELF: |
Pete Cooper | 234b875 | 2015-06-09 18:36:13 +0000 | [diff] [blame] | 160 | return new (Name, *this) MCSymbolELF(Name, IsTemporary); |
Rafael Espindola | dbaf049 | 2015-08-14 15:48:41 +0000 | [diff] [blame] | 161 | case MCObjectFileInfo::IsMachO: |
Pete Cooper | 234b875 | 2015-06-09 18:36:13 +0000 | [diff] [blame] | 162 | return new (Name, *this) MCSymbolMachO(Name, IsTemporary); |
Dan Gohman | 18eafb6 | 2017-02-22 01:23:18 +0000 | [diff] [blame] | 163 | case MCObjectFileInfo::IsWasm: |
| 164 | return new (Name, *this) MCSymbolWasm(Name, IsTemporary); |
Jason Liu | a03ae73 | 2019-03-12 22:01:10 +0000 | [diff] [blame] | 165 | case MCObjectFileInfo::IsXCOFF: |
Jason Liu | 60ec248 | 2019-06-06 19:13:36 +0000 | [diff] [blame^] | 166 | return new (Name, *this) MCSymbolXCOFF(Name, IsTemporary); |
Pete Cooper | ad9f9c3 | 2015-06-08 17:17:12 +0000 | [diff] [blame] | 167 | } |
| 168 | } |
Pete Cooper | 234b875 | 2015-06-09 18:36:13 +0000 | [diff] [blame] | 169 | return new (Name, *this) MCSymbol(MCSymbol::SymbolKindUnset, Name, |
| 170 | IsTemporary); |
Rafael Espindola | a869576 | 2015-06-02 00:25:12 +0000 | [diff] [blame] | 171 | } |
| 172 | |
Daniel Jasper | 41de802 | 2015-06-23 11:31:32 +0000 | [diff] [blame] | 173 | MCSymbol *MCContext::createSymbol(StringRef Name, bool AlwaysAddSuffix, |
| 174 | bool CanBeUnnamed) { |
| 175 | if (CanBeUnnamed && !UseNamesOnTempLabels) |
| 176 | return createSymbolImpl(nullptr, true); |
| 177 | |
Eric Christopher | 8e94895 | 2016-09-29 02:03:44 +0000 | [diff] [blame] | 178 | // Determine whether this is a user written assembler temporary or normal |
Rafael Espindola | 3e9e72a | 2015-06-02 22:52:13 +0000 | [diff] [blame] | 179 | // label, if used. |
Daniel Jasper | 41de802 | 2015-06-23 11:31:32 +0000 | [diff] [blame] | 180 | bool IsTemporary = CanBeUnnamed; |
| 181 | if (AllowTemporaryLabels && !IsTemporary) |
Rafael Espindola | 9ab0923 | 2015-03-17 20:07:06 +0000 | [diff] [blame] | 182 | IsTemporary = Name.startswith(MAI->getPrivateGlobalPrefix()); |
Rafael Espindola | 5fe5f45 | 2010-12-01 20:46:11 +0000 | [diff] [blame] | 183 | |
Rafael Espindola | 9ab0923 | 2015-03-17 20:07:06 +0000 | [diff] [blame] | 184 | SmallString<128> NewName = Name; |
| 185 | bool AddSuffix = AlwaysAddSuffix; |
| 186 | unsigned &NextUniqueID = NextID[Name]; |
Eugene Zelenko | d96089b | 2017-02-14 00:33:36 +0000 | [diff] [blame] | 187 | while (true) { |
Rafael Espindola | 9ab0923 | 2015-03-17 20:07:06 +0000 | [diff] [blame] | 188 | if (AddSuffix) { |
Benjamin Kramer | 2b6c96b | 2011-04-09 11:26:27 +0000 | [diff] [blame] | 189 | NewName.resize(Name.size()); |
| 190 | raw_svector_ostream(NewName) << NextUniqueID++; |
Rafael Espindola | 9ab0923 | 2015-03-17 20:07:06 +0000 | [diff] [blame] | 191 | } |
| 192 | auto NameEntry = UsedNames.insert(std::make_pair(NewName, true)); |
Evgeniy Stepanov | a023f79 | 2016-03-28 20:36:28 +0000 | [diff] [blame] | 193 | if (NameEntry.second || !NameEntry.first->second) { |
| 194 | // Ok, we found a name. |
| 195 | // Mark it as used for a non-section symbol. |
| 196 | NameEntry.first->second = true; |
| 197 | // Have the MCSymbol object itself refer to the copy of the string that is |
| 198 | // embedded in the UsedNames entry. |
Rafael Espindola | a869576 | 2015-06-02 00:25:12 +0000 | [diff] [blame] | 199 | return createSymbolImpl(&*NameEntry.first, IsTemporary); |
Rafael Espindola | 9ab0923 | 2015-03-17 20:07:06 +0000 | [diff] [blame] | 200 | } |
| 201 | assert(IsTemporary && "Cannot rename non-temporary symbols"); |
| 202 | AddSuffix = true; |
Rafael Espindola | 5fe5f45 | 2010-12-01 20:46:11 +0000 | [diff] [blame] | 203 | } |
Rafael Espindola | 9ab0923 | 2015-03-17 20:07:06 +0000 | [diff] [blame] | 204 | llvm_unreachable("Infinite loop"); |
Chris Lattner | 3f5738d | 2009-06-24 04:31:49 +0000 | [diff] [blame] | 205 | } |
| 206 | |
Daniel Jasper | 41de802 | 2015-06-23 11:31:32 +0000 | [diff] [blame] | 207 | MCSymbol *MCContext::createTempSymbol(const Twine &Name, bool AlwaysAddSuffix, |
| 208 | bool CanBeUnnamed) { |
Rafael Espindola | 629cdba | 2015-02-27 18:18:39 +0000 | [diff] [blame] | 209 | SmallString<128> NameSV; |
| 210 | raw_svector_ostream(NameSV) << MAI->getPrivateGlobalPrefix() << Name; |
Daniel Jasper | 41de802 | 2015-06-23 11:31:32 +0000 | [diff] [blame] | 211 | return createSymbol(NameSV, AlwaysAddSuffix, CanBeUnnamed); |
Rafael Espindola | 629cdba | 2015-02-27 18:18:39 +0000 | [diff] [blame] | 212 | } |
| 213 | |
Jim Grosbach | 6f48200 | 2015-05-18 18:43:14 +0000 | [diff] [blame] | 214 | MCSymbol *MCContext::createLinkerPrivateTempSymbol() { |
Alp Toker | e69170a | 2014-06-26 22:52:05 +0000 | [diff] [blame] | 215 | SmallString<128> NameSV; |
Rafael Espindola | 9ab0923 | 2015-03-17 20:07:06 +0000 | [diff] [blame] | 216 | raw_svector_ostream(NameSV) << MAI->getLinkerPrivateGlobalPrefix() << "tmp"; |
Daniel Jasper | 41de802 | 2015-06-23 11:31:32 +0000 | [diff] [blame] | 217 | return createSymbol(NameSV, true, false); |
Tim Northover | c3988b4 | 2014-03-29 07:05:06 +0000 | [diff] [blame] | 218 | } |
| 219 | |
Daniel Jasper | 41de802 | 2015-06-23 11:31:32 +0000 | [diff] [blame] | 220 | MCSymbol *MCContext::createTempSymbol(bool CanBeUnnamed) { |
| 221 | return createTempSymbol("tmp", true, CanBeUnnamed); |
Chris Lattner | 073d817 | 2010-03-14 08:23:30 +0000 | [diff] [blame] | 222 | } |
| 223 | |
Rafael Espindola | 4269b9e | 2014-03-13 18:09:26 +0000 | [diff] [blame] | 224 | unsigned MCContext::NextInstance(unsigned LocalLabelVal) { |
Benjamin Kramer | ab7be75 | 2010-05-18 12:15:34 +0000 | [diff] [blame] | 225 | MCLabel *&Label = Instances[LocalLabelVal]; |
| 226 | if (!Label) |
| 227 | Label = new (*this) MCLabel(0); |
| 228 | return Label->incInstance(); |
Kevin Enderby | 0510b48 | 2010-05-17 23:08:19 +0000 | [diff] [blame] | 229 | } |
| 230 | |
Rafael Espindola | 4269b9e | 2014-03-13 18:09:26 +0000 | [diff] [blame] | 231 | unsigned MCContext::GetInstance(unsigned LocalLabelVal) { |
Benjamin Kramer | ab7be75 | 2010-05-18 12:15:34 +0000 | [diff] [blame] | 232 | MCLabel *&Label = Instances[LocalLabelVal]; |
| 233 | if (!Label) |
| 234 | Label = new (*this) MCLabel(0); |
| 235 | return Label->getInstance(); |
Kevin Enderby | 0510b48 | 2010-05-17 23:08:19 +0000 | [diff] [blame] | 236 | } |
| 237 | |
Rafael Espindola | 4269b9e | 2014-03-13 18:09:26 +0000 | [diff] [blame] | 238 | MCSymbol *MCContext::getOrCreateDirectionalLocalSymbol(unsigned LocalLabelVal, |
| 239 | unsigned Instance) { |
| 240 | MCSymbol *&Sym = LocalSymbols[std::make_pair(LocalLabelVal, Instance)]; |
| 241 | if (!Sym) |
Daniel Jasper | 41de802 | 2015-06-23 11:31:32 +0000 | [diff] [blame] | 242 | Sym = createTempSymbol(false); |
Rafael Espindola | 4269b9e | 2014-03-13 18:09:26 +0000 | [diff] [blame] | 243 | return Sym; |
Kevin Enderby | 0510b48 | 2010-05-17 23:08:19 +0000 | [diff] [blame] | 244 | } |
Rafael Espindola | 4269b9e | 2014-03-13 18:09:26 +0000 | [diff] [blame] | 245 | |
Jim Grosbach | 6f48200 | 2015-05-18 18:43:14 +0000 | [diff] [blame] | 246 | MCSymbol *MCContext::createDirectionalLocalSymbol(unsigned LocalLabelVal) { |
Rafael Espindola | 4269b9e | 2014-03-13 18:09:26 +0000 | [diff] [blame] | 247 | unsigned Instance = NextInstance(LocalLabelVal); |
| 248 | return getOrCreateDirectionalLocalSymbol(LocalLabelVal, Instance); |
| 249 | } |
| 250 | |
Jim Grosbach | 6f48200 | 2015-05-18 18:43:14 +0000 | [diff] [blame] | 251 | MCSymbol *MCContext::getDirectionalLocalSymbol(unsigned LocalLabelVal, |
Rafael Espindola | 4269b9e | 2014-03-13 18:09:26 +0000 | [diff] [blame] | 252 | bool Before) { |
| 253 | unsigned Instance = GetInstance(LocalLabelVal); |
| 254 | if (!Before) |
| 255 | ++Instance; |
| 256 | return getOrCreateDirectionalLocalSymbol(LocalLabelVal, Instance); |
Kevin Enderby | 0510b48 | 2010-05-17 23:08:19 +0000 | [diff] [blame] | 257 | } |
| 258 | |
Jim Grosbach | 6f48200 | 2015-05-18 18:43:14 +0000 | [diff] [blame] | 259 | MCSymbol *MCContext::lookupSymbol(const Twine &Name) const { |
Roman Divacky | 0be3359 | 2012-09-18 17:10:37 +0000 | [diff] [blame] | 260 | SmallString<128> NameSV; |
Yaron Keren | d7c546c | 2015-03-17 18:55:30 +0000 | [diff] [blame] | 261 | StringRef NameRef = Name.toStringRef(NameSV); |
| 262 | return Symbols.lookup(NameRef); |
Roman Divacky | 0be3359 | 2012-09-18 17:10:37 +0000 | [diff] [blame] | 263 | } |
| 264 | |
Mandeep Singh Grang | 9a561aa | 2016-12-06 02:49:17 +0000 | [diff] [blame] | 265 | void MCContext::setSymbolValue(MCStreamer &Streamer, |
| 266 | StringRef Sym, |
| 267 | uint64_t Val) { |
| 268 | auto Symbol = getOrCreateSymbol(Sym); |
| 269 | Streamer.EmitAssignment(Symbol, MCConstantExpr::create(Val, *this)); |
Mandeep Singh Grang | 3236007 | 2016-12-01 18:42:04 +0000 | [diff] [blame] | 270 | } |
| 271 | |
Chris Lattner | 2073112 | 2010-04-08 20:30:37 +0000 | [diff] [blame] | 272 | //===----------------------------------------------------------------------===// |
| 273 | // Section Management |
| 274 | //===----------------------------------------------------------------------===// |
| 275 | |
Rafael Espindola | 0709a7b | 2015-05-21 19:20:38 +0000 | [diff] [blame] | 276 | MCSectionMachO *MCContext::getMachOSection(StringRef Segment, StringRef Section, |
| 277 | unsigned TypeAndAttributes, |
| 278 | unsigned Reserved2, SectionKind Kind, |
| 279 | const char *BeginSymName) { |
Chris Lattner | 2073112 | 2010-04-08 20:30:37 +0000 | [diff] [blame] | 280 | // We unique sections by their segment/section pair. The returned section |
| 281 | // may not have the same flags as the requested section, if so this should be |
| 282 | // diagnosed by the client as an error. |
Michael J. Spencer | f13f442 | 2010-11-26 04:16:08 +0000 | [diff] [blame] | 283 | |
Chris Lattner | 2073112 | 2010-04-08 20:30:37 +0000 | [diff] [blame] | 284 | // Form the name to look up. |
| 285 | SmallString<64> Name; |
| 286 | Name += Segment; |
| 287 | Name.push_back(','); |
| 288 | Name += Section; |
Michael J. Spencer | f13f442 | 2010-11-26 04:16:08 +0000 | [diff] [blame] | 289 | |
Chris Lattner | 2073112 | 2010-04-08 20:30:37 +0000 | [diff] [blame] | 290 | // Do the lookup, if we have a hit, return it. |
Rafael Espindola | 0709a7b | 2015-05-21 19:20:38 +0000 | [diff] [blame] | 291 | MCSectionMachO *&Entry = MachOUniquingMap[Name]; |
Rafael Espindola | 6ed58a2 | 2015-03-10 21:16:18 +0000 | [diff] [blame] | 292 | if (Entry) |
| 293 | return Entry; |
Michael J. Spencer | f13f442 | 2010-11-26 04:16:08 +0000 | [diff] [blame] | 294 | |
Rafael Espindola | 6b9998b | 2015-03-10 22:00:25 +0000 | [diff] [blame] | 295 | MCSymbol *Begin = nullptr; |
| 296 | if (BeginSymName) |
Rafael Espindola | 9ab0923 | 2015-03-17 20:07:06 +0000 | [diff] [blame] | 297 | Begin = createTempSymbol(BeginSymName, false); |
Rafael Espindola | 6b9998b | 2015-03-10 22:00:25 +0000 | [diff] [blame] | 298 | |
Chris Lattner | 2073112 | 2010-04-08 20:30:37 +0000 | [diff] [blame] | 299 | // Otherwise, return a new section. |
Rafael Espindola | 4264e2d | 2015-10-07 19:08:19 +0000 | [diff] [blame] | 300 | return Entry = new (MachOAllocator.Allocate()) MCSectionMachO( |
| 301 | Segment, Section, TypeAndAttributes, Reserved2, Kind, Begin); |
Chris Lattner | 2073112 | 2010-04-08 20:30:37 +0000 | [diff] [blame] | 302 | } |
Chris Lattner | 5418dd5 | 2010-04-08 21:26:26 +0000 | [diff] [blame] | 303 | |
Richard Smith | b910e56 | 2016-05-25 00:14:12 +0000 | [diff] [blame] | 304 | void MCContext::renameELFSection(MCSectionELF *Section, StringRef Name) { |
| 305 | StringRef GroupName; |
| 306 | if (const MCSymbol *Group = Section->getGroup()) |
| 307 | GroupName = Group->getName(); |
| 308 | |
| 309 | unsigned UniqueID = Section->getUniqueID(); |
| 310 | ELFUniquingMap.erase( |
| 311 | ELFSectionKey{Section->getSectionName(), GroupName, UniqueID}); |
| 312 | auto I = ELFUniquingMap.insert(std::make_pair( |
| 313 | ELFSectionKey{Name, GroupName, UniqueID}, |
| 314 | Section)) |
| 315 | .first; |
| 316 | StringRef CachedName = I->first.SectionName; |
| 317 | const_cast<MCSectionELF *>(Section)->setSectionName(CachedName); |
| 318 | } |
| 319 | |
Rafael Espindola | 13a79bb | 2017-02-02 21:26:06 +0000 | [diff] [blame] | 320 | MCSectionELF *MCContext::createELFSectionImpl(StringRef Section, unsigned Type, |
| 321 | unsigned Flags, SectionKind K, |
| 322 | unsigned EntrySize, |
| 323 | const MCSymbolELF *Group, |
| 324 | unsigned UniqueID, |
Evgeniy Stepanov | 43dcf4d | 2017-03-14 19:28:51 +0000 | [diff] [blame] | 325 | const MCSymbolELF *Associated) { |
Rafael Espindola | 13a79bb | 2017-02-02 21:26:06 +0000 | [diff] [blame] | 326 | MCSymbolELF *R; |
| 327 | MCSymbol *&Sym = Symbols[Section]; |
Evgeniy Stepanov | 00400d3 | 2017-02-24 21:44:58 +0000 | [diff] [blame] | 328 | // A section symbol can not redefine regular symbols. There may be multiple |
| 329 | // sections with the same name, in which case the first such section wins. |
| 330 | if (Sym && Sym->isDefined() && |
| 331 | (!Sym->isInSection() || Sym->getSection().getBeginSymbol() != Sym)) |
| 332 | reportError(SMLoc(), "invalid symbol redefinition"); |
Rafael Espindola | 13a79bb | 2017-02-02 21:26:06 +0000 | [diff] [blame] | 333 | if (Sym && Sym->isUndefined()) { |
| 334 | R = cast<MCSymbolELF>(Sym); |
| 335 | } else { |
| 336 | auto NameIter = UsedNames.insert(std::make_pair(Section, false)).first; |
| 337 | R = new (&*NameIter, *this) MCSymbolELF(&*NameIter, /*isTemporary*/ false); |
| 338 | if (!Sym) |
| 339 | Sym = R; |
| 340 | } |
| 341 | R->setBinding(ELF::STB_LOCAL); |
| 342 | R->setType(ELF::STT_SECTION); |
Rafael Espindola | 13a79bb | 2017-02-02 21:26:06 +0000 | [diff] [blame] | 343 | |
| 344 | auto *Ret = new (ELFAllocator.Allocate()) MCSectionELF( |
| 345 | Section, Type, Flags, K, EntrySize, Group, UniqueID, R, Associated); |
| 346 | |
| 347 | auto *F = new MCDataFragment(); |
| 348 | Ret->getFragmentList().insert(Ret->begin(), F); |
| 349 | F->setParent(Ret); |
| 350 | R->setFragment(F); |
| 351 | |
| 352 | return Ret; |
| 353 | } |
| 354 | |
Eric Christopher | 36e601c | 2016-07-01 06:07:38 +0000 | [diff] [blame] | 355 | MCSectionELF *MCContext::createELFRelSection(const Twine &Name, unsigned Type, |
Rafael Espindola | 0709a7b | 2015-05-21 19:20:38 +0000 | [diff] [blame] | 356 | unsigned Flags, unsigned EntrySize, |
Rafael Espindola | 0ccf9b7 | 2015-06-02 21:30:13 +0000 | [diff] [blame] | 357 | const MCSymbolELF *Group, |
Evgeniy Stepanov | 43dcf4d | 2017-03-14 19:28:51 +0000 | [diff] [blame] | 358 | const MCSectionELF *RelInfoSection) { |
Rafael Espindola | c9d0692 | 2015-03-30 13:39:16 +0000 | [diff] [blame] | 359 | StringMap<bool>::iterator I; |
| 360 | bool Inserted; |
Eric Christopher | 36e601c | 2016-07-01 06:07:38 +0000 | [diff] [blame] | 361 | std::tie(I, Inserted) = |
Dan Gohman | 18eafb6 | 2017-02-22 01:23:18 +0000 | [diff] [blame] | 362 | RelSecNames.insert(std::make_pair(Name.str(), true)); |
Rafael Espindola | c9d0692 | 2015-03-30 13:39:16 +0000 | [diff] [blame] | 363 | |
Evgeniy Stepanov | 43dcf4d | 2017-03-14 19:28:51 +0000 | [diff] [blame] | 364 | return createELFSectionImpl( |
| 365 | I->getKey(), Type, Flags, SectionKind::getReadOnly(), EntrySize, Group, |
| 366 | true, cast<MCSymbolELF>(RelInfoSection->getBeginSymbol())); |
Rafael Espindola | c9d0692 | 2015-03-30 13:39:16 +0000 | [diff] [blame] | 367 | } |
| 368 | |
Eric Christopher | 36e601c | 2016-07-01 06:07:38 +0000 | [diff] [blame] | 369 | MCSectionELF *MCContext::getELFNamedSection(const Twine &Prefix, |
| 370 | const Twine &Suffix, unsigned Type, |
| 371 | unsigned Flags, |
| 372 | unsigned EntrySize) { |
| 373 | return getELFSection(Prefix + "." + Suffix, Type, Flags, EntrySize, Suffix); |
| 374 | } |
| 375 | |
| 376 | MCSectionELF *MCContext::getELFSection(const Twine &Section, unsigned Type, |
Rafael Espindola | 0709a7b | 2015-05-21 19:20:38 +0000 | [diff] [blame] | 377 | unsigned Flags, unsigned EntrySize, |
Rafael Espindola | dc1c301 | 2017-02-09 14:59:20 +0000 | [diff] [blame] | 378 | const Twine &Group, unsigned UniqueID, |
Evgeniy Stepanov | 43dcf4d | 2017-03-14 19:28:51 +0000 | [diff] [blame] | 379 | const MCSymbolELF *Associated) { |
Rafael Espindola | 0ccf9b7 | 2015-06-02 21:30:13 +0000 | [diff] [blame] | 380 | MCSymbolELF *GroupSym = nullptr; |
Eric Christopher | 36e601c | 2016-07-01 06:07:38 +0000 | [diff] [blame] | 381 | if (!Group.isTriviallyEmpty() && !Group.str().empty()) |
Rafael Espindola | 0ccf9b7 | 2015-06-02 21:30:13 +0000 | [diff] [blame] | 382 | GroupSym = cast<MCSymbolELF>(getOrCreateSymbol(Group)); |
Rafael Espindola | d3ac79b | 2015-03-30 13:59:06 +0000 | [diff] [blame] | 383 | |
Rafael Espindola | 61e8ce3 | 2015-04-06 04:25:18 +0000 | [diff] [blame] | 384 | return getELFSection(Section, Type, Flags, EntrySize, GroupSym, UniqueID, |
Rafael Espindola | dc1c301 | 2017-02-09 14:59:20 +0000 | [diff] [blame] | 385 | Associated); |
Rafael Espindola | 61e8ce3 | 2015-04-06 04:25:18 +0000 | [diff] [blame] | 386 | } |
| 387 | |
Eric Christopher | 36e601c | 2016-07-01 06:07:38 +0000 | [diff] [blame] | 388 | MCSectionELF *MCContext::getELFSection(const Twine &Section, unsigned Type, |
Rafael Espindola | 0709a7b | 2015-05-21 19:20:38 +0000 | [diff] [blame] | 389 | unsigned Flags, unsigned EntrySize, |
Rafael Espindola | 0ccf9b7 | 2015-06-02 21:30:13 +0000 | [diff] [blame] | 390 | const MCSymbolELF *GroupSym, |
Rafael Espindola | 0709a7b | 2015-05-21 19:20:38 +0000 | [diff] [blame] | 391 | unsigned UniqueID, |
Evgeniy Stepanov | 43dcf4d | 2017-03-14 19:28:51 +0000 | [diff] [blame] | 392 | const MCSymbolELF *Associated) { |
Rafael Espindola | 61e8ce3 | 2015-04-06 04:25:18 +0000 | [diff] [blame] | 393 | StringRef Group = ""; |
| 394 | if (GroupSym) |
| 395 | Group = GroupSym->getName(); |
Chris Lattner | 5418dd5 | 2010-04-08 21:26:26 +0000 | [diff] [blame] | 396 | // Do the lookup, if we have a hit, return it. |
David Blaikie | 9ec3212 | 2014-04-10 23:55:11 +0000 | [diff] [blame] | 397 | auto IterBool = ELFUniquingMap.insert( |
Eric Christopher | 36e601c | 2016-07-01 06:07:38 +0000 | [diff] [blame] | 398 | std::make_pair(ELFSectionKey{Section.str(), Group, UniqueID}, nullptr)); |
David Blaikie | 9ec3212 | 2014-04-10 23:55:11 +0000 | [diff] [blame] | 399 | auto &Entry = *IterBool.first; |
Rafael Espindola | 8ca44f0 | 2015-04-04 18:02:01 +0000 | [diff] [blame] | 400 | if (!IterBool.second) |
Rafael Espindola | 68fa249 | 2015-02-17 20:48:01 +0000 | [diff] [blame] | 401 | return Entry.second; |
Michael J. Spencer | f13f442 | 2010-11-26 04:16:08 +0000 | [diff] [blame] | 402 | |
Rafael Espindola | 44d5057 | 2015-03-27 21:34:24 +0000 | [diff] [blame] | 403 | StringRef CachedName = Entry.first.SectionName; |
Rafael Espindola | ba31e27 | 2015-01-29 17:33:21 +0000 | [diff] [blame] | 404 | |
| 405 | SectionKind Kind; |
Prakhar Bahuguna | 52a7dd7 | 2016-12-15 07:59:08 +0000 | [diff] [blame] | 406 | if (Flags & ELF::SHF_ARM_PURECODE) |
| 407 | Kind = SectionKind::getExecuteOnly(); |
| 408 | else if (Flags & ELF::SHF_EXECINSTR) |
Rafael Espindola | ba31e27 | 2015-01-29 17:33:21 +0000 | [diff] [blame] | 409 | Kind = SectionKind::getText(); |
| 410 | else |
| 411 | Kind = SectionKind::getReadOnly(); |
| 412 | |
George Rimar | 9fbecc9 | 2018-08-29 09:04:52 +0000 | [diff] [blame] | 413 | MCSectionELF *Result = createELFSectionImpl( |
| 414 | CachedName, Type, Flags, Kind, EntrySize, GroupSym, UniqueID, Associated); |
| 415 | Entry.second = Result; |
| 416 | return Result; |
Chris Lattner | 5418dd5 | 2010-04-08 21:26:26 +0000 | [diff] [blame] | 417 | } |
| 418 | |
Rafael Espindola | 0ccf9b7 | 2015-06-02 21:30:13 +0000 | [diff] [blame] | 419 | MCSectionELF *MCContext::createELFGroupSection(const MCSymbolELF *Group) { |
Rafael Espindola | 13a79bb | 2017-02-02 21:26:06 +0000 | [diff] [blame] | 420 | return createELFSectionImpl(".group", ELF::SHT_GROUP, 0, |
| 421 | SectionKind::getReadOnly(), 4, Group, ~0, |
| 422 | nullptr); |
Rafael Espindola | a3e9a22 | 2010-11-11 18:13:52 +0000 | [diff] [blame] | 423 | } |
| 424 | |
Rafael Espindola | 0709a7b | 2015-05-21 19:20:38 +0000 | [diff] [blame] | 425 | MCSectionCOFF *MCContext::getCOFFSection(StringRef Section, |
| 426 | unsigned Characteristics, |
| 427 | SectionKind Kind, |
| 428 | StringRef COMDATSymName, int Selection, |
Reid Kleckner | 97837b7 | 2016-05-02 23:22:18 +0000 | [diff] [blame] | 429 | unsigned UniqueID, |
Rafael Espindola | 0709a7b | 2015-05-21 19:20:38 +0000 | [diff] [blame] | 430 | const char *BeginSymName) { |
Rafael Espindola | d3ac79b | 2015-03-30 13:59:06 +0000 | [diff] [blame] | 431 | MCSymbol *COMDATSymbol = nullptr; |
| 432 | if (!COMDATSymName.empty()) { |
Jim Grosbach | 6f48200 | 2015-05-18 18:43:14 +0000 | [diff] [blame] | 433 | COMDATSymbol = getOrCreateSymbol(COMDATSymName); |
Rafael Espindola | d3ac79b | 2015-03-30 13:59:06 +0000 | [diff] [blame] | 434 | COMDATSymName = COMDATSymbol->getName(); |
| 435 | } |
Michael J. Spencer | f13f442 | 2010-11-26 04:16:08 +0000 | [diff] [blame] | 436 | |
Reid Kleckner | 97837b7 | 2016-05-02 23:22:18 +0000 | [diff] [blame] | 437 | |
Rafael Espindola | d3ac79b | 2015-03-30 13:59:06 +0000 | [diff] [blame] | 438 | // Do the lookup, if we have a hit, return it. |
Reid Kleckner | 97837b7 | 2016-05-02 23:22:18 +0000 | [diff] [blame] | 439 | COFFSectionKey T{Section, COMDATSymName, Selection, UniqueID}; |
David Majnemer | c57d038 | 2014-06-27 17:19:44 +0000 | [diff] [blame] | 440 | auto IterBool = COFFUniquingMap.insert(std::make_pair(T, nullptr)); |
David Blaikie | 9ec3212 | 2014-04-10 23:55:11 +0000 | [diff] [blame] | 441 | auto Iter = IterBool.first; |
| 442 | if (!IterBool.second) |
Rafael Espindola | 60ec383 | 2013-11-19 19:52:52 +0000 | [diff] [blame] | 443 | return Iter->second; |
Michael J. Spencer | f13f442 | 2010-11-26 04:16:08 +0000 | [diff] [blame] | 444 | |
Rafael Espindola | 6b9998b | 2015-03-10 22:00:25 +0000 | [diff] [blame] | 445 | MCSymbol *Begin = nullptr; |
| 446 | if (BeginSymName) |
Rafael Espindola | 9ab0923 | 2015-03-17 20:07:06 +0000 | [diff] [blame] | 447 | Begin = createTempSymbol(BeginSymName, false); |
Rafael Espindola | 6b9998b | 2015-03-10 22:00:25 +0000 | [diff] [blame] | 448 | |
Rafael Espindola | 44d5057 | 2015-03-27 21:34:24 +0000 | [diff] [blame] | 449 | StringRef CachedName = Iter->first.SectionName; |
Rafael Espindola | 4264e2d | 2015-10-07 19:08:19 +0000 | [diff] [blame] | 450 | MCSectionCOFF *Result = new (COFFAllocator.Allocate()) MCSectionCOFF( |
Rafael Espindola | 6b9998b | 2015-03-10 22:00:25 +0000 | [diff] [blame] | 451 | CachedName, Characteristics, COMDATSymbol, Selection, Kind, Begin); |
Rafael Espindola | 60ec383 | 2013-11-19 19:52:52 +0000 | [diff] [blame] | 452 | |
| 453 | Iter->second = Result; |
Chris Lattner | 87cffa9 | 2010-05-07 17:17:41 +0000 | [diff] [blame] | 454 | return Result; |
| 455 | } |
Kevin Enderby | e5930f1 | 2010-07-28 20:55:35 +0000 | [diff] [blame] | 456 | |
Rafael Espindola | 0709a7b | 2015-05-21 19:20:38 +0000 | [diff] [blame] | 457 | MCSectionCOFF *MCContext::getCOFFSection(StringRef Section, |
| 458 | unsigned Characteristics, |
| 459 | SectionKind Kind, |
| 460 | const char *BeginSymName) { |
Reid Kleckner | 97837b7 | 2016-05-02 23:22:18 +0000 | [diff] [blame] | 461 | return getCOFFSection(Section, Characteristics, Kind, "", 0, GenericSectionID, |
| 462 | BeginSymName); |
Rafael Espindola | 60ec383 | 2013-11-19 19:52:52 +0000 | [diff] [blame] | 463 | } |
| 464 | |
Rafael Espindola | 0709a7b | 2015-05-21 19:20:38 +0000 | [diff] [blame] | 465 | MCSectionCOFF *MCContext::getCOFFSection(StringRef Section) { |
Reid Kleckner | 97837b7 | 2016-05-02 23:22:18 +0000 | [diff] [blame] | 466 | COFFSectionKey T{Section, "", 0, GenericSectionID}; |
David Majnemer | c57d038 | 2014-06-27 17:19:44 +0000 | [diff] [blame] | 467 | auto Iter = COFFUniquingMap.find(T); |
David Blaikie | 9ec3212 | 2014-04-10 23:55:11 +0000 | [diff] [blame] | 468 | if (Iter == COFFUniquingMap.end()) |
Craig Topper | bb694de | 2014-04-13 04:57:38 +0000 | [diff] [blame] | 469 | return nullptr; |
Rafael Espindola | 60ec383 | 2013-11-19 19:52:52 +0000 | [diff] [blame] | 470 | return Iter->second; |
Nico Rieck | a37acf7 | 2013-07-06 12:13:10 +0000 | [diff] [blame] | 471 | } |
| 472 | |
Rafael Espindola | 0709a7b | 2015-05-21 19:20:38 +0000 | [diff] [blame] | 473 | MCSectionCOFF *MCContext::getAssociativeCOFFSection(MCSectionCOFF *Sec, |
Reid Kleckner | 97837b7 | 2016-05-02 23:22:18 +0000 | [diff] [blame] | 474 | const MCSymbol *KeySym, |
| 475 | unsigned UniqueID) { |
| 476 | // Return the normal section if we don't have to be associative or unique. |
| 477 | if (!KeySym && UniqueID == GenericSectionID) |
Reid Kleckner | 7c4059e | 2014-09-04 17:42:03 +0000 | [diff] [blame] | 478 | return Sec; |
| 479 | |
Reid Kleckner | 97837b7 | 2016-05-02 23:22:18 +0000 | [diff] [blame] | 480 | // If we have a key symbol, make an associative section with the same name and |
| 481 | // kind as the normal section. |
| 482 | unsigned Characteristics = Sec->getCharacteristics(); |
| 483 | if (KeySym) { |
| 484 | Characteristics |= COFF::IMAGE_SCN_LNK_COMDAT; |
| 485 | return getCOFFSection(Sec->getSectionName(), Characteristics, |
| 486 | Sec->getKind(), KeySym->getName(), |
| 487 | COFF::IMAGE_COMDAT_SELECT_ASSOCIATIVE, UniqueID); |
| 488 | } |
| 489 | |
Reid Kleckner | 7c4059e | 2014-09-04 17:42:03 +0000 | [diff] [blame] | 490 | return getCOFFSection(Sec->getSectionName(), Characteristics, Sec->getKind(), |
Reid Kleckner | 97837b7 | 2016-05-02 23:22:18 +0000 | [diff] [blame] | 491 | "", 0, UniqueID); |
Reid Kleckner | 7c4059e | 2014-09-04 17:42:03 +0000 | [diff] [blame] | 492 | } |
| 493 | |
Sam Clegg | 12fd3da | 2017-10-20 21:28:38 +0000 | [diff] [blame] | 494 | MCSectionWasm *MCContext::getWasmSection(const Twine &Section, SectionKind K, |
Dan Gohman | 18eafb6 | 2017-02-22 01:23:18 +0000 | [diff] [blame] | 495 | const Twine &Group, unsigned UniqueID, |
| 496 | const char *BeginSymName) { |
| 497 | MCSymbolWasm *GroupSym = nullptr; |
Sam Clegg | d423f0d | 2018-01-11 20:35:17 +0000 | [diff] [blame] | 498 | if (!Group.isTriviallyEmpty() && !Group.str().empty()) { |
Dan Gohman | 18eafb6 | 2017-02-22 01:23:18 +0000 | [diff] [blame] | 499 | GroupSym = cast<MCSymbolWasm>(getOrCreateSymbol(Group)); |
Sam Clegg | d423f0d | 2018-01-11 20:35:17 +0000 | [diff] [blame] | 500 | GroupSym->setComdat(true); |
| 501 | } |
Dan Gohman | 18eafb6 | 2017-02-22 01:23:18 +0000 | [diff] [blame] | 502 | |
Sam Clegg | 12fd3da | 2017-10-20 21:28:38 +0000 | [diff] [blame] | 503 | return getWasmSection(Section, K, GroupSym, UniqueID, BeginSymName); |
Dan Gohman | 18eafb6 | 2017-02-22 01:23:18 +0000 | [diff] [blame] | 504 | } |
| 505 | |
Sam Clegg | 12fd3da | 2017-10-20 21:28:38 +0000 | [diff] [blame] | 506 | MCSectionWasm *MCContext::getWasmSection(const Twine &Section, SectionKind Kind, |
Dan Gohman | 18eafb6 | 2017-02-22 01:23:18 +0000 | [diff] [blame] | 507 | const MCSymbolWasm *GroupSym, |
| 508 | unsigned UniqueID, |
| 509 | const char *BeginSymName) { |
| 510 | StringRef Group = ""; |
| 511 | if (GroupSym) |
| 512 | Group = GroupSym->getName(); |
| 513 | // Do the lookup, if we have a hit, return it. |
| 514 | auto IterBool = WasmUniquingMap.insert( |
| 515 | std::make_pair(WasmSectionKey{Section.str(), Group, UniqueID}, nullptr)); |
| 516 | auto &Entry = *IterBool.first; |
| 517 | if (!IterBool.second) |
| 518 | return Entry.second; |
| 519 | |
| 520 | StringRef CachedName = Entry.first.SectionName; |
| 521 | |
Sam Clegg | b210c64 | 2018-05-10 17:38:35 +0000 | [diff] [blame] | 522 | MCSymbol *Begin = createSymbol(CachedName, false, false); |
| 523 | cast<MCSymbolWasm>(Begin)->setType(wasm::WASM_SYMBOL_TYPE_SECTION); |
Dan Gohman | 18eafb6 | 2017-02-22 01:23:18 +0000 | [diff] [blame] | 524 | |
| 525 | MCSectionWasm *Result = new (WasmAllocator.Allocate()) |
Sam Clegg | 12fd3da | 2017-10-20 21:28:38 +0000 | [diff] [blame] | 526 | MCSectionWasm(CachedName, Kind, GroupSym, UniqueID, Begin); |
Dan Gohman | 18eafb6 | 2017-02-22 01:23:18 +0000 | [diff] [blame] | 527 | Entry.second = Result; |
Sam Clegg | b210c64 | 2018-05-10 17:38:35 +0000 | [diff] [blame] | 528 | |
| 529 | auto *F = new MCDataFragment(); |
| 530 | Result->getFragmentList().insert(Result->begin(), F); |
| 531 | F->setParent(Result); |
| 532 | Begin->setFragment(F); |
| 533 | |
Dan Gohman | 18eafb6 | 2017-02-22 01:23:18 +0000 | [diff] [blame] | 534 | return Result; |
| 535 | } |
| 536 | |
Akira Hatanaka | b11ef08 | 2015-11-14 06:35:56 +0000 | [diff] [blame] | 537 | MCSubtargetInfo &MCContext::getSubtargetCopy(const MCSubtargetInfo &STI) { |
| 538 | return *new (MCSubtargetAllocator.Allocate()) MCSubtargetInfo(STI); |
| 539 | } |
| 540 | |
Paul Robinson | c17c8bf | 2018-07-10 14:41:54 +0000 | [diff] [blame] | 541 | void MCContext::addDebugPrefixMapEntry(const std::string &From, |
| 542 | const std::string &To) { |
| 543 | DebugPrefixMap.insert(std::make_pair(From, To)); |
| 544 | } |
| 545 | |
Jonas Devlieghere | 26ddf27 | 2018-07-11 12:30:35 +0000 | [diff] [blame] | 546 | void MCContext::RemapDebugPaths() { |
| 547 | const auto &DebugPrefixMap = this->DebugPrefixMap; |
| 548 | const auto RemapDebugPath = [&DebugPrefixMap](std::string &Path) { |
| 549 | for (const auto &Entry : DebugPrefixMap) |
| 550 | if (StringRef(Path).startswith(Entry.first)) { |
| 551 | std::string RemappedPath = |
| 552 | (Twine(Entry.second) + Path.substr(Entry.first.size())).str(); |
| 553 | Path.swap(RemappedPath); |
| 554 | } |
| 555 | }; |
Paul Robinson | c17c8bf | 2018-07-10 14:41:54 +0000 | [diff] [blame] | 556 | |
Jonas Devlieghere | 26ddf27 | 2018-07-11 12:30:35 +0000 | [diff] [blame] | 557 | // Remap compilation directory. |
Paul Robinson | c17c8bf | 2018-07-10 14:41:54 +0000 | [diff] [blame] | 558 | std::string CompDir = CompilationDir.str(); |
Jonas Devlieghere | 26ddf27 | 2018-07-11 12:30:35 +0000 | [diff] [blame] | 559 | RemapDebugPath(CompDir); |
Paul Robinson | c17c8bf | 2018-07-10 14:41:54 +0000 | [diff] [blame] | 560 | CompilationDir = CompDir; |
Jonas Devlieghere | 26ddf27 | 2018-07-11 12:30:35 +0000 | [diff] [blame] | 561 | |
| 562 | // Remap MCDwarfDirs in all compilation units. |
| 563 | for (auto &CUIDTablePair : MCDwarfLineTablesCUMap) |
| 564 | for (auto &Dir : CUIDTablePair.second.getMCDwarfDirs()) |
| 565 | RemapDebugPath(Dir); |
Paul Robinson | c17c8bf | 2018-07-10 14:41:54 +0000 | [diff] [blame] | 566 | } |
| 567 | |
Kevin Enderby | e5930f1 | 2010-07-28 20:55:35 +0000 | [diff] [blame] | 568 | //===----------------------------------------------------------------------===// |
| 569 | // Dwarf Management |
| 570 | //===----------------------------------------------------------------------===// |
| 571 | |
Paul Robinson | 1ca2576 | 2019-03-01 20:58:04 +0000 | [diff] [blame] | 572 | void MCContext::setGenDwarfRootFile(StringRef InputFileName, StringRef Buffer) { |
| 573 | // MCDwarf needs the root file as well as the compilation directory. |
| 574 | // If we find a '.file 0' directive that will supersede these values. |
Eric Christopher | 798e83b | 2019-04-04 23:34:38 +0000 | [diff] [blame] | 575 | Optional<MD5::MD5Result> Cksum; |
Paul Robinson | 1ca2576 | 2019-03-01 20:58:04 +0000 | [diff] [blame] | 576 | if (getDwarfVersion() >= 5) { |
| 577 | MD5 Hash; |
Eric Christopher | 798e83b | 2019-04-04 23:34:38 +0000 | [diff] [blame] | 578 | MD5::MD5Result Sum; |
Paul Robinson | 1ca2576 | 2019-03-01 20:58:04 +0000 | [diff] [blame] | 579 | Hash.update(Buffer); |
Eric Christopher | 798e83b | 2019-04-04 23:34:38 +0000 | [diff] [blame] | 580 | Hash.final(Sum); |
| 581 | Cksum = Sum; |
Paul Robinson | 1ca2576 | 2019-03-01 20:58:04 +0000 | [diff] [blame] | 582 | } |
| 583 | // Canonicalize the root filename. It cannot be empty, and should not |
| 584 | // repeat the compilation dir. |
Paul Robinson | 116e8d4 | 2019-05-21 11:52:27 +0000 | [diff] [blame] | 585 | // The MCContext ctor initializes MainFileName to the name associated with |
| 586 | // the SrcMgr's main file ID, which might be the same as InputFileName (and |
| 587 | // possibly include directory components). |
| 588 | // Or, MainFileName might have been overridden by a -main-file-name option, |
| 589 | // which is supposed to be just a base filename with no directory component. |
| 590 | // So, if the InputFileName and MainFileName are not equal, assume |
| 591 | // MainFileName is a substitute basename and replace the last component. |
| 592 | SmallString<1024> FileNameBuf = InputFileName; |
| 593 | if (FileNameBuf.empty() || FileNameBuf == "-") |
| 594 | FileNameBuf = "<stdin>"; |
| 595 | if (!getMainFileName().empty() && FileNameBuf != getMainFileName()) { |
| 596 | llvm::sys::path::remove_filename(FileNameBuf); |
| 597 | llvm::sys::path::append(FileNameBuf, getMainFileName()); |
| 598 | } |
| 599 | StringRef FileName = FileNameBuf; |
Paul Robinson | 1ca2576 | 2019-03-01 20:58:04 +0000 | [diff] [blame] | 600 | if (FileName.consume_front(getCompilationDir())) |
Paul Robinson | d8632c9 | 2019-03-01 22:28:13 +0000 | [diff] [blame] | 601 | if (llvm::sys::path::is_separator(FileName.front())) |
| 602 | FileName = FileName.drop_front(); |
Paul Robinson | 1ca2576 | 2019-03-01 20:58:04 +0000 | [diff] [blame] | 603 | assert(!FileName.empty()); |
| 604 | setMCLineTableRootFile( |
| 605 | /*CUID=*/0, getCompilationDir(), FileName, Cksum, None); |
| 606 | } |
| 607 | |
Scott Linder | 16c7bda | 2018-02-23 23:01:06 +0000 | [diff] [blame] | 608 | /// getDwarfFile - takes a file name and number to place in the dwarf file and |
Kevin Enderby | e5930f1 | 2010-07-28 20:55:35 +0000 | [diff] [blame] | 609 | /// directory tables. If the file number has already been allocated it is an |
| 610 | /// error and zero is returned and the client reports the error, else the |
| 611 | /// allocated file number is returned. The file numbers may be in any order. |
Paul Robinson | 70def12 | 2018-02-22 21:03:33 +0000 | [diff] [blame] | 612 | Expected<unsigned> MCContext::getDwarfFile(StringRef Directory, |
| 613 | StringRef FileName, |
| 614 | unsigned FileNumber, |
Eric Christopher | 798e83b | 2019-04-04 23:34:38 +0000 | [diff] [blame] | 615 | Optional<MD5::MD5Result> Checksum, |
Scott Linder | 16c7bda | 2018-02-23 23:01:06 +0000 | [diff] [blame] | 616 | Optional<StringRef> Source, |
Paul Robinson | 70def12 | 2018-02-22 21:03:33 +0000 | [diff] [blame] | 617 | unsigned CUID) { |
Ali Tamur | 02e9664 | 2019-03-26 20:05:27 +0000 | [diff] [blame] | 618 | MCDwarfLineTable &Table = MCDwarfLineTablesCUMap[CUID]; |
Ali Tamur | 783d84b | 2019-04-19 02:26:56 +0000 | [diff] [blame] | 619 | return Table.tryGetFile(Directory, FileName, Checksum, Source, DwarfVersion, |
| 620 | FileNumber); |
Kevin Enderby | e5930f1 | 2010-07-28 20:55:35 +0000 | [diff] [blame] | 621 | } |
Kevin Enderby | 1264b7c | 2010-08-24 20:32:42 +0000 | [diff] [blame] | 622 | |
Kevin Enderby | a68d004 | 2010-10-04 20:17:24 +0000 | [diff] [blame] | 623 | /// isValidDwarfFileNumber - takes a dwarf file number and returns true if it |
Kevin Enderby | 1264b7c | 2010-08-24 20:32:42 +0000 | [diff] [blame] | 624 | /// currently is assigned and false otherwise. |
Manman Ren | 1e42720 | 2013-03-07 01:42:00 +0000 | [diff] [blame] | 625 | bool MCContext::isValidDwarfFileNumber(unsigned FileNumber, unsigned CUID) { |
Paul Robinson | 11539b0 | 2018-06-22 14:16:11 +0000 | [diff] [blame] | 626 | const MCDwarfLineTable &LineTable = getMCDwarfLineTable(CUID); |
| 627 | if (FileNumber == 0) |
Ali Tamur | 783d84b | 2019-04-19 02:26:56 +0000 | [diff] [blame] | 628 | return getDwarfVersion() >= 5; |
Paul Robinson | 11539b0 | 2018-06-22 14:16:11 +0000 | [diff] [blame] | 629 | if (FileNumber >= LineTable.getMCDwarfFiles().size()) |
Kevin Enderby | 1264b7c | 2010-08-24 20:32:42 +0000 | [diff] [blame] | 630 | return false; |
| 631 | |
Paul Robinson | 11539b0 | 2018-06-22 14:16:11 +0000 | [diff] [blame] | 632 | return !LineTable.getMCDwarfFiles()[FileNumber].Name.empty(); |
Kevin Enderby | 1264b7c | 2010-08-24 20:32:42 +0000 | [diff] [blame] | 633 | } |
Jim Grosbach | b18b409 | 2012-01-26 23:20:11 +0000 | [diff] [blame] | 634 | |
Fangrui Song | 58963e4 | 2018-09-08 02:04:20 +0000 | [diff] [blame] | 635 | /// Remove empty sections from SectionsForRanges, to avoid generating |
Oliver Stannard | 8b27308 | 2014-06-19 15:52:37 +0000 | [diff] [blame] | 636 | /// useless debug info for them. |
| 637 | void MCContext::finalizeDwarfSections(MCStreamer &MCOS) { |
Benjamin Kramer | 412c4db | 2015-05-31 18:49:28 +0000 | [diff] [blame] | 638 | SectionsForRanges.remove_if( |
| 639 | [&](MCSection *Sec) { return !MCOS.mayHaveInstructions(*Sec); }); |
Oliver Stannard | 8b27308 | 2014-06-19 15:52:37 +0000 | [diff] [blame] | 640 | } |
| 641 | |
Reid Kleckner | 2214ed8 | 2016-01-29 00:49:42 +0000 | [diff] [blame] | 642 | CodeViewContext &MCContext::getCVContext() { |
| 643 | if (!CVContext.get()) |
| 644 | CVContext.reset(new CodeViewContext); |
| 645 | return *CVContext.get(); |
| 646 | } |
| 647 | |
Oliver Stannard | 07b43d3 | 2015-11-17 09:58:07 +0000 | [diff] [blame] | 648 | //===----------------------------------------------------------------------===// |
| 649 | // Error Reporting |
| 650 | //===----------------------------------------------------------------------===// |
| 651 | |
| 652 | void MCContext::reportError(SMLoc Loc, const Twine &Msg) { |
| 653 | HadError = true; |
| 654 | |
Sanne Wouda | 2933875 | 2017-02-08 14:48:05 +0000 | [diff] [blame] | 655 | // If we have a source manager use it. Otherwise, try using the inline source |
| 656 | // manager. |
| 657 | // If that fails, use the generic report_fatal_error(). |
| 658 | if (SrcMgr) |
| 659 | SrcMgr->PrintMessage(Loc, SourceMgr::DK_Error, Msg); |
| 660 | else if (InlineSrcMgr) |
| 661 | InlineSrcMgr->PrintMessage(Loc, SourceMgr::DK_Error, Msg); |
| 662 | else |
Jim Grosbach | 9a3284f | 2014-03-14 22:41:58 +0000 | [diff] [blame] | 663 | report_fatal_error(Msg, false); |
Oliver Stannard | 07b43d3 | 2015-11-17 09:58:07 +0000 | [diff] [blame] | 664 | } |
| 665 | |
| 666 | void MCContext::reportFatalError(SMLoc Loc, const Twine &Msg) { |
| 667 | reportError(Loc, Msg); |
Jim Grosbach | b18b409 | 2012-01-26 23:20:11 +0000 | [diff] [blame] | 668 | |
| 669 | // If we reached here, we are failing ungracefully. Run the interrupt handlers |
| 670 | // to make sure any special cleanups get done, in particular that we remove |
| 671 | // files registered with RemoveFileOnSignal. |
| 672 | sys::RunInterruptHandlers(); |
| 673 | exit(1); |
| 674 | } |