blob: d04e5c0cd609a5c1b7df984a69e4df412a4240e2 [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;
Chris Lattner82458382009-08-01 21:56:13 +000035 BSSSection = 0;
Chris Lattnerf0144122009-07-28 03:13:23 +000036 ReadOnlySection = 0;
Chris Lattner80ec2792009-08-02 00:34:36 +000037 StaticCtorSection = 0;
38 StaticDtorSection = 0;
Chris Lattnerd5bbb072009-08-02 01:34:32 +000039 LSDASection = 0;
Chris Lattnerf0144122009-07-28 03:13:23 +000040}
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 Lattner27981192009-08-01 23:57:16 +000096 return SectionKind::getText();
Chris Lattnerf0144122009-07-28 03:13:23 +000097
98
99 // Handle thread-local data first.
100 if (GVar->isThreadLocal()) {
101 if (isSuitableForBSS(GVar))
Chris Lattner27981192009-08-01 23:57:16 +0000102 return SectionKind::getThreadBSS();
103 return SectionKind::getThreadData();
Chris Lattnerf0144122009-07-28 03:13:23 +0000104 }
105
106 // Variable can be easily put to BSS section.
107 if (isSuitableForBSS(GVar))
Chris Lattner27981192009-08-01 23:57:16 +0000108 return SectionKind::getBSS();
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 Lattner27981192009-08-01 23:57:16 +0000124 return SectionKind::getMergeableCString();
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 Lattner27981192009-08-01 23:57:16 +0000130 case 4: return SectionKind::getMergeableConst4();
131 case 8: return SectionKind::getMergeableConst8();
132 case 16: return SectionKind::getMergeableConst16();
133 default: return SectionKind::getMergeableConst();
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 Lattner27981192009-08-01 23:57:16 +0000143 return SectionKind::getReadOnly();
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 Lattner27981192009-08-01 23:57:16 +0000147 return SectionKind::getReadOnlyWithRelLocal();
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 Lattner27981192009-08-01 23:57:16 +0000156 return SectionKind::getReadOnly();
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 Lattner27981192009-08-01 23:57:16 +0000160 return SectionKind::getReadOnlyWithRel();
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 Lattner27981192009-08-01 23:57:16 +0000170 return SectionKind::getDataNoRel();
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 Lattner27981192009-08-01 23:57:16 +0000175 return SectionKind::getDataNoRel();
Chris Lattnerf0144122009-07-28 03:13:23 +0000176 case Constant::LocalRelocation:
Chris Lattner27981192009-08-01 23:57:16 +0000177 return SectionKind::getDataRelLocal();
Chris Lattnerf0144122009-07-28 03:13:23 +0000178 case Constant::GlobalRelocations:
Chris Lattner27981192009-08-01 23:57:16 +0000179 return SectionKind::getDataRel();
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 Lattner82458382009-08-01 21:56:13 +0000225 if (Kind.isBSS() && BSSSection != 0)
226 return BSSSection;
Chris Lattnerf0144122009-07-28 03:13:23 +0000227
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
Chris Lattner83d77fa2009-08-01 23:46:12 +0000234/// getSectionForConstant - Given a mergable constant with the
Chris Lattnerf0144122009-07-28 03:13:23 +0000235/// 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 Lattner83d77fa2009-08-01 23:46:12 +0000238TargetLoweringObjectFile::getSectionForConstant(SectionKind Kind) const {
Chris Lattnerf0144122009-07-28 03:13:23 +0000239 if (Kind.isReadOnly() && ReadOnlySection != 0)
240 return ReadOnlySection;
241
242 return DataSection;
243}
244
245
Chris Lattnera87dea42009-07-31 18:48:30 +0000246const MCSection *TargetLoweringObjectFile::
Chris Lattner968ff112009-08-01 21:11:14 +0000247getOrCreateSection(const char *Name, bool isDirective, SectionKind Kind) const {
Chris Lattnera87dea42009-07-31 18:48:30 +0000248 if (MCSection *S = Ctx->GetSection(Name))
249 return S;
Chris Lattner968ff112009-08-01 21:11:14 +0000250 return MCSection::Create(Name, isDirective, Kind, *Ctx);
Chris Lattnerf0144122009-07-28 03:13:23 +0000251}
252
253
254
255//===----------------------------------------------------------------------===//
256// ELF
257//===----------------------------------------------------------------------===//
258
Chris Lattnerf26e03b2009-07-31 17:42:42 +0000259void TargetLoweringObjectFileELF::Initialize(MCContext &Ctx,
260 const TargetMachine &TM) {
Chris Lattnera87dea42009-07-31 18:48:30 +0000261 TargetLoweringObjectFile::Initialize(Ctx, TM);
Chris Lattnerf0144122009-07-28 03:13:23 +0000262 if (!HasCrazyBSS)
Chris Lattner27981192009-08-01 23:57:16 +0000263 BSSSection = getOrCreateSection("\t.bss", true, SectionKind::getBSS());
Chris Lattnerf0144122009-07-28 03:13:23 +0000264 else
265 // PPC/Linux doesn't support the .bss directive, it needs .section .bss.
266 // FIXME: Does .section .bss work everywhere??
Chris Lattner968ff112009-08-01 21:11:14 +0000267 // FIXME2: this should just be handle by the section printer. We should get
268 // away from syntactic view of the sections and MCSection should just be a
269 // semantic view.
Chris Lattner27981192009-08-01 23:57:16 +0000270 BSSSection = getOrCreateSection("\t.bss", false, SectionKind::getBSS());
Chris Lattnerf0144122009-07-28 03:13:23 +0000271
272
Chris Lattner27981192009-08-01 23:57:16 +0000273 TextSection = getOrCreateSection("\t.text", true, SectionKind::getText());
274 DataSection = getOrCreateSection("\t.data", true, SectionKind::getDataRel());
Chris Lattnerf0144122009-07-28 03:13:23 +0000275 ReadOnlySection =
Chris Lattner27981192009-08-01 23:57:16 +0000276 getOrCreateSection("\t.rodata", false, SectionKind::getReadOnly());
Chris Lattnerf0144122009-07-28 03:13:23 +0000277 TLSDataSection =
Chris Lattner27981192009-08-01 23:57:16 +0000278 getOrCreateSection("\t.tdata", false, SectionKind::getThreadData());
Chris Lattner82458382009-08-01 21:56:13 +0000279 CStringSection = getOrCreateSection("\t.rodata.str", true,
Chris Lattner27981192009-08-01 23:57:16 +0000280 SectionKind::getMergeableCString());
Chris Lattnerf0144122009-07-28 03:13:23 +0000281
Chris Lattner968ff112009-08-01 21:11:14 +0000282 TLSBSSSection = getOrCreateSection("\t.tbss", false,
Chris Lattner27981192009-08-01 23:57:16 +0000283 SectionKind::getThreadBSS());
Chris Lattnerf0144122009-07-28 03:13:23 +0000284
285 DataRelSection = getOrCreateSection("\t.data.rel", false,
Chris Lattner27981192009-08-01 23:57:16 +0000286 SectionKind::getDataRel());
Chris Lattnerf0144122009-07-28 03:13:23 +0000287 DataRelLocalSection = getOrCreateSection("\t.data.rel.local", false,
Chris Lattner27981192009-08-01 23:57:16 +0000288 SectionKind::getDataRelLocal());
Chris Lattnerf0144122009-07-28 03:13:23 +0000289 DataRelROSection = getOrCreateSection("\t.data.rel.ro", false,
Chris Lattner27981192009-08-01 23:57:16 +0000290 SectionKind::getReadOnlyWithRel());
Chris Lattnerf0144122009-07-28 03:13:23 +0000291 DataRelROLocalSection =
292 getOrCreateSection("\t.data.rel.ro.local", false,
Chris Lattner27981192009-08-01 23:57:16 +0000293 SectionKind::getReadOnlyWithRelLocal());
Chris Lattnerf0144122009-07-28 03:13:23 +0000294
295 MergeableConst4Section = getOrCreateSection(".rodata.cst4", false,
Chris Lattner27981192009-08-01 23:57:16 +0000296 SectionKind::getMergeableConst4());
Chris Lattnerf0144122009-07-28 03:13:23 +0000297 MergeableConst8Section = getOrCreateSection(".rodata.cst8", false,
Chris Lattner27981192009-08-01 23:57:16 +0000298 SectionKind::getMergeableConst8());
Chris Lattnerf0144122009-07-28 03:13:23 +0000299 MergeableConst16Section = getOrCreateSection(".rodata.cst16", false,
Chris Lattner27981192009-08-01 23:57:16 +0000300 SectionKind::getMergeableConst16());
Chris Lattner80ec2792009-08-02 00:34:36 +0000301
302 StaticCtorSection =
303 getOrCreateSection(".ctors", false, SectionKind::getDataRel());
304 StaticDtorSection =
305 getOrCreateSection(".dtors", false, SectionKind::getDataRel());
Chris Lattnerd5bbb072009-08-02 01:34:32 +0000306
307
308 // FIXME: We're emitting LSDA info into a readonly section on ELF, even though
309 // it contains relocatable pointers. In PIC mode, this is probably a big
310 // runtime hit for C++ apps. Either the contents of the LSDA need to be
311 // adjusted or this should be a data section.
312 LSDASection =
313 getOrCreateSection(".gcc_except_table", false, SectionKind::getReadOnly());
Chris Lattnerf0144122009-07-28 03:13:23 +0000314}
315
316
Chris Lattner968ff112009-08-01 21:11:14 +0000317SectionKind TargetLoweringObjectFileELF::
318getKindForNamedSection(const char *Name, SectionKind K) const {
Chris Lattnerf0144122009-07-28 03:13:23 +0000319 if (Name[0] != '.') return K;
320
321 // Some lame default implementation based on some magic section names.
322 if (strncmp(Name, ".gnu.linkonce.b.", 16) == 0 ||
323 strncmp(Name, ".llvm.linkonce.b.", 17) == 0 ||
324 strncmp(Name, ".gnu.linkonce.sb.", 17) == 0 ||
325 strncmp(Name, ".llvm.linkonce.sb.", 18) == 0)
Chris Lattner27981192009-08-01 23:57:16 +0000326 return SectionKind::getBSS();
Chris Lattnerf0144122009-07-28 03:13:23 +0000327
328 if (strcmp(Name, ".tdata") == 0 ||
329 strncmp(Name, ".tdata.", 7) == 0 ||
330 strncmp(Name, ".gnu.linkonce.td.", 17) == 0 ||
331 strncmp(Name, ".llvm.linkonce.td.", 18) == 0)
Chris Lattner27981192009-08-01 23:57:16 +0000332 return SectionKind::getThreadData();
Chris Lattnerf0144122009-07-28 03:13:23 +0000333
334 if (strcmp(Name, ".tbss") == 0 ||
335 strncmp(Name, ".tbss.", 6) == 0 ||
336 strncmp(Name, ".gnu.linkonce.tb.", 17) == 0 ||
337 strncmp(Name, ".llvm.linkonce.tb.", 18) == 0)
Chris Lattner27981192009-08-01 23:57:16 +0000338 return SectionKind::getThreadBSS();
Chris Lattnerf0144122009-07-28 03:13:23 +0000339
340 return K;
341}
342
343void TargetLoweringObjectFileELF::
344getSectionFlagsAsString(SectionKind Kind, SmallVectorImpl<char> &Str) const {
345 Str.push_back(',');
346 Str.push_back('"');
347
348 if (!Kind.isMetadata())
349 Str.push_back('a');
350 if (Kind.isText())
351 Str.push_back('x');
352 if (Kind.isWriteable())
353 Str.push_back('w');
Chris Lattner82987bf2009-07-31 16:17:13 +0000354 if (Kind.isMergeableCString() ||
355 Kind.isMergeableConst4() ||
356 Kind.isMergeableConst8() ||
357 Kind.isMergeableConst16())
Chris Lattnerf0144122009-07-28 03:13:23 +0000358 Str.push_back('M');
359 if (Kind.isMergeableCString())
360 Str.push_back('S');
361 if (Kind.isThreadLocal())
362 Str.push_back('T');
363
364 Str.push_back('"');
365 Str.push_back(',');
366
367 // If comment string is '@', e.g. as on ARM - use '%' instead
368 if (AtIsCommentChar)
369 Str.push_back('%');
370 else
371 Str.push_back('@');
372
373 const char *KindStr;
Chris Lattnerbf15e432009-07-28 17:57:51 +0000374 if (Kind.isBSS() || Kind.isThreadBSS())
Chris Lattnerf0144122009-07-28 03:13:23 +0000375 KindStr = "nobits";
376 else
377 KindStr = "progbits";
378
379 Str.append(KindStr, KindStr+strlen(KindStr));
380
381 if (Kind.isMergeableCString()) {
382 // TODO: Eventually handle multiple byte character strings. For now, all
383 // mergable C strings are single byte.
384 Str.push_back(',');
385 Str.push_back('1');
386 } else if (Kind.isMergeableConst4()) {
387 Str.push_back(',');
388 Str.push_back('4');
389 } else if (Kind.isMergeableConst8()) {
390 Str.push_back(',');
391 Str.push_back('8');
392 } else if (Kind.isMergeableConst16()) {
393 Str.push_back(',');
394 Str.push_back('1');
395 Str.push_back('6');
396 }
397}
398
399
400static const char *getSectionPrefixForUniqueGlobal(SectionKind Kind) {
401 if (Kind.isText()) return ".gnu.linkonce.t.";
402 if (Kind.isReadOnly()) return ".gnu.linkonce.r.";
403
404 if (Kind.isThreadData()) return ".gnu.linkonce.td.";
405 if (Kind.isThreadBSS()) return ".gnu.linkonce.tb.";
406
407 if (Kind.isBSS()) return ".gnu.linkonce.b.";
408 if (Kind.isDataNoRel()) return ".gnu.linkonce.d.";
409 if (Kind.isDataRelLocal()) return ".gnu.linkonce.d.rel.local.";
410 if (Kind.isDataRel()) return ".gnu.linkonce.d.rel.";
411 if (Kind.isReadOnlyWithRelLocal()) return ".gnu.linkonce.d.rel.ro.local.";
412
413 assert(Kind.isReadOnlyWithRel() && "Unknown section kind");
414 return ".gnu.linkonce.d.rel.ro.";
415}
416
Chris Lattnera87dea42009-07-31 18:48:30 +0000417const MCSection *TargetLoweringObjectFileELF::
Chris Lattnerf9650c02009-08-01 21:46:23 +0000418SelectSectionForGlobal(const GlobalValue *GV, SectionKind Kind,
Chris Lattnere53a6002009-07-29 05:09:30 +0000419 Mangler *Mang, const TargetMachine &TM) const {
Chris Lattnerf0144122009-07-28 03:13:23 +0000420
421 // If this global is linkonce/weak and the target handles this by emitting it
422 // into a 'uniqued' section name, create and return the section now.
Chris Lattner27602b82009-08-01 21:42:58 +0000423 if (GV->isWeakForLinker()) {
Chris Lattnerf9650c02009-08-01 21:46:23 +0000424 const char *Prefix = getSectionPrefixForUniqueGlobal(Kind);
Chris Lattnerb8f396b2009-07-29 05:20:33 +0000425 std::string Name = Mang->makeNameProper(GV->getNameStr());
Chris Lattnerf9650c02009-08-01 21:46:23 +0000426 return getOrCreateSection((Prefix+Name).c_str(), false, Kind);
Chris Lattnerf0144122009-07-28 03:13:23 +0000427 }
428
Chris Lattnerf9650c02009-08-01 21:46:23 +0000429 if (Kind.isText()) return TextSection;
Chris Lattnere53a6002009-07-29 05:09:30 +0000430
Chris Lattnerf9650c02009-08-01 21:46:23 +0000431 if (Kind.isMergeableCString()) {
Chris Lattner82458382009-08-01 21:56:13 +0000432 assert(CStringSection && "Should have string section prefix");
Chris Lattnerf0144122009-07-28 03:13:23 +0000433
Chris Lattner067fe1a2009-07-29 04:54:38 +0000434 // We also need alignment here.
435 // FIXME: this is getting the alignment of the character, not the
436 // alignment of the global!
437 unsigned Align =
438 TM.getTargetData()->getPreferredAlignment(cast<GlobalVariable>(GV));
Chris Lattnerf0144122009-07-28 03:13:23 +0000439
Chris Lattner82458382009-08-01 21:56:13 +0000440 std::string Name = CStringSection->getName() + "1." + utostr(Align);
Chris Lattner067fe1a2009-07-29 04:54:38 +0000441 return getOrCreateSection(Name.c_str(), false,
Chris Lattner27981192009-08-01 23:57:16 +0000442 SectionKind::getMergeableCString());
Chris Lattnerf0144122009-07-28 03:13:23 +0000443 }
444
Chris Lattnerf9650c02009-08-01 21:46:23 +0000445 if (Kind.isMergeableConst()) {
446 if (Kind.isMergeableConst4())
Chris Lattnerf0144122009-07-28 03:13:23 +0000447 return MergeableConst4Section;
Chris Lattnerf9650c02009-08-01 21:46:23 +0000448 if (Kind.isMergeableConst8())
Chris Lattnerf0144122009-07-28 03:13:23 +0000449 return MergeableConst8Section;
Chris Lattnerf9650c02009-08-01 21:46:23 +0000450 if (Kind.isMergeableConst16())
Chris Lattnerf0144122009-07-28 03:13:23 +0000451 return MergeableConst16Section;
452 return ReadOnlySection; // .const
453 }
454
Chris Lattnerf9650c02009-08-01 21:46:23 +0000455 if (Kind.isReadOnly()) return ReadOnlySection;
Chris Lattnerf0144122009-07-28 03:13:23 +0000456
Chris Lattnerf9650c02009-08-01 21:46:23 +0000457 if (Kind.isThreadData()) return TLSDataSection;
458 if (Kind.isThreadBSS()) return TLSBSSSection;
Chris Lattnerf0144122009-07-28 03:13:23 +0000459
Chris Lattner82458382009-08-01 21:56:13 +0000460 if (Kind.isBSS()) return BSSSection;
Chris Lattnerf0144122009-07-28 03:13:23 +0000461
Chris Lattnerf9650c02009-08-01 21:46:23 +0000462 if (Kind.isDataNoRel()) return DataSection;
463 if (Kind.isDataRelLocal()) return DataRelLocalSection;
464 if (Kind.isDataRel()) return DataRelSection;
465 if (Kind.isReadOnlyWithRelLocal()) return DataRelROLocalSection;
Chris Lattnerf0144122009-07-28 03:13:23 +0000466
Chris Lattnerf9650c02009-08-01 21:46:23 +0000467 assert(Kind.isReadOnlyWithRel() && "Unknown section kind");
Chris Lattnerf0144122009-07-28 03:13:23 +0000468 return DataRelROSection;
469}
470
Chris Lattner83d77fa2009-08-01 23:46:12 +0000471/// getSectionForConstant - Given a mergeable constant with the
Chris Lattnerf0144122009-07-28 03:13:23 +0000472/// specified size and relocation information, return a section that it
473/// should be placed in.
Chris Lattnera87dea42009-07-31 18:48:30 +0000474const MCSection *TargetLoweringObjectFileELF::
Chris Lattner83d77fa2009-08-01 23:46:12 +0000475getSectionForConstant(SectionKind Kind) const {
Chris Lattnerf0144122009-07-28 03:13:23 +0000476 if (Kind.isMergeableConst4())
477 return MergeableConst4Section;
478 if (Kind.isMergeableConst8())
479 return MergeableConst8Section;
480 if (Kind.isMergeableConst16())
481 return MergeableConst16Section;
482 if (Kind.isReadOnly())
483 return ReadOnlySection;
484
485 if (Kind.isReadOnlyWithRelLocal()) return DataRelROLocalSection;
486 assert(Kind.isReadOnlyWithRel() && "Unknown section kind");
487 return DataRelROSection;
488}
489
490//===----------------------------------------------------------------------===//
491// MachO
492//===----------------------------------------------------------------------===//
493
Chris Lattnerf26e03b2009-07-31 17:42:42 +0000494void TargetLoweringObjectFileMachO::Initialize(MCContext &Ctx,
495 const TargetMachine &TM) {
Chris Lattnera87dea42009-07-31 18:48:30 +0000496 TargetLoweringObjectFile::Initialize(Ctx, TM);
Chris Lattner968ff112009-08-01 21:11:14 +0000497 TextSection = getOrCreateSection("\t.text", true,
Chris Lattner27981192009-08-01 23:57:16 +0000498 SectionKind::getText());
Chris Lattner968ff112009-08-01 21:11:14 +0000499 DataSection = getOrCreateSection("\t.data", true,
Chris Lattner27981192009-08-01 23:57:16 +0000500 SectionKind::getDataRel());
Chris Lattnerf0144122009-07-28 03:13:23 +0000501
Chris Lattner82458382009-08-01 21:56:13 +0000502 CStringSection = getOrCreateSection("\t.cstring", true,
Chris Lattner27981192009-08-01 23:57:16 +0000503 SectionKind::getMergeableCString());
Chris Lattnerf0144122009-07-28 03:13:23 +0000504 FourByteConstantSection = getOrCreateSection("\t.literal4\n", true,
Chris Lattner27981192009-08-01 23:57:16 +0000505 SectionKind::getMergeableConst4());
Chris Lattnerf0144122009-07-28 03:13:23 +0000506 EightByteConstantSection = getOrCreateSection("\t.literal8\n", true,
Chris Lattner27981192009-08-01 23:57:16 +0000507 SectionKind::getMergeableConst8());
Chris Lattner4bb253c2009-07-28 17:50:28 +0000508
509 // ld_classic doesn't support .literal16 in 32-bit mode, and ld64 falls back
510 // to using it in -static mode.
511 if (TM.getRelocationModel() != Reloc::Static &&
512 TM.getTargetData()->getPointerSize() == 32)
513 SixteenByteConstantSection =
Chris Lattner968ff112009-08-01 21:11:14 +0000514 getOrCreateSection("\t.literal16\n", true,
Chris Lattner27981192009-08-01 23:57:16 +0000515 SectionKind::getMergeableConst16());
Chris Lattner4bb253c2009-07-28 17:50:28 +0000516 else
517 SixteenByteConstantSection = 0;
Chris Lattnerf0144122009-07-28 03:13:23 +0000518
Chris Lattner968ff112009-08-01 21:11:14 +0000519 ReadOnlySection = getOrCreateSection("\t.const", true,
Chris Lattner27981192009-08-01 23:57:16 +0000520 SectionKind::getReadOnly());
Chris Lattnerf0144122009-07-28 03:13:23 +0000521
522 TextCoalSection =
523 getOrCreateSection("\t__TEXT,__textcoal_nt,coalesced,pure_instructions",
Chris Lattner27981192009-08-01 23:57:16 +0000524 false, SectionKind::getText());
Chris Lattnerf0144122009-07-28 03:13:23 +0000525 ConstTextCoalSection = getOrCreateSection("\t__TEXT,__const_coal,coalesced",
Chris Lattner968ff112009-08-01 21:11:14 +0000526 false,
Chris Lattner27981192009-08-01 23:57:16 +0000527 SectionKind::getText());
Chris Lattnerf0144122009-07-28 03:13:23 +0000528 ConstDataCoalSection = getOrCreateSection("\t__DATA,__const_coal,coalesced",
Chris Lattner968ff112009-08-01 21:11:14 +0000529 false,
Chris Lattner27981192009-08-01 23:57:16 +0000530 SectionKind::getText());
Chris Lattnerf0144122009-07-28 03:13:23 +0000531 ConstDataSection = getOrCreateSection("\t.const_data", true,
Chris Lattner27981192009-08-01 23:57:16 +0000532 SectionKind::getReadOnlyWithRel());
Chris Lattnerf0144122009-07-28 03:13:23 +0000533 DataCoalSection = getOrCreateSection("\t__DATA,__datacoal_nt,coalesced",
Chris Lattner968ff112009-08-01 21:11:14 +0000534 false,
Chris Lattner27981192009-08-01 23:57:16 +0000535 SectionKind::getDataRel());
Chris Lattner80ec2792009-08-02 00:34:36 +0000536
537 if (TM.getRelocationModel() == Reloc::Static) {
538 StaticCtorSection =
539 getOrCreateSection(".constructor", true, SectionKind::getDataRel());
540 StaticDtorSection =
541 getOrCreateSection(".destructor", true, SectionKind::getDataRel());
542 } else {
543 StaticCtorSection =
544 getOrCreateSection(".mod_init_func", true, SectionKind::getDataRel());
545 StaticDtorSection =
546 getOrCreateSection(".mod_term_func", true, SectionKind::getDataRel());
547 }
548
Chris Lattnerd5bbb072009-08-02 01:34:32 +0000549 LSDASection = getOrCreateSection("__DATA,__gcc_except_tab", false,
550 SectionKind::getDataRel());
Chris Lattnerf0144122009-07-28 03:13:23 +0000551}
552
Chris Lattnera87dea42009-07-31 18:48:30 +0000553const MCSection *TargetLoweringObjectFileMachO::
Chris Lattnerf9650c02009-08-01 21:46:23 +0000554SelectSectionForGlobal(const GlobalValue *GV, SectionKind Kind,
Chris Lattnere53a6002009-07-29 05:09:30 +0000555 Mangler *Mang, const TargetMachine &TM) const {
Chris Lattnerf9650c02009-08-01 21:46:23 +0000556 assert(!Kind.isThreadLocal() && "Darwin doesn't support TLS");
Chris Lattnerf0144122009-07-28 03:13:23 +0000557
Chris Lattnerf9650c02009-08-01 21:46:23 +0000558 if (Kind.isText())
Chris Lattner27602b82009-08-01 21:42:58 +0000559 return GV->isWeakForLinker() ? TextCoalSection : TextSection;
Chris Lattnerf0144122009-07-28 03:13:23 +0000560
561 // If this is weak/linkonce, put this in a coalescable section, either in text
562 // or data depending on if it is writable.
Chris Lattner27602b82009-08-01 21:42:58 +0000563 if (GV->isWeakForLinker()) {
Chris Lattnerf9650c02009-08-01 21:46:23 +0000564 if (Kind.isReadOnly())
Chris Lattnerf0144122009-07-28 03:13:23 +0000565 return ConstTextCoalSection;
566 return DataCoalSection;
567 }
568
569 // FIXME: Alignment check should be handled by section classifier.
Chris Lattnerf9650c02009-08-01 21:46:23 +0000570 if (Kind.isMergeableCString()) {
Chris Lattnerf0144122009-07-28 03:13:23 +0000571 Constant *C = cast<GlobalVariable>(GV)->getInitializer();
572 const Type *Ty = cast<ArrayType>(C->getType())->getElementType();
573 const TargetData &TD = *TM.getTargetData();
574 unsigned Size = TD.getTypeAllocSize(Ty);
575 if (Size) {
576 unsigned Align = TD.getPreferredAlignment(cast<GlobalVariable>(GV));
577 if (Align <= 32)
Chris Lattner82458382009-08-01 21:56:13 +0000578 return CStringSection;
Chris Lattnerf0144122009-07-28 03:13:23 +0000579 }
580
581 return ReadOnlySection;
582 }
583
Chris Lattnerf9650c02009-08-01 21:46:23 +0000584 if (Kind.isMergeableConst()) {
585 if (Kind.isMergeableConst4())
Chris Lattnerf0144122009-07-28 03:13:23 +0000586 return FourByteConstantSection;
Chris Lattnerf9650c02009-08-01 21:46:23 +0000587 if (Kind.isMergeableConst8())
Chris Lattnerf0144122009-07-28 03:13:23 +0000588 return EightByteConstantSection;
Chris Lattnerf9650c02009-08-01 21:46:23 +0000589 if (Kind.isMergeableConst16() && SixteenByteConstantSection)
Chris Lattnerf0144122009-07-28 03:13:23 +0000590 return SixteenByteConstantSection;
591 return ReadOnlySection; // .const
592 }
593
594 // FIXME: ROData -> const in -static mode that is relocatable but they happen
595 // by the static linker. Why not mergeable?
Chris Lattnerf9650c02009-08-01 21:46:23 +0000596 if (Kind.isReadOnly())
Chris Lattnerf0144122009-07-28 03:13:23 +0000597 return ReadOnlySection;
598
599 // If this is marked const, put it into a const section. But if the dynamic
600 // linker needs to write to it, put it in the data segment.
Chris Lattnerf9650c02009-08-01 21:46:23 +0000601 if (Kind.isReadOnlyWithRel())
Chris Lattnerf0144122009-07-28 03:13:23 +0000602 return ConstDataSection;
603
604 // Otherwise, just drop the variable in the normal data section.
605 return DataSection;
606}
607
Chris Lattnera87dea42009-07-31 18:48:30 +0000608const MCSection *
Chris Lattner83d77fa2009-08-01 23:46:12 +0000609TargetLoweringObjectFileMachO::getSectionForConstant(SectionKind Kind) const {
Chris Lattnerf0144122009-07-28 03:13:23 +0000610 // If this constant requires a relocation, we have to put it in the data
611 // segment, not in the text segment.
612 if (Kind.isDataRel())
613 return ConstDataSection;
614
615 if (Kind.isMergeableConst4())
616 return FourByteConstantSection;
617 if (Kind.isMergeableConst8())
618 return EightByteConstantSection;
Chris Lattner4bb253c2009-07-28 17:50:28 +0000619 if (Kind.isMergeableConst16() && SixteenByteConstantSection)
Chris Lattnerf0144122009-07-28 03:13:23 +0000620 return SixteenByteConstantSection;
621 return ReadOnlySection; // .const
622}
623
Chris Lattner26630c12009-07-31 20:52:39 +0000624/// shouldEmitUsedDirectiveFor - This hook allows targets to selectively decide
625/// not to emit the UsedDirective for some symbols in llvm.used.
626// FIXME: REMOVE this (rdar://7071300)
627bool TargetLoweringObjectFileMachO::
628shouldEmitUsedDirectiveFor(const GlobalValue *GV, Mangler *Mang) const {
629 /// On Darwin, internally linked data beginning with "L" or "l" does not have
630 /// the directive emitted (this occurs in ObjC metadata).
631 if (!GV) return false;
632
633 // Check whether the mangled name has the "Private" or "LinkerPrivate" prefix.
634 if (GV->hasLocalLinkage() && !isa<Function>(GV)) {
635 // FIXME: ObjC metadata is currently emitted as internal symbols that have
636 // \1L and \0l prefixes on them. Fix them to be Private/LinkerPrivate and
637 // this horrible hack can go away.
638 const std::string &Name = Mang->getMangledName(GV);
639 if (Name[0] == 'L' || Name[0] == 'l')
640 return false;
641 }
642
643 return true;
644}
645
646
Chris Lattnerf0144122009-07-28 03:13:23 +0000647//===----------------------------------------------------------------------===//
648// COFF
649//===----------------------------------------------------------------------===//
650
Chris Lattnerf26e03b2009-07-31 17:42:42 +0000651void TargetLoweringObjectFileCOFF::Initialize(MCContext &Ctx,
652 const TargetMachine &TM) {
Chris Lattnera87dea42009-07-31 18:48:30 +0000653 TargetLoweringObjectFile::Initialize(Ctx, TM);
Chris Lattner968ff112009-08-01 21:11:14 +0000654 TextSection = getOrCreateSection("\t.text", true,
Chris Lattner27981192009-08-01 23:57:16 +0000655 SectionKind::getText());
Chris Lattner968ff112009-08-01 21:11:14 +0000656 DataSection = getOrCreateSection("\t.data", true,
Chris Lattner27981192009-08-01 23:57:16 +0000657 SectionKind::getDataRel());
Chris Lattner80ec2792009-08-02 00:34:36 +0000658 StaticCtorSection =
659 getOrCreateSection(".ctors", false, SectionKind::getDataRel());
660 StaticDtorSection =
661 getOrCreateSection(".dtors", false, SectionKind::getDataRel());
Chris Lattnerf0144122009-07-28 03:13:23 +0000662}
663
664void TargetLoweringObjectFileCOFF::
665getSectionFlagsAsString(SectionKind Kind, SmallVectorImpl<char> &Str) const {
666 // FIXME: Inefficient.
667 std::string Res = ",\"";
668 if (Kind.isText())
669 Res += 'x';
670 if (Kind.isWriteable())
671 Res += 'w';
672 Res += "\"";
673
674 Str.append(Res.begin(), Res.end());
675}
676
677static const char *getCOFFSectionPrefixForUniqueGlobal(SectionKind Kind) {
678 if (Kind.isText())
679 return ".text$linkonce";
680 if (Kind.isWriteable())
681 return ".data$linkonce";
682 return ".rdata$linkonce";
683}
684
685
Chris Lattnera87dea42009-07-31 18:48:30 +0000686const MCSection *TargetLoweringObjectFileCOFF::
Chris Lattnerf9650c02009-08-01 21:46:23 +0000687SelectSectionForGlobal(const GlobalValue *GV, SectionKind Kind,
Chris Lattnere53a6002009-07-29 05:09:30 +0000688 Mangler *Mang, const TargetMachine &TM) const {
Chris Lattnerf9650c02009-08-01 21:46:23 +0000689 assert(!Kind.isThreadLocal() && "Doesn't support TLS");
Chris Lattnerf0144122009-07-28 03:13:23 +0000690
691 // If this global is linkonce/weak and the target handles this by emitting it
692 // into a 'uniqued' section name, create and return the section now.
Chris Lattner27602b82009-08-01 21:42:58 +0000693 if (GV->isWeakForLinker()) {
Chris Lattnerf9650c02009-08-01 21:46:23 +0000694 const char *Prefix = getCOFFSectionPrefixForUniqueGlobal(Kind);
Chris Lattner968ff112009-08-01 21:11:14 +0000695 std::string Name = Mang->makeNameProper(GV->getNameStr());
Chris Lattnerf9650c02009-08-01 21:46:23 +0000696 return getOrCreateSection((Prefix+Name).c_str(), false, Kind);
Chris Lattnerf0144122009-07-28 03:13:23 +0000697 }
698
Chris Lattnerf9650c02009-08-01 21:46:23 +0000699 if (Kind.isText())
Chris Lattnerf0144122009-07-28 03:13:23 +0000700 return getTextSection();
701
Chris Lattnerf0144122009-07-28 03:13:23 +0000702 return getDataSection();
703}
704