blob: b5b14b95f6675d9800bc4087b29504e050b14aed [file] [log] [blame]
Daniel Dunbarbadeace2009-06-23 23:39:15 +00001//===- lib/MC/MCContext.cpp - Machine Code Context ------------------------===//
Daniel Dunbarca29e4d2009-06-23 22:01:43 +00002//
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 Lattnerd3691dd2010-03-11 22:56:10 +000011#include "llvm/MC/MCAsmInfo.h"
Evan Cheng76792992011-07-20 05:58:47 +000012#include "llvm/MC/MCObjectFileInfo.h"
Evan Chengd60fa58b2011-07-18 20:57:22 +000013#include "llvm/MC/MCRegisterInfo.h"
Chris Lattner20731122010-04-08 20:30:37 +000014#include "llvm/MC/MCSectionMachO.h"
Chris Lattner5418dd52010-04-08 21:26:26 +000015#include "llvm/MC/MCSectionELF.h"
Chris Lattner87cffa92010-05-07 17:17:41 +000016#include "llvm/MC/MCSectionCOFF.h"
Daniel Dunbarca29e4d2009-06-23 22:01:43 +000017#include "llvm/MC/MCSymbol.h"
Kevin Enderby0510b482010-05-17 23:08:19 +000018#include "llvm/MC/MCLabel.h"
Kevin Enderbye5930f12010-07-28 20:55:35 +000019#include "llvm/MC/MCDwarf.h"
Chris Lattner86dfd732009-10-19 22:49:00 +000020#include "llvm/ADT/SmallString.h"
21#include "llvm/ADT/Twine.h"
Rafael Espindolaaea49582011-01-23 04:28:49 +000022#include "llvm/Support/ELF.h"
Jim Grosbachb18b4092012-01-26 23:20:11 +000023#include "llvm/Support/ErrorHandling.h"
24#include "llvm/Support/SourceMgr.h"
25#include "llvm/Support/Signals.h"
Daniel Dunbarca29e4d2009-06-23 22:01:43 +000026using namespace llvm;
27
Chris Lattner20731122010-04-08 20:30:37 +000028typedef StringMap<const MCSectionMachO*> MachOUniqueMapTy;
Chris Lattner5418dd52010-04-08 21:26:26 +000029typedef StringMap<const MCSectionELF*> ELFUniqueMapTy;
Chris Lattner87cffa92010-05-07 17:17:41 +000030typedef StringMap<const MCSectionCOFF*> COFFUniqueMapTy;
Chris Lattner20731122010-04-08 20:30:37 +000031
32
Evan Chengd60fa58b2011-07-18 20:57:22 +000033MCContext::MCContext(const MCAsmInfo &mai, const MCRegisterInfo &mri,
Jim Grosbachdfc5b552012-01-26 23:20:05 +000034 const MCObjectFileInfo *mofi, const SourceMgr *mgr) :
35 SrcMgr(mgr), MAI(mai), MRI(mri), MOFI(mofi),
Eli Friedman0e402082011-04-18 05:02:31 +000036 Allocator(), Symbols(Allocator), UsedNames(Allocator),
37 NextUniqueID(0),
Daniel Dunbar4ee0d032011-03-28 22:49:15 +000038 CurrentDwarfLoc(0,0,0,DWARF2_FLAG_IS_STMT,0,0),
39 AllowTemporaryLabels(true) {
Chris Lattner20731122010-04-08 20:30:37 +000040 MachOUniquingMap = 0;
Chris Lattner5418dd52010-04-08 21:26:26 +000041 ELFUniquingMap = 0;
Chris Lattner87cffa92010-05-07 17:17:41 +000042 COFFUniquingMap = 0;
Kevin Enderbye233dda2010-06-28 21:45:58 +000043
44 SecureLogFile = getenv("AS_SECURE_LOG_FILE");
45 SecureLog = 0;
46 SecureLogUsed = false;
Kevin Enderby1264b7c2010-08-24 20:32:42 +000047
48 DwarfLocSeen = false;
Kevin Enderby6469fc22011-11-01 22:27:22 +000049 GenDwarfForAssembly = false;
50 GenDwarfFileNumber = 0;
Daniel Dunbarca29e4d2009-06-23 22:01:43 +000051}
52
53MCContext::~MCContext() {
Chris Lattner20731122010-04-08 20:30:37 +000054 // NOTE: The symbols are all allocated out of a bump pointer allocator,
Chris Lattnerb6913162009-08-13 00:21:53 +000055 // we don't need to free them here.
Michael J. Spencerf13f4422010-11-26 04:16:08 +000056
Chris Lattner20731122010-04-08 20:30:37 +000057 // If we have the MachO uniquing map, free it.
58 delete (MachOUniqueMapTy*)MachOUniquingMap;
Chris Lattner5418dd52010-04-08 21:26:26 +000059 delete (ELFUniqueMapTy*)ELFUniquingMap;
Chris Lattner87cffa92010-05-07 17:17:41 +000060 delete (COFFUniqueMapTy*)COFFUniquingMap;
Kevin Enderbye233dda2010-06-28 21:45:58 +000061
62 // If the stream for the .secure_log_unique directive was created free it.
63 delete (raw_ostream*)SecureLog;
Daniel Dunbarca29e4d2009-06-23 22:01:43 +000064}
65
Chris Lattner20731122010-04-08 20:30:37 +000066//===----------------------------------------------------------------------===//
67// Symbol Manipulation
68//===----------------------------------------------------------------------===//
69
Chris Lattner98970432010-03-30 18:10:53 +000070MCSymbol *MCContext::GetOrCreateSymbol(StringRef Name) {
Chris Lattnerb973ea82010-03-10 01:29:27 +000071 assert(!Name.empty() && "Normal symbols cannot be unnamed!");
Michael J. Spencerf13f4422010-11-26 04:16:08 +000072
Chris Lattner13348762010-03-15 06:15:35 +000073 // Do the lookup and get the entire StringMapEntry. We want access to the
74 // key if we are creating the entry.
75 StringMapEntry<MCSymbol*> &Entry = Symbols.GetOrCreateValue(Name);
Rafael Espindola5fe5f452010-12-01 20:46:11 +000076 MCSymbol *Sym = Entry.getValue();
77
78 if (Sym)
79 return Sym;
80
81 Sym = CreateSymbol(Name);
82 Entry.setValue(Sym);
83 return Sym;
84}
85
86MCSymbol *MCContext::CreateSymbol(StringRef Name) {
Daniel Dunbar4ee0d032011-03-28 22:49:15 +000087 // Determine whether this is an assembler temporary or normal label, if used.
88 bool isTemporary = false;
89 if (AllowTemporaryLabels)
90 isTemporary = Name.startswith(MAI.getPrivateGlobalPrefix());
Rafael Espindola5fe5f452010-12-01 20:46:11 +000091
92 StringMapEntry<bool> *NameEntry = &UsedNames.GetOrCreateValue(Name);
93 if (NameEntry->getValue()) {
94 assert(isTemporary && "Cannot rename non temporary symbols");
Benjamin Kramer2b6c96b2011-04-09 11:26:27 +000095 SmallString<128> NewName = Name;
Rafael Espindola5fe5f452010-12-01 20:46:11 +000096 do {
Benjamin Kramer2b6c96b2011-04-09 11:26:27 +000097 NewName.resize(Name.size());
98 raw_svector_ostream(NewName) << NextUniqueID++;
99 NameEntry = &UsedNames.GetOrCreateValue(NewName);
Rafael Espindola5fe5f452010-12-01 20:46:11 +0000100 } while (NameEntry->getValue());
101 }
102 NameEntry->setValue(true);
Chris Lattner3f5738d2009-06-24 04:31:49 +0000103
Chris Lattner13348762010-03-15 06:15:35 +0000104 // Ok, the entry doesn't already exist. Have the MCSymbol object itself refer
Rafael Espindola5fe5f452010-12-01 20:46:11 +0000105 // to the copy of the string that is embedded in the UsedNames entry.
106 MCSymbol *Result = new (*this) MCSymbol(NameEntry->getKey(), isTemporary);
107
108 return Result;
Chris Lattner3f5738d2009-06-24 04:31:49 +0000109}
110
Chris Lattner98970432010-03-30 18:10:53 +0000111MCSymbol *MCContext::GetOrCreateSymbol(const Twine &Name) {
Chris Lattner86dfd732009-10-19 22:49:00 +0000112 SmallString<128> NameSV;
113 Name.toVector(NameSV);
Chris Lattner98970432010-03-30 18:10:53 +0000114 return GetOrCreateSymbol(NameSV.str());
Chris Lattner86dfd732009-10-19 22:49:00 +0000115}
116
Chris Lattner073d8172010-03-14 08:23:30 +0000117MCSymbol *MCContext::CreateTempSymbol() {
Rafael Espindola5fe5f452010-12-01 20:46:11 +0000118 SmallString<128> NameSV;
Benjamin Kramer2b6c96b2011-04-09 11:26:27 +0000119 raw_svector_ostream(NameSV)
120 << MAI.getPrivateGlobalPrefix() << "tmp" << NextUniqueID++;
Rafael Espindola5fe5f452010-12-01 20:46:11 +0000121 return CreateSymbol(NameSV);
Chris Lattner073d8172010-03-14 08:23:30 +0000122}
123
Kevin Enderby0510b482010-05-17 23:08:19 +0000124unsigned MCContext::NextInstance(int64_t LocalLabelVal) {
Benjamin Kramerab7be752010-05-18 12:15:34 +0000125 MCLabel *&Label = Instances[LocalLabelVal];
126 if (!Label)
127 Label = new (*this) MCLabel(0);
128 return Label->incInstance();
Kevin Enderby0510b482010-05-17 23:08:19 +0000129}
130
131unsigned MCContext::GetInstance(int64_t LocalLabelVal) {
Benjamin Kramerab7be752010-05-18 12:15:34 +0000132 MCLabel *&Label = Instances[LocalLabelVal];
133 if (!Label)
134 Label = new (*this) MCLabel(0);
135 return Label->getInstance();
Kevin Enderby0510b482010-05-17 23:08:19 +0000136}
137
138MCSymbol *MCContext::CreateDirectionalLocalSymbol(int64_t LocalLabelVal) {
139 return GetOrCreateSymbol(Twine(MAI.getPrivateGlobalPrefix()) +
140 Twine(LocalLabelVal) +
141 "\2" +
Duncan Sands41b4a6b2010-07-12 08:16:59 +0000142 Twine(NextInstance(LocalLabelVal)));
Kevin Enderby0510b482010-05-17 23:08:19 +0000143}
144MCSymbol *MCContext::GetDirectionalLocalSymbol(int64_t LocalLabelVal,
145 int bORf) {
146 return GetOrCreateSymbol(Twine(MAI.getPrivateGlobalPrefix()) +
147 Twine(LocalLabelVal) +
148 "\2" +
Duncan Sands41b4a6b2010-07-12 08:16:59 +0000149 Twine(GetInstance(LocalLabelVal) + bORf));
Kevin Enderby0510b482010-05-17 23:08:19 +0000150}
151
Daniel Dunbarad36e8a2009-11-06 10:58:06 +0000152MCSymbol *MCContext::LookupSymbol(StringRef Name) const {
Daniel Dunbarca29e4d2009-06-23 22:01:43 +0000153 return Symbols.lookup(Name);
154}
Chris Lattner20731122010-04-08 20:30:37 +0000155
156//===----------------------------------------------------------------------===//
157// Section Management
158//===----------------------------------------------------------------------===//
159
160const MCSectionMachO *MCContext::
161getMachOSection(StringRef Segment, StringRef Section,
162 unsigned TypeAndAttributes,
163 unsigned Reserved2, SectionKind Kind) {
Michael J. Spencerf13f4422010-11-26 04:16:08 +0000164
Chris Lattner20731122010-04-08 20:30:37 +0000165 // We unique sections by their segment/section pair. The returned section
166 // may not have the same flags as the requested section, if so this should be
167 // diagnosed by the client as an error.
Michael J. Spencerf13f4422010-11-26 04:16:08 +0000168
Chris Lattner20731122010-04-08 20:30:37 +0000169 // Create the map if it doesn't already exist.
170 if (MachOUniquingMap == 0)
171 MachOUniquingMap = new MachOUniqueMapTy();
172 MachOUniqueMapTy &Map = *(MachOUniqueMapTy*)MachOUniquingMap;
Michael J. Spencerf13f4422010-11-26 04:16:08 +0000173
Chris Lattner20731122010-04-08 20:30:37 +0000174 // Form the name to look up.
175 SmallString<64> Name;
176 Name += Segment;
177 Name.push_back(',');
178 Name += Section;
Michael J. Spencerf13f4422010-11-26 04:16:08 +0000179
Chris Lattner20731122010-04-08 20:30:37 +0000180 // Do the lookup, if we have a hit, return it.
181 const MCSectionMachO *&Entry = Map[Name.str()];
182 if (Entry) return Entry;
Michael J. Spencerf13f4422010-11-26 04:16:08 +0000183
Chris Lattner20731122010-04-08 20:30:37 +0000184 // Otherwise, return a new section.
Chris Lattner5418dd52010-04-08 21:26:26 +0000185 return Entry = new (*this) MCSectionMachO(Segment, Section, TypeAndAttributes,
186 Reserved2, Kind);
Chris Lattner20731122010-04-08 20:30:37 +0000187}
Chris Lattner5418dd52010-04-08 21:26:26 +0000188
Rafael Espindola36ef57d2010-11-10 19:05:07 +0000189const MCSectionELF *MCContext::
Chris Lattner5418dd52010-04-08 21:26:26 +0000190getELFSection(StringRef Section, unsigned Type, unsigned Flags,
Rafael Espindolaa3e9a222010-11-11 18:13:52 +0000191 SectionKind Kind) {
192 return getELFSection(Section, Type, Flags, Kind, 0, "");
193}
194
195const MCSectionELF *MCContext::
196getELFSection(StringRef Section, unsigned Type, unsigned Flags,
197 SectionKind Kind, unsigned EntrySize, StringRef Group) {
Chris Lattner5418dd52010-04-08 21:26:26 +0000198 if (ELFUniquingMap == 0)
199 ELFUniquingMap = new ELFUniqueMapTy();
200 ELFUniqueMapTy &Map = *(ELFUniqueMapTy*)ELFUniquingMap;
Michael J. Spencerf13f4422010-11-26 04:16:08 +0000201
Chris Lattner5418dd52010-04-08 21:26:26 +0000202 // Do the lookup, if we have a hit, return it.
203 StringMapEntry<const MCSectionELF*> &Entry = Map.GetOrCreateValue(Section);
204 if (Entry.getValue()) return Entry.getValue();
Michael J. Spencerf13f4422010-11-26 04:16:08 +0000205
Jan Wen Voungefbdbe52010-09-30 05:59:22 +0000206 // Possibly refine the entry size first.
207 if (!EntrySize) {
208 EntrySize = MCSectionELF::DetermineEntrySize(Kind);
209 }
Rafael Espindolaa3e9a222010-11-11 18:13:52 +0000210
211 MCSymbol *GroupSym = NULL;
212 if (!Group.empty())
213 GroupSym = GetOrCreateSymbol(Group);
214
Chris Lattner5418dd52010-04-08 21:26:26 +0000215 MCSectionELF *Result = new (*this) MCSectionELF(Entry.getKey(), Type, Flags,
Rafael Espindolaa3e9a222010-11-11 18:13:52 +0000216 Kind, EntrySize, GroupSym);
Chris Lattner5418dd52010-04-08 21:26:26 +0000217 Entry.setValue(Result);
218 return Result;
219}
220
Rafael Espindolaa3e9a222010-11-11 18:13:52 +0000221const MCSectionELF *MCContext::CreateELFGroupSection() {
222 MCSectionELF *Result =
Rafael Espindolaaea49582011-01-23 04:28:49 +0000223 new (*this) MCSectionELF(".group", ELF::SHT_GROUP, 0,
Rafael Espindolaa3e9a222010-11-11 18:13:52 +0000224 SectionKind::getReadOnly(), 4, NULL);
225 return Result;
226}
227
Chris Lattner02844932010-05-07 21:49:09 +0000228const MCSection *MCContext::getCOFFSection(StringRef Section,
229 unsigned Characteristics,
230 int Selection,
231 SectionKind Kind) {
Chris Lattner87cffa92010-05-07 17:17:41 +0000232 if (COFFUniquingMap == 0)
233 COFFUniquingMap = new COFFUniqueMapTy();
234 COFFUniqueMapTy &Map = *(COFFUniqueMapTy*)COFFUniquingMap;
Michael J. Spencerf13f4422010-11-26 04:16:08 +0000235
Chris Lattner87cffa92010-05-07 17:17:41 +0000236 // Do the lookup, if we have a hit, return it.
237 StringMapEntry<const MCSectionCOFF*> &Entry = Map.GetOrCreateValue(Section);
238 if (Entry.getValue()) return Entry.getValue();
Michael J. Spencerf13f4422010-11-26 04:16:08 +0000239
Chris Lattner02844932010-05-07 21:49:09 +0000240 MCSectionCOFF *Result = new (*this) MCSectionCOFF(Entry.getKey(),
241 Characteristics,
242 Selection, Kind);
Michael J. Spencerf13f4422010-11-26 04:16:08 +0000243
Chris Lattner87cffa92010-05-07 17:17:41 +0000244 Entry.setValue(Result);
245 return Result;
246}
Kevin Enderbye5930f12010-07-28 20:55:35 +0000247
248//===----------------------------------------------------------------------===//
249// Dwarf Management
250//===----------------------------------------------------------------------===//
251
252/// GetDwarfFile - takes a file name an number to place in the dwarf file and
253/// directory tables. If the file number has already been allocated it is an
254/// error and zero is returned and the client reports the error, else the
255/// allocated file number is returned. The file numbers may be in any order.
Nick Lewycky40f8f2f2011-10-17 23:05:28 +0000256unsigned MCContext::GetDwarfFile(StringRef Directory, StringRef FileName,
257 unsigned FileNumber) {
Kevin Enderbye5930f12010-07-28 20:55:35 +0000258 // TODO: a FileNumber of zero says to use the next available file number.
259 // Note: in GenericAsmParser::ParseDirectiveFile() FileNumber was checked
260 // to not be less than one. This needs to be change to be not less than zero.
261
262 // Make space for this FileNumber in the MCDwarfFiles vector if needed.
263 if (FileNumber >= MCDwarfFiles.size()) {
264 MCDwarfFiles.resize(FileNumber + 1);
265 } else {
266 MCDwarfFile *&ExistingFile = MCDwarfFiles[FileNumber];
267 if (ExistingFile)
268 // It is an error to use see the same number more than once.
269 return 0;
270 }
271
272 // Get the new MCDwarfFile slot for this FileNumber.
273 MCDwarfFile *&File = MCDwarfFiles[FileNumber];
274
Nick Lewycky40f8f2f2011-10-17 23:05:28 +0000275 if (Directory.empty()) {
276 // Separate the directory part from the basename of the FileName.
NAKAMURA Takumi30396ba2012-07-03 03:59:29 +0000277 StringRef tFileName = sys::path::filename(FileName);
278 if (!tFileName.empty()) {
279 Directory = sys::path::parent_path(FileName);
280 if (!Directory.empty())
NAKAMURA Takumi09e35102012-07-03 06:01:27 +0000281 FileName = tFileName;
Kevin Enderby82ed3be2011-11-01 23:39:05 +0000282 }
Nick Lewycky40f8f2f2011-10-17 23:05:28 +0000283 }
Kevin Enderbye5930f12010-07-28 20:55:35 +0000284
285 // Find or make a entry in the MCDwarfDirs vector for this Directory.
Kevin Enderbye5930f12010-07-28 20:55:35 +0000286 // Capture directory name.
Nick Lewycky40f8f2f2011-10-17 23:05:28 +0000287 unsigned DirIndex;
288 if (Directory.empty()) {
289 // For FileNames with no directories a DirIndex of 0 is used.
290 DirIndex = 0;
Kevin Enderbye5930f12010-07-28 20:55:35 +0000291 } else {
Nick Lewyckyf895efa2011-10-12 20:20:48 +0000292 DirIndex = 0;
293 for (unsigned End = MCDwarfDirs.size(); DirIndex < End; DirIndex++) {
Benjamin Kramerbccfec62010-07-29 13:53:19 +0000294 if (Directory == MCDwarfDirs[DirIndex])
Kevin Enderbyd94dacf2010-08-31 22:55:11 +0000295 break;
Kevin Enderbye5930f12010-07-28 20:55:35 +0000296 }
297 if (DirIndex >= MCDwarfDirs.size()) {
Benjamin Kramerbccfec62010-07-29 13:53:19 +0000298 char *Buf = static_cast<char *>(Allocate(Directory.size()));
299 memcpy(Buf, Directory.data(), Directory.size());
300 MCDwarfDirs.push_back(StringRef(Buf, Directory.size()));
Kevin Enderbye5930f12010-07-28 20:55:35 +0000301 }
Kevin Enderby7221b762010-08-09 22:52:14 +0000302 // The DirIndex is one based, as DirIndex of 0 is used for FileNames with
303 // no directories. MCDwarfDirs[] is unlike MCDwarfFiles[] in that the
Nick Lewycky40f8f2f2011-10-17 23:05:28 +0000304 // directory names are stored at MCDwarfDirs[DirIndex-1] where FileNames
305 // are stored at MCDwarfFiles[FileNumber].Name .
Kevin Enderby7221b762010-08-09 22:52:14 +0000306 DirIndex++;
Kevin Enderbye5930f12010-07-28 20:55:35 +0000307 }
Michael J. Spencerf13f4422010-11-26 04:16:08 +0000308
Kevin Enderbye5930f12010-07-28 20:55:35 +0000309 // Now make the MCDwarfFile entry and place it in the slot in the MCDwarfFiles
310 // vector.
Nick Lewycky40f8f2f2011-10-17 23:05:28 +0000311 char *Buf = static_cast<char *>(Allocate(FileName.size()));
312 memcpy(Buf, FileName.data(), FileName.size());
313 File = new (*this) MCDwarfFile(StringRef(Buf, FileName.size()), DirIndex);
Kevin Enderbye5930f12010-07-28 20:55:35 +0000314
315 // return the allocated FileNumber.
316 return FileNumber;
317}
Kevin Enderby1264b7c2010-08-24 20:32:42 +0000318
Kevin Enderbya68d0042010-10-04 20:17:24 +0000319/// isValidDwarfFileNumber - takes a dwarf file number and returns true if it
Kevin Enderby1264b7c2010-08-24 20:32:42 +0000320/// currently is assigned and false otherwise.
Kevin Enderbya68d0042010-10-04 20:17:24 +0000321bool MCContext::isValidDwarfFileNumber(unsigned FileNumber) {
Kevin Enderby1264b7c2010-08-24 20:32:42 +0000322 if(FileNumber == 0 || FileNumber >= MCDwarfFiles.size())
323 return false;
324
Kevin Enderbya68d0042010-10-04 20:17:24 +0000325 return MCDwarfFiles[FileNumber] != 0;
Kevin Enderby1264b7c2010-08-24 20:32:42 +0000326}
Jim Grosbachb18b4092012-01-26 23:20:11 +0000327
328void MCContext::FatalError(SMLoc Loc, const Twine &Msg) {
329 // If we have a source manager and a location, use it. Otherwise just
330 // use the generic report_fatal_error().
331 if (!SrcMgr || Loc == SMLoc())
332 report_fatal_error(Msg);
333
334 // Use the source manager to print the message.
335 SrcMgr->PrintMessage(Loc, SourceMgr::DK_Error, Msg);
336
337 // If we reached here, we are failing ungracefully. Run the interrupt handlers
338 // to make sure any special cleanups get done, in particular that we remove
339 // files registered with RemoveFileOnSignal.
340 sys::RunInterruptHandlers();
341 exit(1);
342}