blob: 67fbc1f6ca095e41e7bb3c993093e4692eee9825 [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
Anton Korobeynikov848c2932009-08-18 14:06:12 +0000490 if (K.isText())
491 Flags |= MCSectionELF::SHF_EXECINSTR;
492
Bruno Cardoso Lopesb8085882009-08-13 05:07:35 +0000493 if (K.isWriteable())
494 Flags |= MCSectionELF::SHF_WRITE;
495
496 if (K.isThreadLocal())
497 Flags |= MCSectionELF::SHF_TLS;
498
499 // K.isMergeableConst() is left out to honour PR4650
500 if (K.isMergeableCString() || K.isMergeableConst4() ||
501 K.isMergeableConst8() || K.isMergeableConst16())
502 Flags |= MCSectionELF::SHF_MERGE;
503
504 if (K.isMergeableCString())
505 Flags |= MCSectionELF::SHF_STRINGS;
506
507 return Flags;
508}
509
510
Chris Lattner24f654c2009-08-06 16:39:58 +0000511const MCSection *TargetLoweringObjectFileELF::
512getExplicitSectionGlobal(const GlobalValue *GV, SectionKind Kind,
513 Mangler *Mang, const TargetMachine &TM) const {
Bruno Cardoso Lopesb8085882009-08-13 05:07:35 +0000514 const char *SectionName = GV->getSection().c_str();
515
Chris Lattner24f654c2009-08-06 16:39:58 +0000516 // Infer section flags from the section name if we can.
Bruno Cardoso Lopesb8085882009-08-13 05:07:35 +0000517 Kind = getELFKindForNamedSection(SectionName, Kind);
Chris Lattner24f654c2009-08-06 16:39:58 +0000518
Bruno Cardoso Lopesb8085882009-08-13 05:07:35 +0000519 return getELFSection(SectionName,
520 getELFSectionType(SectionName, Kind),
521 getELFSectionFlags(Kind), Kind, true);
Chris Lattner24f654c2009-08-06 16:39:58 +0000522}
Chris Lattnerf0144122009-07-28 03:13:23 +0000523
524static const char *getSectionPrefixForUniqueGlobal(SectionKind Kind) {
525 if (Kind.isText()) return ".gnu.linkonce.t.";
526 if (Kind.isReadOnly()) return ".gnu.linkonce.r.";
527
528 if (Kind.isThreadData()) return ".gnu.linkonce.td.";
529 if (Kind.isThreadBSS()) return ".gnu.linkonce.tb.";
530
531 if (Kind.isBSS()) return ".gnu.linkonce.b.";
532 if (Kind.isDataNoRel()) return ".gnu.linkonce.d.";
533 if (Kind.isDataRelLocal()) return ".gnu.linkonce.d.rel.local.";
534 if (Kind.isDataRel()) return ".gnu.linkonce.d.rel.";
535 if (Kind.isReadOnlyWithRelLocal()) return ".gnu.linkonce.d.rel.ro.local.";
536
537 assert(Kind.isReadOnlyWithRel() && "Unknown section kind");
538 return ".gnu.linkonce.d.rel.ro.";
539}
540
Chris Lattnera87dea42009-07-31 18:48:30 +0000541const MCSection *TargetLoweringObjectFileELF::
Chris Lattnerf9650c02009-08-01 21:46:23 +0000542SelectSectionForGlobal(const GlobalValue *GV, SectionKind Kind,
Chris Lattnere53a6002009-07-29 05:09:30 +0000543 Mangler *Mang, const TargetMachine &TM) const {
Chris Lattnerf0144122009-07-28 03:13:23 +0000544
545 // If this global is linkonce/weak and the target handles this by emitting it
546 // into a 'uniqued' section name, create and return the section now.
Chris Lattner27602b82009-08-01 21:42:58 +0000547 if (GV->isWeakForLinker()) {
Chris Lattnerf9650c02009-08-01 21:46:23 +0000548 const char *Prefix = getSectionPrefixForUniqueGlobal(Kind);
Chris Lattnerb8f396b2009-07-29 05:20:33 +0000549 std::string Name = Mang->makeNameProper(GV->getNameStr());
Bruno Cardoso Lopesb8085882009-08-13 05:07:35 +0000550
551 return getELFSection((Prefix+Name).c_str(),
552 getELFSectionType((Prefix+Name).c_str(), Kind),
553 getELFSectionFlags(Kind),
554 Kind);
Chris Lattnerf0144122009-07-28 03:13:23 +0000555 }
556
Chris Lattnerf9650c02009-08-01 21:46:23 +0000557 if (Kind.isText()) return TextSection;
Chris Lattnere53a6002009-07-29 05:09:30 +0000558
Chris Lattner3b24c012009-08-04 05:35:56 +0000559 if (Kind.isMergeable1ByteCString() ||
560 Kind.isMergeable2ByteCString() ||
561 Kind.isMergeable4ByteCString()) {
Chris Lattnerf0144122009-07-28 03:13:23 +0000562
Chris Lattner067fe1a2009-07-29 04:54:38 +0000563 // We also need alignment here.
564 // FIXME: this is getting the alignment of the character, not the
565 // alignment of the global!
566 unsigned Align =
567 TM.getTargetData()->getPreferredAlignment(cast<GlobalVariable>(GV));
Chris Lattnerf0144122009-07-28 03:13:23 +0000568
Chris Lattner7e88a502009-08-04 16:19:50 +0000569 const char *SizeSpec = ".rodata.str1.";
Chris Lattner3b24c012009-08-04 05:35:56 +0000570 if (Kind.isMergeable2ByteCString())
Chris Lattner7e88a502009-08-04 16:19:50 +0000571 SizeSpec = ".rodata.str2.";
Chris Lattner3b24c012009-08-04 05:35:56 +0000572 else if (Kind.isMergeable4ByteCString())
Chris Lattner7e88a502009-08-04 16:19:50 +0000573 SizeSpec = ".rodata.str4.";
Chris Lattner3b24c012009-08-04 05:35:56 +0000574 else
575 assert(Kind.isMergeable1ByteCString() && "unknown string width");
576
577
Chris Lattner7e88a502009-08-04 16:19:50 +0000578 std::string Name = SizeSpec + utostr(Align);
Bruno Cardoso Lopesb8085882009-08-13 05:07:35 +0000579 return getELFSection(Name.c_str(), MCSectionELF::SHT_PROGBITS,
580 MCSectionELF::SHF_ALLOC |
581 MCSectionELF::SHF_MERGE |
582 MCSectionELF::SHF_STRINGS,
583 Kind);
Chris Lattnerf0144122009-07-28 03:13:23 +0000584 }
585
Chris Lattnerf9650c02009-08-01 21:46:23 +0000586 if (Kind.isMergeableConst()) {
Chris Lattner203b3e92009-08-15 06:08:34 +0000587 if (Kind.isMergeableConst4() && MergeableConst4Section)
Chris Lattnerf0144122009-07-28 03:13:23 +0000588 return MergeableConst4Section;
Chris Lattner203b3e92009-08-15 06:08:34 +0000589 if (Kind.isMergeableConst8() && MergeableConst8Section)
Chris Lattnerf0144122009-07-28 03:13:23 +0000590 return MergeableConst8Section;
Chris Lattner203b3e92009-08-15 06:08:34 +0000591 if (Kind.isMergeableConst16() && MergeableConst16Section)
Chris Lattnerf0144122009-07-28 03:13:23 +0000592 return MergeableConst16Section;
593 return ReadOnlySection; // .const
594 }
595
Chris Lattnerf9650c02009-08-01 21:46:23 +0000596 if (Kind.isReadOnly()) return ReadOnlySection;
Chris Lattnerf0144122009-07-28 03:13:23 +0000597
Chris Lattnerf9650c02009-08-01 21:46:23 +0000598 if (Kind.isThreadData()) return TLSDataSection;
599 if (Kind.isThreadBSS()) return TLSBSSSection;
Chris Lattnerf0144122009-07-28 03:13:23 +0000600
Chris Lattner82458382009-08-01 21:56:13 +0000601 if (Kind.isBSS()) return BSSSection;
Chris Lattnerf0144122009-07-28 03:13:23 +0000602
Chris Lattnerf9650c02009-08-01 21:46:23 +0000603 if (Kind.isDataNoRel()) return DataSection;
604 if (Kind.isDataRelLocal()) return DataRelLocalSection;
605 if (Kind.isDataRel()) return DataRelSection;
606 if (Kind.isReadOnlyWithRelLocal()) return DataRelROLocalSection;
Chris Lattnerf0144122009-07-28 03:13:23 +0000607
Chris Lattnerf9650c02009-08-01 21:46:23 +0000608 assert(Kind.isReadOnlyWithRel() && "Unknown section kind");
Chris Lattnerf0144122009-07-28 03:13:23 +0000609 return DataRelROSection;
610}
611
Chris Lattner83d77fa2009-08-01 23:46:12 +0000612/// getSectionForConstant - Given a mergeable constant with the
Chris Lattnerf0144122009-07-28 03:13:23 +0000613/// specified size and relocation information, return a section that it
614/// should be placed in.
Chris Lattnera87dea42009-07-31 18:48:30 +0000615const MCSection *TargetLoweringObjectFileELF::
Chris Lattner83d77fa2009-08-01 23:46:12 +0000616getSectionForConstant(SectionKind Kind) const {
Richard Osborne2a5e23b2009-08-17 16:37:11 +0000617 if (Kind.isMergeableConst4() && MergeableConst4Section)
Chris Lattnerf0144122009-07-28 03:13:23 +0000618 return MergeableConst4Section;
Richard Osborne2a5e23b2009-08-17 16:37:11 +0000619 if (Kind.isMergeableConst8() && MergeableConst8Section)
Chris Lattnerf0144122009-07-28 03:13:23 +0000620 return MergeableConst8Section;
Richard Osborne2a5e23b2009-08-17 16:37:11 +0000621 if (Kind.isMergeableConst16() && MergeableConst16Section)
Chris Lattnerf0144122009-07-28 03:13:23 +0000622 return MergeableConst16Section;
623 if (Kind.isReadOnly())
624 return ReadOnlySection;
625
626 if (Kind.isReadOnlyWithRelLocal()) return DataRelROLocalSection;
627 assert(Kind.isReadOnlyWithRel() && "Unknown section kind");
628 return DataRelROSection;
629}
630
631//===----------------------------------------------------------------------===//
632// MachO
633//===----------------------------------------------------------------------===//
634
Chris Lattner5dc47ff2009-08-12 23:55:02 +0000635typedef StringMap<const MCSectionMachO*> MachOUniqueMapTy;
Chris Lattner0c0cb712009-08-08 20:22:20 +0000636
Chris Lattner5dc47ff2009-08-12 23:55:02 +0000637TargetLoweringObjectFileMachO::~TargetLoweringObjectFileMachO() {
638 // If we have the MachO uniquing map, free it.
639 delete (MachOUniqueMapTy*)UniquingMap;
640}
641
642
643const MCSectionMachO *TargetLoweringObjectFileMachO::
Chris Lattnerd3c4486f2009-08-12 23:34:27 +0000644getMachOSection(const StringRef &Segment, const StringRef &Section,
Chris Lattnerff4bc462009-08-10 01:39:42 +0000645 unsigned TypeAndAttributes,
646 unsigned Reserved2, SectionKind Kind) const {
Chris Lattner5dc47ff2009-08-12 23:55:02 +0000647 // We unique sections by their segment/section pair. The returned section
648 // may not have the same flags as the requested section, if so this should be
649 // diagnosed by the client as an error.
Chris Lattnerff4bc462009-08-10 01:39:42 +0000650
Chris Lattner5dc47ff2009-08-12 23:55:02 +0000651 // Create the map if it doesn't already exist.
652 if (UniquingMap == 0)
653 UniquingMap = new MachOUniqueMapTy();
654 MachOUniqueMapTy &Map = *(MachOUniqueMapTy*)UniquingMap;
655
656 // Form the name to look up.
657 SmallString<64> Name;
658 Name.append(Segment.begin(), Segment.end());
659 Name.push_back(',');
660 Name.append(Section.begin(), Section.end());
661
662 // Do the lookup, if we have a hit, return it.
663 const MCSectionMachO *&Entry = Map[StringRef(Name.data(), Name.size())];
664 if (Entry) return Entry;
665
666 // Otherwise, return a new section.
667 return Entry = MCSectionMachO::Create(Segment, Section, TypeAndAttributes,
668 Reserved2, Kind, getContext());
Chris Lattnerfbf1d272009-08-08 20:14:13 +0000669}
670
Chris Lattner11e96572009-08-03 21:53:27 +0000671
Chris Lattnerf26e03b2009-07-31 17:42:42 +0000672void TargetLoweringObjectFileMachO::Initialize(MCContext &Ctx,
673 const TargetMachine &TM) {
Benjamin Kramer76d5ccf2009-08-17 17:05:44 +0000674 if (UniquingMap != 0)
675 ((MachOUniqueMapTy*)UniquingMap)->clear();
Chris Lattnera87dea42009-07-31 18:48:30 +0000676 TargetLoweringObjectFile::Initialize(Ctx, TM);
Chris Lattnerf0144122009-07-28 03:13:23 +0000677
Chris Lattnerff4bc462009-08-10 01:39:42 +0000678 TextSection // .text
679 = getMachOSection("__TEXT", "__text",
680 MCSectionMachO::S_ATTR_PURE_INSTRUCTIONS,
681 SectionKind::getText());
682 DataSection // .data
683 = getMachOSection("__DATA", "__data", 0, SectionKind::getDataRel());
684
685 CStringSection // .cstring
686 = getMachOSection("__TEXT", "__cstring", MCSectionMachO::S_CSTRING_LITERALS,
687 SectionKind::getMergeable1ByteCString());
688 UStringSection
689 = getMachOSection("__TEXT","__ustring", 0,
690 SectionKind::getMergeable2ByteCString());
691 FourByteConstantSection // .literal4
692 = getMachOSection("__TEXT", "__literal4", MCSectionMachO::S_4BYTE_LITERALS,
693 SectionKind::getMergeableConst4());
694 EightByteConstantSection // .literal8
695 = getMachOSection("__TEXT", "__literal8", MCSectionMachO::S_8BYTE_LITERALS,
696 SectionKind::getMergeableConst8());
Chris Lattner4bb253c2009-07-28 17:50:28 +0000697
698 // ld_classic doesn't support .literal16 in 32-bit mode, and ld64 falls back
699 // to using it in -static mode.
Chris Lattnerff4bc462009-08-10 01:39:42 +0000700 SixteenByteConstantSection = 0;
Chris Lattner4bb253c2009-07-28 17:50:28 +0000701 if (TM.getRelocationModel() != Reloc::Static &&
702 TM.getTargetData()->getPointerSize() == 32)
Chris Lattnerff4bc462009-08-10 01:39:42 +0000703 SixteenByteConstantSection = // .literal16
704 getMachOSection("__TEXT", "__literal16",MCSectionMachO::S_16BYTE_LITERALS,
Chris Lattner0c0cb712009-08-08 20:22:20 +0000705 SectionKind::getMergeableConst16());
Chris Lattnerf0144122009-07-28 03:13:23 +0000706
Chris Lattnerff4bc462009-08-10 01:39:42 +0000707 ReadOnlySection // .const
708 = getMachOSection("__TEXT", "__const", 0, SectionKind::getReadOnly());
Chris Lattnerf0144122009-07-28 03:13:23 +0000709
Chris Lattnerff4bc462009-08-10 01:39:42 +0000710 TextCoalSection
711 = getMachOSection("__TEXT", "__textcoal_nt",
712 MCSectionMachO::S_COALESCED |
713 MCSectionMachO::S_ATTR_PURE_INSTRUCTIONS,
714 SectionKind::getText());
715 ConstTextCoalSection
716 = getMachOSection("__TEXT", "__const_coal", MCSectionMachO::S_COALESCED,
717 SectionKind::getText());
718 ConstDataCoalSection
719 = getMachOSection("__DATA","__const_coal", MCSectionMachO::S_COALESCED,
720 SectionKind::getText());
721 ConstDataSection // .const_data
722 = getMachOSection("__DATA", "__const", 0,
723 SectionKind::getReadOnlyWithRel());
724 DataCoalSection
725 = getMachOSection("__DATA","__datacoal_nt", MCSectionMachO::S_COALESCED,
726 SectionKind::getDataRel());
Chris Lattner80ec2792009-08-02 00:34:36 +0000727
Chris Lattnere309cfa2009-08-13 00:05:07 +0000728
729 LazySymbolPointerSection
730 = getMachOSection("__DATA", "__la_symbol_ptr",
731 MCSectionMachO::S_LAZY_SYMBOL_POINTERS,
732 SectionKind::getMetadata());
733 NonLazySymbolPointerSection
734 = getMachOSection("__DATA", "__nl_symbol_ptr",
735 MCSectionMachO::S_NON_LAZY_SYMBOL_POINTERS,
736 SectionKind::getMetadata());
737
Chris Lattner80ec2792009-08-02 00:34:36 +0000738 if (TM.getRelocationModel() == Reloc::Static) {
Chris Lattnerff4bc462009-08-10 01:39:42 +0000739 StaticCtorSection
740 = getMachOSection("__TEXT", "__constructor", 0,SectionKind::getDataRel());
741 StaticDtorSection
742 = getMachOSection("__TEXT", "__destructor", 0, SectionKind::getDataRel());
Chris Lattner80ec2792009-08-02 00:34:36 +0000743 } else {
Chris Lattnerff4bc462009-08-10 01:39:42 +0000744 StaticCtorSection
745 = getMachOSection("__DATA", "__mod_init_func",
746 MCSectionMachO::S_MOD_INIT_FUNC_POINTERS,
747 SectionKind::getDataRel());
748 StaticDtorSection
749 = getMachOSection("__DATA", "__mod_term_func",
750 MCSectionMachO::S_MOD_TERM_FUNC_POINTERS,
751 SectionKind::getDataRel());
Chris Lattner80ec2792009-08-02 00:34:36 +0000752 }
753
Chris Lattner18a4c162009-08-02 07:24:22 +0000754 // Exception Handling.
Chris Lattnerff4bc462009-08-10 01:39:42 +0000755 LSDASection = getMachOSection("__DATA", "__gcc_except_tab", 0,
Chris Lattner0c0cb712009-08-08 20:22:20 +0000756 SectionKind::getDataRel());
Chris Lattner35039ac2009-08-02 06:52:36 +0000757 EHFrameSection =
Chris Lattnerff4bc462009-08-10 01:39:42 +0000758 getMachOSection("__TEXT", "__eh_frame",
759 MCSectionMachO::S_COALESCED |
760 MCSectionMachO::S_ATTR_NO_TOC |
761 MCSectionMachO::S_ATTR_STRIP_STATIC_SYMS |
762 MCSectionMachO::S_ATTR_LIVE_SUPPORT,
763 SectionKind::getReadOnly());
Chris Lattner18a4c162009-08-02 07:24:22 +0000764
765 // Debug Information.
Chris Lattner18a4c162009-08-02 07:24:22 +0000766 DwarfAbbrevSection =
Chris Lattnerff4bc462009-08-10 01:39:42 +0000767 getMachOSection("__DWARF", "__debug_abbrev", MCSectionMachO::S_ATTR_DEBUG,
Chris Lattner0c0cb712009-08-08 20:22:20 +0000768 SectionKind::getMetadata());
Chris Lattner18a4c162009-08-02 07:24:22 +0000769 DwarfInfoSection =
Chris Lattnerff4bc462009-08-10 01:39:42 +0000770 getMachOSection("__DWARF", "__debug_info", MCSectionMachO::S_ATTR_DEBUG,
Chris Lattner0c0cb712009-08-08 20:22:20 +0000771 SectionKind::getMetadata());
Chris Lattner18a4c162009-08-02 07:24:22 +0000772 DwarfLineSection =
Chris Lattnerff4bc462009-08-10 01:39:42 +0000773 getMachOSection("__DWARF", "__debug_line", MCSectionMachO::S_ATTR_DEBUG,
Chris Lattner0c0cb712009-08-08 20:22:20 +0000774 SectionKind::getMetadata());
Chris Lattner18a4c162009-08-02 07:24:22 +0000775 DwarfFrameSection =
Chris Lattnerff4bc462009-08-10 01:39:42 +0000776 getMachOSection("__DWARF", "__debug_frame", MCSectionMachO::S_ATTR_DEBUG,
Chris Lattner0c0cb712009-08-08 20:22:20 +0000777 SectionKind::getMetadata());
Chris Lattner18a4c162009-08-02 07:24:22 +0000778 DwarfPubNamesSection =
Chris Lattnerff4bc462009-08-10 01:39:42 +0000779 getMachOSection("__DWARF", "__debug_pubnames", MCSectionMachO::S_ATTR_DEBUG,
Chris Lattner0c0cb712009-08-08 20:22:20 +0000780 SectionKind::getMetadata());
Chris Lattner18a4c162009-08-02 07:24:22 +0000781 DwarfPubTypesSection =
Chris Lattnerff4bc462009-08-10 01:39:42 +0000782 getMachOSection("__DWARF", "__debug_pubtypes", MCSectionMachO::S_ATTR_DEBUG,
Chris Lattner0c0cb712009-08-08 20:22:20 +0000783 SectionKind::getMetadata());
Chris Lattner18a4c162009-08-02 07:24:22 +0000784 DwarfStrSection =
Chris Lattnerff4bc462009-08-10 01:39:42 +0000785 getMachOSection("__DWARF", "__debug_str", MCSectionMachO::S_ATTR_DEBUG,
Chris Lattner0c0cb712009-08-08 20:22:20 +0000786 SectionKind::getMetadata());
Chris Lattner18a4c162009-08-02 07:24:22 +0000787 DwarfLocSection =
Chris Lattnerff4bc462009-08-10 01:39:42 +0000788 getMachOSection("__DWARF", "__debug_loc", MCSectionMachO::S_ATTR_DEBUG,
Chris Lattner0c0cb712009-08-08 20:22:20 +0000789 SectionKind::getMetadata());
Chris Lattner18a4c162009-08-02 07:24:22 +0000790 DwarfARangesSection =
Chris Lattnerff4bc462009-08-10 01:39:42 +0000791 getMachOSection("__DWARF", "__debug_aranges", MCSectionMachO::S_ATTR_DEBUG,
Chris Lattner0c0cb712009-08-08 20:22:20 +0000792 SectionKind::getMetadata());
Chris Lattner18a4c162009-08-02 07:24:22 +0000793 DwarfRangesSection =
Chris Lattnerff4bc462009-08-10 01:39:42 +0000794 getMachOSection("__DWARF", "__debug_ranges", MCSectionMachO::S_ATTR_DEBUG,
Chris Lattner0c0cb712009-08-08 20:22:20 +0000795 SectionKind::getMetadata());
Chris Lattner18a4c162009-08-02 07:24:22 +0000796 DwarfMacroInfoSection =
Chris Lattnerff4bc462009-08-10 01:39:42 +0000797 getMachOSection("__DWARF", "__debug_macinfo", MCSectionMachO::S_ATTR_DEBUG,
Chris Lattner0c0cb712009-08-08 20:22:20 +0000798 SectionKind::getMetadata());
Chris Lattner18a4c162009-08-02 07:24:22 +0000799 DwarfDebugInlineSection =
Chris Lattnerff4bc462009-08-10 01:39:42 +0000800 getMachOSection("__DWARF", "__debug_inlined", MCSectionMachO::S_ATTR_DEBUG,
Chris Lattner0c0cb712009-08-08 20:22:20 +0000801 SectionKind::getMetadata());
Chris Lattnerf0144122009-07-28 03:13:23 +0000802}
803
Chris Lattnera87dea42009-07-31 18:48:30 +0000804const MCSection *TargetLoweringObjectFileMachO::
Chris Lattner24f654c2009-08-06 16:39:58 +0000805getExplicitSectionGlobal(const GlobalValue *GV, SectionKind Kind,
806 Mangler *Mang, const TargetMachine &TM) const {
Chris Lattnerff4bc462009-08-10 01:39:42 +0000807 // Parse the section specifier and create it if valid.
808 StringRef Segment, Section;
809 unsigned TAA, StubSize;
810 std::string ErrorCode =
811 MCSectionMachO::ParseSectionSpecifier(GV->getSection(), Segment, Section,
812 TAA, StubSize);
Chris Lattnere309cfa2009-08-13 00:05:07 +0000813 if (!ErrorCode.empty()) {
814 // If invalid, report the error with llvm_report_error.
815 llvm_report_error("Global variable '" + GV->getNameStr() +
816 "' has an invalid section specifier '" + GV->getSection()+
817 "': " + ErrorCode + ".");
818 // Fall back to dropping it into the data section.
819 return DataSection;
820 }
821
822 // Get the section.
823 const MCSectionMachO *S =
824 getMachOSection(Segment, Section, TAA, StubSize, Kind);
825
826 // Okay, now that we got the section, verify that the TAA & StubSize agree.
827 // If the user declared multiple globals with different section flags, we need
828 // to reject it here.
829 if (S->getTypeAndAttributes() != TAA || S->getStubSize() != StubSize) {
830 // If invalid, report the error with llvm_report_error.
831 llvm_report_error("Global variable '" + GV->getNameStr() +
832 "' section type or attributes does not match previous"
833 " section specifier");
834 }
Chris Lattnerff4bc462009-08-10 01:39:42 +0000835
Chris Lattnere309cfa2009-08-13 00:05:07 +0000836 return S;
Chris Lattner24f654c2009-08-06 16:39:58 +0000837}
838
839const MCSection *TargetLoweringObjectFileMachO::
Chris Lattnerf9650c02009-08-01 21:46:23 +0000840SelectSectionForGlobal(const GlobalValue *GV, SectionKind Kind,
Chris Lattnere53a6002009-07-29 05:09:30 +0000841 Mangler *Mang, const TargetMachine &TM) const {
Chris Lattnerf9650c02009-08-01 21:46:23 +0000842 assert(!Kind.isThreadLocal() && "Darwin doesn't support TLS");
Chris Lattnerf0144122009-07-28 03:13:23 +0000843
Chris Lattnerf9650c02009-08-01 21:46:23 +0000844 if (Kind.isText())
Chris Lattner27602b82009-08-01 21:42:58 +0000845 return GV->isWeakForLinker() ? TextCoalSection : TextSection;
Chris Lattnerf0144122009-07-28 03:13:23 +0000846
847 // If this is weak/linkonce, put this in a coalescable section, either in text
848 // or data depending on if it is writable.
Chris Lattner27602b82009-08-01 21:42:58 +0000849 if (GV->isWeakForLinker()) {
Chris Lattnerf9650c02009-08-01 21:46:23 +0000850 if (Kind.isReadOnly())
Chris Lattnerf0144122009-07-28 03:13:23 +0000851 return ConstTextCoalSection;
852 return DataCoalSection;
853 }
854
855 // FIXME: Alignment check should be handled by section classifier.
Chris Lattnerec409752009-08-04 16:27:13 +0000856 if (Kind.isMergeable1ByteCString() ||
857 Kind.isMergeable2ByteCString()) {
858 if (TM.getTargetData()->getPreferredAlignment(
859 cast<GlobalVariable>(GV)) < 32) {
860 if (Kind.isMergeable1ByteCString())
Chris Lattner82458382009-08-01 21:56:13 +0000861 return CStringSection;
Chris Lattnerec409752009-08-04 16:27:13 +0000862 assert(Kind.isMergeable2ByteCString());
863 return UStringSection;
Chris Lattnerf0144122009-07-28 03:13:23 +0000864 }
Chris Lattnerf0144122009-07-28 03:13:23 +0000865 }
866
Chris Lattnerf9650c02009-08-01 21:46:23 +0000867 if (Kind.isMergeableConst()) {
868 if (Kind.isMergeableConst4())
Chris Lattnerf0144122009-07-28 03:13:23 +0000869 return FourByteConstantSection;
Chris Lattnerf9650c02009-08-01 21:46:23 +0000870 if (Kind.isMergeableConst8())
Chris Lattnerf0144122009-07-28 03:13:23 +0000871 return EightByteConstantSection;
Chris Lattnerf9650c02009-08-01 21:46:23 +0000872 if (Kind.isMergeableConst16() && SixteenByteConstantSection)
Chris Lattnerf0144122009-07-28 03:13:23 +0000873 return SixteenByteConstantSection;
Chris Lattnerf0144122009-07-28 03:13:23 +0000874 }
Chris Lattnerec409752009-08-04 16:27:13 +0000875
876 // Otherwise, if it is readonly, but not something we can specially optimize,
877 // just drop it in .const.
Chris Lattnerf9650c02009-08-01 21:46:23 +0000878 if (Kind.isReadOnly())
Chris Lattnerf0144122009-07-28 03:13:23 +0000879 return ReadOnlySection;
880
881 // If this is marked const, put it into a const section. But if the dynamic
882 // linker needs to write to it, put it in the data segment.
Chris Lattnerf9650c02009-08-01 21:46:23 +0000883 if (Kind.isReadOnlyWithRel())
Chris Lattnerf0144122009-07-28 03:13:23 +0000884 return ConstDataSection;
885
886 // Otherwise, just drop the variable in the normal data section.
887 return DataSection;
888}
889
Chris Lattnera87dea42009-07-31 18:48:30 +0000890const MCSection *
Chris Lattner83d77fa2009-08-01 23:46:12 +0000891TargetLoweringObjectFileMachO::getSectionForConstant(SectionKind Kind) const {
Chris Lattnerf0144122009-07-28 03:13:23 +0000892 // If this constant requires a relocation, we have to put it in the data
893 // segment, not in the text segment.
894 if (Kind.isDataRel())
895 return ConstDataSection;
896
897 if (Kind.isMergeableConst4())
898 return FourByteConstantSection;
899 if (Kind.isMergeableConst8())
900 return EightByteConstantSection;
Chris Lattner4bb253c2009-07-28 17:50:28 +0000901 if (Kind.isMergeableConst16() && SixteenByteConstantSection)
Chris Lattnerf0144122009-07-28 03:13:23 +0000902 return SixteenByteConstantSection;
903 return ReadOnlySection; // .const
904}
905
Chris Lattner26630c12009-07-31 20:52:39 +0000906/// shouldEmitUsedDirectiveFor - This hook allows targets to selectively decide
907/// not to emit the UsedDirective for some symbols in llvm.used.
908// FIXME: REMOVE this (rdar://7071300)
909bool TargetLoweringObjectFileMachO::
910shouldEmitUsedDirectiveFor(const GlobalValue *GV, Mangler *Mang) const {
911 /// On Darwin, internally linked data beginning with "L" or "l" does not have
912 /// the directive emitted (this occurs in ObjC metadata).
913 if (!GV) return false;
914
915 // Check whether the mangled name has the "Private" or "LinkerPrivate" prefix.
916 if (GV->hasLocalLinkage() && !isa<Function>(GV)) {
917 // FIXME: ObjC metadata is currently emitted as internal symbols that have
918 // \1L and \0l prefixes on them. Fix them to be Private/LinkerPrivate and
919 // this horrible hack can go away.
920 const std::string &Name = Mang->getMangledName(GV);
921 if (Name[0] == 'L' || Name[0] == 'l')
922 return false;
923 }
924
925 return true;
926}
927
928
Chris Lattnerf0144122009-07-28 03:13:23 +0000929//===----------------------------------------------------------------------===//
930// COFF
931//===----------------------------------------------------------------------===//
932
Chris Lattner38cff382009-08-13 00:37:15 +0000933typedef StringMap<const MCSectionCOFF*> COFFUniqueMapTy;
934
935TargetLoweringObjectFileCOFF::~TargetLoweringObjectFileCOFF() {
936 delete (COFFUniqueMapTy*)UniquingMap;
937}
938
Chris Lattner0c0cb712009-08-08 20:22:20 +0000939
Chris Lattner11e96572009-08-03 21:53:27 +0000940const MCSection *TargetLoweringObjectFileCOFF::
Chris Lattner0c0cb712009-08-08 20:22:20 +0000941getCOFFSection(const char *Name, bool isDirective, SectionKind Kind) const {
Chris Lattner38cff382009-08-13 00:37:15 +0000942 // Create the map if it doesn't already exist.
943 if (UniquingMap == 0)
944 UniquingMap = new MachOUniqueMapTy();
945 COFFUniqueMapTy &Map = *(COFFUniqueMapTy*)UniquingMap;
946
947 // Do the lookup, if we have a hit, return it.
948 const MCSectionCOFF *&Entry = Map[Name];
949 if (Entry) return Entry;
950
951 return Entry = MCSectionCOFF::Create(Name, isDirective, Kind, getContext());
Chris Lattnerfbf1d272009-08-08 20:14:13 +0000952}
953
Chris Lattnerf26e03b2009-07-31 17:42:42 +0000954void TargetLoweringObjectFileCOFF::Initialize(MCContext &Ctx,
955 const TargetMachine &TM) {
Benjamin Kramer76d5ccf2009-08-17 17:05:44 +0000956 if (UniquingMap != 0)
957 ((COFFUniqueMapTy*)UniquingMap)->clear();
Chris Lattnera87dea42009-07-31 18:48:30 +0000958 TargetLoweringObjectFile::Initialize(Ctx, TM);
Chris Lattner0c0cb712009-08-08 20:22:20 +0000959 TextSection = getCOFFSection("\t.text", true, SectionKind::getText());
960 DataSection = getCOFFSection("\t.data", true, SectionKind::getDataRel());
Chris Lattner80ec2792009-08-02 00:34:36 +0000961 StaticCtorSection =
Chris Lattner0c0cb712009-08-08 20:22:20 +0000962 getCOFFSection(".ctors", false, SectionKind::getDataRel());
Chris Lattner80ec2792009-08-02 00:34:36 +0000963 StaticDtorSection =
Chris Lattner0c0cb712009-08-08 20:22:20 +0000964 getCOFFSection(".dtors", false, SectionKind::getDataRel());
Chris Lattner18a4c162009-08-02 07:24:22 +0000965
966
967 // Debug info.
968 // FIXME: Don't use 'directive' mode here.
969 DwarfAbbrevSection =
Chris Lattner0c0cb712009-08-08 20:22:20 +0000970 getCOFFSection("\t.section\t.debug_abbrev,\"dr\"",
971 true, SectionKind::getMetadata());
Chris Lattner18a4c162009-08-02 07:24:22 +0000972 DwarfInfoSection =
Chris Lattner0c0cb712009-08-08 20:22:20 +0000973 getCOFFSection("\t.section\t.debug_info,\"dr\"",
974 true, SectionKind::getMetadata());
Chris Lattner18a4c162009-08-02 07:24:22 +0000975 DwarfLineSection =
Chris Lattner0c0cb712009-08-08 20:22:20 +0000976 getCOFFSection("\t.section\t.debug_line,\"dr\"",
977 true, SectionKind::getMetadata());
Chris Lattner18a4c162009-08-02 07:24:22 +0000978 DwarfFrameSection =
Chris Lattner0c0cb712009-08-08 20:22:20 +0000979 getCOFFSection("\t.section\t.debug_frame,\"dr\"",
980 true, SectionKind::getMetadata());
Chris Lattner18a4c162009-08-02 07:24:22 +0000981 DwarfPubNamesSection =
Chris Lattner0c0cb712009-08-08 20:22:20 +0000982 getCOFFSection("\t.section\t.debug_pubnames,\"dr\"",
983 true, SectionKind::getMetadata());
Chris Lattner18a4c162009-08-02 07:24:22 +0000984 DwarfPubTypesSection =
Chris Lattner0c0cb712009-08-08 20:22:20 +0000985 getCOFFSection("\t.section\t.debug_pubtypes,\"dr\"",
986 true, SectionKind::getMetadata());
Chris Lattner18a4c162009-08-02 07:24:22 +0000987 DwarfStrSection =
Chris Lattner0c0cb712009-08-08 20:22:20 +0000988 getCOFFSection("\t.section\t.debug_str,\"dr\"",
989 true, SectionKind::getMetadata());
Chris Lattner18a4c162009-08-02 07:24:22 +0000990 DwarfLocSection =
Chris Lattner0c0cb712009-08-08 20:22:20 +0000991 getCOFFSection("\t.section\t.debug_loc,\"dr\"",
992 true, SectionKind::getMetadata());
Chris Lattner18a4c162009-08-02 07:24:22 +0000993 DwarfARangesSection =
Chris Lattner0c0cb712009-08-08 20:22:20 +0000994 getCOFFSection("\t.section\t.debug_aranges,\"dr\"",
995 true, SectionKind::getMetadata());
Chris Lattner18a4c162009-08-02 07:24:22 +0000996 DwarfRangesSection =
Chris Lattner0c0cb712009-08-08 20:22:20 +0000997 getCOFFSection("\t.section\t.debug_ranges,\"dr\"",
998 true, SectionKind::getMetadata());
Chris Lattner18a4c162009-08-02 07:24:22 +0000999 DwarfMacroInfoSection =
Chris Lattner0c0cb712009-08-08 20:22:20 +00001000 getCOFFSection("\t.section\t.debug_macinfo,\"dr\"",
1001 true, SectionKind::getMetadata());
Chris Lattnerf0144122009-07-28 03:13:23 +00001002}
1003
Chris Lattner24f654c2009-08-06 16:39:58 +00001004const MCSection *TargetLoweringObjectFileCOFF::
1005getExplicitSectionGlobal(const GlobalValue *GV, SectionKind Kind,
1006 Mangler *Mang, const TargetMachine &TM) const {
Chris Lattner0c0cb712009-08-08 20:22:20 +00001007 return getCOFFSection(GV->getSection().c_str(), false, Kind);
Chris Lattner24f654c2009-08-06 16:39:58 +00001008}
1009
Chris Lattnerf0144122009-07-28 03:13:23 +00001010static const char *getCOFFSectionPrefixForUniqueGlobal(SectionKind Kind) {
1011 if (Kind.isText())
1012 return ".text$linkonce";
1013 if (Kind.isWriteable())
1014 return ".data$linkonce";
1015 return ".rdata$linkonce";
1016}
1017
1018
Chris Lattnera87dea42009-07-31 18:48:30 +00001019const MCSection *TargetLoweringObjectFileCOFF::
Chris Lattnerf9650c02009-08-01 21:46:23 +00001020SelectSectionForGlobal(const GlobalValue *GV, SectionKind Kind,
Chris Lattnere53a6002009-07-29 05:09:30 +00001021 Mangler *Mang, const TargetMachine &TM) const {
Chris Lattnerf9650c02009-08-01 21:46:23 +00001022 assert(!Kind.isThreadLocal() && "Doesn't support TLS");
Chris Lattnerf0144122009-07-28 03:13:23 +00001023
1024 // If this global is linkonce/weak and the target handles this by emitting it
1025 // into a 'uniqued' section name, create and return the section now.
Chris Lattner27602b82009-08-01 21:42:58 +00001026 if (GV->isWeakForLinker()) {
Chris Lattnerf9650c02009-08-01 21:46:23 +00001027 const char *Prefix = getCOFFSectionPrefixForUniqueGlobal(Kind);
Chris Lattner968ff112009-08-01 21:11:14 +00001028 std::string Name = Mang->makeNameProper(GV->getNameStr());
Chris Lattner0c0cb712009-08-08 20:22:20 +00001029 return getCOFFSection((Prefix+Name).c_str(), false, Kind);
Chris Lattnerf0144122009-07-28 03:13:23 +00001030 }
1031
Chris Lattnerf9650c02009-08-01 21:46:23 +00001032 if (Kind.isText())
Chris Lattnerf0144122009-07-28 03:13:23 +00001033 return getTextSection();
1034
Chris Lattnerf0144122009-07-28 03:13:23 +00001035 return getDataSection();
1036}
1037