blob: 018f00c08f6f9eae24d263ebc356bc691e25a25f [file] [log] [blame]
Daniel Dunbarba1da8a2009-06-23 23:39:15 +00001//===- lib/MC/MCContext.cpp - Machine Code Context ------------------------===//
Daniel Dunbarecc63f82009-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 Lattner1a5c28f2010-03-11 22:56:10 +000011#include "llvm/MC/MCAsmInfo.h"
Chris Lattnerf0559e42010-04-08 20:30:37 +000012#include "llvm/MC/MCSectionMachO.h"
Chris Lattner74aae472010-04-08 21:26:26 +000013#include "llvm/MC/MCSectionELF.h"
Chris Lattnereb40a0f2010-05-07 17:17:41 +000014#include "llvm/MC/MCSectionCOFF.h"
Daniel Dunbarecc63f82009-06-23 22:01:43 +000015#include "llvm/MC/MCSymbol.h"
Kevin Enderbyebe7fcd2010-05-17 23:08:19 +000016#include "llvm/MC/MCLabel.h"
Kevin Enderby7cbf73a2010-07-28 20:55:35 +000017#include "llvm/MC/MCDwarf.h"
Rafael Espindola89b93722010-12-10 07:39:47 +000018#include "llvm/Target/TargetAsmInfo.h"
Chris Lattner7c5b0212009-10-19 22:49:00 +000019#include "llvm/ADT/SmallString.h"
20#include "llvm/ADT/Twine.h"
Rafael Espindolac85dca62011-01-23 04:28:49 +000021#include "llvm/Support/ELF.h"
Daniel Dunbarecc63f82009-06-23 22:01:43 +000022using namespace llvm;
23
Chris Lattnerf0559e42010-04-08 20:30:37 +000024typedef StringMap<const MCSectionMachO*> MachOUniqueMapTy;
Chris Lattner74aae472010-04-08 21:26:26 +000025typedef StringMap<const MCSectionELF*> ELFUniqueMapTy;
Chris Lattnereb40a0f2010-05-07 17:17:41 +000026typedef StringMap<const MCSectionCOFF*> COFFUniqueMapTy;
Chris Lattnerf0559e42010-04-08 20:30:37 +000027
28
Rafael Espindola89b93722010-12-10 07:39:47 +000029MCContext::MCContext(const MCAsmInfo &mai, const TargetAsmInfo *tai) :
30 MAI(mai), TAI(tai), NextUniqueID(0),
31 CurrentDwarfLoc(0,0,0,DWARF2_FLAG_IS_STMT,0,0) {
Chris Lattnerf0559e42010-04-08 20:30:37 +000032 MachOUniquingMap = 0;
Chris Lattner74aae472010-04-08 21:26:26 +000033 ELFUniquingMap = 0;
Chris Lattnereb40a0f2010-05-07 17:17:41 +000034 COFFUniquingMap = 0;
Kevin Enderbyf187ac52010-06-28 21:45:58 +000035
36 SecureLogFile = getenv("AS_SECURE_LOG_FILE");
37 SecureLog = 0;
38 SecureLogUsed = false;
Kevin Enderbyc1840b32010-08-24 20:32:42 +000039
40 DwarfLocSeen = false;
Daniel Dunbarecc63f82009-06-23 22:01:43 +000041}
42
43MCContext::~MCContext() {
Chris Lattnerf0559e42010-04-08 20:30:37 +000044 // NOTE: The symbols are all allocated out of a bump pointer allocator,
Chris Lattnerc9d31522009-08-13 00:21:53 +000045 // we don't need to free them here.
Michael J. Spencer326990f2010-11-26 04:16:08 +000046
Chris Lattnerf0559e42010-04-08 20:30:37 +000047 // If we have the MachO uniquing map, free it.
48 delete (MachOUniqueMapTy*)MachOUniquingMap;
Chris Lattner74aae472010-04-08 21:26:26 +000049 delete (ELFUniqueMapTy*)ELFUniquingMap;
Chris Lattnereb40a0f2010-05-07 17:17:41 +000050 delete (COFFUniqueMapTy*)COFFUniquingMap;
Kevin Enderbyf187ac52010-06-28 21:45:58 +000051
52 // If the stream for the .secure_log_unique directive was created free it.
53 delete (raw_ostream*)SecureLog;
Rafael Espindola89b93722010-12-10 07:39:47 +000054
55 delete TAI;
Daniel Dunbarecc63f82009-06-23 22:01:43 +000056}
57
Chris Lattnerf0559e42010-04-08 20:30:37 +000058//===----------------------------------------------------------------------===//
59// Symbol Manipulation
60//===----------------------------------------------------------------------===//
61
Chris Lattner9b97a732010-03-30 18:10:53 +000062MCSymbol *MCContext::GetOrCreateSymbol(StringRef Name) {
Chris Lattner00685bb2010-03-10 01:29:27 +000063 assert(!Name.empty() && "Normal symbols cannot be unnamed!");
Michael J. Spencer326990f2010-11-26 04:16:08 +000064
Chris Lattnerc28cc092010-03-15 06:15:35 +000065 // Do the lookup and get the entire StringMapEntry. We want access to the
66 // key if we are creating the entry.
67 StringMapEntry<MCSymbol*> &Entry = Symbols.GetOrCreateValue(Name);
Rafael Espindola9f447242010-12-01 20:46:11 +000068 MCSymbol *Sym = Entry.getValue();
69
70 if (Sym)
71 return Sym;
72
73 Sym = CreateSymbol(Name);
74 Entry.setValue(Sym);
75 return Sym;
76}
77
78MCSymbol *MCContext::CreateSymbol(StringRef Name) {
79 // Determine whether this is an assembler temporary or normal label.
80 bool isTemporary = Name.startswith(MAI.getPrivateGlobalPrefix());
81
82 StringMapEntry<bool> *NameEntry = &UsedNames.GetOrCreateValue(Name);
83 if (NameEntry->getValue()) {
84 assert(isTemporary && "Cannot rename non temporary symbols");
85 SmallString<128> NewName;
86 do {
87 Twine T = Name + Twine(NextUniqueID++);
88 T.toVector(NewName);
89 StringRef foo = NewName;
90 NameEntry = &UsedNames.GetOrCreateValue(foo);
91 } while (NameEntry->getValue());
92 }
93 NameEntry->setValue(true);
Chris Lattnerc69485e2009-06-24 04:31:49 +000094
Chris Lattnerc28cc092010-03-15 06:15:35 +000095 // Ok, the entry doesn't already exist. Have the MCSymbol object itself refer
Rafael Espindola9f447242010-12-01 20:46:11 +000096 // to the copy of the string that is embedded in the UsedNames entry.
97 MCSymbol *Result = new (*this) MCSymbol(NameEntry->getKey(), isTemporary);
98
99 return Result;
Chris Lattnerc69485e2009-06-24 04:31:49 +0000100}
101
Chris Lattner9b97a732010-03-30 18:10:53 +0000102MCSymbol *MCContext::GetOrCreateSymbol(const Twine &Name) {
Chris Lattner7c5b0212009-10-19 22:49:00 +0000103 SmallString<128> NameSV;
104 Name.toVector(NameSV);
Chris Lattner9b97a732010-03-30 18:10:53 +0000105 return GetOrCreateSymbol(NameSV.str());
Chris Lattner7c5b0212009-10-19 22:49:00 +0000106}
107
Chris Lattner1d72a762010-03-14 08:23:30 +0000108MCSymbol *MCContext::CreateTempSymbol() {
Rafael Espindola9f447242010-12-01 20:46:11 +0000109 SmallString<128> NameSV;
110 Twine Name = Twine(MAI.getPrivateGlobalPrefix()) + "tmp" +
111 Twine(NextUniqueID++);
112 Name.toVector(NameSV);
113 return CreateSymbol(NameSV);
Chris Lattner1d72a762010-03-14 08:23:30 +0000114}
115
Kevin Enderbyebe7fcd2010-05-17 23:08:19 +0000116unsigned MCContext::NextInstance(int64_t LocalLabelVal) {
Benjamin Kramer47f9a492010-05-18 12:15:34 +0000117 MCLabel *&Label = Instances[LocalLabelVal];
118 if (!Label)
119 Label = new (*this) MCLabel(0);
120 return Label->incInstance();
Kevin Enderbyebe7fcd2010-05-17 23:08:19 +0000121}
122
123unsigned MCContext::GetInstance(int64_t LocalLabelVal) {
Benjamin Kramer47f9a492010-05-18 12:15:34 +0000124 MCLabel *&Label = Instances[LocalLabelVal];
125 if (!Label)
126 Label = new (*this) MCLabel(0);
127 return Label->getInstance();
Kevin Enderbyebe7fcd2010-05-17 23:08:19 +0000128}
129
130MCSymbol *MCContext::CreateDirectionalLocalSymbol(int64_t LocalLabelVal) {
131 return GetOrCreateSymbol(Twine(MAI.getPrivateGlobalPrefix()) +
132 Twine(LocalLabelVal) +
133 "\2" +
Duncan Sands34727662010-07-12 08:16:59 +0000134 Twine(NextInstance(LocalLabelVal)));
Kevin Enderbyebe7fcd2010-05-17 23:08:19 +0000135}
136MCSymbol *MCContext::GetDirectionalLocalSymbol(int64_t LocalLabelVal,
137 int bORf) {
138 return GetOrCreateSymbol(Twine(MAI.getPrivateGlobalPrefix()) +
139 Twine(LocalLabelVal) +
140 "\2" +
Duncan Sands34727662010-07-12 08:16:59 +0000141 Twine(GetInstance(LocalLabelVal) + bORf));
Kevin Enderbyebe7fcd2010-05-17 23:08:19 +0000142}
143
Daniel Dunbar2928c832009-11-06 10:58:06 +0000144MCSymbol *MCContext::LookupSymbol(StringRef Name) const {
Daniel Dunbarecc63f82009-06-23 22:01:43 +0000145 return Symbols.lookup(Name);
146}
Chris Lattnerf0559e42010-04-08 20:30:37 +0000147
148//===----------------------------------------------------------------------===//
149// Section Management
150//===----------------------------------------------------------------------===//
151
152const MCSectionMachO *MCContext::
153getMachOSection(StringRef Segment, StringRef Section,
154 unsigned TypeAndAttributes,
155 unsigned Reserved2, SectionKind Kind) {
Michael J. Spencer326990f2010-11-26 04:16:08 +0000156
Chris Lattnerf0559e42010-04-08 20:30:37 +0000157 // We unique sections by their segment/section pair. The returned section
158 // may not have the same flags as the requested section, if so this should be
159 // diagnosed by the client as an error.
Michael J. Spencer326990f2010-11-26 04:16:08 +0000160
Chris Lattnerf0559e42010-04-08 20:30:37 +0000161 // Create the map if it doesn't already exist.
162 if (MachOUniquingMap == 0)
163 MachOUniquingMap = new MachOUniqueMapTy();
164 MachOUniqueMapTy &Map = *(MachOUniqueMapTy*)MachOUniquingMap;
Michael J. Spencer326990f2010-11-26 04:16:08 +0000165
Chris Lattnerf0559e42010-04-08 20:30:37 +0000166 // Form the name to look up.
167 SmallString<64> Name;
168 Name += Segment;
169 Name.push_back(',');
170 Name += Section;
Michael J. Spencer326990f2010-11-26 04:16:08 +0000171
Chris Lattnerf0559e42010-04-08 20:30:37 +0000172 // Do the lookup, if we have a hit, return it.
173 const MCSectionMachO *&Entry = Map[Name.str()];
174 if (Entry) return Entry;
Michael J. Spencer326990f2010-11-26 04:16:08 +0000175
Chris Lattnerf0559e42010-04-08 20:30:37 +0000176 // Otherwise, return a new section.
Chris Lattner74aae472010-04-08 21:26:26 +0000177 return Entry = new (*this) MCSectionMachO(Segment, Section, TypeAndAttributes,
178 Reserved2, Kind);
Chris Lattnerf0559e42010-04-08 20:30:37 +0000179}
Chris Lattner74aae472010-04-08 21:26:26 +0000180
Rafael Espindola4283f4b2010-11-10 19:05:07 +0000181const MCSectionELF *MCContext::
Chris Lattner74aae472010-04-08 21:26:26 +0000182getELFSection(StringRef Section, unsigned Type, unsigned Flags,
Rafael Espindola2ff9e832010-11-11 18:13:52 +0000183 SectionKind Kind) {
184 return getELFSection(Section, Type, Flags, Kind, 0, "");
185}
186
187const MCSectionELF *MCContext::
188getELFSection(StringRef Section, unsigned Type, unsigned Flags,
189 SectionKind Kind, unsigned EntrySize, StringRef Group) {
Chris Lattner74aae472010-04-08 21:26:26 +0000190 if (ELFUniquingMap == 0)
191 ELFUniquingMap = new ELFUniqueMapTy();
192 ELFUniqueMapTy &Map = *(ELFUniqueMapTy*)ELFUniquingMap;
Michael J. Spencer326990f2010-11-26 04:16:08 +0000193
Chris Lattner74aae472010-04-08 21:26:26 +0000194 // Do the lookup, if we have a hit, return it.
195 StringMapEntry<const MCSectionELF*> &Entry = Map.GetOrCreateValue(Section);
196 if (Entry.getValue()) return Entry.getValue();
Michael J. Spencer326990f2010-11-26 04:16:08 +0000197
Jan Wen Voung186e7a02010-09-30 05:59:22 +0000198 // Possibly refine the entry size first.
199 if (!EntrySize) {
200 EntrySize = MCSectionELF::DetermineEntrySize(Kind);
201 }
Rafael Espindola2ff9e832010-11-11 18:13:52 +0000202
203 MCSymbol *GroupSym = NULL;
204 if (!Group.empty())
205 GroupSym = GetOrCreateSymbol(Group);
206
Chris Lattner74aae472010-04-08 21:26:26 +0000207 MCSectionELF *Result = new (*this) MCSectionELF(Entry.getKey(), Type, Flags,
Rafael Espindola2ff9e832010-11-11 18:13:52 +0000208 Kind, EntrySize, GroupSym);
Chris Lattner74aae472010-04-08 21:26:26 +0000209 Entry.setValue(Result);
210 return Result;
211}
212
Rafael Espindola2ff9e832010-11-11 18:13:52 +0000213const MCSectionELF *MCContext::CreateELFGroupSection() {
214 MCSectionELF *Result =
Rafael Espindolac85dca62011-01-23 04:28:49 +0000215 new (*this) MCSectionELF(".group", ELF::SHT_GROUP, 0,
Rafael Espindola2ff9e832010-11-11 18:13:52 +0000216 SectionKind::getReadOnly(), 4, NULL);
217 return Result;
218}
219
Chris Lattner6e5ce282010-05-07 21:49:09 +0000220const MCSection *MCContext::getCOFFSection(StringRef Section,
221 unsigned Characteristics,
222 int Selection,
223 SectionKind Kind) {
Chris Lattnereb40a0f2010-05-07 17:17:41 +0000224 if (COFFUniquingMap == 0)
225 COFFUniquingMap = new COFFUniqueMapTy();
226 COFFUniqueMapTy &Map = *(COFFUniqueMapTy*)COFFUniquingMap;
Michael J. Spencer326990f2010-11-26 04:16:08 +0000227
Chris Lattnereb40a0f2010-05-07 17:17:41 +0000228 // Do the lookup, if we have a hit, return it.
229 StringMapEntry<const MCSectionCOFF*> &Entry = Map.GetOrCreateValue(Section);
230 if (Entry.getValue()) return Entry.getValue();
Michael J. Spencer326990f2010-11-26 04:16:08 +0000231
Chris Lattner6e5ce282010-05-07 21:49:09 +0000232 MCSectionCOFF *Result = new (*this) MCSectionCOFF(Entry.getKey(),
233 Characteristics,
234 Selection, Kind);
Michael J. Spencer326990f2010-11-26 04:16:08 +0000235
Chris Lattnereb40a0f2010-05-07 17:17:41 +0000236 Entry.setValue(Result);
237 return Result;
238}
Kevin Enderby7cbf73a2010-07-28 20:55:35 +0000239
240//===----------------------------------------------------------------------===//
241// Dwarf Management
242//===----------------------------------------------------------------------===//
243
244/// GetDwarfFile - takes a file name an number to place in the dwarf file and
245/// directory tables. If the file number has already been allocated it is an
246/// error and zero is returned and the client reports the error, else the
247/// allocated file number is returned. The file numbers may be in any order.
248unsigned MCContext::GetDwarfFile(StringRef FileName, unsigned FileNumber) {
249 // TODO: a FileNumber of zero says to use the next available file number.
250 // Note: in GenericAsmParser::ParseDirectiveFile() FileNumber was checked
251 // to not be less than one. This needs to be change to be not less than zero.
252
253 // Make space for this FileNumber in the MCDwarfFiles vector if needed.
254 if (FileNumber >= MCDwarfFiles.size()) {
255 MCDwarfFiles.resize(FileNumber + 1);
256 } else {
257 MCDwarfFile *&ExistingFile = MCDwarfFiles[FileNumber];
258 if (ExistingFile)
259 // It is an error to use see the same number more than once.
260 return 0;
261 }
262
263 // Get the new MCDwarfFile slot for this FileNumber.
264 MCDwarfFile *&File = MCDwarfFiles[FileNumber];
265
266 // Separate the directory part from the basename of the FileName.
267 std::pair<StringRef, StringRef> Slash = FileName.rsplit('/');
268
269 // Find or make a entry in the MCDwarfDirs vector for this Directory.
Kevin Enderby7cbf73a2010-07-28 20:55:35 +0000270 StringRef Name;
271 unsigned DirIndex;
272 // Capture directory name.
273 if (Slash.second.empty()) {
274 Name = Slash.first;
275 DirIndex = 0; // For FileNames with no directories a DirIndex of 0 is used.
276 } else {
Benjamin Kramer3bce5ad2010-07-29 13:53:19 +0000277 StringRef Directory = Slash.first;
Kevin Enderby7cbf73a2010-07-28 20:55:35 +0000278 Name = Slash.second;
Kevin Enderbyb07ce602010-08-09 22:52:14 +0000279 for (DirIndex = 0; DirIndex < MCDwarfDirs.size(); DirIndex++) {
Benjamin Kramer3bce5ad2010-07-29 13:53:19 +0000280 if (Directory == MCDwarfDirs[DirIndex])
Kevin Enderby232ab942010-08-31 22:55:11 +0000281 break;
Kevin Enderby7cbf73a2010-07-28 20:55:35 +0000282 }
283 if (DirIndex >= MCDwarfDirs.size()) {
Benjamin Kramer3bce5ad2010-07-29 13:53:19 +0000284 char *Buf = static_cast<char *>(Allocate(Directory.size()));
285 memcpy(Buf, Directory.data(), Directory.size());
286 MCDwarfDirs.push_back(StringRef(Buf, Directory.size()));
Kevin Enderby7cbf73a2010-07-28 20:55:35 +0000287 }
Kevin Enderbyb07ce602010-08-09 22:52:14 +0000288 // The DirIndex is one based, as DirIndex of 0 is used for FileNames with
289 // no directories. MCDwarfDirs[] is unlike MCDwarfFiles[] in that the
290 // directory names are stored at MCDwarfDirs[DirIndex-1] where FileNames are
291 // stored at MCDwarfFiles[FileNumber].Name .
292 DirIndex++;
Kevin Enderby7cbf73a2010-07-28 20:55:35 +0000293 }
Michael J. Spencer326990f2010-11-26 04:16:08 +0000294
Kevin Enderby7cbf73a2010-07-28 20:55:35 +0000295 // Now make the MCDwarfFile entry and place it in the slot in the MCDwarfFiles
296 // vector.
Benjamin Kramer3bce5ad2010-07-29 13:53:19 +0000297 char *Buf = static_cast<char *>(Allocate(Name.size()));
298 memcpy(Buf, Name.data(), Name.size());
299 File = new (*this) MCDwarfFile(StringRef(Buf, Name.size()), DirIndex);
Kevin Enderby7cbf73a2010-07-28 20:55:35 +0000300
301 // return the allocated FileNumber.
302 return FileNumber;
303}
Kevin Enderbyc1840b32010-08-24 20:32:42 +0000304
Kevin Enderby3f55c242010-10-04 20:17:24 +0000305/// isValidDwarfFileNumber - takes a dwarf file number and returns true if it
Kevin Enderbyc1840b32010-08-24 20:32:42 +0000306/// currently is assigned and false otherwise.
Kevin Enderby3f55c242010-10-04 20:17:24 +0000307bool MCContext::isValidDwarfFileNumber(unsigned FileNumber) {
Kevin Enderbyc1840b32010-08-24 20:32:42 +0000308 if(FileNumber == 0 || FileNumber >= MCDwarfFiles.size())
309 return false;
310
Kevin Enderby3f55c242010-10-04 20:17:24 +0000311 return MCDwarfFiles[FileNumber] != 0;
Kevin Enderbyc1840b32010-08-24 20:32:42 +0000312}