blob: ff0180bc0f98f6d435500e3ee67939aa4a385a6a [file] [log] [blame]
Chris Lattnerf0144122009-07-28 03:13:23 +00001//===-- llvm/Target/TargetLoweringObjectFile.cpp - Object File Info -------===//
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// This file implements classes used to handle lowerings specific to common
11// object file formats.
12//
13//===----------------------------------------------------------------------===//
14
15#include "llvm/Target/TargetLoweringObjectFile.h"
16#include "llvm/Constants.h"
17#include "llvm/DerivedTypes.h"
Dan Gohmanffef8ac2009-08-11 16:02:12 +000018#include "llvm/Function.h"
Chris Lattnerf0144122009-07-28 03:13:23 +000019#include "llvm/GlobalVariable.h"
Chris Lattnera87dea42009-07-31 18:48:30 +000020#include "llvm/MC/MCContext.h"
Chris Lattnerf9bdedd2009-08-10 18:15:01 +000021#include "llvm/MC/MCSectionMachO.h"
Bruno Cardoso Lopesb8085882009-08-13 05:07:35 +000022#include "llvm/MC/MCSectionELF.h"
Chris Lattnerf0144122009-07-28 03:13:23 +000023#include "llvm/Target/TargetData.h"
Chris Lattner5277b222009-08-08 20:43:12 +000024#include "llvm/Target/TargetMachine.h"
Chris Lattnerf0144122009-07-28 03:13:23 +000025#include "llvm/Target/TargetOptions.h"
Chris Lattnera87dea42009-07-31 18:48:30 +000026#include "llvm/Support/Mangler.h"
Chris Lattner5dc47ff2009-08-12 23:55:02 +000027#include "llvm/ADT/SmallString.h"
Chris Lattnerf0144122009-07-28 03:13:23 +000028#include "llvm/ADT/StringExtras.h"
29using namespace llvm;
30
31//===----------------------------------------------------------------------===//
32// Generic Code
33//===----------------------------------------------------------------------===//
34
Chris Lattnera87dea42009-07-31 18:48:30 +000035TargetLoweringObjectFile::TargetLoweringObjectFile() : Ctx(0) {
Chris Lattnerf0144122009-07-28 03:13:23 +000036 TextSection = 0;
37 DataSection = 0;
Chris Lattner82458382009-08-01 21:56:13 +000038 BSSSection = 0;
Chris Lattnerf0144122009-07-28 03:13:23 +000039 ReadOnlySection = 0;
Chris Lattner80ec2792009-08-02 00:34:36 +000040 StaticCtorSection = 0;
41 StaticDtorSection = 0;
Chris Lattnerd5bbb072009-08-02 01:34:32 +000042 LSDASection = 0;
Chris Lattner35039ac2009-08-02 06:52:36 +000043 EHFrameSection = 0;
Chris Lattner18a4c162009-08-02 07:24:22 +000044
45 DwarfAbbrevSection = 0;
46 DwarfInfoSection = 0;
47 DwarfLineSection = 0;
48 DwarfFrameSection = 0;
49 DwarfPubNamesSection = 0;
50 DwarfPubTypesSection = 0;
51 DwarfDebugInlineSection = 0;
52 DwarfStrSection = 0;
53 DwarfLocSection = 0;
54 DwarfARangesSection = 0;
55 DwarfRangesSection = 0;
56 DwarfMacroInfoSection = 0;
Chris Lattnerf0144122009-07-28 03:13:23 +000057}
58
59TargetLoweringObjectFile::~TargetLoweringObjectFile() {
60}
61
62static bool isSuitableForBSS(const GlobalVariable *GV) {
63 Constant *C = GV->getInitializer();
64
65 // Must have zero initializer.
66 if (!C->isNullValue())
67 return false;
68
69 // Leave constant zeros in readonly constant sections, so they can be shared.
70 if (GV->isConstant())
71 return false;
72
73 // If the global has an explicit section specified, don't put it in BSS.
74 if (!GV->getSection().empty())
75 return false;
76
77 // If -nozero-initialized-in-bss is specified, don't ever use BSS.
78 if (NoZerosInBSS)
79 return false;
80
81 // Otherwise, put it in BSS!
82 return true;
83}
84
Chris Lattner1850e5a2009-08-04 16:13:09 +000085/// IsNullTerminatedString - Return true if the specified constant (which is
86/// known to have a type that is an array of 1/2/4 byte elements) ends with a
87/// nul value and contains no other nuls in it.
88static bool IsNullTerminatedString(const Constant *C) {
89 const ArrayType *ATy = cast<ArrayType>(C->getType());
90
Chris Lattnerf0144122009-07-28 03:13:23 +000091 // First check: is we have constant array of i8 terminated with zero
Chris Lattner1850e5a2009-08-04 16:13:09 +000092 if (const ConstantArray *CVA = dyn_cast<ConstantArray>(C)) {
93 if (ATy->getNumElements() == 0) return false;
94
95 ConstantInt *Null =
96 dyn_cast<ConstantInt>(CVA->getOperand(ATy->getNumElements()-1));
97 if (Null == 0 || Null->getZExtValue() != 0)
98 return false; // Not null terminated.
99
100 // Verify that the null doesn't occur anywhere else in the string.
101 for (unsigned i = 0, e = ATy->getNumElements()-1; i != e; ++i)
102 // Reject constantexpr elements etc.
103 if (!isa<ConstantInt>(CVA->getOperand(i)) ||
104 CVA->getOperand(i) == Null)
105 return false;
Chris Lattnerf0144122009-07-28 03:13:23 +0000106 return true;
Chris Lattner1850e5a2009-08-04 16:13:09 +0000107 }
Chris Lattnerf0144122009-07-28 03:13:23 +0000108
109 // Another possibility: [1 x i8] zeroinitializer
110 if (isa<ConstantAggregateZero>(C))
Chris Lattner1850e5a2009-08-04 16:13:09 +0000111 return ATy->getNumElements() == 1;
Chris Lattnerf0144122009-07-28 03:13:23 +0000112
113 return false;
114}
115
Chris Lattner58bed8f2009-08-05 04:25:40 +0000116/// getKindForGlobal - This is a top-level target-independent classifier for
Chris Lattner968ff112009-08-01 21:11:14 +0000117/// a global variable. Given an global variable and information from TM, it
118/// classifies the global in a variety of ways that make various target
119/// implementations simpler. The target implementation is free to ignore this
120/// extra info of course.
Chris Lattner58bed8f2009-08-05 04:25:40 +0000121SectionKind TargetLoweringObjectFile::getKindForGlobal(const GlobalValue *GV,
122 const TargetMachine &TM){
123 assert(!GV->isDeclaration() && !GV->hasAvailableExternallyLinkage() &&
124 "Can only be used for global definitions");
125
Chris Lattnerf0144122009-07-28 03:13:23 +0000126 Reloc::Model ReloModel = TM.getRelocationModel();
127
128 // Early exit - functions should be always in text sections.
129 const GlobalVariable *GVar = dyn_cast<GlobalVariable>(GV);
130 if (GVar == 0)
Chris Lattner27981192009-08-01 23:57:16 +0000131 return SectionKind::getText();
Chris Lattnerf0144122009-07-28 03:13:23 +0000132
133 // Handle thread-local data first.
134 if (GVar->isThreadLocal()) {
135 if (isSuitableForBSS(GVar))
Chris Lattner27981192009-08-01 23:57:16 +0000136 return SectionKind::getThreadBSS();
137 return SectionKind::getThreadData();
Chris Lattnerf0144122009-07-28 03:13:23 +0000138 }
139
140 // Variable can be easily put to BSS section.
141 if (isSuitableForBSS(GVar))
Chris Lattner27981192009-08-01 23:57:16 +0000142 return SectionKind::getBSS();
Chris Lattnerf0144122009-07-28 03:13:23 +0000143
144 Constant *C = GVar->getInitializer();
145
146 // If the global is marked constant, we can put it into a mergable section,
147 // a mergable string section, or general .data if it contains relocations.
148 if (GVar->isConstant()) {
149 // If the initializer for the global contains something that requires a
150 // relocation, then we may have to drop this into a wriable data section
151 // even though it is marked const.
152 switch (C->getRelocationInfo()) {
153 default: llvm_unreachable("unknown relocation info kind");
154 case Constant::NoRelocation:
155 // If initializer is a null-terminated string, put it in a "cstring"
Chris Lattner1850e5a2009-08-04 16:13:09 +0000156 // section of the right width.
157 if (const ArrayType *ATy = dyn_cast<ArrayType>(C->getType())) {
158 if (const IntegerType *ITy =
159 dyn_cast<IntegerType>(ATy->getElementType())) {
160 if ((ITy->getBitWidth() == 8 || ITy->getBitWidth() == 16 ||
161 ITy->getBitWidth() == 32) &&
162 IsNullTerminatedString(C)) {
163 if (ITy->getBitWidth() == 8)
164 return SectionKind::getMergeable1ByteCString();
165 if (ITy->getBitWidth() == 16)
166 return SectionKind::getMergeable2ByteCString();
167
168 assert(ITy->getBitWidth() == 32 && "Unknown width");
169 return SectionKind::getMergeable4ByteCString();
170 }
171 }
172 }
Chris Lattner3b24c012009-08-04 05:35:56 +0000173
Chris Lattnerf0144122009-07-28 03:13:23 +0000174 // Otherwise, just drop it into a mergable constant section. If we have
175 // a section for this size, use it, otherwise use the arbitrary sized
176 // mergable section.
177 switch (TM.getTargetData()->getTypeAllocSize(C->getType())) {
Chris Lattner27981192009-08-01 23:57:16 +0000178 case 4: return SectionKind::getMergeableConst4();
179 case 8: return SectionKind::getMergeableConst8();
180 case 16: return SectionKind::getMergeableConst16();
181 default: return SectionKind::getMergeableConst();
Chris Lattnerf0144122009-07-28 03:13:23 +0000182 }
183
184 case Constant::LocalRelocation:
185 // In static relocation model, the linker will resolve all addresses, so
186 // the relocation entries will actually be constants by the time the app
187 // starts up. However, we can't put this into a mergable section, because
188 // the linker doesn't take relocations into consideration when it tries to
189 // merge entries in the section.
190 if (ReloModel == Reloc::Static)
Chris Lattner27981192009-08-01 23:57:16 +0000191 return SectionKind::getReadOnly();
Chris Lattnerf0144122009-07-28 03:13:23 +0000192
193 // Otherwise, the dynamic linker needs to fix it up, put it in the
194 // writable data.rel.local section.
Chris Lattner27981192009-08-01 23:57:16 +0000195 return SectionKind::getReadOnlyWithRelLocal();
Chris Lattnerf0144122009-07-28 03:13:23 +0000196
197 case Constant::GlobalRelocations:
198 // In static relocation model, the linker will resolve all addresses, so
199 // the relocation entries will actually be constants by the time the app
200 // starts up. However, we can't put this into a mergable section, because
201 // the linker doesn't take relocations into consideration when it tries to
202 // merge entries in the section.
203 if (ReloModel == Reloc::Static)
Chris Lattner27981192009-08-01 23:57:16 +0000204 return SectionKind::getReadOnly();
Chris Lattnerf0144122009-07-28 03:13:23 +0000205
206 // Otherwise, the dynamic linker needs to fix it up, put it in the
207 // writable data.rel section.
Chris Lattner27981192009-08-01 23:57:16 +0000208 return SectionKind::getReadOnlyWithRel();
Chris Lattnerf0144122009-07-28 03:13:23 +0000209 }
210 }
211
212 // Okay, this isn't a constant. If the initializer for the global is going
213 // to require a runtime relocation by the dynamic linker, put it into a more
214 // specific section to improve startup time of the app. This coalesces these
215 // globals together onto fewer pages, improving the locality of the dynamic
216 // linker.
217 if (ReloModel == Reloc::Static)
Chris Lattner27981192009-08-01 23:57:16 +0000218 return SectionKind::getDataNoRel();
Chris Lattnerf0144122009-07-28 03:13:23 +0000219
220 switch (C->getRelocationInfo()) {
221 default: llvm_unreachable("unknown relocation info kind");
222 case Constant::NoRelocation:
Chris Lattner27981192009-08-01 23:57:16 +0000223 return SectionKind::getDataNoRel();
Chris Lattnerf0144122009-07-28 03:13:23 +0000224 case Constant::LocalRelocation:
Chris Lattner27981192009-08-01 23:57:16 +0000225 return SectionKind::getDataRelLocal();
Chris Lattnerf0144122009-07-28 03:13:23 +0000226 case Constant::GlobalRelocations:
Chris Lattner27981192009-08-01 23:57:16 +0000227 return SectionKind::getDataRel();
Chris Lattnerf0144122009-07-28 03:13:23 +0000228 }
229}
230
231/// SectionForGlobal - This method computes the appropriate section to emit
232/// the specified global variable or function definition. This should not
233/// be passed external (or available externally) globals.
Chris Lattnera87dea42009-07-31 18:48:30 +0000234const MCSection *TargetLoweringObjectFile::
Chris Lattner58bed8f2009-08-05 04:25:40 +0000235SectionForGlobal(const GlobalValue *GV, SectionKind Kind, Mangler *Mang,
Chris Lattnere53a6002009-07-29 05:09:30 +0000236 const TargetMachine &TM) const {
Chris Lattnerf0144122009-07-28 03:13:23 +0000237 // Select section name.
Chris Lattner24f654c2009-08-06 16:39:58 +0000238 if (GV->hasSection())
239 return getExplicitSectionGlobal(GV, Kind, Mang, TM);
240
Chris Lattnerf0144122009-07-28 03:13:23 +0000241
242 // Use default section depending on the 'type' of global
Chris Lattnerf9650c02009-08-01 21:46:23 +0000243 return SelectSectionForGlobal(GV, Kind, Mang, TM);
Chris Lattnerf0144122009-07-28 03:13:23 +0000244}
245
Chris Lattner58bed8f2009-08-05 04:25:40 +0000246
Chris Lattnerf0144122009-07-28 03:13:23 +0000247// Lame default implementation. Calculate the section name for global.
Chris Lattnera87dea42009-07-31 18:48:30 +0000248const MCSection *
Chris Lattnerf0144122009-07-28 03:13:23 +0000249TargetLoweringObjectFile::SelectSectionForGlobal(const GlobalValue *GV,
Chris Lattnerf9650c02009-08-01 21:46:23 +0000250 SectionKind Kind,
Chris Lattnere53a6002009-07-29 05:09:30 +0000251 Mangler *Mang,
Chris Lattnerf0144122009-07-28 03:13:23 +0000252 const TargetMachine &TM) const{
Chris Lattnerf9650c02009-08-01 21:46:23 +0000253 assert(!Kind.isThreadLocal() && "Doesn't support TLS");
Chris Lattnerf0144122009-07-28 03:13:23 +0000254
Chris Lattnerf9650c02009-08-01 21:46:23 +0000255 if (Kind.isText())
Chris Lattnerf0144122009-07-28 03:13:23 +0000256 return getTextSection();
257
Chris Lattner82458382009-08-01 21:56:13 +0000258 if (Kind.isBSS() && BSSSection != 0)
259 return BSSSection;
Chris Lattnerf0144122009-07-28 03:13:23 +0000260
Chris Lattnerf9650c02009-08-01 21:46:23 +0000261 if (Kind.isReadOnly() && ReadOnlySection != 0)
Chris Lattnerf0144122009-07-28 03:13:23 +0000262 return ReadOnlySection;
263
264 return getDataSection();
265}
266
Chris Lattner83d77fa2009-08-01 23:46:12 +0000267/// getSectionForConstant - Given a mergable constant with the
Chris Lattnerf0144122009-07-28 03:13:23 +0000268/// specified size and relocation information, return a section that it
269/// should be placed in.
Chris Lattnera87dea42009-07-31 18:48:30 +0000270const MCSection *
Chris Lattner83d77fa2009-08-01 23:46:12 +0000271TargetLoweringObjectFile::getSectionForConstant(SectionKind Kind) const {
Chris Lattnerf0144122009-07-28 03:13:23 +0000272 if (Kind.isReadOnly() && ReadOnlySection != 0)
273 return ReadOnlySection;
274
275 return DataSection;
276}
277
278
Chris Lattnerf0144122009-07-28 03:13:23 +0000279
280//===----------------------------------------------------------------------===//
281// ELF
282//===----------------------------------------------------------------------===//
Chris Lattner38cff382009-08-13 00:37:15 +0000283typedef StringMap<const MCSectionELF*> ELFUniqueMapTy;
284
285TargetLoweringObjectFileELF::~TargetLoweringObjectFileELF() {
286 // If we have the section uniquing map, free it.
287 delete (ELFUniqueMapTy*)UniquingMap;
288}
Chris Lattnerf0144122009-07-28 03:13:23 +0000289
Chris Lattnerfbf1d272009-08-08 20:14:13 +0000290const MCSection *TargetLoweringObjectFileELF::
Bruno Cardoso Lopesb8085882009-08-13 05:07:35 +0000291getELFSection(StringRef Section, unsigned Type, unsigned Flags,
292 SectionKind Kind, bool IsExplicit) const {
Chris Lattner38cff382009-08-13 00:37:15 +0000293 if (UniquingMap == 0)
294 UniquingMap = new ELFUniqueMapTy();
295 ELFUniqueMapTy &Map = *(ELFUniqueMapTy*)UniquingMap;
296
297 // Do the lookup, if we have a hit, return it.
Bruno Cardoso Lopesb8085882009-08-13 05:07:35 +0000298 const MCSectionELF *&Entry = Map[Section];
Chris Lattner38cff382009-08-13 00:37:15 +0000299 if (Entry) return Entry;
300
Bruno Cardoso Lopesfdf229e2009-08-13 23:30:21 +0000301 return Entry = MCSectionELF::Create(Section, Type, Flags, Kind, IsExplicit,
302 getContext());
Chris Lattnerfbf1d272009-08-08 20:14:13 +0000303}
304
Chris Lattnerf26e03b2009-07-31 17:42:42 +0000305void TargetLoweringObjectFileELF::Initialize(MCContext &Ctx,
306 const TargetMachine &TM) {
Benjamin Kramer76d5ccf2009-08-17 17:05:44 +0000307 if (UniquingMap != 0)
308 ((ELFUniqueMapTy*)UniquingMap)->clear();
Chris Lattnera87dea42009-07-31 18:48:30 +0000309 TargetLoweringObjectFile::Initialize(Ctx, TM);
Chris Lattnerf0144122009-07-28 03:13:23 +0000310
Bruno Cardoso Lopesb8085882009-08-13 05:07:35 +0000311 BSSSection =
312 getELFSection(".bss", MCSectionELF::SHT_NOBITS,
313 MCSectionELF::SHF_WRITE | MCSectionELF::SHF_ALLOC,
314 SectionKind::getBSS());
Chris Lattnerf0144122009-07-28 03:13:23 +0000315
Bruno Cardoso Lopesb8085882009-08-13 05:07:35 +0000316 TextSection =
317 getELFSection(".text", MCSectionELF::SHT_PROGBITS,
318 MCSectionELF::SHF_EXECINSTR | MCSectionELF::SHF_ALLOC,
319 SectionKind::getText());
320
321 DataSection =
322 getELFSection(".data", MCSectionELF::SHT_PROGBITS,
323 MCSectionELF::SHF_WRITE | MCSectionELF::SHF_ALLOC,
324 SectionKind::getDataRel());
325
326 ReadOnlySection =
327 getELFSection(".rodata", MCSectionELF::SHT_PROGBITS,
328 MCSectionELF::SHF_ALLOC,
329 SectionKind::getReadOnly());
330
331 TLSDataSection =
332 getELFSection(".tdata", MCSectionELF::SHT_PROGBITS,
333 MCSectionELF::SHF_ALLOC | MCSectionELF::SHF_TLS |
334 MCSectionELF::SHF_WRITE, SectionKind::getThreadData());
Chris Lattner3b24c012009-08-04 05:35:56 +0000335
Bruno Cardoso Lopesb8085882009-08-13 05:07:35 +0000336 TLSBSSSection =
337 getELFSection(".tbss", MCSectionELF::SHT_NOBITS,
338 MCSectionELF::SHF_ALLOC | MCSectionELF::SHF_TLS |
339 MCSectionELF::SHF_WRITE, SectionKind::getThreadBSS());
Chris Lattnerf0144122009-07-28 03:13:23 +0000340
Bruno Cardoso Lopesb8085882009-08-13 05:07:35 +0000341 DataRelSection =
342 getELFSection(".data.rel", MCSectionELF::SHT_PROGBITS,
343 MCSectionELF::SHF_ALLOC | MCSectionELF::SHF_WRITE,
344 SectionKind::getDataRel());
345
346 DataRelLocalSection =
347 getELFSection(".data.rel.local", MCSectionELF::SHT_PROGBITS,
348 MCSectionELF::SHF_ALLOC | MCSectionELF::SHF_WRITE,
349 SectionKind::getDataRelLocal());
350
351 DataRelROSection =
352 getELFSection(".data.rel.ro", MCSectionELF::SHT_PROGBITS,
353 MCSectionELF::SHF_ALLOC | MCSectionELF::SHF_WRITE,
354 SectionKind::getReadOnlyWithRel());
355
356 DataRelROLocalSection =
357 getELFSection(".data.rel.ro.local", MCSectionELF::SHT_PROGBITS,
358 MCSectionELF::SHF_ALLOC | MCSectionELF::SHF_WRITE,
359 SectionKind::getReadOnlyWithRelLocal());
Chris Lattnerf0144122009-07-28 03:13:23 +0000360
Bruno Cardoso Lopesb8085882009-08-13 05:07:35 +0000361 MergeableConst4Section =
362 getELFSection(".rodata.cst4", MCSectionELF::SHT_PROGBITS,
363 MCSectionELF::SHF_ALLOC | MCSectionELF::SHF_MERGE,
364 SectionKind::getMergeableConst4());
365
366 MergeableConst8Section =
367 getELFSection(".rodata.cst8", MCSectionELF::SHT_PROGBITS,
368 MCSectionELF::SHF_ALLOC | MCSectionELF::SHF_MERGE,
369 SectionKind::getMergeableConst8());
370
371 MergeableConst16Section =
372 getELFSection(".rodata.cst16", MCSectionELF::SHT_PROGBITS,
373 MCSectionELF::SHF_ALLOC | MCSectionELF::SHF_MERGE,
374 SectionKind::getMergeableConst16());
Chris Lattner80ec2792009-08-02 00:34:36 +0000375
376 StaticCtorSection =
Bruno Cardoso Lopesb8085882009-08-13 05:07:35 +0000377 getELFSection(".ctors", MCSectionELF::SHT_PROGBITS,
378 MCSectionELF::SHF_ALLOC | MCSectionELF::SHF_WRITE,
379 SectionKind::getDataRel());
380
Chris Lattner80ec2792009-08-02 00:34:36 +0000381 StaticDtorSection =
Bruno Cardoso Lopesb8085882009-08-13 05:07:35 +0000382 getELFSection(".dtors", MCSectionELF::SHT_PROGBITS,
383 MCSectionELF::SHF_ALLOC | MCSectionELF::SHF_WRITE,
384 SectionKind::getDataRel());
Chris Lattnerd5bbb072009-08-02 01:34:32 +0000385
Chris Lattner18a4c162009-08-02 07:24:22 +0000386 // Exception Handling Sections.
Chris Lattnerd5bbb072009-08-02 01:34:32 +0000387
388 // FIXME: We're emitting LSDA info into a readonly section on ELF, even though
389 // it contains relocatable pointers. In PIC mode, this is probably a big
390 // runtime hit for C++ apps. Either the contents of the LSDA need to be
391 // adjusted or this should be a data section.
392 LSDASection =
Bruno Cardoso Lopesb8085882009-08-13 05:07:35 +0000393 getELFSection(".gcc_except_table", MCSectionELF::SHT_PROGBITS,
394 MCSectionELF::SHF_ALLOC, SectionKind::getReadOnly());
Chris Lattner35039ac2009-08-02 06:52:36 +0000395 EHFrameSection =
Bruno Cardoso Lopesb8085882009-08-13 05:07:35 +0000396 getELFSection(".eh_frame", MCSectionELF::SHT_PROGBITS,
Chris Lattnerb6ab2992009-08-15 16:54:02 +0000397 MCSectionELF::SHF_ALLOC | MCSectionELF::SHF_WRITE,
398 SectionKind::getDataRel());
Chris Lattner18a4c162009-08-02 07:24:22 +0000399
400 // Debug Info Sections.
401 DwarfAbbrevSection =
Bruno Cardoso Lopesb8085882009-08-13 05:07:35 +0000402 getELFSection(".debug_abbrev", MCSectionELF::SHT_PROGBITS, 0,
403 SectionKind::getMetadata());
Chris Lattner18a4c162009-08-02 07:24:22 +0000404 DwarfInfoSection =
Bruno Cardoso Lopesb8085882009-08-13 05:07:35 +0000405 getELFSection(".debug_info", MCSectionELF::SHT_PROGBITS, 0,
406 SectionKind::getMetadata());
Chris Lattner18a4c162009-08-02 07:24:22 +0000407 DwarfLineSection =
Bruno Cardoso Lopesb8085882009-08-13 05:07:35 +0000408 getELFSection(".debug_line", MCSectionELF::SHT_PROGBITS, 0,
409 SectionKind::getMetadata());
Chris Lattner18a4c162009-08-02 07:24:22 +0000410 DwarfFrameSection =
Bruno Cardoso Lopesb8085882009-08-13 05:07:35 +0000411 getELFSection(".debug_frame", MCSectionELF::SHT_PROGBITS, 0,
412 SectionKind::getMetadata());
Chris Lattner18a4c162009-08-02 07:24:22 +0000413 DwarfPubNamesSection =
Bruno Cardoso Lopesb8085882009-08-13 05:07:35 +0000414 getELFSection(".debug_pubnames", MCSectionELF::SHT_PROGBITS, 0,
415 SectionKind::getMetadata());
Chris Lattner18a4c162009-08-02 07:24:22 +0000416 DwarfPubTypesSection =
Bruno Cardoso Lopesb8085882009-08-13 05:07:35 +0000417 getELFSection(".debug_pubtypes", MCSectionELF::SHT_PROGBITS, 0,
418 SectionKind::getMetadata());
Chris Lattner18a4c162009-08-02 07:24:22 +0000419 DwarfStrSection =
Bruno Cardoso Lopesb8085882009-08-13 05:07:35 +0000420 getELFSection(".debug_str", MCSectionELF::SHT_PROGBITS, 0,
421 SectionKind::getMetadata());
Chris Lattner18a4c162009-08-02 07:24:22 +0000422 DwarfLocSection =
Bruno Cardoso Lopesb8085882009-08-13 05:07:35 +0000423 getELFSection(".debug_loc", MCSectionELF::SHT_PROGBITS, 0,
424 SectionKind::getMetadata());
Chris Lattner18a4c162009-08-02 07:24:22 +0000425 DwarfARangesSection =
Bruno Cardoso Lopesb8085882009-08-13 05:07:35 +0000426 getELFSection(".debug_aranges", MCSectionELF::SHT_PROGBITS, 0,
427 SectionKind::getMetadata());
Chris Lattner18a4c162009-08-02 07:24:22 +0000428 DwarfRangesSection =
Bruno Cardoso Lopesb8085882009-08-13 05:07:35 +0000429 getELFSection(".debug_ranges", MCSectionELF::SHT_PROGBITS, 0,
430 SectionKind::getMetadata());
Chris Lattner18a4c162009-08-02 07:24:22 +0000431 DwarfMacroInfoSection =
Bruno Cardoso Lopesb8085882009-08-13 05:07:35 +0000432 getELFSection(".debug_macinfo", MCSectionELF::SHT_PROGBITS, 0,
433 SectionKind::getMetadata());
Chris Lattnerf0144122009-07-28 03:13:23 +0000434}
435
436
Chris Lattner24f654c2009-08-06 16:39:58 +0000437static SectionKind
438getELFKindForNamedSection(const char *Name, SectionKind K) {
Chris Lattnerf0144122009-07-28 03:13:23 +0000439 if (Name[0] != '.') return K;
440
441 // Some lame default implementation based on some magic section names.
442 if (strncmp(Name, ".gnu.linkonce.b.", 16) == 0 ||
443 strncmp(Name, ".llvm.linkonce.b.", 17) == 0 ||
444 strncmp(Name, ".gnu.linkonce.sb.", 17) == 0 ||
445 strncmp(Name, ".llvm.linkonce.sb.", 18) == 0)
Chris Lattner27981192009-08-01 23:57:16 +0000446 return SectionKind::getBSS();
Chris Lattnerf0144122009-07-28 03:13:23 +0000447
448 if (strcmp(Name, ".tdata") == 0 ||
449 strncmp(Name, ".tdata.", 7) == 0 ||
450 strncmp(Name, ".gnu.linkonce.td.", 17) == 0 ||
451 strncmp(Name, ".llvm.linkonce.td.", 18) == 0)
Chris Lattner27981192009-08-01 23:57:16 +0000452 return SectionKind::getThreadData();
Chris Lattnerf0144122009-07-28 03:13:23 +0000453
454 if (strcmp(Name, ".tbss") == 0 ||
455 strncmp(Name, ".tbss.", 6) == 0 ||
456 strncmp(Name, ".gnu.linkonce.tb.", 17) == 0 ||
457 strncmp(Name, ".llvm.linkonce.tb.", 18) == 0)
Chris Lattner27981192009-08-01 23:57:16 +0000458 return SectionKind::getThreadBSS();
Chris Lattnerf0144122009-07-28 03:13:23 +0000459
460 return K;
461}
462
Bruno Cardoso Lopesb8085882009-08-13 05:07:35 +0000463
464static unsigned
465getELFSectionType(const char *Name, SectionKind K) {
466
Dan Gohmanfa9ca0f2009-08-14 00:10:19 +0000467 if (strcmp(Name, ".init_array") == 0)
Bruno Cardoso Lopesb8085882009-08-13 05:07:35 +0000468 return MCSectionELF::SHT_INIT_ARRAY;
469
Dan Gohmanfa9ca0f2009-08-14 00:10:19 +0000470 if (strcmp(Name, ".fini_array") == 0)
Bruno Cardoso Lopesb8085882009-08-13 05:07:35 +0000471 return MCSectionELF::SHT_FINI_ARRAY;
472
Dan Gohmanfa9ca0f2009-08-14 00:10:19 +0000473 if (strcmp(Name, ".preinit_array") == 0)
Bruno Cardoso Lopesb8085882009-08-13 05:07:35 +0000474 return MCSectionELF::SHT_PREINIT_ARRAY;
475
476 if (K.isBSS() || K.isThreadBSS())
477 return MCSectionELF::SHT_NOBITS;
478
479 return MCSectionELF::SHT_PROGBITS;
480}
481
482
483static unsigned
484getELFSectionFlags(SectionKind K) {
485 unsigned Flags = 0;
486
487 if (!K.isMetadata())
488 Flags |= MCSectionELF::SHF_ALLOC;
489
490 if (K.isWriteable())
491 Flags |= MCSectionELF::SHF_WRITE;
492
493 if (K.isThreadLocal())
494 Flags |= MCSectionELF::SHF_TLS;
495
496 // K.isMergeableConst() is left out to honour PR4650
497 if (K.isMergeableCString() || K.isMergeableConst4() ||
498 K.isMergeableConst8() || K.isMergeableConst16())
499 Flags |= MCSectionELF::SHF_MERGE;
500
501 if (K.isMergeableCString())
502 Flags |= MCSectionELF::SHF_STRINGS;
503
504 return Flags;
505}
506
507
Chris Lattner24f654c2009-08-06 16:39:58 +0000508const MCSection *TargetLoweringObjectFileELF::
509getExplicitSectionGlobal(const GlobalValue *GV, SectionKind Kind,
510 Mangler *Mang, const TargetMachine &TM) const {
Bruno Cardoso Lopesb8085882009-08-13 05:07:35 +0000511 const char *SectionName = GV->getSection().c_str();
512
Chris Lattner24f654c2009-08-06 16:39:58 +0000513 // Infer section flags from the section name if we can.
Bruno Cardoso Lopesb8085882009-08-13 05:07:35 +0000514 Kind = getELFKindForNamedSection(SectionName, Kind);
Chris Lattner24f654c2009-08-06 16:39:58 +0000515
Bruno Cardoso Lopesb8085882009-08-13 05:07:35 +0000516 return getELFSection(SectionName,
517 getELFSectionType(SectionName, Kind),
518 getELFSectionFlags(Kind), Kind, true);
Chris Lattner24f654c2009-08-06 16:39:58 +0000519}
Chris Lattnerf0144122009-07-28 03:13:23 +0000520
521static const char *getSectionPrefixForUniqueGlobal(SectionKind Kind) {
522 if (Kind.isText()) return ".gnu.linkonce.t.";
523 if (Kind.isReadOnly()) return ".gnu.linkonce.r.";
524
525 if (Kind.isThreadData()) return ".gnu.linkonce.td.";
526 if (Kind.isThreadBSS()) return ".gnu.linkonce.tb.";
527
528 if (Kind.isBSS()) return ".gnu.linkonce.b.";
529 if (Kind.isDataNoRel()) return ".gnu.linkonce.d.";
530 if (Kind.isDataRelLocal()) return ".gnu.linkonce.d.rel.local.";
531 if (Kind.isDataRel()) return ".gnu.linkonce.d.rel.";
532 if (Kind.isReadOnlyWithRelLocal()) return ".gnu.linkonce.d.rel.ro.local.";
533
534 assert(Kind.isReadOnlyWithRel() && "Unknown section kind");
535 return ".gnu.linkonce.d.rel.ro.";
536}
537
Chris Lattnera87dea42009-07-31 18:48:30 +0000538const MCSection *TargetLoweringObjectFileELF::
Chris Lattnerf9650c02009-08-01 21:46:23 +0000539SelectSectionForGlobal(const GlobalValue *GV, SectionKind Kind,
Chris Lattnere53a6002009-07-29 05:09:30 +0000540 Mangler *Mang, const TargetMachine &TM) const {
Chris Lattnerf0144122009-07-28 03:13:23 +0000541
542 // If this global is linkonce/weak and the target handles this by emitting it
543 // into a 'uniqued' section name, create and return the section now.
Chris Lattner27602b82009-08-01 21:42:58 +0000544 if (GV->isWeakForLinker()) {
Chris Lattnerf9650c02009-08-01 21:46:23 +0000545 const char *Prefix = getSectionPrefixForUniqueGlobal(Kind);
Chris Lattnerb8f396b2009-07-29 05:20:33 +0000546 std::string Name = Mang->makeNameProper(GV->getNameStr());
Bruno Cardoso Lopesb8085882009-08-13 05:07:35 +0000547
548 return getELFSection((Prefix+Name).c_str(),
549 getELFSectionType((Prefix+Name).c_str(), Kind),
550 getELFSectionFlags(Kind),
551 Kind);
Chris Lattnerf0144122009-07-28 03:13:23 +0000552 }
553
Chris Lattnerf9650c02009-08-01 21:46:23 +0000554 if (Kind.isText()) return TextSection;
Chris Lattnere53a6002009-07-29 05:09:30 +0000555
Chris Lattner3b24c012009-08-04 05:35:56 +0000556 if (Kind.isMergeable1ByteCString() ||
557 Kind.isMergeable2ByteCString() ||
558 Kind.isMergeable4ByteCString()) {
Chris Lattnerf0144122009-07-28 03:13:23 +0000559
Chris Lattner067fe1a2009-07-29 04:54:38 +0000560 // We also need alignment here.
561 // FIXME: this is getting the alignment of the character, not the
562 // alignment of the global!
563 unsigned Align =
564 TM.getTargetData()->getPreferredAlignment(cast<GlobalVariable>(GV));
Chris Lattnerf0144122009-07-28 03:13:23 +0000565
Chris Lattner7e88a502009-08-04 16:19:50 +0000566 const char *SizeSpec = ".rodata.str1.";
Chris Lattner3b24c012009-08-04 05:35:56 +0000567 if (Kind.isMergeable2ByteCString())
Chris Lattner7e88a502009-08-04 16:19:50 +0000568 SizeSpec = ".rodata.str2.";
Chris Lattner3b24c012009-08-04 05:35:56 +0000569 else if (Kind.isMergeable4ByteCString())
Chris Lattner7e88a502009-08-04 16:19:50 +0000570 SizeSpec = ".rodata.str4.";
Chris Lattner3b24c012009-08-04 05:35:56 +0000571 else
572 assert(Kind.isMergeable1ByteCString() && "unknown string width");
573
574
Chris Lattner7e88a502009-08-04 16:19:50 +0000575 std::string Name = SizeSpec + utostr(Align);
Bruno Cardoso Lopesb8085882009-08-13 05:07:35 +0000576 return getELFSection(Name.c_str(), MCSectionELF::SHT_PROGBITS,
577 MCSectionELF::SHF_ALLOC |
578 MCSectionELF::SHF_MERGE |
579 MCSectionELF::SHF_STRINGS,
580 Kind);
Chris Lattnerf0144122009-07-28 03:13:23 +0000581 }
582
Chris Lattnerf9650c02009-08-01 21:46:23 +0000583 if (Kind.isMergeableConst()) {
Chris Lattner203b3e92009-08-15 06:08:34 +0000584 if (Kind.isMergeableConst4() && MergeableConst4Section)
Chris Lattnerf0144122009-07-28 03:13:23 +0000585 return MergeableConst4Section;
Chris Lattner203b3e92009-08-15 06:08:34 +0000586 if (Kind.isMergeableConst8() && MergeableConst8Section)
Chris Lattnerf0144122009-07-28 03:13:23 +0000587 return MergeableConst8Section;
Chris Lattner203b3e92009-08-15 06:08:34 +0000588 if (Kind.isMergeableConst16() && MergeableConst16Section)
Chris Lattnerf0144122009-07-28 03:13:23 +0000589 return MergeableConst16Section;
590 return ReadOnlySection; // .const
591 }
592
Chris Lattnerf9650c02009-08-01 21:46:23 +0000593 if (Kind.isReadOnly()) return ReadOnlySection;
Chris Lattnerf0144122009-07-28 03:13:23 +0000594
Chris Lattnerf9650c02009-08-01 21:46:23 +0000595 if (Kind.isThreadData()) return TLSDataSection;
596 if (Kind.isThreadBSS()) return TLSBSSSection;
Chris Lattnerf0144122009-07-28 03:13:23 +0000597
Chris Lattner82458382009-08-01 21:56:13 +0000598 if (Kind.isBSS()) return BSSSection;
Chris Lattnerf0144122009-07-28 03:13:23 +0000599
Chris Lattnerf9650c02009-08-01 21:46:23 +0000600 if (Kind.isDataNoRel()) return DataSection;
601 if (Kind.isDataRelLocal()) return DataRelLocalSection;
602 if (Kind.isDataRel()) return DataRelSection;
603 if (Kind.isReadOnlyWithRelLocal()) return DataRelROLocalSection;
Chris Lattnerf0144122009-07-28 03:13:23 +0000604
Chris Lattnerf9650c02009-08-01 21:46:23 +0000605 assert(Kind.isReadOnlyWithRel() && "Unknown section kind");
Chris Lattnerf0144122009-07-28 03:13:23 +0000606 return DataRelROSection;
607}
608
Chris Lattner83d77fa2009-08-01 23:46:12 +0000609/// getSectionForConstant - Given a mergeable constant with the
Chris Lattnerf0144122009-07-28 03:13:23 +0000610/// specified size and relocation information, return a section that it
611/// should be placed in.
Chris Lattnera87dea42009-07-31 18:48:30 +0000612const MCSection *TargetLoweringObjectFileELF::
Chris Lattner83d77fa2009-08-01 23:46:12 +0000613getSectionForConstant(SectionKind Kind) const {
Richard Osborne2a5e23b2009-08-17 16:37:11 +0000614 if (Kind.isMergeableConst4() && MergeableConst4Section)
Chris Lattnerf0144122009-07-28 03:13:23 +0000615 return MergeableConst4Section;
Richard Osborne2a5e23b2009-08-17 16:37:11 +0000616 if (Kind.isMergeableConst8() && MergeableConst8Section)
Chris Lattnerf0144122009-07-28 03:13:23 +0000617 return MergeableConst8Section;
Richard Osborne2a5e23b2009-08-17 16:37:11 +0000618 if (Kind.isMergeableConst16() && MergeableConst16Section)
Chris Lattnerf0144122009-07-28 03:13:23 +0000619 return MergeableConst16Section;
620 if (Kind.isReadOnly())
621 return ReadOnlySection;
622
623 if (Kind.isReadOnlyWithRelLocal()) return DataRelROLocalSection;
624 assert(Kind.isReadOnlyWithRel() && "Unknown section kind");
625 return DataRelROSection;
626}
627
628//===----------------------------------------------------------------------===//
629// MachO
630//===----------------------------------------------------------------------===//
631
Chris Lattner5dc47ff2009-08-12 23:55:02 +0000632typedef StringMap<const MCSectionMachO*> MachOUniqueMapTy;
Chris Lattner0c0cb712009-08-08 20:22:20 +0000633
Chris Lattner5dc47ff2009-08-12 23:55:02 +0000634TargetLoweringObjectFileMachO::~TargetLoweringObjectFileMachO() {
635 // If we have the MachO uniquing map, free it.
636 delete (MachOUniqueMapTy*)UniquingMap;
637}
638
639
640const MCSectionMachO *TargetLoweringObjectFileMachO::
Chris Lattnerd3c4486f2009-08-12 23:34:27 +0000641getMachOSection(const StringRef &Segment, const StringRef &Section,
Chris Lattnerff4bc462009-08-10 01:39:42 +0000642 unsigned TypeAndAttributes,
643 unsigned Reserved2, SectionKind Kind) const {
Chris Lattner5dc47ff2009-08-12 23:55:02 +0000644 // We unique sections by their segment/section pair. The returned section
645 // may not have the same flags as the requested section, if so this should be
646 // diagnosed by the client as an error.
Chris Lattnerff4bc462009-08-10 01:39:42 +0000647
Chris Lattner5dc47ff2009-08-12 23:55:02 +0000648 // Create the map if it doesn't already exist.
649 if (UniquingMap == 0)
650 UniquingMap = new MachOUniqueMapTy();
651 MachOUniqueMapTy &Map = *(MachOUniqueMapTy*)UniquingMap;
652
653 // Form the name to look up.
654 SmallString<64> Name;
655 Name.append(Segment.begin(), Segment.end());
656 Name.push_back(',');
657 Name.append(Section.begin(), Section.end());
658
659 // Do the lookup, if we have a hit, return it.
660 const MCSectionMachO *&Entry = Map[StringRef(Name.data(), Name.size())];
661 if (Entry) return Entry;
662
663 // Otherwise, return a new section.
664 return Entry = MCSectionMachO::Create(Segment, Section, TypeAndAttributes,
665 Reserved2, Kind, getContext());
Chris Lattnerfbf1d272009-08-08 20:14:13 +0000666}
667
Chris Lattner11e96572009-08-03 21:53:27 +0000668
Chris Lattnerf26e03b2009-07-31 17:42:42 +0000669void TargetLoweringObjectFileMachO::Initialize(MCContext &Ctx,
670 const TargetMachine &TM) {
Benjamin Kramer76d5ccf2009-08-17 17:05:44 +0000671 if (UniquingMap != 0)
672 ((MachOUniqueMapTy*)UniquingMap)->clear();
Chris Lattnera87dea42009-07-31 18:48:30 +0000673 TargetLoweringObjectFile::Initialize(Ctx, TM);
Chris Lattnerf0144122009-07-28 03:13:23 +0000674
Chris Lattnerff4bc462009-08-10 01:39:42 +0000675 TextSection // .text
676 = getMachOSection("__TEXT", "__text",
677 MCSectionMachO::S_ATTR_PURE_INSTRUCTIONS,
678 SectionKind::getText());
679 DataSection // .data
680 = getMachOSection("__DATA", "__data", 0, SectionKind::getDataRel());
681
682 CStringSection // .cstring
683 = getMachOSection("__TEXT", "__cstring", MCSectionMachO::S_CSTRING_LITERALS,
684 SectionKind::getMergeable1ByteCString());
685 UStringSection
686 = getMachOSection("__TEXT","__ustring", 0,
687 SectionKind::getMergeable2ByteCString());
688 FourByteConstantSection // .literal4
689 = getMachOSection("__TEXT", "__literal4", MCSectionMachO::S_4BYTE_LITERALS,
690 SectionKind::getMergeableConst4());
691 EightByteConstantSection // .literal8
692 = getMachOSection("__TEXT", "__literal8", MCSectionMachO::S_8BYTE_LITERALS,
693 SectionKind::getMergeableConst8());
Chris Lattner4bb253c2009-07-28 17:50:28 +0000694
695 // ld_classic doesn't support .literal16 in 32-bit mode, and ld64 falls back
696 // to using it in -static mode.
Chris Lattnerff4bc462009-08-10 01:39:42 +0000697 SixteenByteConstantSection = 0;
Chris Lattner4bb253c2009-07-28 17:50:28 +0000698 if (TM.getRelocationModel() != Reloc::Static &&
699 TM.getTargetData()->getPointerSize() == 32)
Chris Lattnerff4bc462009-08-10 01:39:42 +0000700 SixteenByteConstantSection = // .literal16
701 getMachOSection("__TEXT", "__literal16",MCSectionMachO::S_16BYTE_LITERALS,
Chris Lattner0c0cb712009-08-08 20:22:20 +0000702 SectionKind::getMergeableConst16());
Chris Lattnerf0144122009-07-28 03:13:23 +0000703
Chris Lattnerff4bc462009-08-10 01:39:42 +0000704 ReadOnlySection // .const
705 = getMachOSection("__TEXT", "__const", 0, SectionKind::getReadOnly());
Chris Lattnerf0144122009-07-28 03:13:23 +0000706
Chris Lattnerff4bc462009-08-10 01:39:42 +0000707 TextCoalSection
708 = getMachOSection("__TEXT", "__textcoal_nt",
709 MCSectionMachO::S_COALESCED |
710 MCSectionMachO::S_ATTR_PURE_INSTRUCTIONS,
711 SectionKind::getText());
712 ConstTextCoalSection
713 = getMachOSection("__TEXT", "__const_coal", MCSectionMachO::S_COALESCED,
714 SectionKind::getText());
715 ConstDataCoalSection
716 = getMachOSection("__DATA","__const_coal", MCSectionMachO::S_COALESCED,
717 SectionKind::getText());
718 ConstDataSection // .const_data
719 = getMachOSection("__DATA", "__const", 0,
720 SectionKind::getReadOnlyWithRel());
721 DataCoalSection
722 = getMachOSection("__DATA","__datacoal_nt", MCSectionMachO::S_COALESCED,
723 SectionKind::getDataRel());
Chris Lattner80ec2792009-08-02 00:34:36 +0000724
Chris Lattnere309cfa2009-08-13 00:05:07 +0000725
726 LazySymbolPointerSection
727 = getMachOSection("__DATA", "__la_symbol_ptr",
728 MCSectionMachO::S_LAZY_SYMBOL_POINTERS,
729 SectionKind::getMetadata());
730 NonLazySymbolPointerSection
731 = getMachOSection("__DATA", "__nl_symbol_ptr",
732 MCSectionMachO::S_NON_LAZY_SYMBOL_POINTERS,
733 SectionKind::getMetadata());
734
Chris Lattner80ec2792009-08-02 00:34:36 +0000735 if (TM.getRelocationModel() == Reloc::Static) {
Chris Lattnerff4bc462009-08-10 01:39:42 +0000736 StaticCtorSection
737 = getMachOSection("__TEXT", "__constructor", 0,SectionKind::getDataRel());
738 StaticDtorSection
739 = getMachOSection("__TEXT", "__destructor", 0, SectionKind::getDataRel());
Chris Lattner80ec2792009-08-02 00:34:36 +0000740 } else {
Chris Lattnerff4bc462009-08-10 01:39:42 +0000741 StaticCtorSection
742 = getMachOSection("__DATA", "__mod_init_func",
743 MCSectionMachO::S_MOD_INIT_FUNC_POINTERS,
744 SectionKind::getDataRel());
745 StaticDtorSection
746 = getMachOSection("__DATA", "__mod_term_func",
747 MCSectionMachO::S_MOD_TERM_FUNC_POINTERS,
748 SectionKind::getDataRel());
Chris Lattner80ec2792009-08-02 00:34:36 +0000749 }
750
Chris Lattner18a4c162009-08-02 07:24:22 +0000751 // Exception Handling.
Chris Lattnerff4bc462009-08-10 01:39:42 +0000752 LSDASection = getMachOSection("__DATA", "__gcc_except_tab", 0,
Chris Lattner0c0cb712009-08-08 20:22:20 +0000753 SectionKind::getDataRel());
Chris Lattner35039ac2009-08-02 06:52:36 +0000754 EHFrameSection =
Chris Lattnerff4bc462009-08-10 01:39:42 +0000755 getMachOSection("__TEXT", "__eh_frame",
756 MCSectionMachO::S_COALESCED |
757 MCSectionMachO::S_ATTR_NO_TOC |
758 MCSectionMachO::S_ATTR_STRIP_STATIC_SYMS |
759 MCSectionMachO::S_ATTR_LIVE_SUPPORT,
760 SectionKind::getReadOnly());
Chris Lattner18a4c162009-08-02 07:24:22 +0000761
762 // Debug Information.
Chris Lattner18a4c162009-08-02 07:24:22 +0000763 DwarfAbbrevSection =
Chris Lattnerff4bc462009-08-10 01:39:42 +0000764 getMachOSection("__DWARF", "__debug_abbrev", MCSectionMachO::S_ATTR_DEBUG,
Chris Lattner0c0cb712009-08-08 20:22:20 +0000765 SectionKind::getMetadata());
Chris Lattner18a4c162009-08-02 07:24:22 +0000766 DwarfInfoSection =
Chris Lattnerff4bc462009-08-10 01:39:42 +0000767 getMachOSection("__DWARF", "__debug_info", MCSectionMachO::S_ATTR_DEBUG,
Chris Lattner0c0cb712009-08-08 20:22:20 +0000768 SectionKind::getMetadata());
Chris Lattner18a4c162009-08-02 07:24:22 +0000769 DwarfLineSection =
Chris Lattnerff4bc462009-08-10 01:39:42 +0000770 getMachOSection("__DWARF", "__debug_line", MCSectionMachO::S_ATTR_DEBUG,
Chris Lattner0c0cb712009-08-08 20:22:20 +0000771 SectionKind::getMetadata());
Chris Lattner18a4c162009-08-02 07:24:22 +0000772 DwarfFrameSection =
Chris Lattnerff4bc462009-08-10 01:39:42 +0000773 getMachOSection("__DWARF", "__debug_frame", MCSectionMachO::S_ATTR_DEBUG,
Chris Lattner0c0cb712009-08-08 20:22:20 +0000774 SectionKind::getMetadata());
Chris Lattner18a4c162009-08-02 07:24:22 +0000775 DwarfPubNamesSection =
Chris Lattnerff4bc462009-08-10 01:39:42 +0000776 getMachOSection("__DWARF", "__debug_pubnames", MCSectionMachO::S_ATTR_DEBUG,
Chris Lattner0c0cb712009-08-08 20:22:20 +0000777 SectionKind::getMetadata());
Chris Lattner18a4c162009-08-02 07:24:22 +0000778 DwarfPubTypesSection =
Chris Lattnerff4bc462009-08-10 01:39:42 +0000779 getMachOSection("__DWARF", "__debug_pubtypes", MCSectionMachO::S_ATTR_DEBUG,
Chris Lattner0c0cb712009-08-08 20:22:20 +0000780 SectionKind::getMetadata());
Chris Lattner18a4c162009-08-02 07:24:22 +0000781 DwarfStrSection =
Chris Lattnerff4bc462009-08-10 01:39:42 +0000782 getMachOSection("__DWARF", "__debug_str", MCSectionMachO::S_ATTR_DEBUG,
Chris Lattner0c0cb712009-08-08 20:22:20 +0000783 SectionKind::getMetadata());
Chris Lattner18a4c162009-08-02 07:24:22 +0000784 DwarfLocSection =
Chris Lattnerff4bc462009-08-10 01:39:42 +0000785 getMachOSection("__DWARF", "__debug_loc", MCSectionMachO::S_ATTR_DEBUG,
Chris Lattner0c0cb712009-08-08 20:22:20 +0000786 SectionKind::getMetadata());
Chris Lattner18a4c162009-08-02 07:24:22 +0000787 DwarfARangesSection =
Chris Lattnerff4bc462009-08-10 01:39:42 +0000788 getMachOSection("__DWARF", "__debug_aranges", MCSectionMachO::S_ATTR_DEBUG,
Chris Lattner0c0cb712009-08-08 20:22:20 +0000789 SectionKind::getMetadata());
Chris Lattner18a4c162009-08-02 07:24:22 +0000790 DwarfRangesSection =
Chris Lattnerff4bc462009-08-10 01:39:42 +0000791 getMachOSection("__DWARF", "__debug_ranges", MCSectionMachO::S_ATTR_DEBUG,
Chris Lattner0c0cb712009-08-08 20:22:20 +0000792 SectionKind::getMetadata());
Chris Lattner18a4c162009-08-02 07:24:22 +0000793 DwarfMacroInfoSection =
Chris Lattnerff4bc462009-08-10 01:39:42 +0000794 getMachOSection("__DWARF", "__debug_macinfo", MCSectionMachO::S_ATTR_DEBUG,
Chris Lattner0c0cb712009-08-08 20:22:20 +0000795 SectionKind::getMetadata());
Chris Lattner18a4c162009-08-02 07:24:22 +0000796 DwarfDebugInlineSection =
Chris Lattnerff4bc462009-08-10 01:39:42 +0000797 getMachOSection("__DWARF", "__debug_inlined", MCSectionMachO::S_ATTR_DEBUG,
Chris Lattner0c0cb712009-08-08 20:22:20 +0000798 SectionKind::getMetadata());
Chris Lattnerf0144122009-07-28 03:13:23 +0000799}
800
Chris Lattnera87dea42009-07-31 18:48:30 +0000801const MCSection *TargetLoweringObjectFileMachO::
Chris Lattner24f654c2009-08-06 16:39:58 +0000802getExplicitSectionGlobal(const GlobalValue *GV, SectionKind Kind,
803 Mangler *Mang, const TargetMachine &TM) const {
Chris Lattnerff4bc462009-08-10 01:39:42 +0000804 // Parse the section specifier and create it if valid.
805 StringRef Segment, Section;
806 unsigned TAA, StubSize;
807 std::string ErrorCode =
808 MCSectionMachO::ParseSectionSpecifier(GV->getSection(), Segment, Section,
809 TAA, StubSize);
Chris Lattnere309cfa2009-08-13 00:05:07 +0000810 if (!ErrorCode.empty()) {
811 // If invalid, report the error with llvm_report_error.
812 llvm_report_error("Global variable '" + GV->getNameStr() +
813 "' has an invalid section specifier '" + GV->getSection()+
814 "': " + ErrorCode + ".");
815 // Fall back to dropping it into the data section.
816 return DataSection;
817 }
818
819 // Get the section.
820 const MCSectionMachO *S =
821 getMachOSection(Segment, Section, TAA, StubSize, Kind);
822
823 // Okay, now that we got the section, verify that the TAA & StubSize agree.
824 // If the user declared multiple globals with different section flags, we need
825 // to reject it here.
826 if (S->getTypeAndAttributes() != TAA || S->getStubSize() != StubSize) {
827 // If invalid, report the error with llvm_report_error.
828 llvm_report_error("Global variable '" + GV->getNameStr() +
829 "' section type or attributes does not match previous"
830 " section specifier");
831 }
Chris Lattnerff4bc462009-08-10 01:39:42 +0000832
Chris Lattnere309cfa2009-08-13 00:05:07 +0000833 return S;
Chris Lattner24f654c2009-08-06 16:39:58 +0000834}
835
836const MCSection *TargetLoweringObjectFileMachO::
Chris Lattnerf9650c02009-08-01 21:46:23 +0000837SelectSectionForGlobal(const GlobalValue *GV, SectionKind Kind,
Chris Lattnere53a6002009-07-29 05:09:30 +0000838 Mangler *Mang, const TargetMachine &TM) const {
Chris Lattnerf9650c02009-08-01 21:46:23 +0000839 assert(!Kind.isThreadLocal() && "Darwin doesn't support TLS");
Chris Lattnerf0144122009-07-28 03:13:23 +0000840
Chris Lattnerf9650c02009-08-01 21:46:23 +0000841 if (Kind.isText())
Chris Lattner27602b82009-08-01 21:42:58 +0000842 return GV->isWeakForLinker() ? TextCoalSection : TextSection;
Chris Lattnerf0144122009-07-28 03:13:23 +0000843
844 // If this is weak/linkonce, put this in a coalescable section, either in text
845 // or data depending on if it is writable.
Chris Lattner27602b82009-08-01 21:42:58 +0000846 if (GV->isWeakForLinker()) {
Chris Lattnerf9650c02009-08-01 21:46:23 +0000847 if (Kind.isReadOnly())
Chris Lattnerf0144122009-07-28 03:13:23 +0000848 return ConstTextCoalSection;
849 return DataCoalSection;
850 }
851
852 // FIXME: Alignment check should be handled by section classifier.
Chris Lattnerec409752009-08-04 16:27:13 +0000853 if (Kind.isMergeable1ByteCString() ||
854 Kind.isMergeable2ByteCString()) {
855 if (TM.getTargetData()->getPreferredAlignment(
856 cast<GlobalVariable>(GV)) < 32) {
857 if (Kind.isMergeable1ByteCString())
Chris Lattner82458382009-08-01 21:56:13 +0000858 return CStringSection;
Chris Lattnerec409752009-08-04 16:27:13 +0000859 assert(Kind.isMergeable2ByteCString());
860 return UStringSection;
Chris Lattnerf0144122009-07-28 03:13:23 +0000861 }
Chris Lattnerf0144122009-07-28 03:13:23 +0000862 }
863
Chris Lattnerf9650c02009-08-01 21:46:23 +0000864 if (Kind.isMergeableConst()) {
865 if (Kind.isMergeableConst4())
Chris Lattnerf0144122009-07-28 03:13:23 +0000866 return FourByteConstantSection;
Chris Lattnerf9650c02009-08-01 21:46:23 +0000867 if (Kind.isMergeableConst8())
Chris Lattnerf0144122009-07-28 03:13:23 +0000868 return EightByteConstantSection;
Chris Lattnerf9650c02009-08-01 21:46:23 +0000869 if (Kind.isMergeableConst16() && SixteenByteConstantSection)
Chris Lattnerf0144122009-07-28 03:13:23 +0000870 return SixteenByteConstantSection;
Chris Lattnerf0144122009-07-28 03:13:23 +0000871 }
Chris Lattnerec409752009-08-04 16:27:13 +0000872
873 // Otherwise, if it is readonly, but not something we can specially optimize,
874 // just drop it in .const.
Chris Lattnerf9650c02009-08-01 21:46:23 +0000875 if (Kind.isReadOnly())
Chris Lattnerf0144122009-07-28 03:13:23 +0000876 return ReadOnlySection;
877
878 // If this is marked const, put it into a const section. But if the dynamic
879 // linker needs to write to it, put it in the data segment.
Chris Lattnerf9650c02009-08-01 21:46:23 +0000880 if (Kind.isReadOnlyWithRel())
Chris Lattnerf0144122009-07-28 03:13:23 +0000881 return ConstDataSection;
882
883 // Otherwise, just drop the variable in the normal data section.
884 return DataSection;
885}
886
Chris Lattnera87dea42009-07-31 18:48:30 +0000887const MCSection *
Chris Lattner83d77fa2009-08-01 23:46:12 +0000888TargetLoweringObjectFileMachO::getSectionForConstant(SectionKind Kind) const {
Chris Lattnerf0144122009-07-28 03:13:23 +0000889 // If this constant requires a relocation, we have to put it in the data
890 // segment, not in the text segment.
891 if (Kind.isDataRel())
892 return ConstDataSection;
893
894 if (Kind.isMergeableConst4())
895 return FourByteConstantSection;
896 if (Kind.isMergeableConst8())
897 return EightByteConstantSection;
Chris Lattner4bb253c2009-07-28 17:50:28 +0000898 if (Kind.isMergeableConst16() && SixteenByteConstantSection)
Chris Lattnerf0144122009-07-28 03:13:23 +0000899 return SixteenByteConstantSection;
900 return ReadOnlySection; // .const
901}
902
Chris Lattner26630c12009-07-31 20:52:39 +0000903/// shouldEmitUsedDirectiveFor - This hook allows targets to selectively decide
904/// not to emit the UsedDirective for some symbols in llvm.used.
905// FIXME: REMOVE this (rdar://7071300)
906bool TargetLoweringObjectFileMachO::
907shouldEmitUsedDirectiveFor(const GlobalValue *GV, Mangler *Mang) const {
908 /// On Darwin, internally linked data beginning with "L" or "l" does not have
909 /// the directive emitted (this occurs in ObjC metadata).
910 if (!GV) return false;
911
912 // Check whether the mangled name has the "Private" or "LinkerPrivate" prefix.
913 if (GV->hasLocalLinkage() && !isa<Function>(GV)) {
914 // FIXME: ObjC metadata is currently emitted as internal symbols that have
915 // \1L and \0l prefixes on them. Fix them to be Private/LinkerPrivate and
916 // this horrible hack can go away.
917 const std::string &Name = Mang->getMangledName(GV);
918 if (Name[0] == 'L' || Name[0] == 'l')
919 return false;
920 }
921
922 return true;
923}
924
925
Chris Lattnerf0144122009-07-28 03:13:23 +0000926//===----------------------------------------------------------------------===//
927// COFF
928//===----------------------------------------------------------------------===//
929
Chris Lattner38cff382009-08-13 00:37:15 +0000930typedef StringMap<const MCSectionCOFF*> COFFUniqueMapTy;
931
932TargetLoweringObjectFileCOFF::~TargetLoweringObjectFileCOFF() {
933 delete (COFFUniqueMapTy*)UniquingMap;
934}
935
Chris Lattner0c0cb712009-08-08 20:22:20 +0000936
Chris Lattner11e96572009-08-03 21:53:27 +0000937const MCSection *TargetLoweringObjectFileCOFF::
Chris Lattner0c0cb712009-08-08 20:22:20 +0000938getCOFFSection(const char *Name, bool isDirective, SectionKind Kind) const {
Chris Lattner38cff382009-08-13 00:37:15 +0000939 // Create the map if it doesn't already exist.
940 if (UniquingMap == 0)
941 UniquingMap = new MachOUniqueMapTy();
942 COFFUniqueMapTy &Map = *(COFFUniqueMapTy*)UniquingMap;
943
944 // Do the lookup, if we have a hit, return it.
945 const MCSectionCOFF *&Entry = Map[Name];
946 if (Entry) return Entry;
947
948 return Entry = MCSectionCOFF::Create(Name, isDirective, Kind, getContext());
Chris Lattnerfbf1d272009-08-08 20:14:13 +0000949}
950
Chris Lattnerf26e03b2009-07-31 17:42:42 +0000951void TargetLoweringObjectFileCOFF::Initialize(MCContext &Ctx,
952 const TargetMachine &TM) {
Benjamin Kramer76d5ccf2009-08-17 17:05:44 +0000953 if (UniquingMap != 0)
954 ((COFFUniqueMapTy*)UniquingMap)->clear();
Chris Lattnera87dea42009-07-31 18:48:30 +0000955 TargetLoweringObjectFile::Initialize(Ctx, TM);
Chris Lattner0c0cb712009-08-08 20:22:20 +0000956 TextSection = getCOFFSection("\t.text", true, SectionKind::getText());
957 DataSection = getCOFFSection("\t.data", true, SectionKind::getDataRel());
Chris Lattner80ec2792009-08-02 00:34:36 +0000958 StaticCtorSection =
Chris Lattner0c0cb712009-08-08 20:22:20 +0000959 getCOFFSection(".ctors", false, SectionKind::getDataRel());
Chris Lattner80ec2792009-08-02 00:34:36 +0000960 StaticDtorSection =
Chris Lattner0c0cb712009-08-08 20:22:20 +0000961 getCOFFSection(".dtors", false, SectionKind::getDataRel());
Chris Lattner18a4c162009-08-02 07:24:22 +0000962
963
964 // Debug info.
965 // FIXME: Don't use 'directive' mode here.
966 DwarfAbbrevSection =
Chris Lattner0c0cb712009-08-08 20:22:20 +0000967 getCOFFSection("\t.section\t.debug_abbrev,\"dr\"",
968 true, SectionKind::getMetadata());
Chris Lattner18a4c162009-08-02 07:24:22 +0000969 DwarfInfoSection =
Chris Lattner0c0cb712009-08-08 20:22:20 +0000970 getCOFFSection("\t.section\t.debug_info,\"dr\"",
971 true, SectionKind::getMetadata());
Chris Lattner18a4c162009-08-02 07:24:22 +0000972 DwarfLineSection =
Chris Lattner0c0cb712009-08-08 20:22:20 +0000973 getCOFFSection("\t.section\t.debug_line,\"dr\"",
974 true, SectionKind::getMetadata());
Chris Lattner18a4c162009-08-02 07:24:22 +0000975 DwarfFrameSection =
Chris Lattner0c0cb712009-08-08 20:22:20 +0000976 getCOFFSection("\t.section\t.debug_frame,\"dr\"",
977 true, SectionKind::getMetadata());
Chris Lattner18a4c162009-08-02 07:24:22 +0000978 DwarfPubNamesSection =
Chris Lattner0c0cb712009-08-08 20:22:20 +0000979 getCOFFSection("\t.section\t.debug_pubnames,\"dr\"",
980 true, SectionKind::getMetadata());
Chris Lattner18a4c162009-08-02 07:24:22 +0000981 DwarfPubTypesSection =
Chris Lattner0c0cb712009-08-08 20:22:20 +0000982 getCOFFSection("\t.section\t.debug_pubtypes,\"dr\"",
983 true, SectionKind::getMetadata());
Chris Lattner18a4c162009-08-02 07:24:22 +0000984 DwarfStrSection =
Chris Lattner0c0cb712009-08-08 20:22:20 +0000985 getCOFFSection("\t.section\t.debug_str,\"dr\"",
986 true, SectionKind::getMetadata());
Chris Lattner18a4c162009-08-02 07:24:22 +0000987 DwarfLocSection =
Chris Lattner0c0cb712009-08-08 20:22:20 +0000988 getCOFFSection("\t.section\t.debug_loc,\"dr\"",
989 true, SectionKind::getMetadata());
Chris Lattner18a4c162009-08-02 07:24:22 +0000990 DwarfARangesSection =
Chris Lattner0c0cb712009-08-08 20:22:20 +0000991 getCOFFSection("\t.section\t.debug_aranges,\"dr\"",
992 true, SectionKind::getMetadata());
Chris Lattner18a4c162009-08-02 07:24:22 +0000993 DwarfRangesSection =
Chris Lattner0c0cb712009-08-08 20:22:20 +0000994 getCOFFSection("\t.section\t.debug_ranges,\"dr\"",
995 true, SectionKind::getMetadata());
Chris Lattner18a4c162009-08-02 07:24:22 +0000996 DwarfMacroInfoSection =
Chris Lattner0c0cb712009-08-08 20:22:20 +0000997 getCOFFSection("\t.section\t.debug_macinfo,\"dr\"",
998 true, SectionKind::getMetadata());
Chris Lattnerf0144122009-07-28 03:13:23 +0000999}
1000
Chris Lattner24f654c2009-08-06 16:39:58 +00001001const MCSection *TargetLoweringObjectFileCOFF::
1002getExplicitSectionGlobal(const GlobalValue *GV, SectionKind Kind,
1003 Mangler *Mang, const TargetMachine &TM) const {
Chris Lattner0c0cb712009-08-08 20:22:20 +00001004 return getCOFFSection(GV->getSection().c_str(), false, Kind);
Chris Lattner24f654c2009-08-06 16:39:58 +00001005}
1006
Chris Lattnerf0144122009-07-28 03:13:23 +00001007static const char *getCOFFSectionPrefixForUniqueGlobal(SectionKind Kind) {
1008 if (Kind.isText())
1009 return ".text$linkonce";
1010 if (Kind.isWriteable())
1011 return ".data$linkonce";
1012 return ".rdata$linkonce";
1013}
1014
1015
Chris Lattnera87dea42009-07-31 18:48:30 +00001016const MCSection *TargetLoweringObjectFileCOFF::
Chris Lattnerf9650c02009-08-01 21:46:23 +00001017SelectSectionForGlobal(const GlobalValue *GV, SectionKind Kind,
Chris Lattnere53a6002009-07-29 05:09:30 +00001018 Mangler *Mang, const TargetMachine &TM) const {
Chris Lattnerf9650c02009-08-01 21:46:23 +00001019 assert(!Kind.isThreadLocal() && "Doesn't support TLS");
Chris Lattnerf0144122009-07-28 03:13:23 +00001020
1021 // If this global is linkonce/weak and the target handles this by emitting it
1022 // into a 'uniqued' section name, create and return the section now.
Chris Lattner27602b82009-08-01 21:42:58 +00001023 if (GV->isWeakForLinker()) {
Chris Lattnerf9650c02009-08-01 21:46:23 +00001024 const char *Prefix = getCOFFSectionPrefixForUniqueGlobal(Kind);
Chris Lattner968ff112009-08-01 21:11:14 +00001025 std::string Name = Mang->makeNameProper(GV->getNameStr());
Chris Lattner0c0cb712009-08-08 20:22:20 +00001026 return getCOFFSection((Prefix+Name).c_str(), false, Kind);
Chris Lattnerf0144122009-07-28 03:13:23 +00001027 }
1028
Chris Lattnerf9650c02009-08-01 21:46:23 +00001029 if (Kind.isText())
Chris Lattnerf0144122009-07-28 03:13:23 +00001030 return getTextSection();
1031
Chris Lattnerf0144122009-07-28 03:13:23 +00001032 return getDataSection();
1033}
1034