blob: a26bec2bdf7c6749724306ce7f1dfe80613fe99e [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"
18#include "llvm/GlobalVariable.h"
Chris Lattnera87dea42009-07-31 18:48:30 +000019#include "llvm/MC/MCContext.h"
20#include "llvm/MC/MCSection.h"
Chris Lattnerf0144122009-07-28 03:13:23 +000021#include "llvm/Target/TargetMachine.h"
22#include "llvm/Target/TargetData.h"
23#include "llvm/Target/TargetOptions.h"
Chris Lattnera87dea42009-07-31 18:48:30 +000024#include "llvm/Support/Mangler.h"
Chris Lattnerf0144122009-07-28 03:13:23 +000025#include "llvm/ADT/StringExtras.h"
26using namespace llvm;
27
28//===----------------------------------------------------------------------===//
29// Generic Code
30//===----------------------------------------------------------------------===//
31
Chris Lattnera87dea42009-07-31 18:48:30 +000032TargetLoweringObjectFile::TargetLoweringObjectFile() : Ctx(0) {
Chris Lattnerf0144122009-07-28 03:13:23 +000033 TextSection = 0;
34 DataSection = 0;
35 BSSSection_ = 0;
36 ReadOnlySection = 0;
37 TLSDataSection = 0;
38 TLSBSSSection = 0;
39 CStringSection_ = 0;
40}
41
42TargetLoweringObjectFile::~TargetLoweringObjectFile() {
43}
44
45static bool isSuitableForBSS(const GlobalVariable *GV) {
46 Constant *C = GV->getInitializer();
47
48 // Must have zero initializer.
49 if (!C->isNullValue())
50 return false;
51
52 // Leave constant zeros in readonly constant sections, so they can be shared.
53 if (GV->isConstant())
54 return false;
55
56 // If the global has an explicit section specified, don't put it in BSS.
57 if (!GV->getSection().empty())
58 return false;
59
60 // If -nozero-initialized-in-bss is specified, don't ever use BSS.
61 if (NoZerosInBSS)
62 return false;
63
64 // Otherwise, put it in BSS!
65 return true;
66}
67
68static bool isConstantString(const Constant *C) {
69 // First check: is we have constant array of i8 terminated with zero
70 const ConstantArray *CVA = dyn_cast<ConstantArray>(C);
71 // Check, if initializer is a null-terminated string
72 if (CVA && CVA->isCString())
73 return true;
74
75 // Another possibility: [1 x i8] zeroinitializer
76 if (isa<ConstantAggregateZero>(C))
77 if (const ArrayType *Ty = dyn_cast<ArrayType>(C->getType()))
78 return (Ty->getElementType() == Type::Int8Ty &&
79 Ty->getNumElements() == 1);
80
81 return false;
82}
83
Chris Lattner968ff112009-08-01 21:11:14 +000084/// SectionKindForGlobal - This is a top-level target-independent classifier for
85/// a global variable. Given an global variable and information from TM, it
86/// classifies the global in a variety of ways that make various target
87/// implementations simpler. The target implementation is free to ignore this
88/// extra info of course.
89static SectionKind SectionKindForGlobal(const GlobalValue *GV,
90 const TargetMachine &TM) {
Chris Lattnerf0144122009-07-28 03:13:23 +000091 Reloc::Model ReloModel = TM.getRelocationModel();
92
93 // Early exit - functions should be always in text sections.
94 const GlobalVariable *GVar = dyn_cast<GlobalVariable>(GV);
95 if (GVar == 0)
Chris Lattner968ff112009-08-01 21:11:14 +000096 return SectionKind::get(SectionKind::Text);
Chris Lattnerf0144122009-07-28 03:13:23 +000097
98
99 // Handle thread-local data first.
100 if (GVar->isThreadLocal()) {
101 if (isSuitableForBSS(GVar))
Chris Lattner968ff112009-08-01 21:11:14 +0000102 return SectionKind::get(SectionKind::ThreadBSS);
103 return SectionKind::get(SectionKind::ThreadData);
Chris Lattnerf0144122009-07-28 03:13:23 +0000104 }
105
106 // Variable can be easily put to BSS section.
107 if (isSuitableForBSS(GVar))
Chris Lattner968ff112009-08-01 21:11:14 +0000108 return SectionKind::get(SectionKind::BSS);
Chris Lattnerf0144122009-07-28 03:13:23 +0000109
110 Constant *C = GVar->getInitializer();
111
112 // If the global is marked constant, we can put it into a mergable section,
113 // a mergable string section, or general .data if it contains relocations.
114 if (GVar->isConstant()) {
115 // If the initializer for the global contains something that requires a
116 // relocation, then we may have to drop this into a wriable data section
117 // even though it is marked const.
118 switch (C->getRelocationInfo()) {
119 default: llvm_unreachable("unknown relocation info kind");
120 case Constant::NoRelocation:
121 // If initializer is a null-terminated string, put it in a "cstring"
122 // section if the target has it.
123 if (isConstantString(C))
Chris Lattner968ff112009-08-01 21:11:14 +0000124 return SectionKind::get(SectionKind::MergeableCString);
Chris Lattnerf0144122009-07-28 03:13:23 +0000125
126 // Otherwise, just drop it into a mergable constant section. If we have
127 // a section for this size, use it, otherwise use the arbitrary sized
128 // mergable section.
129 switch (TM.getTargetData()->getTypeAllocSize(C->getType())) {
Chris Lattner968ff112009-08-01 21:11:14 +0000130 case 4: return SectionKind::get(SectionKind::MergeableConst4);
131 case 8: return SectionKind::get(SectionKind::MergeableConst8);
132 case 16: return SectionKind::get(SectionKind::MergeableConst16);
133 default: return SectionKind::get(SectionKind::MergeableConst);
Chris Lattnerf0144122009-07-28 03:13:23 +0000134 }
135
136 case Constant::LocalRelocation:
137 // In static relocation model, the linker will resolve all addresses, so
138 // the relocation entries will actually be constants by the time the app
139 // starts up. However, we can't put this into a mergable section, because
140 // the linker doesn't take relocations into consideration when it tries to
141 // merge entries in the section.
142 if (ReloModel == Reloc::Static)
Chris Lattner968ff112009-08-01 21:11:14 +0000143 return SectionKind::get(SectionKind::ReadOnly);
Chris Lattnerf0144122009-07-28 03:13:23 +0000144
145 // Otherwise, the dynamic linker needs to fix it up, put it in the
146 // writable data.rel.local section.
Chris Lattner968ff112009-08-01 21:11:14 +0000147 return SectionKind::get(SectionKind::ReadOnlyWithRelLocal);
Chris Lattnerf0144122009-07-28 03:13:23 +0000148
149 case Constant::GlobalRelocations:
150 // In static relocation model, the linker will resolve all addresses, so
151 // the relocation entries will actually be constants by the time the app
152 // starts up. However, we can't put this into a mergable section, because
153 // the linker doesn't take relocations into consideration when it tries to
154 // merge entries in the section.
155 if (ReloModel == Reloc::Static)
Chris Lattner968ff112009-08-01 21:11:14 +0000156 return SectionKind::get(SectionKind::ReadOnly);
Chris Lattnerf0144122009-07-28 03:13:23 +0000157
158 // Otherwise, the dynamic linker needs to fix it up, put it in the
159 // writable data.rel section.
Chris Lattner968ff112009-08-01 21:11:14 +0000160 return SectionKind::get(SectionKind::ReadOnlyWithRel);
Chris Lattnerf0144122009-07-28 03:13:23 +0000161 }
162 }
163
164 // Okay, this isn't a constant. If the initializer for the global is going
165 // to require a runtime relocation by the dynamic linker, put it into a more
166 // specific section to improve startup time of the app. This coalesces these
167 // globals together onto fewer pages, improving the locality of the dynamic
168 // linker.
169 if (ReloModel == Reloc::Static)
Chris Lattner968ff112009-08-01 21:11:14 +0000170 return SectionKind::get(SectionKind::DataNoRel);
Chris Lattnerf0144122009-07-28 03:13:23 +0000171
172 switch (C->getRelocationInfo()) {
173 default: llvm_unreachable("unknown relocation info kind");
174 case Constant::NoRelocation:
Chris Lattner968ff112009-08-01 21:11:14 +0000175 return SectionKind::get(SectionKind::DataNoRel);
Chris Lattnerf0144122009-07-28 03:13:23 +0000176 case Constant::LocalRelocation:
Chris Lattner968ff112009-08-01 21:11:14 +0000177 return SectionKind::get(SectionKind::DataRelLocal);
Chris Lattnerf0144122009-07-28 03:13:23 +0000178 case Constant::GlobalRelocations:
Chris Lattner968ff112009-08-01 21:11:14 +0000179 return SectionKind::get(SectionKind::DataRel);
Chris Lattnerf0144122009-07-28 03:13:23 +0000180 }
181}
182
183/// SectionForGlobal - This method computes the appropriate section to emit
184/// the specified global variable or function definition. This should not
185/// be passed external (or available externally) globals.
Chris Lattnera87dea42009-07-31 18:48:30 +0000186const MCSection *TargetLoweringObjectFile::
Chris Lattnere53a6002009-07-29 05:09:30 +0000187SectionForGlobal(const GlobalValue *GV, Mangler *Mang,
188 const TargetMachine &TM) const {
Chris Lattnerf0144122009-07-28 03:13:23 +0000189 assert(!GV->isDeclaration() && !GV->hasAvailableExternallyLinkage() &&
190 "Can only be used for global definitions");
191
Chris Lattner968ff112009-08-01 21:11:14 +0000192 SectionKind Kind = SectionKindForGlobal(GV, TM);
Chris Lattnerf0144122009-07-28 03:13:23 +0000193
Chris Lattnerf0144122009-07-28 03:13:23 +0000194 // Select section name.
195 if (GV->hasSection()) {
196 // If the target has special section hacks for specifically named globals,
197 // return them now.
Chris Lattnerf9650c02009-08-01 21:46:23 +0000198 if (const MCSection *TS = getSpecialCasedSectionGlobals(GV, Mang, Kind))
Chris Lattnerf0144122009-07-28 03:13:23 +0000199 return TS;
200
201 // If the target has magic semantics for certain section names, make sure to
202 // pick up the flags. This allows the user to write things with attribute
203 // section and still get the appropriate section flags printed.
Chris Lattner968ff112009-08-01 21:11:14 +0000204 Kind = getKindForNamedSection(GV->getSection().c_str(), Kind);
Chris Lattnerf0144122009-07-28 03:13:23 +0000205
Chris Lattner968ff112009-08-01 21:11:14 +0000206 return getOrCreateSection(GV->getSection().c_str(), false, Kind);
Chris Lattnerf0144122009-07-28 03:13:23 +0000207 }
208
209
210 // Use default section depending on the 'type' of global
Chris Lattnerf9650c02009-08-01 21:46:23 +0000211 return SelectSectionForGlobal(GV, Kind, Mang, TM);
Chris Lattnerf0144122009-07-28 03:13:23 +0000212}
213
214// Lame default implementation. Calculate the section name for global.
Chris Lattnera87dea42009-07-31 18:48:30 +0000215const MCSection *
Chris Lattnerf0144122009-07-28 03:13:23 +0000216TargetLoweringObjectFile::SelectSectionForGlobal(const GlobalValue *GV,
Chris Lattnerf9650c02009-08-01 21:46:23 +0000217 SectionKind Kind,
Chris Lattnere53a6002009-07-29 05:09:30 +0000218 Mangler *Mang,
Chris Lattnerf0144122009-07-28 03:13:23 +0000219 const TargetMachine &TM) const{
Chris Lattnerf9650c02009-08-01 21:46:23 +0000220 assert(!Kind.isThreadLocal() && "Doesn't support TLS");
Chris Lattnerf0144122009-07-28 03:13:23 +0000221
Chris Lattnerf9650c02009-08-01 21:46:23 +0000222 if (Kind.isText())
Chris Lattnerf0144122009-07-28 03:13:23 +0000223 return getTextSection();
224
Chris Lattnerf9650c02009-08-01 21:46:23 +0000225 if (Kind.isBSS() && BSSSection_ != 0)
Chris Lattnerf0144122009-07-28 03:13:23 +0000226 return BSSSection_;
227
Chris Lattnerf9650c02009-08-01 21:46:23 +0000228 if (Kind.isReadOnly() && ReadOnlySection != 0)
Chris Lattnerf0144122009-07-28 03:13:23 +0000229 return ReadOnlySection;
230
231 return getDataSection();
232}
233
234/// getSectionForMergableConstant - Given a mergable constant with the
235/// specified size and relocation information, return a section that it
236/// should be placed in.
Chris Lattnera87dea42009-07-31 18:48:30 +0000237const MCSection *
Chris Lattnerf0144122009-07-28 03:13:23 +0000238TargetLoweringObjectFile::
239getSectionForMergeableConstant(SectionKind Kind) const {
240 if (Kind.isReadOnly() && ReadOnlySection != 0)
241 return ReadOnlySection;
242
243 return DataSection;
244}
245
246
Chris Lattnera87dea42009-07-31 18:48:30 +0000247const MCSection *TargetLoweringObjectFile::
Chris Lattner968ff112009-08-01 21:11:14 +0000248getOrCreateSection(const char *Name, bool isDirective, SectionKind Kind) const {
Chris Lattnera87dea42009-07-31 18:48:30 +0000249 if (MCSection *S = Ctx->GetSection(Name))
250 return S;
Chris Lattner968ff112009-08-01 21:11:14 +0000251 return MCSection::Create(Name, isDirective, Kind, *Ctx);
Chris Lattnerf0144122009-07-28 03:13:23 +0000252}
253
254
255
256//===----------------------------------------------------------------------===//
257// ELF
258//===----------------------------------------------------------------------===//
259
Chris Lattnerf26e03b2009-07-31 17:42:42 +0000260void TargetLoweringObjectFileELF::Initialize(MCContext &Ctx,
261 const TargetMachine &TM) {
Chris Lattnera87dea42009-07-31 18:48:30 +0000262 TargetLoweringObjectFile::Initialize(Ctx, TM);
Chris Lattnerf0144122009-07-28 03:13:23 +0000263 if (!HasCrazyBSS)
Chris Lattner968ff112009-08-01 21:11:14 +0000264 BSSSection_ = getOrCreateSection("\t.bss", true,
265 SectionKind::get(SectionKind::BSS));
Chris Lattnerf0144122009-07-28 03:13:23 +0000266 else
267 // PPC/Linux doesn't support the .bss directive, it needs .section .bss.
268 // FIXME: Does .section .bss work everywhere??
Chris Lattner968ff112009-08-01 21:11:14 +0000269 // FIXME2: this should just be handle by the section printer. We should get
270 // away from syntactic view of the sections and MCSection should just be a
271 // semantic view.
272 BSSSection_ = getOrCreateSection("\t.bss", false,
273 SectionKind::get(SectionKind::BSS));
Chris Lattnerf0144122009-07-28 03:13:23 +0000274
275
Chris Lattner968ff112009-08-01 21:11:14 +0000276 TextSection = getOrCreateSection("\t.text", true,
277 SectionKind::get(SectionKind::Text));
278 DataSection = getOrCreateSection("\t.data", true,
279 SectionKind::get(SectionKind::DataRel));
Chris Lattnerf0144122009-07-28 03:13:23 +0000280 ReadOnlySection =
Chris Lattner968ff112009-08-01 21:11:14 +0000281 getOrCreateSection("\t.rodata", false,
282 SectionKind::get(SectionKind::ReadOnly));
Chris Lattnerf0144122009-07-28 03:13:23 +0000283 TLSDataSection =
Chris Lattner968ff112009-08-01 21:11:14 +0000284 getOrCreateSection("\t.tdata", false,
285 SectionKind::get(SectionKind::ThreadData));
Chris Lattnerf0144122009-07-28 03:13:23 +0000286 CStringSection_ = getOrCreateSection("\t.rodata.str", true,
Chris Lattner968ff112009-08-01 21:11:14 +0000287 SectionKind::get(SectionKind::MergeableCString));
Chris Lattnerf0144122009-07-28 03:13:23 +0000288
Chris Lattner968ff112009-08-01 21:11:14 +0000289 TLSBSSSection = getOrCreateSection("\t.tbss", false,
290 SectionKind::get(SectionKind::ThreadBSS));
Chris Lattnerf0144122009-07-28 03:13:23 +0000291
292 DataRelSection = getOrCreateSection("\t.data.rel", false,
Chris Lattner968ff112009-08-01 21:11:14 +0000293 SectionKind::get(SectionKind::DataRel));
Chris Lattnerf0144122009-07-28 03:13:23 +0000294 DataRelLocalSection = getOrCreateSection("\t.data.rel.local", false,
Chris Lattner968ff112009-08-01 21:11:14 +0000295 SectionKind::get(SectionKind::DataRelLocal));
Chris Lattnerf0144122009-07-28 03:13:23 +0000296 DataRelROSection = getOrCreateSection("\t.data.rel.ro", false,
Chris Lattner968ff112009-08-01 21:11:14 +0000297 SectionKind::get(SectionKind::ReadOnlyWithRel));
Chris Lattnerf0144122009-07-28 03:13:23 +0000298 DataRelROLocalSection =
299 getOrCreateSection("\t.data.rel.ro.local", false,
Chris Lattner968ff112009-08-01 21:11:14 +0000300 SectionKind::get(SectionKind::ReadOnlyWithRelLocal));
Chris Lattnerf0144122009-07-28 03:13:23 +0000301
302 MergeableConst4Section = getOrCreateSection(".rodata.cst4", false,
Chris Lattner968ff112009-08-01 21:11:14 +0000303 SectionKind::get(SectionKind::MergeableConst4));
Chris Lattnerf0144122009-07-28 03:13:23 +0000304 MergeableConst8Section = getOrCreateSection(".rodata.cst8", false,
Chris Lattner968ff112009-08-01 21:11:14 +0000305 SectionKind::get(SectionKind::MergeableConst8));
Chris Lattnerf0144122009-07-28 03:13:23 +0000306 MergeableConst16Section = getOrCreateSection(".rodata.cst16", false,
Chris Lattner968ff112009-08-01 21:11:14 +0000307 SectionKind::get(SectionKind::MergeableConst16));
Chris Lattnerf0144122009-07-28 03:13:23 +0000308}
309
310
Chris Lattner968ff112009-08-01 21:11:14 +0000311SectionKind TargetLoweringObjectFileELF::
312getKindForNamedSection(const char *Name, SectionKind K) const {
Chris Lattnerf0144122009-07-28 03:13:23 +0000313 if (Name[0] != '.') return K;
314
315 // Some lame default implementation based on some magic section names.
316 if (strncmp(Name, ".gnu.linkonce.b.", 16) == 0 ||
317 strncmp(Name, ".llvm.linkonce.b.", 17) == 0 ||
318 strncmp(Name, ".gnu.linkonce.sb.", 17) == 0 ||
319 strncmp(Name, ".llvm.linkonce.sb.", 18) == 0)
Chris Lattner968ff112009-08-01 21:11:14 +0000320 return SectionKind::get(SectionKind::BSS);
Chris Lattnerf0144122009-07-28 03:13:23 +0000321
322 if (strcmp(Name, ".tdata") == 0 ||
323 strncmp(Name, ".tdata.", 7) == 0 ||
324 strncmp(Name, ".gnu.linkonce.td.", 17) == 0 ||
325 strncmp(Name, ".llvm.linkonce.td.", 18) == 0)
Chris Lattner968ff112009-08-01 21:11:14 +0000326 return SectionKind::get(SectionKind::ThreadData);
Chris Lattnerf0144122009-07-28 03:13:23 +0000327
328 if (strcmp(Name, ".tbss") == 0 ||
329 strncmp(Name, ".tbss.", 6) == 0 ||
330 strncmp(Name, ".gnu.linkonce.tb.", 17) == 0 ||
331 strncmp(Name, ".llvm.linkonce.tb.", 18) == 0)
Chris Lattner968ff112009-08-01 21:11:14 +0000332 return SectionKind::get(SectionKind::ThreadBSS);
Chris Lattnerf0144122009-07-28 03:13:23 +0000333
334 return K;
335}
336
337void TargetLoweringObjectFileELF::
338getSectionFlagsAsString(SectionKind Kind, SmallVectorImpl<char> &Str) const {
339 Str.push_back(',');
340 Str.push_back('"');
341
342 if (!Kind.isMetadata())
343 Str.push_back('a');
344 if (Kind.isText())
345 Str.push_back('x');
346 if (Kind.isWriteable())
347 Str.push_back('w');
Chris Lattner82987bf2009-07-31 16:17:13 +0000348 if (Kind.isMergeableCString() ||
349 Kind.isMergeableConst4() ||
350 Kind.isMergeableConst8() ||
351 Kind.isMergeableConst16())
Chris Lattnerf0144122009-07-28 03:13:23 +0000352 Str.push_back('M');
353 if (Kind.isMergeableCString())
354 Str.push_back('S');
355 if (Kind.isThreadLocal())
356 Str.push_back('T');
357
358 Str.push_back('"');
359 Str.push_back(',');
360
361 // If comment string is '@', e.g. as on ARM - use '%' instead
362 if (AtIsCommentChar)
363 Str.push_back('%');
364 else
365 Str.push_back('@');
366
367 const char *KindStr;
Chris Lattnerbf15e432009-07-28 17:57:51 +0000368 if (Kind.isBSS() || Kind.isThreadBSS())
Chris Lattnerf0144122009-07-28 03:13:23 +0000369 KindStr = "nobits";
370 else
371 KindStr = "progbits";
372
373 Str.append(KindStr, KindStr+strlen(KindStr));
374
375 if (Kind.isMergeableCString()) {
376 // TODO: Eventually handle multiple byte character strings. For now, all
377 // mergable C strings are single byte.
378 Str.push_back(',');
379 Str.push_back('1');
380 } else if (Kind.isMergeableConst4()) {
381 Str.push_back(',');
382 Str.push_back('4');
383 } else if (Kind.isMergeableConst8()) {
384 Str.push_back(',');
385 Str.push_back('8');
386 } else if (Kind.isMergeableConst16()) {
387 Str.push_back(',');
388 Str.push_back('1');
389 Str.push_back('6');
390 }
391}
392
393
394static const char *getSectionPrefixForUniqueGlobal(SectionKind Kind) {
395 if (Kind.isText()) return ".gnu.linkonce.t.";
396 if (Kind.isReadOnly()) return ".gnu.linkonce.r.";
397
398 if (Kind.isThreadData()) return ".gnu.linkonce.td.";
399 if (Kind.isThreadBSS()) return ".gnu.linkonce.tb.";
400
401 if (Kind.isBSS()) return ".gnu.linkonce.b.";
402 if (Kind.isDataNoRel()) return ".gnu.linkonce.d.";
403 if (Kind.isDataRelLocal()) return ".gnu.linkonce.d.rel.local.";
404 if (Kind.isDataRel()) return ".gnu.linkonce.d.rel.";
405 if (Kind.isReadOnlyWithRelLocal()) return ".gnu.linkonce.d.rel.ro.local.";
406
407 assert(Kind.isReadOnlyWithRel() && "Unknown section kind");
408 return ".gnu.linkonce.d.rel.ro.";
409}
410
Chris Lattnera87dea42009-07-31 18:48:30 +0000411const MCSection *TargetLoweringObjectFileELF::
Chris Lattnerf9650c02009-08-01 21:46:23 +0000412SelectSectionForGlobal(const GlobalValue *GV, SectionKind Kind,
Chris Lattnere53a6002009-07-29 05:09:30 +0000413 Mangler *Mang, const TargetMachine &TM) const {
Chris Lattnerf0144122009-07-28 03:13:23 +0000414
415 // If this global is linkonce/weak and the target handles this by emitting it
416 // into a 'uniqued' section name, create and return the section now.
Chris Lattner27602b82009-08-01 21:42:58 +0000417 if (GV->isWeakForLinker()) {
Chris Lattnerf9650c02009-08-01 21:46:23 +0000418 const char *Prefix = getSectionPrefixForUniqueGlobal(Kind);
Chris Lattnerb8f396b2009-07-29 05:20:33 +0000419 std::string Name = Mang->makeNameProper(GV->getNameStr());
Chris Lattnerf9650c02009-08-01 21:46:23 +0000420 return getOrCreateSection((Prefix+Name).c_str(), false, Kind);
Chris Lattnerf0144122009-07-28 03:13:23 +0000421 }
422
Chris Lattnerf9650c02009-08-01 21:46:23 +0000423 if (Kind.isText()) return TextSection;
Chris Lattnere53a6002009-07-29 05:09:30 +0000424
Chris Lattnerf9650c02009-08-01 21:46:23 +0000425 if (Kind.isMergeableCString()) {
Chris Lattner067fe1a2009-07-29 04:54:38 +0000426 assert(CStringSection_ && "Should have string section prefix");
Chris Lattnerf0144122009-07-28 03:13:23 +0000427
Chris Lattner067fe1a2009-07-29 04:54:38 +0000428 // We also need alignment here.
429 // FIXME: this is getting the alignment of the character, not the
430 // alignment of the global!
431 unsigned Align =
432 TM.getTargetData()->getPreferredAlignment(cast<GlobalVariable>(GV));
Chris Lattnerf0144122009-07-28 03:13:23 +0000433
Chris Lattnera6792072009-07-29 04:55:08 +0000434 std::string Name = CStringSection_->getName() + "1." + utostr(Align);
Chris Lattner067fe1a2009-07-29 04:54:38 +0000435 return getOrCreateSection(Name.c_str(), false,
Chris Lattner968ff112009-08-01 21:11:14 +0000436 SectionKind::get(SectionKind::MergeableCString));
Chris Lattnerf0144122009-07-28 03:13:23 +0000437 }
438
Chris Lattnerf9650c02009-08-01 21:46:23 +0000439 if (Kind.isMergeableConst()) {
440 if (Kind.isMergeableConst4())
Chris Lattnerf0144122009-07-28 03:13:23 +0000441 return MergeableConst4Section;
Chris Lattnerf9650c02009-08-01 21:46:23 +0000442 if (Kind.isMergeableConst8())
Chris Lattnerf0144122009-07-28 03:13:23 +0000443 return MergeableConst8Section;
Chris Lattnerf9650c02009-08-01 21:46:23 +0000444 if (Kind.isMergeableConst16())
Chris Lattnerf0144122009-07-28 03:13:23 +0000445 return MergeableConst16Section;
446 return ReadOnlySection; // .const
447 }
448
Chris Lattnerf9650c02009-08-01 21:46:23 +0000449 if (Kind.isReadOnly()) return ReadOnlySection;
Chris Lattnerf0144122009-07-28 03:13:23 +0000450
Chris Lattnerf9650c02009-08-01 21:46:23 +0000451 if (Kind.isThreadData()) return TLSDataSection;
452 if (Kind.isThreadBSS()) return TLSBSSSection;
Chris Lattnerf0144122009-07-28 03:13:23 +0000453
Chris Lattnerf9650c02009-08-01 21:46:23 +0000454 if (Kind.isBSS()) return BSSSection_;
Chris Lattnerf0144122009-07-28 03:13:23 +0000455
Chris Lattnerf9650c02009-08-01 21:46:23 +0000456 if (Kind.isDataNoRel()) return DataSection;
457 if (Kind.isDataRelLocal()) return DataRelLocalSection;
458 if (Kind.isDataRel()) return DataRelSection;
459 if (Kind.isReadOnlyWithRelLocal()) return DataRelROLocalSection;
Chris Lattnerf0144122009-07-28 03:13:23 +0000460
Chris Lattnerf9650c02009-08-01 21:46:23 +0000461 assert(Kind.isReadOnlyWithRel() && "Unknown section kind");
Chris Lattnerf0144122009-07-28 03:13:23 +0000462 return DataRelROSection;
463}
464
465/// getSectionForMergeableConstant - Given a mergeable constant with the
466/// specified size and relocation information, return a section that it
467/// should be placed in.
Chris Lattnera87dea42009-07-31 18:48:30 +0000468const MCSection *TargetLoweringObjectFileELF::
Chris Lattnerf0144122009-07-28 03:13:23 +0000469getSectionForMergeableConstant(SectionKind Kind) const {
470 if (Kind.isMergeableConst4())
471 return MergeableConst4Section;
472 if (Kind.isMergeableConst8())
473 return MergeableConst8Section;
474 if (Kind.isMergeableConst16())
475 return MergeableConst16Section;
476 if (Kind.isReadOnly())
477 return ReadOnlySection;
478
479 if (Kind.isReadOnlyWithRelLocal()) return DataRelROLocalSection;
480 assert(Kind.isReadOnlyWithRel() && "Unknown section kind");
481 return DataRelROSection;
482}
483
484//===----------------------------------------------------------------------===//
485// MachO
486//===----------------------------------------------------------------------===//
487
Chris Lattnerf26e03b2009-07-31 17:42:42 +0000488void TargetLoweringObjectFileMachO::Initialize(MCContext &Ctx,
489 const TargetMachine &TM) {
Chris Lattnera87dea42009-07-31 18:48:30 +0000490 TargetLoweringObjectFile::Initialize(Ctx, TM);
Chris Lattner968ff112009-08-01 21:11:14 +0000491 TextSection = getOrCreateSection("\t.text", true,
492 SectionKind::get(SectionKind::Text));
493 DataSection = getOrCreateSection("\t.data", true,
494 SectionKind::get(SectionKind::DataRel));
Chris Lattnerf0144122009-07-28 03:13:23 +0000495
496 CStringSection_ = getOrCreateSection("\t.cstring", true,
Chris Lattner968ff112009-08-01 21:11:14 +0000497 SectionKind::get(SectionKind::MergeableCString));
Chris Lattnerf0144122009-07-28 03:13:23 +0000498 FourByteConstantSection = getOrCreateSection("\t.literal4\n", true,
Chris Lattner968ff112009-08-01 21:11:14 +0000499 SectionKind::get(SectionKind::MergeableConst4));
Chris Lattnerf0144122009-07-28 03:13:23 +0000500 EightByteConstantSection = getOrCreateSection("\t.literal8\n", true,
Chris Lattner968ff112009-08-01 21:11:14 +0000501 SectionKind::get(SectionKind::MergeableConst8));
Chris Lattner4bb253c2009-07-28 17:50:28 +0000502
503 // ld_classic doesn't support .literal16 in 32-bit mode, and ld64 falls back
504 // to using it in -static mode.
505 if (TM.getRelocationModel() != Reloc::Static &&
506 TM.getTargetData()->getPointerSize() == 32)
507 SixteenByteConstantSection =
Chris Lattner968ff112009-08-01 21:11:14 +0000508 getOrCreateSection("\t.literal16\n", true,
509 SectionKind::get(SectionKind::MergeableConst16));
Chris Lattner4bb253c2009-07-28 17:50:28 +0000510 else
511 SixteenByteConstantSection = 0;
Chris Lattnerf0144122009-07-28 03:13:23 +0000512
Chris Lattner968ff112009-08-01 21:11:14 +0000513 ReadOnlySection = getOrCreateSection("\t.const", true,
514 SectionKind::get(SectionKind::ReadOnly));
Chris Lattnerf0144122009-07-28 03:13:23 +0000515
516 TextCoalSection =
517 getOrCreateSection("\t__TEXT,__textcoal_nt,coalesced,pure_instructions",
Chris Lattner968ff112009-08-01 21:11:14 +0000518 false, SectionKind::get(SectionKind::Text));
Chris Lattnerf0144122009-07-28 03:13:23 +0000519 ConstTextCoalSection = getOrCreateSection("\t__TEXT,__const_coal,coalesced",
Chris Lattner968ff112009-08-01 21:11:14 +0000520 false,
521 SectionKind::get(SectionKind::Text));
Chris Lattnerf0144122009-07-28 03:13:23 +0000522 ConstDataCoalSection = getOrCreateSection("\t__DATA,__const_coal,coalesced",
Chris Lattner968ff112009-08-01 21:11:14 +0000523 false,
524 SectionKind::get(SectionKind::Text));
Chris Lattnerf0144122009-07-28 03:13:23 +0000525 ConstDataSection = getOrCreateSection("\t.const_data", true,
Chris Lattner968ff112009-08-01 21:11:14 +0000526 SectionKind::get(SectionKind::ReadOnlyWithRel));
Chris Lattnerf0144122009-07-28 03:13:23 +0000527 DataCoalSection = getOrCreateSection("\t__DATA,__datacoal_nt,coalesced",
Chris Lattner968ff112009-08-01 21:11:14 +0000528 false,
529 SectionKind::get(SectionKind::DataRel));
Chris Lattnerf0144122009-07-28 03:13:23 +0000530}
531
Chris Lattnera87dea42009-07-31 18:48:30 +0000532const MCSection *TargetLoweringObjectFileMachO::
Chris Lattnerf9650c02009-08-01 21:46:23 +0000533SelectSectionForGlobal(const GlobalValue *GV, SectionKind Kind,
Chris Lattnere53a6002009-07-29 05:09:30 +0000534 Mangler *Mang, const TargetMachine &TM) const {
Chris Lattnerf9650c02009-08-01 21:46:23 +0000535 assert(!Kind.isThreadLocal() && "Darwin doesn't support TLS");
Chris Lattnerf0144122009-07-28 03:13:23 +0000536
Chris Lattnerf9650c02009-08-01 21:46:23 +0000537 if (Kind.isText())
Chris Lattner27602b82009-08-01 21:42:58 +0000538 return GV->isWeakForLinker() ? TextCoalSection : TextSection;
Chris Lattnerf0144122009-07-28 03:13:23 +0000539
540 // If this is weak/linkonce, put this in a coalescable section, either in text
541 // or data depending on if it is writable.
Chris Lattner27602b82009-08-01 21:42:58 +0000542 if (GV->isWeakForLinker()) {
Chris Lattnerf9650c02009-08-01 21:46:23 +0000543 if (Kind.isReadOnly())
Chris Lattnerf0144122009-07-28 03:13:23 +0000544 return ConstTextCoalSection;
545 return DataCoalSection;
546 }
547
548 // FIXME: Alignment check should be handled by section classifier.
Chris Lattnerf9650c02009-08-01 21:46:23 +0000549 if (Kind.isMergeableCString()) {
Chris Lattnerf0144122009-07-28 03:13:23 +0000550 Constant *C = cast<GlobalVariable>(GV)->getInitializer();
551 const Type *Ty = cast<ArrayType>(C->getType())->getElementType();
552 const TargetData &TD = *TM.getTargetData();
553 unsigned Size = TD.getTypeAllocSize(Ty);
554 if (Size) {
555 unsigned Align = TD.getPreferredAlignment(cast<GlobalVariable>(GV));
556 if (Align <= 32)
557 return CStringSection_;
558 }
559
560 return ReadOnlySection;
561 }
562
Chris Lattnerf9650c02009-08-01 21:46:23 +0000563 if (Kind.isMergeableConst()) {
564 if (Kind.isMergeableConst4())
Chris Lattnerf0144122009-07-28 03:13:23 +0000565 return FourByteConstantSection;
Chris Lattnerf9650c02009-08-01 21:46:23 +0000566 if (Kind.isMergeableConst8())
Chris Lattnerf0144122009-07-28 03:13:23 +0000567 return EightByteConstantSection;
Chris Lattnerf9650c02009-08-01 21:46:23 +0000568 if (Kind.isMergeableConst16() && SixteenByteConstantSection)
Chris Lattnerf0144122009-07-28 03:13:23 +0000569 return SixteenByteConstantSection;
570 return ReadOnlySection; // .const
571 }
572
573 // FIXME: ROData -> const in -static mode that is relocatable but they happen
574 // by the static linker. Why not mergeable?
Chris Lattnerf9650c02009-08-01 21:46:23 +0000575 if (Kind.isReadOnly())
Chris Lattnerf0144122009-07-28 03:13:23 +0000576 return ReadOnlySection;
577
578 // If this is marked const, put it into a const section. But if the dynamic
579 // linker needs to write to it, put it in the data segment.
Chris Lattnerf9650c02009-08-01 21:46:23 +0000580 if (Kind.isReadOnlyWithRel())
Chris Lattnerf0144122009-07-28 03:13:23 +0000581 return ConstDataSection;
582
583 // Otherwise, just drop the variable in the normal data section.
584 return DataSection;
585}
586
Chris Lattnera87dea42009-07-31 18:48:30 +0000587const MCSection *
Chris Lattnerf0144122009-07-28 03:13:23 +0000588TargetLoweringObjectFileMachO::
589getSectionForMergeableConstant(SectionKind Kind) const {
590 // If this constant requires a relocation, we have to put it in the data
591 // segment, not in the text segment.
592 if (Kind.isDataRel())
593 return ConstDataSection;
594
595 if (Kind.isMergeableConst4())
596 return FourByteConstantSection;
597 if (Kind.isMergeableConst8())
598 return EightByteConstantSection;
Chris Lattner4bb253c2009-07-28 17:50:28 +0000599 if (Kind.isMergeableConst16() && SixteenByteConstantSection)
Chris Lattnerf0144122009-07-28 03:13:23 +0000600 return SixteenByteConstantSection;
601 return ReadOnlySection; // .const
602}
603
Chris Lattner26630c12009-07-31 20:52:39 +0000604/// shouldEmitUsedDirectiveFor - This hook allows targets to selectively decide
605/// not to emit the UsedDirective for some symbols in llvm.used.
606// FIXME: REMOVE this (rdar://7071300)
607bool TargetLoweringObjectFileMachO::
608shouldEmitUsedDirectiveFor(const GlobalValue *GV, Mangler *Mang) const {
609 /// On Darwin, internally linked data beginning with "L" or "l" does not have
610 /// the directive emitted (this occurs in ObjC metadata).
611 if (!GV) return false;
612
613 // Check whether the mangled name has the "Private" or "LinkerPrivate" prefix.
614 if (GV->hasLocalLinkage() && !isa<Function>(GV)) {
615 // FIXME: ObjC metadata is currently emitted as internal symbols that have
616 // \1L and \0l prefixes on them. Fix them to be Private/LinkerPrivate and
617 // this horrible hack can go away.
618 const std::string &Name = Mang->getMangledName(GV);
619 if (Name[0] == 'L' || Name[0] == 'l')
620 return false;
621 }
622
623 return true;
624}
625
626
Chris Lattnerf0144122009-07-28 03:13:23 +0000627//===----------------------------------------------------------------------===//
628// COFF
629//===----------------------------------------------------------------------===//
630
Chris Lattnerf26e03b2009-07-31 17:42:42 +0000631void TargetLoweringObjectFileCOFF::Initialize(MCContext &Ctx,
632 const TargetMachine &TM) {
Chris Lattnera87dea42009-07-31 18:48:30 +0000633 TargetLoweringObjectFile::Initialize(Ctx, TM);
Chris Lattner968ff112009-08-01 21:11:14 +0000634 TextSection = getOrCreateSection("\t.text", true,
635 SectionKind::get(SectionKind::Text));
636 DataSection = getOrCreateSection("\t.data", true,
637 SectionKind::get(SectionKind::DataRel));
Chris Lattnerf0144122009-07-28 03:13:23 +0000638}
639
640void TargetLoweringObjectFileCOFF::
641getSectionFlagsAsString(SectionKind Kind, SmallVectorImpl<char> &Str) const {
642 // FIXME: Inefficient.
643 std::string Res = ",\"";
644 if (Kind.isText())
645 Res += 'x';
646 if (Kind.isWriteable())
647 Res += 'w';
648 Res += "\"";
649
650 Str.append(Res.begin(), Res.end());
651}
652
653static const char *getCOFFSectionPrefixForUniqueGlobal(SectionKind Kind) {
654 if (Kind.isText())
655 return ".text$linkonce";
656 if (Kind.isWriteable())
657 return ".data$linkonce";
658 return ".rdata$linkonce";
659}
660
661
Chris Lattnera87dea42009-07-31 18:48:30 +0000662const MCSection *TargetLoweringObjectFileCOFF::
Chris Lattnerf9650c02009-08-01 21:46:23 +0000663SelectSectionForGlobal(const GlobalValue *GV, SectionKind Kind,
Chris Lattnere53a6002009-07-29 05:09:30 +0000664 Mangler *Mang, const TargetMachine &TM) const {
Chris Lattnerf9650c02009-08-01 21:46:23 +0000665 assert(!Kind.isThreadLocal() && "Doesn't support TLS");
Chris Lattnerf0144122009-07-28 03:13:23 +0000666
667 // If this global is linkonce/weak and the target handles this by emitting it
668 // into a 'uniqued' section name, create and return the section now.
Chris Lattner27602b82009-08-01 21:42:58 +0000669 if (GV->isWeakForLinker()) {
Chris Lattnerf9650c02009-08-01 21:46:23 +0000670 const char *Prefix = getCOFFSectionPrefixForUniqueGlobal(Kind);
Chris Lattner968ff112009-08-01 21:11:14 +0000671 std::string Name = Mang->makeNameProper(GV->getNameStr());
Chris Lattnerf9650c02009-08-01 21:46:23 +0000672 return getOrCreateSection((Prefix+Name).c_str(), false, Kind);
Chris Lattnerf0144122009-07-28 03:13:23 +0000673 }
674
Chris Lattnerf9650c02009-08-01 21:46:23 +0000675 if (Kind.isText())
Chris Lattnerf0144122009-07-28 03:13:23 +0000676 return getTextSection();
677
Chris Lattnerf0144122009-07-28 03:13:23 +0000678 return getDataSection();
679}
680