0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
1 //===-- MipsTargetObjectFile.cpp - Mips Object Files ----------------------===//
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
2 //
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
3 // The LLVM Compiler Infrastructure
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
4 //
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
5 // This file is distributed under the University of Illinois Open Source
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
6 // License. See LICENSE.TXT for details.
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
7 //
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
8 //===----------------------------------------------------------------------===//
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
9
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
10 #include "MipsTargetObjectFile.h"
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
11 #include "MipsSubtarget.h"
|
95
|
12 #include "MipsTargetMachine.h"
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
13 #include "llvm/IR/DataLayout.h"
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
14 #include "llvm/IR/DerivedTypes.h"
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
15 #include "llvm/IR/GlobalVariable.h"
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
16 #include "llvm/MC/MCContext.h"
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
17 #include "llvm/MC/MCSectionELF.h"
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
18 #include "llvm/Support/CommandLine.h"
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
19 #include "llvm/Support/ELF.h"
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
20 #include "llvm/Target/TargetMachine.h"
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
21 using namespace llvm;
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
22
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
23 static cl::opt<unsigned>
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
24 SSThreshold("mips-ssection-threshold", cl::Hidden,
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
25 cl::desc("Small data and bss section threshold size (default=8)"),
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
26 cl::init(8));
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
27
|
83
|
28 static cl::opt<bool>
|
|
29 LocalSData("mlocal-sdata", cl::Hidden,
|
|
30 cl::desc("MIPS: Use gp_rel for object-local data."),
|
|
31 cl::init(true));
|
|
32
|
|
33 static cl::opt<bool>
|
|
34 ExternSData("mextern-sdata", cl::Hidden,
|
|
35 cl::desc("MIPS: Use gp_rel for data that is not defined by the "
|
|
36 "current object."),
|
|
37 cl::init(true));
|
|
38
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
39 void MipsTargetObjectFile::Initialize(MCContext &Ctx, const TargetMachine &TM){
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
40 TargetLoweringObjectFileELF::Initialize(Ctx, TM);
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
41 InitializeELF(TM.Options.UseInitArray);
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
42
|
83
|
43 SmallDataSection = getContext().getELFSection(
|
|
44 ".sdata", ELF::SHT_PROGBITS, ELF::SHF_WRITE | ELF::SHF_ALLOC);
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
45
|
83
|
46 SmallBSSSection = getContext().getELFSection(".sbss", ELF::SHT_NOBITS,
|
|
47 ELF::SHF_WRITE | ELF::SHF_ALLOC);
|
95
|
48 this->TM = &static_cast<const MipsTargetMachine &>(TM);
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
49 }
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
50
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
51 // A address must be loaded from a small section if its size is less than the
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
52 // small section size threshold. Data in this section must be addressed using
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
53 // gp_rel operator.
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
54 static bool IsInSmallSection(uint64_t Size) {
|
83
|
55 // gcc has traditionally not treated zero-sized objects as small data, so this
|
|
56 // is effectively part of the ABI.
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
57 return Size > 0 && Size <= SSThreshold;
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
58 }
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
59
|
83
|
60 /// Return true if this global address should be placed into small data/bss
|
|
61 /// section.
|
|
62 bool MipsTargetObjectFile::
|
|
63 IsGlobalInSmallSection(const GlobalValue *GV, const TargetMachine &TM) const {
|
|
64 // We first check the case where global is a declaration, because finding
|
|
65 // section kind using getKindForGlobal() is only allowed for global
|
|
66 // definitions.
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
67 if (GV->isDeclaration() || GV->hasAvailableExternallyLinkage())
|
83
|
68 return IsGlobalInSmallSectionImpl(GV, TM);
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
69
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
70 return IsGlobalInSmallSection(GV, TM, getKindForGlobal(GV, TM));
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
71 }
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
72
|
83
|
73 /// Return true if this global address should be placed into small data/bss
|
|
74 /// section.
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
75 bool MipsTargetObjectFile::
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
76 IsGlobalInSmallSection(const GlobalValue *GV, const TargetMachine &TM,
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
77 SectionKind Kind) const {
|
83
|
78 return (IsGlobalInSmallSectionImpl(GV, TM) &&
|
|
79 (Kind.isDataRel() || Kind.isBSS() || Kind.isCommon()));
|
|
80 }
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
81
|
83
|
82 /// Return true if this global address should be placed into small data/bss
|
|
83 /// section. This method does all the work, except for checking the section
|
|
84 /// kind.
|
|
85 bool MipsTargetObjectFile::
|
|
86 IsGlobalInSmallSectionImpl(const GlobalValue *GV,
|
|
87 const TargetMachine &TM) const {
|
95
|
88 const MipsSubtarget &Subtarget =
|
|
89 *static_cast<const MipsTargetMachine &>(TM).getSubtargetImpl();
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
90
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
91 // Return if small section is not available.
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
92 if (!Subtarget.useSmallSection())
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
93 return false;
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
94
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
95 // Only global variables, not functions.
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
96 const GlobalVariable *GVA = dyn_cast<GlobalVariable>(GV);
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
97 if (!GVA)
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
98 return false;
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
99
|
83
|
100 // Enforce -mlocal-sdata.
|
|
101 if (!LocalSData && GV->hasLocalLinkage())
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
102 return false;
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
103
|
83
|
104 // Enforce -mextern-sdata.
|
|
105 if (!ExternSData && ((GV->hasExternalLinkage() && GV->isDeclaration()) ||
|
|
106 GV->hasCommonLinkage()))
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
107 return false;
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
108
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
109 Type *Ty = GV->getType()->getElementType();
|
95
|
110 return IsInSmallSection(
|
|
111 GV->getParent()->getDataLayout().getTypeAllocSize(Ty));
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
112 }
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
113
|
95
|
114 MCSection *
|
|
115 MipsTargetObjectFile::SelectSectionForGlobal(const GlobalValue *GV,
|
|
116 SectionKind Kind, Mangler &Mang,
|
|
117 const TargetMachine &TM) const {
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
118 // TODO: Could also support "weak" symbols as well with ".gnu.linkonce.s.*"
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
119 // sections?
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
120
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
121 // Handle Small Section classification here.
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
122 if (Kind.isBSS() && IsGlobalInSmallSection(GV, TM, Kind))
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
123 return SmallBSSSection;
|
83
|
124 if (Kind.isDataRel() && IsGlobalInSmallSection(GV, TM, Kind))
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
125 return SmallDataSection;
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
126
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
127 // Otherwise, we work the same as ELF.
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
128 return TargetLoweringObjectFileELF::SelectSectionForGlobal(GV, Kind, Mang,TM);
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
129 }
|
83
|
130
|
|
131 /// Return true if this constant should be placed into small data section.
|
95
|
132 bool MipsTargetObjectFile::IsConstantInSmallSection(
|
|
133 const DataLayout &DL, const Constant *CN, const TargetMachine &TM) const {
|
|
134 return (static_cast<const MipsTargetMachine &>(TM)
|
|
135 .getSubtargetImpl()
|
|
136 ->useSmallSection() &&
|
|
137 LocalSData && IsInSmallSection(DL.getTypeAllocSize(CN->getType())));
|
83
|
138 }
|
|
139
|
95
|
140 /// Return true if this constant should be placed into small data section.
|
|
141 MCSection *MipsTargetObjectFile::getSectionForConstant(
|
|
142 const DataLayout &DL, SectionKind Kind, const Constant *C) const {
|
|
143 if (IsConstantInSmallSection(DL, C, *TM))
|
83
|
144 return SmallDataSection;
|
|
145
|
|
146 // Otherwise, we work the same as ELF.
|
95
|
147 return TargetLoweringObjectFileELF::getSectionForConstant(DL, Kind, C);
|
83
|
148 }
|