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 | // |
| 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
| 5 | // This file is distributed under the University of Illinois Open Source |
| 6 | // License. See LICENSE.TXT for details. |
| 7 | // |
| 8 | //===----------------------------------------------------------------------===// |
| 9 | |
| 10 | #include "llvm/MC/MCContext.h" |
Chris Lattner | 86dfd73 | 2009-10-19 22:49:00 +0000 | [diff] [blame] | 11 | #include "llvm/ADT/SmallString.h" |
| 12 | #include "llvm/ADT/Twine.h" |
Chandler Carruth | ed0881b | 2012-12-03 16:50:05 +0000 | [diff] [blame] | 13 | #include "llvm/MC/MCAsmInfo.h" |
| 14 | #include "llvm/MC/MCDwarf.h" |
| 15 | #include "llvm/MC/MCLabel.h" |
| 16 | #include "llvm/MC/MCObjectFileInfo.h" |
| 17 | #include "llvm/MC/MCRegisterInfo.h" |
| 18 | #include "llvm/MC/MCSectionCOFF.h" |
| 19 | #include "llvm/MC/MCSectionELF.h" |
| 20 | #include "llvm/MC/MCSectionMachO.h" |
Pete Cooper | ef21bd4 | 2015-03-04 01:24:11 +0000 | [diff] [blame] | 21 | #include "llvm/MC/MCStreamer.h" |
Chandler Carruth | ed0881b | 2012-12-03 16:50:05 +0000 | [diff] [blame] | 22 | #include "llvm/MC/MCSymbol.h" |
Rafael Espindola | aea4958 | 2011-01-23 04:28:49 +0000 | [diff] [blame] | 23 | #include "llvm/Support/ELF.h" |
Jim Grosbach | b18b409 | 2012-01-26 23:20:11 +0000 | [diff] [blame] | 24 | #include "llvm/Support/ErrorHandling.h" |
Rafael Espindola | ef03b9f | 2013-06-14 20:26:58 +0000 | [diff] [blame] | 25 | #include "llvm/Support/FileSystem.h" |
Eric Christopher | 906da23 | 2012-12-18 00:31:01 +0000 | [diff] [blame] | 26 | #include "llvm/Support/MemoryBuffer.h" |
Jim Grosbach | b18b409 | 2012-01-26 23:20:11 +0000 | [diff] [blame] | 27 | #include "llvm/Support/Signals.h" |
Chandler Carruth | ed0881b | 2012-12-03 16:50:05 +0000 | [diff] [blame] | 28 | #include "llvm/Support/SourceMgr.h" |
David Blaikie | 15b25df | 2013-10-22 23:41:52 +0000 | [diff] [blame] | 29 | #include <map> |
| 30 | |
Daniel Dunbar | ca29e4d | 2009-06-23 22:01:43 +0000 | [diff] [blame] | 31 | using namespace llvm; |
| 32 | |
Bill Wendling | bc07a89 | 2013-06-18 07:20:20 +0000 | [diff] [blame] | 33 | MCContext::MCContext(const MCAsmInfo *mai, const MCRegisterInfo *mri, |
Pedro Artigas | e84b13f | 2012-12-06 22:12:44 +0000 | [diff] [blame] | 34 | const MCObjectFileInfo *mofi, const SourceMgr *mgr, |
David Blaikie | 7400a97 | 2014-03-27 20:45:58 +0000 | [diff] [blame] | 35 | bool DoAutoReset) |
| 36 | : SrcMgr(mgr), MAI(mai), MRI(mri), MOFI(mofi), Allocator(), |
| 37 | Symbols(Allocator), UsedNames(Allocator), NextUniqueID(0), |
| 38 | CurrentDwarfLoc(0, 0, 0, DWARF2_FLAG_IS_STMT, 0, 0), DwarfLocSeen(false), |
David Blaikie | 6f68758 | 2014-05-01 19:55:34 +0000 | [diff] [blame] | 39 | GenDwarfForAssembly(false), GenDwarfFileNumber(0), DwarfVersion(4), |
David Blaikie | 7400a97 | 2014-03-27 20:45:58 +0000 | [diff] [blame] | 40 | AllowTemporaryLabels(true), DwarfCompileUnitID(0), |
| 41 | AutoReset(DoAutoReset) { |
Pedro Artigas | 7212ee4 | 2012-12-12 22:59:46 +0000 | [diff] [blame] | 42 | |
Rafael Espindola | db4ed0b | 2014-06-13 02:24:39 +0000 | [diff] [blame] | 43 | std::error_code EC = llvm::sys::fs::current_path(CompilationDir); |
Andrew Trick | 32591d3 | 2013-12-10 04:39:09 +0000 | [diff] [blame] | 44 | if (EC) |
| 45 | CompilationDir.clear(); |
Rafael Espindola | ef03b9f | 2013-06-14 20:26:58 +0000 | [diff] [blame] | 46 | |
Kevin Enderby | e233dda | 2010-06-28 21:45:58 +0000 | [diff] [blame] | 47 | SecureLogFile = getenv("AS_SECURE_LOG_FILE"); |
Craig Topper | bb694de | 2014-04-13 04:57:38 +0000 | [diff] [blame] | 48 | SecureLog = nullptr; |
Kevin Enderby | e233dda | 2010-06-28 21:45:58 +0000 | [diff] [blame] | 49 | SecureLogUsed = false; |
Eric Christopher | 906da23 | 2012-12-18 00:31:01 +0000 | [diff] [blame] | 50 | |
Alp Toker | a55b95b | 2014-07-06 10:33:31 +0000 | [diff] [blame] | 51 | if (SrcMgr && SrcMgr->getNumBuffers()) |
| 52 | MainFileName = |
| 53 | SrcMgr->getMemoryBuffer(SrcMgr->getMainFileID())->getBufferIdentifier(); |
Pedro Artigas | e84b13f | 2012-12-06 22:12:44 +0000 | [diff] [blame] | 54 | } |
| 55 | |
| 56 | MCContext::~MCContext() { |
| 57 | |
Pedro Artigas | 7212ee4 | 2012-12-12 22:59:46 +0000 | [diff] [blame] | 58 | if (AutoReset) |
| 59 | reset(); |
Pedro Artigas | e84b13f | 2012-12-06 22:12:44 +0000 | [diff] [blame] | 60 | |
| 61 | // NOTE: The symbols are all allocated out of a bump pointer allocator, |
| 62 | // we don't need to free them here. |
Andrew Trick | 1c6a4c3 | 2013-12-10 04:39:05 +0000 | [diff] [blame] | 63 | |
Pedro Artigas | e84b13f | 2012-12-06 22:12:44 +0000 | [diff] [blame] | 64 | // If the stream for the .secure_log_unique directive was created free it. |
| 65 | delete (raw_ostream*)SecureLog; |
| 66 | } |
| 67 | |
| 68 | //===----------------------------------------------------------------------===// |
| 69 | // Module Lifetime Management |
| 70 | //===----------------------------------------------------------------------===// |
| 71 | |
Pedro Artigas | 7212ee4 | 2012-12-12 22:59:46 +0000 | [diff] [blame] | 72 | void MCContext::reset() { |
Pedro Artigas | e84b13f | 2012-12-06 22:12:44 +0000 | [diff] [blame] | 73 | UsedNames.clear(); |
| 74 | Symbols.clear(); |
| 75 | Allocator.Reset(); |
| 76 | Instances.clear(); |
Yaron Keren | 559b47d | 2014-09-17 09:25:36 +0000 | [diff] [blame] | 77 | CompilationDir.clear(); |
| 78 | MainFileName.clear(); |
David Blaikie | d9012ba | 2014-03-13 21:59:51 +0000 | [diff] [blame] | 79 | MCDwarfLineTablesCUMap.clear(); |
Yaron Keren | 559b47d | 2014-09-17 09:25:36 +0000 | [diff] [blame] | 80 | SectionStartEndSyms.clear(); |
Pedro Artigas | e84b13f | 2012-12-06 22:12:44 +0000 | [diff] [blame] | 81 | MCGenDwarfLabelEntries.clear(); |
| 82 | DwarfDebugFlags = StringRef(); |
Pedro Artigas | 7ba2edc | 2013-02-20 00:10:29 +0000 | [diff] [blame] | 83 | DwarfCompileUnitID = 0; |
Pedro Artigas | e84b13f | 2012-12-06 22:12:44 +0000 | [diff] [blame] | 84 | CurrentDwarfLoc = MCDwarfLoc(0,0,0,DWARF2_FLAG_IS_STMT,0,0); |
Michael J. Spencer | f13f442 | 2010-11-26 04:16:08 +0000 | [diff] [blame] | 85 | |
David Blaikie | 9ec3212 | 2014-04-10 23:55:11 +0000 | [diff] [blame] | 86 | MachOUniquingMap.clear(); |
| 87 | ELFUniquingMap.clear(); |
| 88 | COFFUniquingMap.clear(); |
Pedro Artigas | 7212ee4 | 2012-12-12 22:59:46 +0000 | [diff] [blame] | 89 | |
| 90 | NextUniqueID = 0; |
| 91 | AllowTemporaryLabels = true; |
| 92 | DwarfLocSeen = false; |
| 93 | GenDwarfForAssembly = false; |
| 94 | GenDwarfFileNumber = 0; |
Daniel Dunbar | ca29e4d | 2009-06-23 22:01:43 +0000 | [diff] [blame] | 95 | } |
| 96 | |
Chris Lattner | 2073112 | 2010-04-08 20:30:37 +0000 | [diff] [blame] | 97 | //===----------------------------------------------------------------------===// |
| 98 | // Symbol Manipulation |
| 99 | //===----------------------------------------------------------------------===// |
| 100 | |
Yaron Keren | 1ee89fc | 2015-03-17 09:51:17 +0000 | [diff] [blame^] | 101 | MCSymbol *MCContext::GetOrCreateSymbol(const Twine &Name) { |
| 102 | SmallString<128> NameSV; |
| 103 | StringRef NameRef = Name.toStringRef(NameSV); |
Michael J. Spencer | f13f442 | 2010-11-26 04:16:08 +0000 | [diff] [blame] | 104 | |
Yaron Keren | 1ee89fc | 2015-03-17 09:51:17 +0000 | [diff] [blame^] | 105 | assert(!NameRef.empty() && "Normal symbols cannot be unnamed!"); |
Rafael Espindola | 5fe5f45 | 2010-12-01 20:46:11 +0000 | [diff] [blame] | 106 | |
Yaron Keren | 1ee89fc | 2015-03-17 09:51:17 +0000 | [diff] [blame^] | 107 | MCSymbol *&Sym = Symbols[NameRef]; |
David Blaikie | 5106ce7 | 2014-11-19 05:49:42 +0000 | [diff] [blame] | 108 | if (!Sym) |
Yaron Keren | 1ee89fc | 2015-03-17 09:51:17 +0000 | [diff] [blame^] | 109 | Sym = CreateSymbol(NameRef); |
Rafael Espindola | 5fe5f45 | 2010-12-01 20:46:11 +0000 | [diff] [blame] | 110 | |
Rafael Espindola | 5fe5f45 | 2010-12-01 20:46:11 +0000 | [diff] [blame] | 111 | return Sym; |
| 112 | } |
| 113 | |
Rafael Espindola | b661302 | 2014-10-17 01:48:58 +0000 | [diff] [blame] | 114 | MCSymbol *MCContext::getOrCreateSectionSymbol(const MCSectionELF &Section) { |
| 115 | MCSymbol *&Sym = SectionSymbols[&Section]; |
| 116 | if (Sym) |
| 117 | return Sym; |
| 118 | |
| 119 | StringRef Name = Section.getSectionName(); |
| 120 | |
David Blaikie | 5106ce7 | 2014-11-19 05:49:42 +0000 | [diff] [blame] | 121 | MCSymbol *&OldSym = Symbols[Name]; |
Rafael Espindola | b661302 | 2014-10-17 01:48:58 +0000 | [diff] [blame] | 122 | if (OldSym && OldSym->isUndefined()) { |
| 123 | Sym = OldSym; |
| 124 | return OldSym; |
| 125 | } |
| 126 | |
David Blaikie | 5106ce7 | 2014-11-19 05:49:42 +0000 | [diff] [blame] | 127 | auto NameIter = UsedNames.insert(std::make_pair(Name, true)).first; |
| 128 | Sym = new (*this) MCSymbol(NameIter->getKey(), /*isTemporary*/ false); |
Rafael Espindola | b661302 | 2014-10-17 01:48:58 +0000 | [diff] [blame] | 129 | |
David Blaikie | 5106ce7 | 2014-11-19 05:49:42 +0000 | [diff] [blame] | 130 | if (!OldSym) |
| 131 | OldSym = Sym; |
Rafael Espindola | b661302 | 2014-10-17 01:48:58 +0000 | [diff] [blame] | 132 | |
| 133 | return Sym; |
| 134 | } |
| 135 | |
Reid Kleckner | cfb9ce5 | 2015-03-05 18:26:34 +0000 | [diff] [blame] | 136 | MCSymbol *MCContext::getOrCreateFrameAllocSymbol(StringRef FuncName, |
| 137 | unsigned Idx) { |
| 138 | return GetOrCreateSymbol(Twine(MAI->getPrivateGlobalPrefix()) + FuncName + |
| 139 | "$frame_escape_" + Twine(Idx)); |
Reid Kleckner | e9b8931 | 2015-01-13 00:48:10 +0000 | [diff] [blame] | 140 | } |
| 141 | |
Rafael Espindola | 5fe5f45 | 2010-12-01 20:46:11 +0000 | [diff] [blame] | 142 | MCSymbol *MCContext::CreateSymbol(StringRef Name) { |
Daniel Dunbar | 4ee0d03 | 2011-03-28 22:49:15 +0000 | [diff] [blame] | 143 | // Determine whether this is an assembler temporary or normal label, if used. |
| 144 | bool isTemporary = false; |
| 145 | if (AllowTemporaryLabels) |
Bill Wendling | bc07a89 | 2013-06-18 07:20:20 +0000 | [diff] [blame] | 146 | isTemporary = Name.startswith(MAI->getPrivateGlobalPrefix()); |
Rafael Espindola | 5fe5f45 | 2010-12-01 20:46:11 +0000 | [diff] [blame] | 147 | |
David Blaikie | 5106ce7 | 2014-11-19 05:49:42 +0000 | [diff] [blame] | 148 | auto NameEntry = UsedNames.insert(std::make_pair(Name, true)); |
| 149 | if (!NameEntry.second) { |
Alp Toker | f907b89 | 2013-12-05 05:44:44 +0000 | [diff] [blame] | 150 | assert(isTemporary && "Cannot rename non-temporary symbols"); |
Benjamin Kramer | 2b6c96b | 2011-04-09 11:26:27 +0000 | [diff] [blame] | 151 | SmallString<128> NewName = Name; |
Rafael Espindola | 5fe5f45 | 2010-12-01 20:46:11 +0000 | [diff] [blame] | 152 | do { |
Benjamin Kramer | 2b6c96b | 2011-04-09 11:26:27 +0000 | [diff] [blame] | 153 | NewName.resize(Name.size()); |
| 154 | raw_svector_ostream(NewName) << NextUniqueID++; |
David Blaikie | 5106ce7 | 2014-11-19 05:49:42 +0000 | [diff] [blame] | 155 | NameEntry = UsedNames.insert(std::make_pair(NewName, true)); |
| 156 | } while (!NameEntry.second); |
Rafael Espindola | 5fe5f45 | 2010-12-01 20:46:11 +0000 | [diff] [blame] | 157 | } |
Chris Lattner | 3f5738d | 2009-06-24 04:31:49 +0000 | [diff] [blame] | 158 | |
Chris Lattner | 1334876 | 2010-03-15 06:15:35 +0000 | [diff] [blame] | 159 | // Ok, the entry doesn't already exist. Have the MCSymbol object itself refer |
Rafael Espindola | 5fe5f45 | 2010-12-01 20:46:11 +0000 | [diff] [blame] | 160 | // to the copy of the string that is embedded in the UsedNames entry. |
David Blaikie | 5106ce7 | 2014-11-19 05:49:42 +0000 | [diff] [blame] | 161 | MCSymbol *Result = |
| 162 | new (*this) MCSymbol(NameEntry.first->getKey(), isTemporary); |
Rafael Espindola | 5fe5f45 | 2010-12-01 20:46:11 +0000 | [diff] [blame] | 163 | |
| 164 | return Result; |
Chris Lattner | 3f5738d | 2009-06-24 04:31:49 +0000 | [diff] [blame] | 165 | } |
| 166 | |
Rafael Espindola | 629cdba | 2015-02-27 18:18:39 +0000 | [diff] [blame] | 167 | MCSymbol *MCContext::createTempSymbol(const Twine &Name) { |
| 168 | SmallString<128> NameSV; |
| 169 | raw_svector_ostream(NameSV) << MAI->getPrivateGlobalPrefix() << Name; |
| 170 | return CreateSymbol(NameSV); |
| 171 | } |
| 172 | |
Tim Northover | c3988b4 | 2014-03-29 07:05:06 +0000 | [diff] [blame] | 173 | MCSymbol *MCContext::CreateLinkerPrivateTempSymbol() { |
Alp Toker | e69170a | 2014-06-26 22:52:05 +0000 | [diff] [blame] | 174 | SmallString<128> NameSV; |
| 175 | raw_svector_ostream(NameSV) |
| 176 | << MAI->getLinkerPrivateGlobalPrefix() << "tmp" << NextUniqueID++; |
| 177 | return CreateSymbol(NameSV); |
Tim Northover | c3988b4 | 2014-03-29 07:05:06 +0000 | [diff] [blame] | 178 | } |
| 179 | |
Chris Lattner | 073d817 | 2010-03-14 08:23:30 +0000 | [diff] [blame] | 180 | MCSymbol *MCContext::CreateTempSymbol() { |
Alp Toker | e69170a | 2014-06-26 22:52:05 +0000 | [diff] [blame] | 181 | SmallString<128> NameSV; |
| 182 | raw_svector_ostream(NameSV) |
| 183 | << MAI->getPrivateGlobalPrefix() << "tmp" << NextUniqueID++; |
| 184 | return CreateSymbol(NameSV); |
Chris Lattner | 073d817 | 2010-03-14 08:23:30 +0000 | [diff] [blame] | 185 | } |
| 186 | |
Rafael Espindola | 4269b9e | 2014-03-13 18:09:26 +0000 | [diff] [blame] | 187 | unsigned MCContext::NextInstance(unsigned LocalLabelVal) { |
Benjamin Kramer | ab7be75 | 2010-05-18 12:15:34 +0000 | [diff] [blame] | 188 | MCLabel *&Label = Instances[LocalLabelVal]; |
| 189 | if (!Label) |
| 190 | Label = new (*this) MCLabel(0); |
| 191 | return Label->incInstance(); |
Kevin Enderby | 0510b48 | 2010-05-17 23:08:19 +0000 | [diff] [blame] | 192 | } |
| 193 | |
Rafael Espindola | 4269b9e | 2014-03-13 18:09:26 +0000 | [diff] [blame] | 194 | unsigned MCContext::GetInstance(unsigned LocalLabelVal) { |
Benjamin Kramer | ab7be75 | 2010-05-18 12:15:34 +0000 | [diff] [blame] | 195 | MCLabel *&Label = Instances[LocalLabelVal]; |
| 196 | if (!Label) |
| 197 | Label = new (*this) MCLabel(0); |
| 198 | return Label->getInstance(); |
Kevin Enderby | 0510b48 | 2010-05-17 23:08:19 +0000 | [diff] [blame] | 199 | } |
| 200 | |
Rafael Espindola | 4269b9e | 2014-03-13 18:09:26 +0000 | [diff] [blame] | 201 | MCSymbol *MCContext::getOrCreateDirectionalLocalSymbol(unsigned LocalLabelVal, |
| 202 | unsigned Instance) { |
| 203 | MCSymbol *&Sym = LocalSymbols[std::make_pair(LocalLabelVal, Instance)]; |
| 204 | if (!Sym) |
| 205 | Sym = CreateTempSymbol(); |
| 206 | return Sym; |
Kevin Enderby | 0510b48 | 2010-05-17 23:08:19 +0000 | [diff] [blame] | 207 | } |
Rafael Espindola | 4269b9e | 2014-03-13 18:09:26 +0000 | [diff] [blame] | 208 | |
| 209 | MCSymbol *MCContext::CreateDirectionalLocalSymbol(unsigned LocalLabelVal) { |
| 210 | unsigned Instance = NextInstance(LocalLabelVal); |
| 211 | return getOrCreateDirectionalLocalSymbol(LocalLabelVal, Instance); |
| 212 | } |
| 213 | |
| 214 | MCSymbol *MCContext::GetDirectionalLocalSymbol(unsigned LocalLabelVal, |
| 215 | bool Before) { |
| 216 | unsigned Instance = GetInstance(LocalLabelVal); |
| 217 | if (!Before) |
| 218 | ++Instance; |
| 219 | return getOrCreateDirectionalLocalSymbol(LocalLabelVal, Instance); |
Kevin Enderby | 0510b48 | 2010-05-17 23:08:19 +0000 | [diff] [blame] | 220 | } |
| 221 | |
Daniel Dunbar | ad36e8a | 2009-11-06 10:58:06 +0000 | [diff] [blame] | 222 | MCSymbol *MCContext::LookupSymbol(StringRef Name) const { |
Daniel Dunbar | ca29e4d | 2009-06-23 22:01:43 +0000 | [diff] [blame] | 223 | return Symbols.lookup(Name); |
| 224 | } |
Chris Lattner | 2073112 | 2010-04-08 20:30:37 +0000 | [diff] [blame] | 225 | |
Roman Divacky | 0be3359 | 2012-09-18 17:10:37 +0000 | [diff] [blame] | 226 | MCSymbol *MCContext::LookupSymbol(const Twine &Name) const { |
| 227 | SmallString<128> NameSV; |
| 228 | Name.toVector(NameSV); |
| 229 | return LookupSymbol(NameSV.str()); |
| 230 | } |
| 231 | |
Chris Lattner | 2073112 | 2010-04-08 20:30:37 +0000 | [diff] [blame] | 232 | //===----------------------------------------------------------------------===// |
| 233 | // Section Management |
| 234 | //===----------------------------------------------------------------------===// |
| 235 | |
Rafael Espindola | 6b9998b | 2015-03-10 22:00:25 +0000 | [diff] [blame] | 236 | const MCSectionMachO * |
| 237 | MCContext::getMachOSection(StringRef Segment, StringRef Section, |
| 238 | unsigned TypeAndAttributes, unsigned Reserved2, |
| 239 | SectionKind Kind, const char *BeginSymName) { |
Michael J. Spencer | f13f442 | 2010-11-26 04:16:08 +0000 | [diff] [blame] | 240 | |
Chris Lattner | 2073112 | 2010-04-08 20:30:37 +0000 | [diff] [blame] | 241 | // We unique sections by their segment/section pair. The returned section |
| 242 | // may not have the same flags as the requested section, if so this should be |
| 243 | // diagnosed by the client as an error. |
Michael J. Spencer | f13f442 | 2010-11-26 04:16:08 +0000 | [diff] [blame] | 244 | |
Chris Lattner | 2073112 | 2010-04-08 20:30:37 +0000 | [diff] [blame] | 245 | // Form the name to look up. |
| 246 | SmallString<64> Name; |
| 247 | Name += Segment; |
| 248 | Name.push_back(','); |
| 249 | Name += Section; |
Michael J. Spencer | f13f442 | 2010-11-26 04:16:08 +0000 | [diff] [blame] | 250 | |
Chris Lattner | 2073112 | 2010-04-08 20:30:37 +0000 | [diff] [blame] | 251 | // Do the lookup, if we have a hit, return it. |
David Blaikie | 9ec3212 | 2014-04-10 23:55:11 +0000 | [diff] [blame] | 252 | const MCSectionMachO *&Entry = MachOUniquingMap[Name.str()]; |
Rafael Espindola | 6ed58a2 | 2015-03-10 21:16:18 +0000 | [diff] [blame] | 253 | if (Entry) |
| 254 | return Entry; |
Michael J. Spencer | f13f442 | 2010-11-26 04:16:08 +0000 | [diff] [blame] | 255 | |
Rafael Espindola | 6b9998b | 2015-03-10 22:00:25 +0000 | [diff] [blame] | 256 | MCSymbol *Begin = nullptr; |
| 257 | if (BeginSymName) |
| 258 | Begin = createTempSymbol(BeginSymName); |
| 259 | |
Chris Lattner | 2073112 | 2010-04-08 20:30:37 +0000 | [diff] [blame] | 260 | // Otherwise, return a new section. |
Chris Lattner | 5418dd5 | 2010-04-08 21:26:26 +0000 | [diff] [blame] | 261 | return Entry = new (*this) MCSectionMachO(Segment, Section, TypeAndAttributes, |
Rafael Espindola | 6b9998b | 2015-03-10 22:00:25 +0000 | [diff] [blame] | 262 | Reserved2, Kind, Begin); |
Chris Lattner | 2073112 | 2010-04-08 20:30:37 +0000 | [diff] [blame] | 263 | } |
Chris Lattner | 5418dd5 | 2010-04-08 21:26:26 +0000 | [diff] [blame] | 264 | |
Rafael Espindola | ba31e27 | 2015-01-29 17:33:21 +0000 | [diff] [blame] | 265 | const MCSectionELF *MCContext::getELFSection(StringRef Section, unsigned Type, |
Rafael Espindola | 6b9998b | 2015-03-10 22:00:25 +0000 | [diff] [blame] | 266 | unsigned Flags, |
| 267 | const char *BeginSymName) { |
| 268 | return getELFSection(Section, Type, Flags, 0, "", BeginSymName); |
Rafael Espindola | a3e9a22 | 2010-11-11 18:13:52 +0000 | [diff] [blame] | 269 | } |
| 270 | |
David Blaikie | 8019bf8 | 2014-04-10 21:53:53 +0000 | [diff] [blame] | 271 | void MCContext::renameELFSection(const MCSectionELF *Section, StringRef Name) { |
David Blaikie | 8019bf8 | 2014-04-10 21:53:53 +0000 | [diff] [blame] | 272 | StringRef GroupName; |
| 273 | if (const MCSymbol *Group = Section->getGroup()) |
| 274 | GroupName = Group->getName(); |
| 275 | |
David Blaikie | 9ec3212 | 2014-04-10 23:55:11 +0000 | [diff] [blame] | 276 | ELFUniquingMap.erase(SectionGroupPair(Section->getSectionName(), GroupName)); |
| 277 | auto I = |
| 278 | ELFUniquingMap.insert(std::make_pair(SectionGroupPair(Name, GroupName), |
| 279 | Section)).first; |
David Blaikie | b60e61c | 2014-04-11 22:49:14 +0000 | [diff] [blame] | 280 | StringRef CachedName = I->first.first; |
| 281 | const_cast<MCSectionELF*>(Section)->setSectionName(CachedName); |
David Blaikie | 8019bf8 | 2014-04-10 21:53:53 +0000 | [diff] [blame] | 282 | } |
| 283 | |
Rafael Espindola | ba31e27 | 2015-01-29 17:33:21 +0000 | [diff] [blame] | 284 | const MCSectionELF *MCContext::getELFSection(StringRef Section, unsigned Type, |
| 285 | unsigned Flags, unsigned EntrySize, |
Rafael Espindola | 6b9998b | 2015-03-10 22:00:25 +0000 | [diff] [blame] | 286 | StringRef Group, bool Unique, |
| 287 | const char *BeginSymName) { |
Chris Lattner | 5418dd5 | 2010-04-08 21:26:26 +0000 | [diff] [blame] | 288 | // Do the lookup, if we have a hit, return it. |
David Blaikie | 9ec3212 | 2014-04-10 23:55:11 +0000 | [diff] [blame] | 289 | auto IterBool = ELFUniquingMap.insert( |
Craig Topper | bb694de | 2014-04-13 04:57:38 +0000 | [diff] [blame] | 290 | std::make_pair(SectionGroupPair(Section, Group), nullptr)); |
David Blaikie | 9ec3212 | 2014-04-10 23:55:11 +0000 | [diff] [blame] | 291 | auto &Entry = *IterBool.first; |
Rafael Espindola | 68fa249 | 2015-02-17 20:48:01 +0000 | [diff] [blame] | 292 | if (!IterBool.second && !Unique) |
| 293 | return Entry.second; |
Michael J. Spencer | f13f442 | 2010-11-26 04:16:08 +0000 | [diff] [blame] | 294 | |
Craig Topper | bb694de | 2014-04-13 04:57:38 +0000 | [diff] [blame] | 295 | MCSymbol *GroupSym = nullptr; |
Rafael Espindola | a3e9a22 | 2010-11-11 18:13:52 +0000 | [diff] [blame] | 296 | if (!Group.empty()) |
| 297 | GroupSym = GetOrCreateSymbol(Group); |
| 298 | |
David Blaikie | b60e61c | 2014-04-11 22:49:14 +0000 | [diff] [blame] | 299 | StringRef CachedName = Entry.first.first; |
Rafael Espindola | ba31e27 | 2015-01-29 17:33:21 +0000 | [diff] [blame] | 300 | |
| 301 | SectionKind Kind; |
| 302 | if (Flags & ELF::SHF_EXECINSTR) |
| 303 | Kind = SectionKind::getText(); |
| 304 | else |
| 305 | Kind = SectionKind::getReadOnly(); |
| 306 | |
Rafael Espindola | 6b9998b | 2015-03-10 22:00:25 +0000 | [diff] [blame] | 307 | MCSymbol *Begin = nullptr; |
| 308 | if (BeginSymName) |
| 309 | Begin = createTempSymbol(BeginSymName); |
| 310 | |
| 311 | MCSectionELF *Result = new (*this) MCSectionELF( |
| 312 | CachedName, Type, Flags, Kind, EntrySize, GroupSym, Unique, Begin); |
Rafael Espindola | 68fa249 | 2015-02-17 20:48:01 +0000 | [diff] [blame] | 313 | if (!Unique) |
| 314 | Entry.second = Result; |
Chris Lattner | 5418dd5 | 2010-04-08 21:26:26 +0000 | [diff] [blame] | 315 | return Result; |
| 316 | } |
| 317 | |
Rafael Espindola | 68fa249 | 2015-02-17 20:48:01 +0000 | [diff] [blame] | 318 | const MCSectionELF *MCContext::getELFSection(StringRef Section, unsigned Type, |
| 319 | unsigned Flags, unsigned EntrySize, |
Rafael Espindola | 6b9998b | 2015-03-10 22:00:25 +0000 | [diff] [blame] | 320 | StringRef Group, |
| 321 | const char *BeginSymName) { |
| 322 | return getELFSection(Section, Type, Flags, EntrySize, Group, false, |
| 323 | BeginSymName); |
Rafael Espindola | 68fa249 | 2015-02-17 20:48:01 +0000 | [diff] [blame] | 324 | } |
| 325 | |
Rafael Espindola | a3e9a22 | 2010-11-11 18:13:52 +0000 | [diff] [blame] | 326 | const MCSectionELF *MCContext::CreateELFGroupSection() { |
Rafael Espindola | 6b9998b | 2015-03-10 22:00:25 +0000 | [diff] [blame] | 327 | MCSectionELF *Result = new (*this) |
| 328 | MCSectionELF(".group", ELF::SHT_GROUP, 0, SectionKind::getReadOnly(), 4, |
| 329 | nullptr, false, nullptr); |
Rafael Espindola | a3e9a22 | 2010-11-11 18:13:52 +0000 | [diff] [blame] | 330 | return Result; |
| 331 | } |
| 332 | |
Rafael Espindola | 6b9998b | 2015-03-10 22:00:25 +0000 | [diff] [blame] | 333 | const MCSectionCOFF * |
| 334 | MCContext::getCOFFSection(StringRef Section, unsigned Characteristics, |
| 335 | SectionKind Kind, StringRef COMDATSymName, |
| 336 | int Selection, const char *BeginSymName) { |
Chris Lattner | 87cffa9 | 2010-05-07 17:17:41 +0000 | [diff] [blame] | 337 | // Do the lookup, if we have a hit, return it. |
Michael J. Spencer | f13f442 | 2010-11-26 04:16:08 +0000 | [diff] [blame] | 338 | |
David Majnemer | c57d038 | 2014-06-27 17:19:44 +0000 | [diff] [blame] | 339 | SectionGroupTriple T(Section, COMDATSymName, Selection); |
| 340 | auto IterBool = COFFUniquingMap.insert(std::make_pair(T, nullptr)); |
David Blaikie | 9ec3212 | 2014-04-10 23:55:11 +0000 | [diff] [blame] | 341 | auto Iter = IterBool.first; |
| 342 | if (!IterBool.second) |
Rafael Espindola | 60ec383 | 2013-11-19 19:52:52 +0000 | [diff] [blame] | 343 | return Iter->second; |
Michael J. Spencer | f13f442 | 2010-11-26 04:16:08 +0000 | [diff] [blame] | 344 | |
David Majnemer | 8bce66b | 2014-07-14 22:57:27 +0000 | [diff] [blame] | 345 | MCSymbol *COMDATSymbol = nullptr; |
Rafael Espindola | 60ec383 | 2013-11-19 19:52:52 +0000 | [diff] [blame] | 346 | if (!COMDATSymName.empty()) |
| 347 | COMDATSymbol = GetOrCreateSymbol(COMDATSymName); |
| 348 | |
Rafael Espindola | 6b9998b | 2015-03-10 22:00:25 +0000 | [diff] [blame] | 349 | MCSymbol *Begin = nullptr; |
| 350 | if (BeginSymName) |
| 351 | Begin = createTempSymbol(BeginSymName); |
| 352 | |
David Majnemer | c57d038 | 2014-06-27 17:19:44 +0000 | [diff] [blame] | 353 | StringRef CachedName = std::get<0>(Iter->first); |
Rafael Espindola | 6b9998b | 2015-03-10 22:00:25 +0000 | [diff] [blame] | 354 | MCSectionCOFF *Result = new (*this) MCSectionCOFF( |
| 355 | CachedName, Characteristics, COMDATSymbol, Selection, Kind, Begin); |
Rafael Espindola | 60ec383 | 2013-11-19 19:52:52 +0000 | [diff] [blame] | 356 | |
| 357 | Iter->second = Result; |
Chris Lattner | 87cffa9 | 2010-05-07 17:17:41 +0000 | [diff] [blame] | 358 | return Result; |
| 359 | } |
Kevin Enderby | e5930f1 | 2010-07-28 20:55:35 +0000 | [diff] [blame] | 360 | |
Rafael Espindola | 6ed58a2 | 2015-03-10 21:16:18 +0000 | [diff] [blame] | 361 | const MCSectionCOFF *MCContext::getCOFFSection(StringRef Section, |
| 362 | unsigned Characteristics, |
Rafael Espindola | 6b9998b | 2015-03-10 22:00:25 +0000 | [diff] [blame] | 363 | SectionKind Kind, |
| 364 | const char *BeginSymName) { |
| 365 | return getCOFFSection(Section, Characteristics, Kind, "", 0, BeginSymName); |
Rafael Espindola | 60ec383 | 2013-11-19 19:52:52 +0000 | [diff] [blame] | 366 | } |
| 367 | |
Nico Rieck | a37acf7 | 2013-07-06 12:13:10 +0000 | [diff] [blame] | 368 | const MCSectionCOFF *MCContext::getCOFFSection(StringRef Section) { |
David Majnemer | c57d038 | 2014-06-27 17:19:44 +0000 | [diff] [blame] | 369 | SectionGroupTriple T(Section, "", 0); |
| 370 | auto Iter = COFFUniquingMap.find(T); |
David Blaikie | 9ec3212 | 2014-04-10 23:55:11 +0000 | [diff] [blame] | 371 | if (Iter == COFFUniquingMap.end()) |
Craig Topper | bb694de | 2014-04-13 04:57:38 +0000 | [diff] [blame] | 372 | return nullptr; |
Rafael Espindola | 60ec383 | 2013-11-19 19:52:52 +0000 | [diff] [blame] | 373 | return Iter->second; |
Nico Rieck | a37acf7 | 2013-07-06 12:13:10 +0000 | [diff] [blame] | 374 | } |
| 375 | |
Reid Kleckner | 7c4059e | 2014-09-04 17:42:03 +0000 | [diff] [blame] | 376 | const MCSectionCOFF * |
| 377 | MCContext::getAssociativeCOFFSection(const MCSectionCOFF *Sec, |
| 378 | const MCSymbol *KeySym) { |
| 379 | // Return the normal section if we don't have to be associative. |
| 380 | if (!KeySym) |
| 381 | return Sec; |
| 382 | |
| 383 | // Make an associative section with the same name and kind as the normal |
| 384 | // section. |
| 385 | unsigned Characteristics = |
| 386 | Sec->getCharacteristics() | COFF::IMAGE_SCN_LNK_COMDAT; |
| 387 | return getCOFFSection(Sec->getSectionName(), Characteristics, Sec->getKind(), |
| 388 | KeySym->getName(), |
| 389 | COFF::IMAGE_COMDAT_SELECT_ASSOCIATIVE); |
| 390 | } |
| 391 | |
Kevin Enderby | e5930f1 | 2010-07-28 20:55:35 +0000 | [diff] [blame] | 392 | //===----------------------------------------------------------------------===// |
| 393 | // Dwarf Management |
| 394 | //===----------------------------------------------------------------------===// |
| 395 | |
| 396 | /// GetDwarfFile - takes a file name an number to place in the dwarf file and |
| 397 | /// directory tables. If the file number has already been allocated it is an |
| 398 | /// error and zero is returned and the client reports the error, else the |
| 399 | /// allocated file number is returned. The file numbers may be in any order. |
Nick Lewycky | 40f8f2f | 2011-10-17 23:05:28 +0000 | [diff] [blame] | 400 | unsigned MCContext::GetDwarfFile(StringRef Directory, StringRef FileName, |
Manman Ren | 1e42720 | 2013-03-07 01:42:00 +0000 | [diff] [blame] | 401 | unsigned FileNumber, unsigned CUID) { |
David Blaikie | d9012ba | 2014-03-13 21:59:51 +0000 | [diff] [blame] | 402 | MCDwarfLineTable &Table = MCDwarfLineTablesCUMap[CUID]; |
David Blaikie | 498589c | 2014-03-13 19:15:04 +0000 | [diff] [blame] | 403 | return Table.getFile(Directory, FileName, FileNumber); |
Kevin Enderby | e5930f1 | 2010-07-28 20:55:35 +0000 | [diff] [blame] | 404 | } |
Kevin Enderby | 1264b7c | 2010-08-24 20:32:42 +0000 | [diff] [blame] | 405 | |
Kevin Enderby | a68d004 | 2010-10-04 20:17:24 +0000 | [diff] [blame] | 406 | /// isValidDwarfFileNumber - takes a dwarf file number and returns true if it |
Kevin Enderby | 1264b7c | 2010-08-24 20:32:42 +0000 | [diff] [blame] | 407 | /// currently is assigned and false otherwise. |
Manman Ren | 1e42720 | 2013-03-07 01:42:00 +0000 | [diff] [blame] | 408 | bool MCContext::isValidDwarfFileNumber(unsigned FileNumber, unsigned CUID) { |
David Blaikie | a55ddad | 2014-03-13 18:55:04 +0000 | [diff] [blame] | 409 | const SmallVectorImpl<MCDwarfFile>& MCDwarfFiles = getMCDwarfFiles(CUID); |
Kevin Enderby | 1264b7c | 2010-08-24 20:32:42 +0000 | [diff] [blame] | 410 | if(FileNumber == 0 || FileNumber >= MCDwarfFiles.size()) |
| 411 | return false; |
| 412 | |
David Blaikie | a55ddad | 2014-03-13 18:55:04 +0000 | [diff] [blame] | 413 | return !MCDwarfFiles[FileNumber].Name.empty(); |
Kevin Enderby | 1264b7c | 2010-08-24 20:32:42 +0000 | [diff] [blame] | 414 | } |
Jim Grosbach | b18b409 | 2012-01-26 23:20:11 +0000 | [diff] [blame] | 415 | |
Oliver Stannard | 8b27308 | 2014-06-19 15:52:37 +0000 | [diff] [blame] | 416 | /// finalizeDwarfSections - Emit end symbols for each non-empty code section. |
| 417 | /// Also remove empty sections from SectionStartEndSyms, to avoid generating |
| 418 | /// useless debug info for them. |
| 419 | void MCContext::finalizeDwarfSections(MCStreamer &MCOS) { |
| 420 | MCContext &context = MCOS.getContext(); |
| 421 | |
| 422 | auto sec = SectionStartEndSyms.begin(); |
| 423 | while (sec != SectionStartEndSyms.end()) { |
| 424 | assert(sec->second.first && "Start symbol must be set by now"); |
| 425 | MCOS.SwitchSection(sec->first); |
| 426 | if (MCOS.mayHaveInstructions()) { |
| 427 | MCSymbol *SectionEndSym = context.CreateTempSymbol(); |
| 428 | MCOS.EmitLabel(SectionEndSym); |
| 429 | sec->second.second = SectionEndSym; |
| 430 | ++sec; |
| 431 | } else { |
| 432 | MapVector<const MCSection *, std::pair<MCSymbol *, MCSymbol *> >::iterator |
| 433 | to_erase = sec; |
| 434 | sec = SectionStartEndSyms.erase(to_erase); |
| 435 | } |
| 436 | } |
| 437 | } |
| 438 | |
Kevin Enderby | 7ee97ce | 2014-04-22 21:42:18 +0000 | [diff] [blame] | 439 | void MCContext::FatalError(SMLoc Loc, const Twine &Msg) const { |
Jim Grosbach | b18b409 | 2012-01-26 23:20:11 +0000 | [diff] [blame] | 440 | // If we have a source manager and a location, use it. Otherwise just |
| 441 | // use the generic report_fatal_error(). |
| 442 | if (!SrcMgr || Loc == SMLoc()) |
Jim Grosbach | 9a3284f | 2014-03-14 22:41:58 +0000 | [diff] [blame] | 443 | report_fatal_error(Msg, false); |
Jim Grosbach | b18b409 | 2012-01-26 23:20:11 +0000 | [diff] [blame] | 444 | |
| 445 | // Use the source manager to print the message. |
| 446 | SrcMgr->PrintMessage(Loc, SourceMgr::DK_Error, Msg); |
| 447 | |
| 448 | // If we reached here, we are failing ungracefully. Run the interrupt handlers |
| 449 | // to make sure any special cleanups get done, in particular that we remove |
| 450 | // files registered with RemoveFileOnSignal. |
| 451 | sys::RunInterruptHandlers(); |
| 452 | exit(1); |
| 453 | } |