blob: f7c0d7800b74cb669bc3122d3a9b9739af87679c [file] [log] [blame]
Chris Lattnere7fb3602001-08-27 16:00:15 +00001//===-- TargetData.cpp - Data size & alignment routines --------------------==//
Misha Brukmanf976c852005-04-21 22:55:34 +00002//
John Criswellb576c942003-10-20 19:43:21 +00003// The LLVM Compiler Infrastructure
4//
5// This file was developed by the LLVM research group and is distributed under
6// the University of Illinois Open Source License. See LICENSE.TXT for details.
Misha Brukmanf976c852005-04-21 22:55:34 +00007//
John Criswellb576c942003-10-20 19:43:21 +00008//===----------------------------------------------------------------------===//
Chris Lattnere7fb3602001-08-27 16:00:15 +00009//
10// This file defines target properties related to datatype size/offset/alignment
Chris Lattner0e7ac162004-02-26 08:02:17 +000011// information.
Chris Lattnere7fb3602001-08-27 16:00:15 +000012//
13// This structure should be created once, filled in if the defaults are not
14// correct and then passed around by const&. None of the members functions
15// require modification to the object.
16//
17//===----------------------------------------------------------------------===//
18
Vikram S. Adve0799fc42001-09-18 12:58:33 +000019#include "llvm/Target/TargetData.h"
Chris Lattner53a0c382003-04-24 19:09:05 +000020#include "llvm/Module.h"
Chris Lattnere7fb3602001-08-27 16:00:15 +000021#include "llvm/DerivedTypes.h"
Chris Lattner31bcdb82002-04-28 19:55:58 +000022#include "llvm/Constants.h"
Chris Lattner28977af2004-04-05 01:30:19 +000023#include "llvm/Support/GetElementPtrTypeIterator.h"
Reid Spencer551ccae2004-09-01 22:55:40 +000024#include "llvm/Support/MathExtras.h"
Owen Anderson8f60c562006-05-12 05:49:47 +000025#include "llvm/ADT/StringExtras.h"
Chris Lattnere7ea48c2005-03-13 19:04:41 +000026#include <algorithm>
Owen Anderson8f60c562006-05-12 05:49:47 +000027#include <cstdlib>
Owen Anderson2577c222006-05-12 07:01:44 +000028#include <sstream>
Chris Lattnerf0453282003-12-22 05:01:15 +000029using namespace llvm;
Brian Gaeked0fde302003-11-11 22:41:34 +000030
Misha Brukman5560c9d2003-08-18 14:43:39 +000031// Handle the Pass registration stuff necessary to use TargetData's.
Chris Lattneraa31ad02002-09-25 23:46:55 +000032namespace {
33 // Register the default SparcV9 implementation...
34 RegisterPass<TargetData> X("targetdata", "Target Data Layout");
35}
36
Chris Lattnere7fb3602001-08-27 16:00:15 +000037static inline void getTypeInfo(const Type *Ty, const TargetData *TD,
Misha Brukmanc8e87642004-07-23 01:09:52 +000038 uint64_t &Size, unsigned char &Alignment);
Chris Lattnere7fb3602001-08-27 16:00:15 +000039
40//===----------------------------------------------------------------------===//
Chris Lattner0e7ac162004-02-26 08:02:17 +000041// Support for StructLayout
Chris Lattnere7fb3602001-08-27 16:00:15 +000042//===----------------------------------------------------------------------===//
43
Chris Lattner0e7ac162004-02-26 08:02:17 +000044StructLayout::StructLayout(const StructType *ST, const TargetData &TD) {
Chris Lattnere7fb3602001-08-27 16:00:15 +000045 StructAlignment = 0;
46 StructSize = 0;
47
48 // Loop over each of the elements, placing them in memory...
Misha Brukmanf976c852005-04-21 22:55:34 +000049 for (StructType::element_iterator TI = ST->element_begin(),
Misha Brukmanc8e87642004-07-23 01:09:52 +000050 TE = ST->element_end(); TI != TE; ++TI) {
Chris Lattnere7fb3602001-08-27 16:00:15 +000051 const Type *Ty = *TI;
52 unsigned char A;
Vikram S. Advef66723f2002-05-19 15:28:02 +000053 unsigned TyAlign;
54 uint64_t TySize;
55 getTypeInfo(Ty, &TD, TySize, A);
56 TyAlign = A;
Chris Lattnere7fb3602001-08-27 16:00:15 +000057
Misha Brukman5560c9d2003-08-18 14:43:39 +000058 // Add padding if necessary to make the data element aligned properly...
Chris Lattnere7fb3602001-08-27 16:00:15 +000059 if (StructSize % TyAlign != 0)
60 StructSize = (StructSize/TyAlign + 1) * TyAlign; // Add padding...
61
62 // Keep track of maximum alignment constraint
Chris Lattner697954c2002-01-20 22:54:45 +000063 StructAlignment = std::max(TyAlign, StructAlignment);
Chris Lattnere7fb3602001-08-27 16:00:15 +000064
65 MemberOffsets.push_back(StructSize);
Vikram S. Advef66723f2002-05-19 15:28:02 +000066 StructSize += TySize; // Consume space for this data item
Chris Lattnere7fb3602001-08-27 16:00:15 +000067 }
68
Chris Lattner4e840d42003-05-21 18:08:44 +000069 // Empty structures have alignment of 1 byte.
70 if (StructAlignment == 0) StructAlignment = 1;
71
Chris Lattnere7fb3602001-08-27 16:00:15 +000072 // Add padding to the end of the struct so that it could be put in an array
73 // and all array elements would be aligned correctly.
74 if (StructSize % StructAlignment != 0)
75 StructSize = (StructSize/StructAlignment + 1) * StructAlignment;
Chris Lattnere7fb3602001-08-27 16:00:15 +000076}
77
Chris Lattnere7ea48c2005-03-13 19:04:41 +000078
79/// getElementContainingOffset - Given a valid offset into the structure,
80/// return the structure index that contains it.
81unsigned StructLayout::getElementContainingOffset(uint64_t Offset) const {
82 std::vector<uint64_t>::const_iterator SI =
83 std::upper_bound(MemberOffsets.begin(), MemberOffsets.end(),
84 Offset);
85 assert(SI != MemberOffsets.begin() && "Offset not in structure type!");
86 --SI;
87 assert(*SI <= Offset && "upper_bound didn't work");
88 assert((SI == MemberOffsets.begin() || *(SI-1) < Offset) &&
89 (SI+1 == MemberOffsets.end() || *(SI+1) > Offset) &&
90 "Upper bound didn't work!");
91 return SI-MemberOffsets.begin();
92}
93
Chris Lattnere7fb3602001-08-27 16:00:15 +000094//===----------------------------------------------------------------------===//
95// TargetData Class Implementation
96//===----------------------------------------------------------------------===//
97
Vikram S. Advef66723f2002-05-19 15:28:02 +000098TargetData::TargetData(const std::string &TargetName,
Chris Lattner10daaa12003-04-26 20:11:09 +000099 bool isLittleEndian, unsigned char PtrSize,
Chris Lattner85131c82002-10-14 22:41:13 +0000100 unsigned char PtrAl, unsigned char DoubleAl,
Misha Brukmanf976c852005-04-21 22:55:34 +0000101 unsigned char FloatAl, unsigned char LongAl,
Chris Lattner85131c82002-10-14 22:41:13 +0000102 unsigned char IntAl, unsigned char ShortAl,
Misha Brukmanc8e87642004-07-23 01:09:52 +0000103 unsigned char ByteAl, unsigned char BoolAl) {
Chris Lattnere7fb3602001-08-27 16:00:15 +0000104
Chris Lattner46326d92003-04-25 02:50:45 +0000105 // If this assert triggers, a pass "required" TargetData information, but the
Brian Gaeke8121fcd2004-04-14 21:21:56 +0000106 // top level tool did not provide one for it. We do not want to default
Chris Lattner46326d92003-04-25 02:50:45 +0000107 // construct, or else we might end up using a bad endianness or pointer size!
108 //
109 assert(!TargetName.empty() &&
110 "ERROR: Tool did not specify a target data to use!");
111
Chris Lattner85131c82002-10-14 22:41:13 +0000112 LittleEndian = isLittleEndian;
Chris Lattnere7fb3602001-08-27 16:00:15 +0000113 PointerSize = PtrSize;
114 PointerAlignment = PtrAl;
115 DoubleAlignment = DoubleAl;
116 FloatAlignment = FloatAl;
117 LongAlignment = LongAl;
118 IntAlignment = IntAl;
119 ShortAlignment = ShortAl;
120 ByteAlignment = ByteAl;
Misha Brukmanc8e87642004-07-23 01:09:52 +0000121 BoolAlignment = BoolAl;
Chris Lattnere7fb3602001-08-27 16:00:15 +0000122}
123
Owen Anderson8f60c562006-05-12 05:49:47 +0000124TargetData::TargetData(const std::string &TargetName,
125 const std::string &TargetDescription) {
126 std::string temp = TargetDescription;
127
128 LittleEndian = false;
129 PointerSize = 8;
130 PointerAlignment = 8;
131 DoubleAlignment = 8;
132 FloatAlignment = 4;
133 LongAlignment = 8;
134 IntAlignment = 4;
135 ShortAlignment = 2;
136 ByteAlignment = 1;
137 BoolAlignment = 1;
138
139 while (temp.length() > 0) {
140 std::string token = getToken(temp, "-");
141
142 switch(token[0]) {
143 case 'E':
Owen Anderson571a13f2006-05-12 06:06:55 +0000144 LittleEndian = false;
145 break;
Owen Anderson8f60c562006-05-12 05:49:47 +0000146 case 'e':
Owen Anderson571a13f2006-05-12 06:06:55 +0000147 LittleEndian = true;
148 break;
Owen Anderson8f60c562006-05-12 05:49:47 +0000149 case 'p':
Owen Anderson571a13f2006-05-12 06:06:55 +0000150 PointerSize = atoi(getToken(token,":").c_str()) / 8;
151 PointerAlignment = atoi(getToken(token,":").c_str()) / 8;
152 break;
Owen Anderson8f60c562006-05-12 05:49:47 +0000153 case 'd':
Owen Anderson571a13f2006-05-12 06:06:55 +0000154 token = getToken(token,":"); //Ignore the size
155 DoubleAlignment = atoi(getToken(token,":").c_str()) / 8;
156 break;
Owen Anderson8f60c562006-05-12 05:49:47 +0000157 case 'f':
Owen Anderson571a13f2006-05-12 06:06:55 +0000158 token = getToken(token, ":"); //Ignore the size
159 FloatAlignment = atoi(getToken(token, ":").c_str()) / 8;
160 break;
Owen Anderson8f60c562006-05-12 05:49:47 +0000161 case 'l':
Owen Anderson571a13f2006-05-12 06:06:55 +0000162 token = getToken(token, ":"); //Ignore the size
163 LongAlignment = atoi(getToken(token, ":").c_str()) / 8;
164 break;
Owen Anderson8f60c562006-05-12 05:49:47 +0000165 case 'i':
Owen Anderson571a13f2006-05-12 06:06:55 +0000166 token = getToken(token, ":"); //Ignore the size
167 IntAlignment = atoi(getToken(token, ":").c_str()) / 8;
168 break;
Owen Anderson8f60c562006-05-12 05:49:47 +0000169 case 's':
Owen Anderson571a13f2006-05-12 06:06:55 +0000170 token = getToken(token, ":"); //Ignore the size
171 ShortAlignment = atoi(getToken(token, ":").c_str()) / 8;
172 break;
Owen Anderson8f60c562006-05-12 05:49:47 +0000173 case 'b':
Owen Anderson571a13f2006-05-12 06:06:55 +0000174 token = getToken(token, ":"); //Ignore the size
175 ByteAlignment = atoi(getToken(token, ":").c_str()) / 8;
176 break;
Owen Anderson8f60c562006-05-12 05:49:47 +0000177 case 'B':
Owen Anderson571a13f2006-05-12 06:06:55 +0000178 token = getToken(token, ":"); //Ignore the size
179 BoolAlignment = atoi(getToken(token, ":").c_str()) / 8;
180 break;
Owen Anderson8f60c562006-05-12 05:49:47 +0000181 default:
Owen Anderson571a13f2006-05-12 06:06:55 +0000182 break;
Owen Anderson8f60c562006-05-12 05:49:47 +0000183 }
184 }
185}
186
Chris Lattner0e7ac162004-02-26 08:02:17 +0000187TargetData::TargetData(const std::string &ToolName, const Module *M) {
Chris Lattner030574f2003-08-24 13:49:22 +0000188 LittleEndian = M->getEndianness() != Module::BigEndian;
189 PointerSize = M->getPointerSize() != Module::Pointer64 ? 4 : 8;
Chris Lattner53a0c382003-04-24 19:09:05 +0000190 PointerAlignment = PointerSize;
Chris Lattnerdd7253c2003-04-25 06:06:43 +0000191 DoubleAlignment = PointerSize;
Chris Lattner53a0c382003-04-24 19:09:05 +0000192 FloatAlignment = 4;
Chris Lattnerda6122f2004-11-02 22:18:18 +0000193 LongAlignment = PointerSize;
Chris Lattner53a0c382003-04-24 19:09:05 +0000194 IntAlignment = 4;
195 ShortAlignment = 2;
196 ByteAlignment = 1;
Misha Brukmanc8e87642004-07-23 01:09:52 +0000197 BoolAlignment = 1;
Chris Lattner53a0c382003-04-24 19:09:05 +0000198}
199
Chris Lattner8dff24f2006-01-14 00:07:34 +0000200/// Layouts - The lazy cache of structure layout information maintained by
201/// TargetData.
202///
Chris Lattner0e7ac162004-02-26 08:02:17 +0000203static std::map<std::pair<const TargetData*,const StructType*>,
204 StructLayout> *Layouts = 0;
205
206
Chris Lattnere7fb3602001-08-27 16:00:15 +0000207TargetData::~TargetData() {
Chris Lattner0e7ac162004-02-26 08:02:17 +0000208 if (Layouts) {
209 // Remove any layouts for this TD.
210 std::map<std::pair<const TargetData*,
211 const StructType*>, StructLayout>::iterator
212 I = Layouts->lower_bound(std::make_pair(this, (const StructType*)0));
213 while (I != Layouts->end() && I->first.first == this)
214 Layouts->erase(I++);
215 if (Layouts->empty()) {
216 delete Layouts;
217 Layouts = 0;
218 }
219 }
220}
221
Owen Anderson2577c222006-05-12 07:01:44 +0000222std::string TargetData::getStringRepresentation() const {
223 std::stringstream repr;
224
225 if (LittleEndian)
226 repr << "e";
227 else
228 repr << "E";
229
230 repr << "-p:" << (PointerSize * 8) << ":" << (PointerAlignment * 8);
231 repr << "-d:64:" << (DoubleAlignment * 8);
232 repr << "-f:32:" << (FloatAlignment * 8);
233 repr << "-l:64:" << (LongAlignment * 8);
234 repr << "-i:32:" << (IntAlignment * 8);
235 repr << "-s:16:" << (ShortAlignment * 8);
236 repr << "-b:8:" << (ByteAlignment * 8);
237 repr << "-B:8:" << (BoolAlignment * 8);
238
239 return repr.str();
240}
241
Chris Lattner0e7ac162004-02-26 08:02:17 +0000242const StructLayout *TargetData::getStructLayout(const StructType *Ty) const {
243 if (Layouts == 0)
244 Layouts = new std::map<std::pair<const TargetData*,const StructType*>,
245 StructLayout>();
246 std::map<std::pair<const TargetData*,const StructType*>,
247 StructLayout>::iterator
248 I = Layouts->lower_bound(std::make_pair(this, Ty));
249 if (I != Layouts->end() && I->first.first == this && I->first.second == Ty)
250 return &I->second;
251 else {
252 return &Layouts->insert(I, std::make_pair(std::make_pair(this, Ty),
253 StructLayout(Ty, *this)))->second;
254 }
Chris Lattnere7fb3602001-08-27 16:00:15 +0000255}
256
Chris Lattner8dff24f2006-01-14 00:07:34 +0000257/// InvalidateStructLayoutInfo - TargetData speculatively caches StructLayout
258/// objects. If a TargetData object is alive when types are being refined and
259/// removed, this method must be called whenever a StructType is removed to
260/// avoid a dangling pointer in this cache.
261void TargetData::InvalidateStructLayoutInfo(const StructType *Ty) const {
262 if (!Layouts) return; // No cache.
263
264 std::map<std::pair<const TargetData*,const StructType*>,
265 StructLayout>::iterator I = Layouts->find(std::make_pair(this, Ty));
266 if (I != Layouts->end())
267 Layouts->erase(I);
268}
269
270
271
Chris Lattnere7fb3602001-08-27 16:00:15 +0000272static inline void getTypeInfo(const Type *Ty, const TargetData *TD,
Misha Brukmanc8e87642004-07-23 01:09:52 +0000273 uint64_t &Size, unsigned char &Alignment) {
Chris Lattnerf59ce922001-12-13 00:46:11 +0000274 assert(Ty->isSized() && "Cannot getTypeInfo() on a type that is unsized!");
Chris Lattnerf70c22b2004-06-17 18:19:28 +0000275 switch (Ty->getTypeID()) {
Misha Brukmanc8e87642004-07-23 01:09:52 +0000276 case Type::BoolTyID: Size = 1; Alignment = TD->getBoolAlignment(); return;
Chris Lattnere7fb3602001-08-27 16:00:15 +0000277 case Type::VoidTyID:
Chris Lattnere7fb3602001-08-27 16:00:15 +0000278 case Type::UByteTyID:
279 case Type::SByteTyID: Size = 1; Alignment = TD->getByteAlignment(); return;
280 case Type::UShortTyID:
281 case Type::ShortTyID: Size = 2; Alignment = TD->getShortAlignment(); return;
282 case Type::UIntTyID:
283 case Type::IntTyID: Size = 4; Alignment = TD->getIntAlignment(); return;
284 case Type::ULongTyID:
285 case Type::LongTyID: Size = 8; Alignment = TD->getLongAlignment(); return;
286 case Type::FloatTyID: Size = 4; Alignment = TD->getFloatAlignment(); return;
287 case Type::DoubleTyID: Size = 8; Alignment = TD->getDoubleAlignment(); return;
288 case Type::LabelTyID:
289 case Type::PointerTyID:
290 Size = TD->getPointerSize(); Alignment = TD->getPointerAlignment();
291 return;
292 case Type::ArrayTyID: {
Chris Lattner59b00672004-07-01 17:32:59 +0000293 const ArrayType *ATy = cast<ArrayType>(Ty);
Chris Lattnere7fb3602001-08-27 16:00:15 +0000294 getTypeInfo(ATy->getElementType(), TD, Size, Alignment);
Brian Gaekee0e35892004-07-02 07:01:31 +0000295 unsigned AlignedSize = (Size + Alignment - 1)/Alignment*Alignment;
Chris Lattner59b00672004-07-01 17:32:59 +0000296 Size = AlignedSize*ATy->getNumElements();
Chris Lattnere7fb3602001-08-27 16:00:15 +0000297 return;
298 }
Chris Lattner527efc62004-12-01 17:14:28 +0000299 case Type::PackedTyID: {
300 const PackedType *PTy = cast<PackedType>(Ty);
301 getTypeInfo(PTy->getElementType(), TD, Size, Alignment);
302 unsigned AlignedSize = (Size + Alignment - 1)/Alignment*Alignment;
303 Size = AlignedSize*PTy->getNumElements();
Evan Chenge668bda2006-03-31 22:33:42 +0000304 // FIXME: The alignments of specific packed types are target dependent.
305 // For now, just set it to be equal to Size.
Chris Lattner0aab36f2006-04-03 23:14:49 +0000306 Alignment = Size;
Chris Lattner527efc62004-12-01 17:14:28 +0000307 return;
308 }
Chris Lattnere7fb3602001-08-27 16:00:15 +0000309 case Type::StructTyID: {
310 // Get the layout annotation... which is lazily created on demand.
Chris Lattner59b00672004-07-01 17:32:59 +0000311 const StructLayout *Layout = TD->getStructLayout(cast<StructType>(Ty));
Chris Lattnere7fb3602001-08-27 16:00:15 +0000312 Size = Layout->StructSize; Alignment = Layout->StructAlignment;
313 return;
314 }
Misha Brukmanf976c852005-04-21 22:55:34 +0000315
Chris Lattnere7fb3602001-08-27 16:00:15 +0000316 default:
317 assert(0 && "Bad type for getTypeInfo!!!");
318 return;
319 }
320}
321
Vikram S. Advef66723f2002-05-19 15:28:02 +0000322uint64_t TargetData::getTypeSize(const Type *Ty) const {
323 uint64_t Size;
324 unsigned char Align;
Chris Lattnere7fb3602001-08-27 16:00:15 +0000325 getTypeInfo(Ty, this, Size, Align);
326 return Size;
327}
328
329unsigned char TargetData::getTypeAlignment(const Type *Ty) const {
Vikram S. Advef66723f2002-05-19 15:28:02 +0000330 uint64_t Size;
331 unsigned char Align;
Chris Lattnere7fb3602001-08-27 16:00:15 +0000332 getTypeInfo(Ty, this, Size, Align);
333 return Align;
334}
335
Chris Lattnerd2b0bb42004-08-17 19:13:00 +0000336unsigned char TargetData::getTypeAlignmentShift(const Type *Ty) const {
337 unsigned Align = getTypeAlignment(Ty);
338 assert(!(Align & (Align-1)) && "Alignment is not a power of two!");
Chris Lattner0561b3f2005-08-02 19:26:06 +0000339 return Log2_32(Align);
Chris Lattnerd2b0bb42004-08-17 19:13:00 +0000340}
341
Chris Lattnerf0453282003-12-22 05:01:15 +0000342/// getIntPtrType - Return an unsigned integer type that is the same size or
343/// greater to the host pointer size.
344const Type *TargetData::getIntPtrType() const {
345 switch (getPointerSize()) {
346 default: assert(0 && "Unknown pointer size!");
347 case 2: return Type::UShortTy;
348 case 4: return Type::UIntTy;
349 case 8: return Type::ULongTy;
350 }
351}
352
353
Vikram S. Advef66723f2002-05-19 15:28:02 +0000354uint64_t TargetData::getIndexedOffset(const Type *ptrTy,
Misha Brukmanc8e87642004-07-23 01:09:52 +0000355 const std::vector<Value*> &Idx) const {
Vikram S. Adveed0030e2002-08-04 20:52:39 +0000356 const Type *Ty = ptrTy;
357 assert(isa<PointerType>(Ty) && "Illegal argument for getIndexedOffset()");
Vikram S. Advef66723f2002-05-19 15:28:02 +0000358 uint64_t Result = 0;
Chris Lattnere7fb3602001-08-27 16:00:15 +0000359
Chris Lattner28977af2004-04-05 01:30:19 +0000360 generic_gep_type_iterator<std::vector<Value*>::const_iterator>
361 TI = gep_type_begin(ptrTy, Idx.begin(), Idx.end());
362 for (unsigned CurIDX = 0; CurIDX != Idx.size(); ++CurIDX, ++TI) {
363 if (const StructType *STy = dyn_cast<StructType>(*TI)) {
364 assert(Idx[CurIDX]->getType() == Type::UIntTy && "Illegal struct idx");
Chris Lattnere9bb2df2001-12-03 22:26:30 +0000365 unsigned FieldNo = cast<ConstantUInt>(Idx[CurIDX])->getValue();
Chris Lattnere7fb3602001-08-27 16:00:15 +0000366
367 // Get structure layout information...
368 const StructLayout *Layout = getStructLayout(STy);
369
370 // Add in the offset, as calculated by the structure layout info...
Vikram S. Advef66723f2002-05-19 15:28:02 +0000371 assert(FieldNo < Layout->MemberOffsets.size() &&"FieldNo out of range!");
Chris Lattnere7fb3602001-08-27 16:00:15 +0000372 Result += Layout->MemberOffsets[FieldNo];
Vikram S. Adveed0030e2002-08-04 20:52:39 +0000373
Chris Lattnere7fb3602001-08-27 16:00:15 +0000374 // Update Ty to refer to current element
Chris Lattnerd21cd802004-02-09 04:37:31 +0000375 Ty = STy->getElementType(FieldNo);
Chris Lattner28977af2004-04-05 01:30:19 +0000376 } else {
377 // Update Ty to refer to current element
378 Ty = cast<SequentialType>(Ty)->getElementType();
379
380 // Get the array index and the size of each array element.
381 int64_t arrayIdx = cast<ConstantInt>(Idx[CurIDX])->getRawValue();
382 Result += arrayIdx * (int64_t)getTypeSize(Ty);
Chris Lattnere7fb3602001-08-27 16:00:15 +0000383 }
384 }
385
386 return Result;
387}
Brian Gaeked0fde302003-11-11 22:41:34 +0000388