blob: 14ce6e89de7cd4c08a86c2e8a93ed742a020e251 [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>
Chris Lattnerf0453282003-12-22 05:01:15 +000028using namespace llvm;
Brian Gaeked0fde302003-11-11 22:41:34 +000029
Misha Brukman5560c9d2003-08-18 14:43:39 +000030// Handle the Pass registration stuff necessary to use TargetData's.
Chris Lattneraa31ad02002-09-25 23:46:55 +000031namespace {
32 // Register the default SparcV9 implementation...
33 RegisterPass<TargetData> X("targetdata", "Target Data Layout");
34}
35
Chris Lattnere7fb3602001-08-27 16:00:15 +000036static inline void getTypeInfo(const Type *Ty, const TargetData *TD,
Misha Brukmanc8e87642004-07-23 01:09:52 +000037 uint64_t &Size, unsigned char &Alignment);
Chris Lattnere7fb3602001-08-27 16:00:15 +000038
39//===----------------------------------------------------------------------===//
Chris Lattner0e7ac162004-02-26 08:02:17 +000040// Support for StructLayout
Chris Lattnere7fb3602001-08-27 16:00:15 +000041//===----------------------------------------------------------------------===//
42
Chris Lattner0e7ac162004-02-26 08:02:17 +000043StructLayout::StructLayout(const StructType *ST, const TargetData &TD) {
Chris Lattnere7fb3602001-08-27 16:00:15 +000044 StructAlignment = 0;
45 StructSize = 0;
46
47 // Loop over each of the elements, placing them in memory...
Misha Brukmanf976c852005-04-21 22:55:34 +000048 for (StructType::element_iterator TI = ST->element_begin(),
Misha Brukmanc8e87642004-07-23 01:09:52 +000049 TE = ST->element_end(); TI != TE; ++TI) {
Chris Lattnere7fb3602001-08-27 16:00:15 +000050 const Type *Ty = *TI;
51 unsigned char A;
Vikram S. Advef66723f2002-05-19 15:28:02 +000052 unsigned TyAlign;
53 uint64_t TySize;
54 getTypeInfo(Ty, &TD, TySize, A);
55 TyAlign = A;
Chris Lattnere7fb3602001-08-27 16:00:15 +000056
Misha Brukman5560c9d2003-08-18 14:43:39 +000057 // Add padding if necessary to make the data element aligned properly...
Chris Lattnere7fb3602001-08-27 16:00:15 +000058 if (StructSize % TyAlign != 0)
59 StructSize = (StructSize/TyAlign + 1) * TyAlign; // Add padding...
60
61 // Keep track of maximum alignment constraint
Chris Lattner697954c2002-01-20 22:54:45 +000062 StructAlignment = std::max(TyAlign, StructAlignment);
Chris Lattnere7fb3602001-08-27 16:00:15 +000063
64 MemberOffsets.push_back(StructSize);
Vikram S. Advef66723f2002-05-19 15:28:02 +000065 StructSize += TySize; // Consume space for this data item
Chris Lattnere7fb3602001-08-27 16:00:15 +000066 }
67
Chris Lattner4e840d42003-05-21 18:08:44 +000068 // Empty structures have alignment of 1 byte.
69 if (StructAlignment == 0) StructAlignment = 1;
70
Chris Lattnere7fb3602001-08-27 16:00:15 +000071 // Add padding to the end of the struct so that it could be put in an array
72 // and all array elements would be aligned correctly.
73 if (StructSize % StructAlignment != 0)
74 StructSize = (StructSize/StructAlignment + 1) * StructAlignment;
Chris Lattnere7fb3602001-08-27 16:00:15 +000075}
76
Chris Lattnere7ea48c2005-03-13 19:04:41 +000077
78/// getElementContainingOffset - Given a valid offset into the structure,
79/// return the structure index that contains it.
80unsigned StructLayout::getElementContainingOffset(uint64_t Offset) const {
81 std::vector<uint64_t>::const_iterator SI =
82 std::upper_bound(MemberOffsets.begin(), MemberOffsets.end(),
83 Offset);
84 assert(SI != MemberOffsets.begin() && "Offset not in structure type!");
85 --SI;
86 assert(*SI <= Offset && "upper_bound didn't work");
87 assert((SI == MemberOffsets.begin() || *(SI-1) < Offset) &&
88 (SI+1 == MemberOffsets.end() || *(SI+1) > Offset) &&
89 "Upper bound didn't work!");
90 return SI-MemberOffsets.begin();
91}
92
Chris Lattnere7fb3602001-08-27 16:00:15 +000093//===----------------------------------------------------------------------===//
94// TargetData Class Implementation
95//===----------------------------------------------------------------------===//
96
Vikram S. Advef66723f2002-05-19 15:28:02 +000097TargetData::TargetData(const std::string &TargetName,
Chris Lattner10daaa12003-04-26 20:11:09 +000098 bool isLittleEndian, unsigned char PtrSize,
Chris Lattner85131c82002-10-14 22:41:13 +000099 unsigned char PtrAl, unsigned char DoubleAl,
Misha Brukmanf976c852005-04-21 22:55:34 +0000100 unsigned char FloatAl, unsigned char LongAl,
Chris Lattner85131c82002-10-14 22:41:13 +0000101 unsigned char IntAl, unsigned char ShortAl,
Misha Brukmanc8e87642004-07-23 01:09:52 +0000102 unsigned char ByteAl, unsigned char BoolAl) {
Chris Lattnere7fb3602001-08-27 16:00:15 +0000103
Chris Lattner46326d92003-04-25 02:50:45 +0000104 // If this assert triggers, a pass "required" TargetData information, but the
Brian Gaeke8121fcd2004-04-14 21:21:56 +0000105 // top level tool did not provide one for it. We do not want to default
Chris Lattner46326d92003-04-25 02:50:45 +0000106 // construct, or else we might end up using a bad endianness or pointer size!
107 //
108 assert(!TargetName.empty() &&
109 "ERROR: Tool did not specify a target data to use!");
110
Chris Lattner85131c82002-10-14 22:41:13 +0000111 LittleEndian = isLittleEndian;
Chris Lattnere7fb3602001-08-27 16:00:15 +0000112 PointerSize = PtrSize;
113 PointerAlignment = PtrAl;
114 DoubleAlignment = DoubleAl;
115 FloatAlignment = FloatAl;
116 LongAlignment = LongAl;
117 IntAlignment = IntAl;
118 ShortAlignment = ShortAl;
119 ByteAlignment = ByteAl;
Misha Brukmanc8e87642004-07-23 01:09:52 +0000120 BoolAlignment = BoolAl;
Chris Lattnere7fb3602001-08-27 16:00:15 +0000121}
122
Owen Anderson8f60c562006-05-12 05:49:47 +0000123TargetData::TargetData(const std::string &TargetName,
124 const std::string &TargetDescription) {
125 std::string temp = TargetDescription;
126
127 LittleEndian = false;
128 PointerSize = 8;
129 PointerAlignment = 8;
130 DoubleAlignment = 8;
131 FloatAlignment = 4;
132 LongAlignment = 8;
133 IntAlignment = 4;
134 ShortAlignment = 2;
135 ByteAlignment = 1;
136 BoolAlignment = 1;
137
138 while (temp.length() > 0) {
139 std::string token = getToken(temp, "-");
140
141 switch(token[0]) {
142 case 'E':
Owen Anderson571a13f2006-05-12 06:06:55 +0000143 LittleEndian = false;
144 break;
Owen Anderson8f60c562006-05-12 05:49:47 +0000145 case 'e':
Owen Anderson571a13f2006-05-12 06:06:55 +0000146 LittleEndian = true;
147 break;
Owen Anderson8f60c562006-05-12 05:49:47 +0000148 case 'p':
Owen Anderson571a13f2006-05-12 06:06:55 +0000149 PointerSize = atoi(getToken(token,":").c_str()) / 8;
150 PointerAlignment = atoi(getToken(token,":").c_str()) / 8;
151 break;
Owen Anderson8f60c562006-05-12 05:49:47 +0000152 case 'd':
Owen Anderson571a13f2006-05-12 06:06:55 +0000153 token = getToken(token,":"); //Ignore the size
154 DoubleAlignment = atoi(getToken(token,":").c_str()) / 8;
155 break;
Owen Anderson8f60c562006-05-12 05:49:47 +0000156 case 'f':
Owen Anderson571a13f2006-05-12 06:06:55 +0000157 token = getToken(token, ":"); //Ignore the size
158 FloatAlignment = atoi(getToken(token, ":").c_str()) / 8;
159 break;
Owen Anderson8f60c562006-05-12 05:49:47 +0000160 case 'l':
Owen Anderson571a13f2006-05-12 06:06:55 +0000161 token = getToken(token, ":"); //Ignore the size
162 LongAlignment = atoi(getToken(token, ":").c_str()) / 8;
163 break;
Owen Anderson8f60c562006-05-12 05:49:47 +0000164 case 'i':
Owen Anderson571a13f2006-05-12 06:06:55 +0000165 token = getToken(token, ":"); //Ignore the size
166 IntAlignment = atoi(getToken(token, ":").c_str()) / 8;
167 break;
Owen Anderson8f60c562006-05-12 05:49:47 +0000168 case 's':
Owen Anderson571a13f2006-05-12 06:06:55 +0000169 token = getToken(token, ":"); //Ignore the size
170 ShortAlignment = atoi(getToken(token, ":").c_str()) / 8;
171 break;
Owen Anderson8f60c562006-05-12 05:49:47 +0000172 case 'b':
Owen Anderson571a13f2006-05-12 06:06:55 +0000173 token = getToken(token, ":"); //Ignore the size
174 ByteAlignment = atoi(getToken(token, ":").c_str()) / 8;
175 break;
Owen Anderson8f60c562006-05-12 05:49:47 +0000176 case 'B':
Owen Anderson571a13f2006-05-12 06:06:55 +0000177 token = getToken(token, ":"); //Ignore the size
178 BoolAlignment = atoi(getToken(token, ":").c_str()) / 8;
179 break;
Owen Anderson8f60c562006-05-12 05:49:47 +0000180 default:
Owen Anderson571a13f2006-05-12 06:06:55 +0000181 break;
Owen Anderson8f60c562006-05-12 05:49:47 +0000182 }
183 }
184}
185
Chris Lattner0e7ac162004-02-26 08:02:17 +0000186TargetData::TargetData(const std::string &ToolName, const Module *M) {
Chris Lattner030574f2003-08-24 13:49:22 +0000187 LittleEndian = M->getEndianness() != Module::BigEndian;
188 PointerSize = M->getPointerSize() != Module::Pointer64 ? 4 : 8;
Chris Lattner53a0c382003-04-24 19:09:05 +0000189 PointerAlignment = PointerSize;
Chris Lattnerdd7253c2003-04-25 06:06:43 +0000190 DoubleAlignment = PointerSize;
Chris Lattner53a0c382003-04-24 19:09:05 +0000191 FloatAlignment = 4;
Chris Lattnerda6122f2004-11-02 22:18:18 +0000192 LongAlignment = PointerSize;
Chris Lattner53a0c382003-04-24 19:09:05 +0000193 IntAlignment = 4;
194 ShortAlignment = 2;
195 ByteAlignment = 1;
Misha Brukmanc8e87642004-07-23 01:09:52 +0000196 BoolAlignment = 1;
Chris Lattner53a0c382003-04-24 19:09:05 +0000197}
198
Chris Lattner8dff24f2006-01-14 00:07:34 +0000199/// Layouts - The lazy cache of structure layout information maintained by
200/// TargetData.
201///
Chris Lattner0e7ac162004-02-26 08:02:17 +0000202static std::map<std::pair<const TargetData*,const StructType*>,
203 StructLayout> *Layouts = 0;
204
205
Chris Lattnere7fb3602001-08-27 16:00:15 +0000206TargetData::~TargetData() {
Chris Lattner0e7ac162004-02-26 08:02:17 +0000207 if (Layouts) {
208 // Remove any layouts for this TD.
209 std::map<std::pair<const TargetData*,
210 const StructType*>, StructLayout>::iterator
211 I = Layouts->lower_bound(std::make_pair(this, (const StructType*)0));
212 while (I != Layouts->end() && I->first.first == this)
213 Layouts->erase(I++);
214 if (Layouts->empty()) {
215 delete Layouts;
216 Layouts = 0;
217 }
218 }
219}
220
221const StructLayout *TargetData::getStructLayout(const StructType *Ty) const {
222 if (Layouts == 0)
223 Layouts = new std::map<std::pair<const TargetData*,const StructType*>,
224 StructLayout>();
225 std::map<std::pair<const TargetData*,const StructType*>,
226 StructLayout>::iterator
227 I = Layouts->lower_bound(std::make_pair(this, Ty));
228 if (I != Layouts->end() && I->first.first == this && I->first.second == Ty)
229 return &I->second;
230 else {
231 return &Layouts->insert(I, std::make_pair(std::make_pair(this, Ty),
232 StructLayout(Ty, *this)))->second;
233 }
Chris Lattnere7fb3602001-08-27 16:00:15 +0000234}
235
Chris Lattner8dff24f2006-01-14 00:07:34 +0000236/// InvalidateStructLayoutInfo - TargetData speculatively caches StructLayout
237/// objects. If a TargetData object is alive when types are being refined and
238/// removed, this method must be called whenever a StructType is removed to
239/// avoid a dangling pointer in this cache.
240void TargetData::InvalidateStructLayoutInfo(const StructType *Ty) const {
241 if (!Layouts) return; // No cache.
242
243 std::map<std::pair<const TargetData*,const StructType*>,
244 StructLayout>::iterator I = Layouts->find(std::make_pair(this, Ty));
245 if (I != Layouts->end())
246 Layouts->erase(I);
247}
248
249
250
Chris Lattnere7fb3602001-08-27 16:00:15 +0000251static inline void getTypeInfo(const Type *Ty, const TargetData *TD,
Misha Brukmanc8e87642004-07-23 01:09:52 +0000252 uint64_t &Size, unsigned char &Alignment) {
Chris Lattnerf59ce922001-12-13 00:46:11 +0000253 assert(Ty->isSized() && "Cannot getTypeInfo() on a type that is unsized!");
Chris Lattnerf70c22b2004-06-17 18:19:28 +0000254 switch (Ty->getTypeID()) {
Misha Brukmanc8e87642004-07-23 01:09:52 +0000255 case Type::BoolTyID: Size = 1; Alignment = TD->getBoolAlignment(); return;
Chris Lattnere7fb3602001-08-27 16:00:15 +0000256 case Type::VoidTyID:
Chris Lattnere7fb3602001-08-27 16:00:15 +0000257 case Type::UByteTyID:
258 case Type::SByteTyID: Size = 1; Alignment = TD->getByteAlignment(); return;
259 case Type::UShortTyID:
260 case Type::ShortTyID: Size = 2; Alignment = TD->getShortAlignment(); return;
261 case Type::UIntTyID:
262 case Type::IntTyID: Size = 4; Alignment = TD->getIntAlignment(); return;
263 case Type::ULongTyID:
264 case Type::LongTyID: Size = 8; Alignment = TD->getLongAlignment(); return;
265 case Type::FloatTyID: Size = 4; Alignment = TD->getFloatAlignment(); return;
266 case Type::DoubleTyID: Size = 8; Alignment = TD->getDoubleAlignment(); return;
267 case Type::LabelTyID:
268 case Type::PointerTyID:
269 Size = TD->getPointerSize(); Alignment = TD->getPointerAlignment();
270 return;
271 case Type::ArrayTyID: {
Chris Lattner59b00672004-07-01 17:32:59 +0000272 const ArrayType *ATy = cast<ArrayType>(Ty);
Chris Lattnere7fb3602001-08-27 16:00:15 +0000273 getTypeInfo(ATy->getElementType(), TD, Size, Alignment);
Brian Gaekee0e35892004-07-02 07:01:31 +0000274 unsigned AlignedSize = (Size + Alignment - 1)/Alignment*Alignment;
Chris Lattner59b00672004-07-01 17:32:59 +0000275 Size = AlignedSize*ATy->getNumElements();
Chris Lattnere7fb3602001-08-27 16:00:15 +0000276 return;
277 }
Chris Lattner527efc62004-12-01 17:14:28 +0000278 case Type::PackedTyID: {
279 const PackedType *PTy = cast<PackedType>(Ty);
280 getTypeInfo(PTy->getElementType(), TD, Size, Alignment);
281 unsigned AlignedSize = (Size + Alignment - 1)/Alignment*Alignment;
282 Size = AlignedSize*PTy->getNumElements();
Evan Chenge668bda2006-03-31 22:33:42 +0000283 // FIXME: The alignments of specific packed types are target dependent.
284 // For now, just set it to be equal to Size.
Chris Lattner0aab36f2006-04-03 23:14:49 +0000285 Alignment = Size;
Chris Lattner527efc62004-12-01 17:14:28 +0000286 return;
287 }
Chris Lattnere7fb3602001-08-27 16:00:15 +0000288 case Type::StructTyID: {
289 // Get the layout annotation... which is lazily created on demand.
Chris Lattner59b00672004-07-01 17:32:59 +0000290 const StructLayout *Layout = TD->getStructLayout(cast<StructType>(Ty));
Chris Lattnere7fb3602001-08-27 16:00:15 +0000291 Size = Layout->StructSize; Alignment = Layout->StructAlignment;
292 return;
293 }
Misha Brukmanf976c852005-04-21 22:55:34 +0000294
Chris Lattnere7fb3602001-08-27 16:00:15 +0000295 default:
296 assert(0 && "Bad type for getTypeInfo!!!");
297 return;
298 }
299}
300
Vikram S. Advef66723f2002-05-19 15:28:02 +0000301uint64_t TargetData::getTypeSize(const Type *Ty) const {
302 uint64_t Size;
303 unsigned char Align;
Chris Lattnere7fb3602001-08-27 16:00:15 +0000304 getTypeInfo(Ty, this, Size, Align);
305 return Size;
306}
307
308unsigned char TargetData::getTypeAlignment(const Type *Ty) const {
Vikram S. Advef66723f2002-05-19 15:28:02 +0000309 uint64_t Size;
310 unsigned char Align;
Chris Lattnere7fb3602001-08-27 16:00:15 +0000311 getTypeInfo(Ty, this, Size, Align);
312 return Align;
313}
314
Chris Lattnerd2b0bb42004-08-17 19:13:00 +0000315unsigned char TargetData::getTypeAlignmentShift(const Type *Ty) const {
316 unsigned Align = getTypeAlignment(Ty);
317 assert(!(Align & (Align-1)) && "Alignment is not a power of two!");
Chris Lattner0561b3f2005-08-02 19:26:06 +0000318 return Log2_32(Align);
Chris Lattnerd2b0bb42004-08-17 19:13:00 +0000319}
320
Chris Lattnerf0453282003-12-22 05:01:15 +0000321/// getIntPtrType - Return an unsigned integer type that is the same size or
322/// greater to the host pointer size.
323const Type *TargetData::getIntPtrType() const {
324 switch (getPointerSize()) {
325 default: assert(0 && "Unknown pointer size!");
326 case 2: return Type::UShortTy;
327 case 4: return Type::UIntTy;
328 case 8: return Type::ULongTy;
329 }
330}
331
332
Vikram S. Advef66723f2002-05-19 15:28:02 +0000333uint64_t TargetData::getIndexedOffset(const Type *ptrTy,
Misha Brukmanc8e87642004-07-23 01:09:52 +0000334 const std::vector<Value*> &Idx) const {
Vikram S. Adveed0030e2002-08-04 20:52:39 +0000335 const Type *Ty = ptrTy;
336 assert(isa<PointerType>(Ty) && "Illegal argument for getIndexedOffset()");
Vikram S. Advef66723f2002-05-19 15:28:02 +0000337 uint64_t Result = 0;
Chris Lattnere7fb3602001-08-27 16:00:15 +0000338
Chris Lattner28977af2004-04-05 01:30:19 +0000339 generic_gep_type_iterator<std::vector<Value*>::const_iterator>
340 TI = gep_type_begin(ptrTy, Idx.begin(), Idx.end());
341 for (unsigned CurIDX = 0; CurIDX != Idx.size(); ++CurIDX, ++TI) {
342 if (const StructType *STy = dyn_cast<StructType>(*TI)) {
343 assert(Idx[CurIDX]->getType() == Type::UIntTy && "Illegal struct idx");
Chris Lattnere9bb2df2001-12-03 22:26:30 +0000344 unsigned FieldNo = cast<ConstantUInt>(Idx[CurIDX])->getValue();
Chris Lattnere7fb3602001-08-27 16:00:15 +0000345
346 // Get structure layout information...
347 const StructLayout *Layout = getStructLayout(STy);
348
349 // Add in the offset, as calculated by the structure layout info...
Vikram S. Advef66723f2002-05-19 15:28:02 +0000350 assert(FieldNo < Layout->MemberOffsets.size() &&"FieldNo out of range!");
Chris Lattnere7fb3602001-08-27 16:00:15 +0000351 Result += Layout->MemberOffsets[FieldNo];
Vikram S. Adveed0030e2002-08-04 20:52:39 +0000352
Chris Lattnere7fb3602001-08-27 16:00:15 +0000353 // Update Ty to refer to current element
Chris Lattnerd21cd802004-02-09 04:37:31 +0000354 Ty = STy->getElementType(FieldNo);
Chris Lattner28977af2004-04-05 01:30:19 +0000355 } else {
356 // Update Ty to refer to current element
357 Ty = cast<SequentialType>(Ty)->getElementType();
358
359 // Get the array index and the size of each array element.
360 int64_t arrayIdx = cast<ConstantInt>(Idx[CurIDX])->getRawValue();
361 Result += arrayIdx * (int64_t)getTypeSize(Ty);
Chris Lattnere7fb3602001-08-27 16:00:15 +0000362 }
363 }
364
365 return Result;
366}
Brian Gaeked0fde302003-11-11 22:41:34 +0000367