1 //===- lib/MC/MCContext.cpp - Machine Code Context ------------------------===//
3 // The LLVM Compiler Infrastructure
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
8 //===----------------------------------------------------------------------===//
10 #include "llvm/MC/MCContext.h"
11 #include "llvm/ADT/SmallString.h"
12 #include "llvm/ADT/Twine.h"
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"
21 #include "llvm/MC/MCStreamer.h"
22 #include "llvm/MC/MCSymbol.h"
23 #include "llvm/Support/ELF.h"
24 #include "llvm/Support/ErrorHandling.h"
25 #include "llvm/Support/FileSystem.h"
26 #include "llvm/Support/MemoryBuffer.h"
27 #include "llvm/Support/Signals.h"
28 #include "llvm/Support/SourceMgr.h"
33 MCContext::MCContext(const MCAsmInfo *mai, const MCRegisterInfo *mri,
34 const MCObjectFileInfo *mofi, const SourceMgr *mgr,
36 : SrcMgr(mgr), MAI(mai), MRI(mri), MOFI(mofi), Allocator(),
37 Symbols(Allocator), UsedNames(Allocator),
38 CurrentDwarfLoc(0, 0, 0, DWARF2_FLAG_IS_STMT, 0, 0), DwarfLocSeen(false),
39 GenDwarfForAssembly(false), GenDwarfFileNumber(0), DwarfVersion(4),
40 AllowTemporaryLabels(true), DwarfCompileUnitID(0),
41 AutoReset(DoAutoReset) {
43 std::error_code EC = llvm::sys::fs::current_path(CompilationDir);
45 CompilationDir.clear();
47 SecureLogFile = getenv("AS_SECURE_LOG_FILE");
49 SecureLogUsed = false;
51 if (SrcMgr && SrcMgr->getNumBuffers())
53 SrcMgr->getMemoryBuffer(SrcMgr->getMainFileID())->getBufferIdentifier();
56 MCContext::~MCContext() {
61 // NOTE: The symbols are all allocated out of a bump pointer allocator,
62 // we don't need to free them here.
64 // If the stream for the .secure_log_unique directive was created free it.
65 delete (raw_ostream*)SecureLog;
68 //===----------------------------------------------------------------------===//
69 // Module Lifetime Management
70 //===----------------------------------------------------------------------===//
72 void MCContext::reset() {
77 CompilationDir.clear();
79 MCDwarfLineTablesCUMap.clear();
80 SectionStartEndSyms.clear();
81 MCGenDwarfLabelEntries.clear();
82 DwarfDebugFlags = StringRef();
83 DwarfCompileUnitID = 0;
84 CurrentDwarfLoc = MCDwarfLoc(0,0,0,DWARF2_FLAG_IS_STMT,0,0);
86 MachOUniquingMap.clear();
87 ELFUniquingMap.clear();
88 COFFUniquingMap.clear();
91 AllowTemporaryLabels = true;
93 GenDwarfForAssembly = false;
94 GenDwarfFileNumber = 0;
97 //===----------------------------------------------------------------------===//
98 // Symbol Manipulation
99 //===----------------------------------------------------------------------===//
101 MCSymbol *MCContext::GetOrCreateSymbol(const Twine &Name) {
102 SmallString<128> NameSV;
103 StringRef NameRef = Name.toStringRef(NameSV);
105 assert(!NameRef.empty() && "Normal symbols cannot be unnamed!");
107 MCSymbol *&Sym = Symbols[NameRef];
109 Sym = CreateSymbol(NameRef, false);
114 MCSymbol *MCContext::getOrCreateSectionSymbol(const MCSectionELF &Section) {
115 MCSymbol *&Sym = SectionSymbols[&Section];
119 StringRef Name = Section.getSectionName();
121 MCSymbol *&OldSym = Symbols[Name];
122 if (OldSym && OldSym->isUndefined()) {
127 auto NameIter = UsedNames.insert(std::make_pair(Name, true)).first;
128 Sym = new (*this) MCSymbol(NameIter->getKey(), /*isTemporary*/ false);
136 MCSymbol *MCContext::getOrCreateFrameAllocSymbol(StringRef FuncName,
138 return GetOrCreateSymbol(Twine(MAI->getPrivateGlobalPrefix()) + FuncName +
139 "$frame_escape_" + Twine(Idx));
142 MCSymbol *MCContext::CreateSymbol(StringRef Name, bool AlwaysAddSuffix) {
143 // Determine whether this is an assembler temporary or normal label, if used.
144 bool IsTemporary = false;
145 if (AllowTemporaryLabels)
146 IsTemporary = Name.startswith(MAI->getPrivateGlobalPrefix());
148 SmallString<128> NewName = Name;
149 bool AddSuffix = AlwaysAddSuffix;
150 unsigned &NextUniqueID = NextID[Name];
153 NewName.resize(Name.size());
154 raw_svector_ostream(NewName) << NextUniqueID++;
156 auto NameEntry = UsedNames.insert(std::make_pair(NewName, true));
157 if (NameEntry.second) {
158 // Ok, we found a name. Have the MCSymbol object itself refer to the copy
159 // of the string that is embedded in the UsedNames entry.
161 new (*this) MCSymbol(NameEntry.first->getKey(), IsTemporary);
164 assert(IsTemporary && "Cannot rename non-temporary symbols");
167 llvm_unreachable("Infinite loop");
170 MCSymbol *MCContext::createTempSymbol(const Twine &Name, bool AlwaysAddSuffix) {
171 SmallString<128> NameSV;
172 raw_svector_ostream(NameSV) << MAI->getPrivateGlobalPrefix() << Name;
173 return CreateSymbol(NameSV, AlwaysAddSuffix);
176 MCSymbol *MCContext::CreateLinkerPrivateTempSymbol() {
177 SmallString<128> NameSV;
178 raw_svector_ostream(NameSV) << MAI->getLinkerPrivateGlobalPrefix() << "tmp";
179 return CreateSymbol(NameSV, true);
182 MCSymbol *MCContext::CreateTempSymbol() {
183 return createTempSymbol("tmp", true);
186 unsigned MCContext::NextInstance(unsigned LocalLabelVal) {
187 MCLabel *&Label = Instances[LocalLabelVal];
189 Label = new (*this) MCLabel(0);
190 return Label->incInstance();
193 unsigned MCContext::GetInstance(unsigned LocalLabelVal) {
194 MCLabel *&Label = Instances[LocalLabelVal];
196 Label = new (*this) MCLabel(0);
197 return Label->getInstance();
200 MCSymbol *MCContext::getOrCreateDirectionalLocalSymbol(unsigned LocalLabelVal,
202 MCSymbol *&Sym = LocalSymbols[std::make_pair(LocalLabelVal, Instance)];
204 Sym = CreateTempSymbol();
208 MCSymbol *MCContext::CreateDirectionalLocalSymbol(unsigned LocalLabelVal) {
209 unsigned Instance = NextInstance(LocalLabelVal);
210 return getOrCreateDirectionalLocalSymbol(LocalLabelVal, Instance);
213 MCSymbol *MCContext::GetDirectionalLocalSymbol(unsigned LocalLabelVal,
215 unsigned Instance = GetInstance(LocalLabelVal);
218 return getOrCreateDirectionalLocalSymbol(LocalLabelVal, Instance);
221 MCSymbol *MCContext::LookupSymbol(const Twine &Name) const {
222 SmallString<128> NameSV;
223 StringRef NameRef = Name.toStringRef(NameSV);
224 return Symbols.lookup(NameRef);
227 //===----------------------------------------------------------------------===//
228 // Section Management
229 //===----------------------------------------------------------------------===//
231 const MCSectionMachO *
232 MCContext::getMachOSection(StringRef Segment, StringRef Section,
233 unsigned TypeAndAttributes, unsigned Reserved2,
234 SectionKind Kind, const char *BeginSymName) {
236 // We unique sections by their segment/section pair. The returned section
237 // may not have the same flags as the requested section, if so this should be
238 // diagnosed by the client as an error.
240 // Form the name to look up.
241 SmallString<64> Name;
246 // Do the lookup, if we have a hit, return it.
247 const MCSectionMachO *&Entry = MachOUniquingMap[Name];
251 MCSymbol *Begin = nullptr;
253 Begin = createTempSymbol(BeginSymName, false);
255 // Otherwise, return a new section.
256 return Entry = new (*this) MCSectionMachO(Segment, Section, TypeAndAttributes,
257 Reserved2, Kind, Begin);
260 const MCSectionELF *MCContext::getELFSection(StringRef Section, unsigned Type,
262 const char *BeginSymName) {
263 return getELFSection(Section, Type, Flags, 0, "", BeginSymName);
266 void MCContext::renameELFSection(const MCSectionELF *Section, StringRef Name) {
268 if (const MCSymbol *Group = Section->getGroup())
269 GroupName = Group->getName();
271 ELFUniquingMap.erase(SectionGroupPair(Section->getSectionName(), GroupName));
273 ELFUniquingMap.insert(std::make_pair(SectionGroupPair(Name, GroupName),
275 StringRef CachedName = I->first.first;
276 const_cast<MCSectionELF*>(Section)->setSectionName(CachedName);
279 const MCSectionELF *MCContext::getELFSection(StringRef Section, unsigned Type,
280 unsigned Flags, unsigned EntrySize,
281 StringRef Group, bool Unique,
282 const char *BeginSymName) {
283 // Do the lookup, if we have a hit, return it.
284 auto IterBool = ELFUniquingMap.insert(
285 std::make_pair(SectionGroupPair(Section, Group), nullptr));
286 auto &Entry = *IterBool.first;
287 if (!IterBool.second && !Unique)
290 MCSymbol *GroupSym = nullptr;
292 GroupSym = GetOrCreateSymbol(Group);
294 StringRef CachedName = Entry.first.first;
297 if (Flags & ELF::SHF_EXECINSTR)
298 Kind = SectionKind::getText();
300 Kind = SectionKind::getReadOnly();
302 MCSymbol *Begin = nullptr;
304 Begin = createTempSymbol(BeginSymName, false);
306 MCSectionELF *Result = new (*this) MCSectionELF(
307 CachedName, Type, Flags, Kind, EntrySize, GroupSym, Unique, Begin);
309 Entry.second = Result;
313 const MCSectionELF *MCContext::getELFSection(StringRef Section, unsigned Type,
314 unsigned Flags, unsigned EntrySize,
316 const char *BeginSymName) {
317 return getELFSection(Section, Type, Flags, EntrySize, Group, false,
321 const MCSectionELF *MCContext::CreateELFGroupSection() {
322 MCSectionELF *Result = new (*this)
323 MCSectionELF(".group", ELF::SHT_GROUP, 0, SectionKind::getReadOnly(), 4,
324 nullptr, false, nullptr);
328 const MCSectionCOFF *
329 MCContext::getCOFFSection(StringRef Section, unsigned Characteristics,
330 SectionKind Kind, StringRef COMDATSymName,
331 int Selection, const char *BeginSymName) {
332 // Do the lookup, if we have a hit, return it.
334 SectionGroupTriple T(Section, COMDATSymName, Selection);
335 auto IterBool = COFFUniquingMap.insert(std::make_pair(T, nullptr));
336 auto Iter = IterBool.first;
337 if (!IterBool.second)
340 MCSymbol *COMDATSymbol = nullptr;
341 if (!COMDATSymName.empty())
342 COMDATSymbol = GetOrCreateSymbol(COMDATSymName);
344 MCSymbol *Begin = nullptr;
346 Begin = createTempSymbol(BeginSymName, false);
348 StringRef CachedName = std::get<0>(Iter->first);
349 MCSectionCOFF *Result = new (*this) MCSectionCOFF(
350 CachedName, Characteristics, COMDATSymbol, Selection, Kind, Begin);
352 Iter->second = Result;
356 const MCSectionCOFF *MCContext::getCOFFSection(StringRef Section,
357 unsigned Characteristics,
359 const char *BeginSymName) {
360 return getCOFFSection(Section, Characteristics, Kind, "", 0, BeginSymName);
363 const MCSectionCOFF *MCContext::getCOFFSection(StringRef Section) {
364 SectionGroupTriple T(Section, "", 0);
365 auto Iter = COFFUniquingMap.find(T);
366 if (Iter == COFFUniquingMap.end())
371 const MCSectionCOFF *
372 MCContext::getAssociativeCOFFSection(const MCSectionCOFF *Sec,
373 const MCSymbol *KeySym) {
374 // Return the normal section if we don't have to be associative.
378 // Make an associative section with the same name and kind as the normal
380 unsigned Characteristics =
381 Sec->getCharacteristics() | COFF::IMAGE_SCN_LNK_COMDAT;
382 return getCOFFSection(Sec->getSectionName(), Characteristics, Sec->getKind(),
384 COFF::IMAGE_COMDAT_SELECT_ASSOCIATIVE);
387 //===----------------------------------------------------------------------===//
389 //===----------------------------------------------------------------------===//
391 /// GetDwarfFile - takes a file name an number to place in the dwarf file and
392 /// directory tables. If the file number has already been allocated it is an
393 /// error and zero is returned and the client reports the error, else the
394 /// allocated file number is returned. The file numbers may be in any order.
395 unsigned MCContext::GetDwarfFile(StringRef Directory, StringRef FileName,
396 unsigned FileNumber, unsigned CUID) {
397 MCDwarfLineTable &Table = MCDwarfLineTablesCUMap[CUID];
398 return Table.getFile(Directory, FileName, FileNumber);
401 /// isValidDwarfFileNumber - takes a dwarf file number and returns true if it
402 /// currently is assigned and false otherwise.
403 bool MCContext::isValidDwarfFileNumber(unsigned FileNumber, unsigned CUID) {
404 const SmallVectorImpl<MCDwarfFile>& MCDwarfFiles = getMCDwarfFiles(CUID);
405 if(FileNumber == 0 || FileNumber >= MCDwarfFiles.size())
408 return !MCDwarfFiles[FileNumber].Name.empty();
411 /// finalizeDwarfSections - Emit end symbols for each non-empty code section.
412 /// Also remove empty sections from SectionStartEndSyms, to avoid generating
413 /// useless debug info for them.
414 void MCContext::finalizeDwarfSections(MCStreamer &MCOS) {
415 MCContext &context = MCOS.getContext();
417 auto sec = SectionStartEndSyms.begin();
418 while (sec != SectionStartEndSyms.end()) {
419 assert(sec->second.first && "Start symbol must be set by now");
420 MCOS.SwitchSection(sec->first);
421 if (MCOS.mayHaveInstructions()) {
422 MCSymbol *SectionEndSym = context.CreateTempSymbol();
423 MCOS.EmitLabel(SectionEndSym);
424 sec->second.second = SectionEndSym;
427 MapVector<const MCSection *, std::pair<MCSymbol *, MCSymbol *> >::iterator
429 sec = SectionStartEndSyms.erase(to_erase);
434 void MCContext::FatalError(SMLoc Loc, const Twine &Msg) const {
435 // If we have a source manager and a location, use it. Otherwise just
436 // use the generic report_fatal_error().
437 if (!SrcMgr || Loc == SMLoc())
438 report_fatal_error(Msg, false);
440 // Use the source manager to print the message.
441 SrcMgr->PrintMessage(Loc, SourceMgr::DK_Error, Msg);
443 // If we reached here, we are failing ungracefully. Run the interrupt handlers
444 // to make sure any special cleanups get done, in particular that we remove
445 // files registered with RemoveFileOnSignal.
446 sys::RunInterruptHandlers();