blob: 7dfa05764346c65acc1876ce731ff34e46318547 [file] [log] [blame]
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001//===-- TargetData.cpp - Data size & alignment routines --------------------==//
2//
3// The LLVM Compiler Infrastructure
4//
Chris Lattner081ce942007-12-29 20:36:04 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Dan Gohmanf17a25c2007-07-18 16:29:46 +00007//
8//===----------------------------------------------------------------------===//
9//
10// This file defines target properties related to datatype size/offset/alignment
11// information.
12//
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
19#include "llvm/Target/TargetData.h"
20#include "llvm/Module.h"
21#include "llvm/DerivedTypes.h"
22#include "llvm/Constants.h"
23#include "llvm/Support/GetElementPtrTypeIterator.h"
24#include "llvm/Support/MathExtras.h"
25#include "llvm/Support/ManagedStatic.h"
Owen Andersond446e5e2009-06-23 00:21:15 +000026#include "llvm/System/Mutex.h"
Dan Gohmanf17a25c2007-07-18 16:29:46 +000027#include "llvm/ADT/DenseMap.h"
28#include "llvm/ADT/StringExtras.h"
29#include <algorithm>
30#include <cstdlib>
Dan Gohmanf17a25c2007-07-18 16:29:46 +000031using namespace llvm;
32
33// Handle the Pass registration stuff necessary to use TargetData's.
Dan Gohman089efff2008-05-13 00:00:25 +000034
35// Register the default SparcV9 implementation...
36static RegisterPass<TargetData> X("targetdata", "Target Data Layout", false,
37 true);
Dan Gohmanf17a25c2007-07-18 16:29:46 +000038char TargetData::ID = 0;
39
40//===----------------------------------------------------------------------===//
41// Support for StructLayout
42//===----------------------------------------------------------------------===//
43
44StructLayout::StructLayout(const StructType *ST, const TargetData &TD) {
45 StructAlignment = 0;
46 StructSize = 0;
47 NumElements = ST->getNumElements();
48
Chris Lattner97c1e142008-12-08 07:11:56 +000049 // Loop over each of the elements, placing them in memory.
Dan Gohmanf17a25c2007-07-18 16:29:46 +000050 for (unsigned i = 0, e = NumElements; i != e; ++i) {
51 const Type *Ty = ST->getElementType(i);
Duncan Sands4afc5752008-06-04 08:21:45 +000052 unsigned TyAlign = ST->isPacked() ? 1 : TD.getABITypeAlignment(Ty);
Dan Gohmanf17a25c2007-07-18 16:29:46 +000053
Chris Lattner97c1e142008-12-08 07:11:56 +000054 // Add padding if necessary to align the data element properly.
Duncan Sands79c36992008-12-09 09:58:11 +000055 if ((StructSize & (TyAlign-1)) != 0)
Chris Lattner97c1e142008-12-08 07:11:56 +000056 StructSize = TargetData::RoundUpAlignment(StructSize, TyAlign);
Dan Gohmanf17a25c2007-07-18 16:29:46 +000057
Chris Lattner97c1e142008-12-08 07:11:56 +000058 // Keep track of maximum alignment constraint.
Dan Gohmanf17a25c2007-07-18 16:29:46 +000059 StructAlignment = std::max(TyAlign, StructAlignment);
60
61 MemberOffsets[i] = StructSize;
Duncan Sandsec4f97d2009-05-09 07:06:46 +000062 StructSize += TD.getTypeAllocSize(Ty); // Consume space for this data item
Dan Gohmanf17a25c2007-07-18 16:29:46 +000063 }
64
65 // Empty structures have alignment of 1 byte.
66 if (StructAlignment == 0) StructAlignment = 1;
67
68 // Add padding to the end of the struct so that it could be put in an array
69 // and all array elements would be aligned correctly.
Chris Lattner700a35b2008-12-08 07:21:39 +000070 if ((StructSize & (StructAlignment-1)) != 0)
Chris Lattner97c1e142008-12-08 07:11:56 +000071 StructSize = TargetData::RoundUpAlignment(StructSize, StructAlignment);
Dan Gohmanf17a25c2007-07-18 16:29:46 +000072}
73
74
75/// getElementContainingOffset - Given a valid offset into the structure,
76/// return the structure index that contains it.
77unsigned StructLayout::getElementContainingOffset(uint64_t Offset) const {
78 const uint64_t *SI =
79 std::upper_bound(&MemberOffsets[0], &MemberOffsets[NumElements], Offset);
80 assert(SI != &MemberOffsets[0] && "Offset not in structure type!");
81 --SI;
82 assert(*SI <= Offset && "upper_bound didn't work");
Chris Lattner49d6b242007-10-29 02:40:02 +000083 assert((SI == &MemberOffsets[0] || *(SI-1) <= Offset) &&
Dan Gohmanf17a25c2007-07-18 16:29:46 +000084 (SI+1 == &MemberOffsets[NumElements] || *(SI+1) > Offset) &&
85 "Upper bound didn't work!");
Chris Lattner49d6b242007-10-29 02:40:02 +000086
87 // Multiple fields can have the same offset if any of them are zero sized.
88 // For example, in { i32, [0 x i32], i32 }, searching for offset 4 will stop
89 // at the i32 element, because it is the last element at that offset. This is
90 // the right one to return, because anything after it will have a higher
91 // offset, implying that this element is non-empty.
Dan Gohmanf17a25c2007-07-18 16:29:46 +000092 return SI-&MemberOffsets[0];
93}
94
95//===----------------------------------------------------------------------===//
96// TargetAlignElem, TargetAlign support
97//===----------------------------------------------------------------------===//
98
99TargetAlignElem
100TargetAlignElem::get(AlignTypeEnum align_type, unsigned char abi_align,
101 unsigned char pref_align, uint32_t bit_width) {
Duncan Sands935686e2008-01-29 06:23:44 +0000102 assert(abi_align <= pref_align && "Preferred alignment worse than ABI!");
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000103 TargetAlignElem retval;
104 retval.AlignType = align_type;
105 retval.ABIAlign = abi_align;
106 retval.PrefAlign = pref_align;
107 retval.TypeBitWidth = bit_width;
108 return retval;
109}
110
111bool
112TargetAlignElem::operator==(const TargetAlignElem &rhs) const {
113 return (AlignType == rhs.AlignType
114 && ABIAlign == rhs.ABIAlign
115 && PrefAlign == rhs.PrefAlign
116 && TypeBitWidth == rhs.TypeBitWidth);
117}
118
119std::ostream &
120TargetAlignElem::dump(std::ostream &os) const {
121 return os << AlignType
122 << TypeBitWidth
123 << ":" << (int) (ABIAlign * 8)
124 << ":" << (int) (PrefAlign * 8);
125}
126
127const TargetAlignElem TargetData::InvalidAlignmentElem =
128 TargetAlignElem::get((AlignTypeEnum) -1, 0, 0, 0);
129
130//===----------------------------------------------------------------------===//
131// TargetData Class Implementation
132//===----------------------------------------------------------------------===//
133
134/*!
135 A TargetDescription string consists of a sequence of hyphen-delimited
136 specifiers for target endianness, pointer size and alignments, and various
137 primitive type sizes and alignments. A typical string looks something like:
138 <br><br>
139 "E-p:32:32:32-i1:8:8-i8:8:8-i32:32:32-i64:32:64-f32:32:32-f64:32:64"
140 <br><br>
141 (note: this string is not fully specified and is only an example.)
142 \p
143 Alignments come in two flavors: ABI and preferred. ABI alignment (abi_align,
144 below) dictates how a type will be aligned within an aggregate and when used
145 as an argument. Preferred alignment (pref_align, below) determines a type's
146 alignment when emitted as a global.
147 \p
148 Specifier string details:
149 <br><br>
150 <i>[E|e]</i>: Endianness. "E" specifies a big-endian target data model, "e"
151 specifies a little-endian target data model.
152 <br><br>
Reid Spencer37c7cea2007-08-05 20:06:04 +0000153 <i>p:@verbatim<size>:<abi_align>:<pref_align>@endverbatim</i>: Pointer size,
154 ABI and preferred alignment.
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000155 <br><br>
Chris Lattner6fdfffb2008-01-10 00:30:57 +0000156 <i>@verbatim<type><size>:<abi_align>:<pref_align>@endverbatim</i>: Numeric type
157 alignment. Type is
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000158 one of <i>i|f|v|a</i>, corresponding to integer, floating point, vector (aka
159 packed) or aggregate. Size indicates the size, e.g., 32 or 64 bits.
160 \p
161 The default string, fully specified is:
162 <br><br>
163 "E-p:64:64:64-a0:0:0-f32:32:32-f64:0:64"
164 "-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:0:64"
165 "-v64:64:64-v128:128:128"
166 <br><br>
167 Note that in the case of aggregates, 0 is the default ABI and preferred
168 alignment. This is a special case, where the aggregate's computed worst-case
169 alignment will be used.
170 */
171void TargetData::init(const std::string &TargetDescription) {
172 std::string temp = TargetDescription;
173
174 LittleEndian = false;
175 PointerMemSize = 8;
176 PointerABIAlign = 8;
177 PointerPrefAlign = PointerABIAlign;
178
179 // Default alignments
Dan Gohman02b1d022009-04-01 18:10:16 +0000180 setAlignment(INTEGER_ALIGN, 1, 1, 1); // i1
181 setAlignment(INTEGER_ALIGN, 1, 1, 8); // i8
182 setAlignment(INTEGER_ALIGN, 2, 2, 16); // i16
183 setAlignment(INTEGER_ALIGN, 4, 4, 32); // i32
184 setAlignment(INTEGER_ALIGN, 4, 8, 64); // i64
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000185 setAlignment(FLOAT_ALIGN, 4, 4, 32); // float
186 setAlignment(FLOAT_ALIGN, 8, 8, 64); // double
187 setAlignment(VECTOR_ALIGN, 8, 8, 64); // v2i32
188 setAlignment(VECTOR_ALIGN, 16, 16, 128); // v16i8, v8i16, v4i32, ...
189 setAlignment(AGGREGATE_ALIGN, 0, 8, 0); // struct, union, class, ...
Rafael Espindolab5c5df42007-09-07 14:52:14 +0000190
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000191 while (!temp.empty()) {
192 std::string token = getToken(temp, "-");
193 std::string arg0 = getToken(token, ":");
194 const char *p = arg0.c_str();
195 switch(*p) {
196 case 'E':
197 LittleEndian = false;
198 break;
199 case 'e':
200 LittleEndian = true;
201 break;
202 case 'p':
203 PointerMemSize = atoi(getToken(token,":").c_str()) / 8;
204 PointerABIAlign = atoi(getToken(token,":").c_str()) / 8;
205 PointerPrefAlign = atoi(getToken(token,":").c_str()) / 8;
206 if (PointerPrefAlign == 0)
207 PointerPrefAlign = PointerABIAlign;
208 break;
209 case 'i':
210 case 'v':
211 case 'f':
Rafael Espindolab5c5df42007-09-07 14:52:14 +0000212 case 'a':
213 case 's': {
Anton Korobeynikov4b30e762007-11-09 19:06:14 +0000214 AlignTypeEnum align_type = STACK_ALIGN; // Dummy init, silence warning
Rafael Espindolab5c5df42007-09-07 14:52:14 +0000215 switch(*p) {
216 case 'i': align_type = INTEGER_ALIGN; break;
217 case 'v': align_type = VECTOR_ALIGN; break;
218 case 'f': align_type = FLOAT_ALIGN; break;
219 case 'a': align_type = AGGREGATE_ALIGN; break;
220 case 's': align_type = STACK_ALIGN; break;
221 }
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000222 uint32_t size = (uint32_t) atoi(++p);
223 unsigned char abi_align = atoi(getToken(token, ":").c_str()) / 8;
224 unsigned char pref_align = atoi(getToken(token, ":").c_str()) / 8;
225 if (pref_align == 0)
226 pref_align = abi_align;
227 setAlignment(align_type, abi_align, pref_align, size);
228 break;
229 }
230 default:
231 break;
232 }
233 }
234}
235
236TargetData::TargetData(const Module *M)
Dan Gohman26f8c272008-09-04 17:05:41 +0000237 : ImmutablePass(&ID) {
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000238 init(M->getDataLayout());
239}
240
241void
242TargetData::setAlignment(AlignTypeEnum align_type, unsigned char abi_align,
243 unsigned char pref_align, uint32_t bit_width) {
Duncan Sands935686e2008-01-29 06:23:44 +0000244 assert(abi_align <= pref_align && "Preferred alignment worse than ABI!");
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000245 for (unsigned i = 0, e = Alignments.size(); i != e; ++i) {
246 if (Alignments[i].AlignType == align_type &&
247 Alignments[i].TypeBitWidth == bit_width) {
248 // Update the abi, preferred alignments.
249 Alignments[i].ABIAlign = abi_align;
250 Alignments[i].PrefAlign = pref_align;
251 return;
252 }
253 }
254
255 Alignments.push_back(TargetAlignElem::get(align_type, abi_align,
256 pref_align, bit_width));
257}
258
259/// getAlignmentInfo - Return the alignment (either ABI if ABIInfo = true or
260/// preferred if ABIInfo = false) the target wants for the specified datatype.
261unsigned TargetData::getAlignmentInfo(AlignTypeEnum AlignType,
Chris Lattner6fdfffb2008-01-10 00:30:57 +0000262 uint32_t BitWidth, bool ABIInfo,
263 const Type *Ty) const {
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000264 // Check to see if we have an exact match and remember the best match we see.
265 int BestMatchIdx = -1;
266 int LargestInt = -1;
267 for (unsigned i = 0, e = Alignments.size(); i != e; ++i) {
268 if (Alignments[i].AlignType == AlignType &&
269 Alignments[i].TypeBitWidth == BitWidth)
270 return ABIInfo ? Alignments[i].ABIAlign : Alignments[i].PrefAlign;
271
272 // The best match so far depends on what we're looking for.
Duncan Sandsb3412482007-12-21 20:18:41 +0000273 if (AlignType == VECTOR_ALIGN && Alignments[i].AlignType == VECTOR_ALIGN) {
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000274 // If this is a specification for a smaller vector type, we will fall back
275 // to it. This happens because <128 x double> can be implemented in terms
276 // of 64 <2 x double>.
Duncan Sandsb3412482007-12-21 20:18:41 +0000277 if (Alignments[i].TypeBitWidth < BitWidth) {
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000278 // Verify that we pick the biggest of the fallbacks.
279 if (BestMatchIdx == -1 ||
Duncan Sandsb3412482007-12-21 20:18:41 +0000280 Alignments[BestMatchIdx].TypeBitWidth < Alignments[i].TypeBitWidth)
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000281 BestMatchIdx = i;
282 }
283 } else if (AlignType == INTEGER_ALIGN &&
284 Alignments[i].AlignType == INTEGER_ALIGN) {
285 // The "best match" for integers is the smallest size that is larger than
286 // the BitWidth requested.
287 if (Alignments[i].TypeBitWidth > BitWidth && (BestMatchIdx == -1 ||
288 Alignments[i].TypeBitWidth < Alignments[BestMatchIdx].TypeBitWidth))
289 BestMatchIdx = i;
290 // However, if there isn't one that's larger, then we must use the
291 // largest one we have (see below)
292 if (LargestInt == -1 ||
293 Alignments[i].TypeBitWidth > Alignments[LargestInt].TypeBitWidth)
294 LargestInt = i;
295 }
296 }
297
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000298 // Okay, we didn't find an exact solution. Fall back here depending on what
299 // is being looked for.
Chris Lattner6fdfffb2008-01-10 00:30:57 +0000300 if (BestMatchIdx == -1) {
301 // If we didn't find an integer alignment, fall back on most conservative.
302 if (AlignType == INTEGER_ALIGN) {
303 BestMatchIdx = LargestInt;
304 } else {
305 assert(AlignType == VECTOR_ALIGN && "Unknown alignment type!");
Dan Gohmand7138742009-02-16 23:14:14 +0000306
Chris Lattner6fdfffb2008-01-10 00:30:57 +0000307 // If we didn't find a vector size that is smaller or equal to this type,
308 // then we will end up scalarizing this to its element type. Just return
309 // the alignment of the element.
310 return getAlignment(cast<VectorType>(Ty)->getElementType(), ABIInfo);
Dan Gohmand7138742009-02-16 23:14:14 +0000311 }
Chris Lattner6fdfffb2008-01-10 00:30:57 +0000312 }
Dan Gohmand7138742009-02-16 23:14:14 +0000313
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000314 // Since we got a "best match" index, just return it.
315 return ABIInfo ? Alignments[BestMatchIdx].ABIAlign
316 : Alignments[BestMatchIdx].PrefAlign;
317}
318
Dan Gohman089efff2008-05-13 00:00:25 +0000319namespace {
320
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000321/// LayoutInfo - The lazy cache of structure layout information maintained by
322/// TargetData. Note that the struct types must have been free'd before
323/// llvm_shutdown is called (and thus this is deallocated) because all the
324/// targets with cached elements should have been destroyed.
325///
326typedef std::pair<const TargetData*,const StructType*> LayoutKey;
327
328struct DenseMapLayoutKeyInfo {
329 static inline LayoutKey getEmptyKey() { return LayoutKey(0, 0); }
330 static inline LayoutKey getTombstoneKey() {
331 return LayoutKey((TargetData*)(intptr_t)-1, 0);
332 }
333 static unsigned getHashValue(const LayoutKey &Val) {
Chris Lattner92eea072007-09-17 18:34:04 +0000334 return DenseMapInfo<void*>::getHashValue(Val.first) ^
335 DenseMapInfo<void*>::getHashValue(Val.second);
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000336 }
Chris Lattner92eea072007-09-17 18:34:04 +0000337 static bool isEqual(const LayoutKey &LHS, const LayoutKey &RHS) {
338 return LHS == RHS;
339 }
340
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000341 static bool isPod() { return true; }
342};
343
344typedef DenseMap<LayoutKey, StructLayout*, DenseMapLayoutKeyInfo> LayoutInfoTy;
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000345
Dan Gohman089efff2008-05-13 00:00:25 +0000346}
347
348static ManagedStatic<LayoutInfoTy> LayoutInfo;
Owen Andersond446e5e2009-06-23 00:21:15 +0000349static ManagedStatic<sys::SmartMutex<true> > LayoutLock;
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000350
351TargetData::~TargetData() {
Chris Lattner97c1e142008-12-08 07:11:56 +0000352 if (!LayoutInfo.isConstructed())
353 return;
354
Owen Andersonbe44bed2009-07-07 18:33:04 +0000355 sys::SmartScopedLock<true> Lock(*LayoutLock);
Chris Lattner97c1e142008-12-08 07:11:56 +0000356 // Remove any layouts for this TD.
357 LayoutInfoTy &TheMap = *LayoutInfo;
358 for (LayoutInfoTy::iterator I = TheMap.begin(), E = TheMap.end(); I != E; ) {
359 if (I->first.first == this) {
360 I->second->~StructLayout();
361 free(I->second);
362 TheMap.erase(I++);
363 } else {
364 ++I;
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000365 }
366 }
367}
368
369const StructLayout *TargetData::getStructLayout(const StructType *Ty) const {
370 LayoutInfoTy &TheMap = *LayoutInfo;
371
Owen Andersonbe44bed2009-07-07 18:33:04 +0000372 sys::SmartScopedLock<true> Lock(*LayoutLock);
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000373 StructLayout *&SL = TheMap[LayoutKey(this, Ty)];
374 if (SL) return SL;
375
376 // Otherwise, create the struct layout. Because it is variable length, we
377 // malloc it, then use placement new.
378 int NumElts = Ty->getNumElements();
379 StructLayout *L =
380 (StructLayout *)malloc(sizeof(StructLayout)+(NumElts-1)*sizeof(uint64_t));
381
382 // Set SL before calling StructLayout's ctor. The ctor could cause other
383 // entries to be added to TheMap, invalidating our reference.
384 SL = L;
385
386 new (L) StructLayout(Ty, *this);
387 return L;
388}
389
390/// InvalidateStructLayoutInfo - TargetData speculatively caches StructLayout
391/// objects. If a TargetData object is alive when types are being refined and
392/// removed, this method must be called whenever a StructType is removed to
393/// avoid a dangling pointer in this cache.
394void TargetData::InvalidateStructLayoutInfo(const StructType *Ty) const {
395 if (!LayoutInfo.isConstructed()) return; // No cache.
396
Owen Andersonbe44bed2009-07-07 18:33:04 +0000397 sys::SmartScopedLock<true> Lock(*LayoutLock);
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000398 LayoutInfoTy::iterator I = LayoutInfo->find(LayoutKey(this, Ty));
Chris Lattner97c1e142008-12-08 07:11:56 +0000399 if (I == LayoutInfo->end()) return;
400
401 I->second->~StructLayout();
402 free(I->second);
403 LayoutInfo->erase(I);
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000404}
405
406
407std::string TargetData::getStringRepresentation() const {
408 std::string repr;
409 repr.append(LittleEndian ? "e" : "E");
410 repr.append("-p:").append(itostr((int64_t) (PointerMemSize * 8))).
411 append(":").append(itostr((int64_t) (PointerABIAlign * 8))).
412 append(":").append(itostr((int64_t) (PointerPrefAlign * 8)));
413 for (align_const_iterator I = Alignments.begin();
414 I != Alignments.end();
415 ++I) {
416 repr.append("-").append(1, (char) I->AlignType).
417 append(utostr((int64_t) I->TypeBitWidth)).
418 append(":").append(utostr((uint64_t) (I->ABIAlign * 8))).
419 append(":").append(utostr((uint64_t) (I->PrefAlign * 8)));
420 }
421 return repr;
422}
423
424
Duncan Sandsf99fdc62007-11-01 20:53:16 +0000425uint64_t TargetData::getTypeSizeInBits(const Type *Ty) const {
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000426 assert(Ty->isSized() && "Cannot getTypeInfo() on a type that is unsized!");
427 switch (Ty->getTypeID()) {
428 case Type::LabelTyID:
429 case Type::PointerTyID:
Duncan Sandsf99fdc62007-11-01 20:53:16 +0000430 return getPointerSizeInBits();
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000431 case Type::ArrayTyID: {
432 const ArrayType *ATy = cast<ArrayType>(Ty);
Duncan Sandsec4f97d2009-05-09 07:06:46 +0000433 return getTypeAllocSizeInBits(ATy->getElementType())*ATy->getNumElements();
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000434 }
Chris Lattner97c1e142008-12-08 07:11:56 +0000435 case Type::StructTyID:
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000436 // Get the layout annotation... which is lazily created on demand.
Chris Lattner97c1e142008-12-08 07:11:56 +0000437 return getStructLayout(cast<StructType>(Ty))->getSizeInBits();
Duncan Sandsf99fdc62007-11-01 20:53:16 +0000438 case Type::IntegerTyID:
439 return cast<IntegerType>(Ty)->getBitWidth();
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000440 case Type::VoidTyID:
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000441 return 8;
Duncan Sandsf99fdc62007-11-01 20:53:16 +0000442 case Type::FloatTyID:
443 return 32;
444 case Type::DoubleTyID:
445 return 64;
Dale Johannesen4c39f712007-08-03 20:20:50 +0000446 case Type::PPC_FP128TyID:
447 case Type::FP128TyID:
Duncan Sandsf99fdc62007-11-01 20:53:16 +0000448 return 128;
Dale Johannesen4c39f712007-08-03 20:20:50 +0000449 // In memory objects this is always aligned to a higher boundary, but
Duncan Sandsf99fdc62007-11-01 20:53:16 +0000450 // only 80 bits contain information.
Dale Johannesen4c39f712007-08-03 20:20:50 +0000451 case Type::X86_FP80TyID:
Duncan Sandsf99fdc62007-11-01 20:53:16 +0000452 return 80;
Chris Lattner97c1e142008-12-08 07:11:56 +0000453 case Type::VectorTyID:
454 return cast<VectorType>(Ty)->getBitWidth();
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000455 default:
Duncan Sandsf99fdc62007-11-01 20:53:16 +0000456 assert(0 && "TargetData::getTypeSizeInBits(): Unsupported type");
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000457 break;
458 }
459 return 0;
460}
461
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000462/*!
463 \param abi_or_pref Flag that determines which alignment is returned. true
464 returns the ABI alignment, false returns the preferred alignment.
465 \param Ty The underlying type for which alignment is determined.
466
467 Get the ABI (\a abi_or_pref == true) or preferred alignment (\a abi_or_pref
468 == false) for the requested type \a Ty.
469 */
470unsigned char TargetData::getAlignment(const Type *Ty, bool abi_or_pref) const {
471 int AlignType = -1;
472
473 assert(Ty->isSized() && "Cannot getTypeInfo() on a type that is unsized!");
474 switch (Ty->getTypeID()) {
Chris Lattner97c1e142008-12-08 07:11:56 +0000475 // Early escape for the non-numeric types.
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000476 case Type::LabelTyID:
477 case Type::PointerTyID:
478 return (abi_or_pref
479 ? getPointerABIAlignment()
480 : getPointerPrefAlignment());
481 case Type::ArrayTyID:
482 return getAlignment(cast<ArrayType>(Ty)->getElementType(), abi_or_pref);
Dan Gohmand7138742009-02-16 23:14:14 +0000483
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000484 case Type::StructTyID: {
485 // Packed structure types always have an ABI alignment of one.
486 if (cast<StructType>(Ty)->isPacked() && abi_or_pref)
487 return 1;
Dan Gohmand7138742009-02-16 23:14:14 +0000488
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000489 // Get the layout annotation... which is lazily created on demand.
490 const StructLayout *Layout = getStructLayout(cast<StructType>(Ty));
Chris Lattner6fdfffb2008-01-10 00:30:57 +0000491 unsigned Align = getAlignmentInfo(AGGREGATE_ALIGN, 0, abi_or_pref, Ty);
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000492 return std::max(Align, (unsigned)Layout->getAlignment());
493 }
494 case Type::IntegerTyID:
495 case Type::VoidTyID:
496 AlignType = INTEGER_ALIGN;
497 break;
498 case Type::FloatTyID:
499 case Type::DoubleTyID:
Dale Johannesen4c39f712007-08-03 20:20:50 +0000500 // PPC_FP128TyID and FP128TyID have different data contents, but the
501 // same size and alignment, so they look the same here.
502 case Type::PPC_FP128TyID:
503 case Type::FP128TyID:
504 case Type::X86_FP80TyID:
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000505 AlignType = FLOAT_ALIGN;
506 break;
Chris Lattner6fdfffb2008-01-10 00:30:57 +0000507 case Type::VectorTyID:
508 AlignType = VECTOR_ALIGN;
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000509 break;
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000510 default:
511 assert(0 && "Bad type for getAlignment!!!");
512 break;
513 }
514
Duncan Sandsf99fdc62007-11-01 20:53:16 +0000515 return getAlignmentInfo((AlignTypeEnum)AlignType, getTypeSizeInBits(Ty),
Chris Lattner6fdfffb2008-01-10 00:30:57 +0000516 abi_or_pref, Ty);
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000517}
518
519unsigned char TargetData::getABITypeAlignment(const Type *Ty) const {
520 return getAlignment(Ty, true);
521}
522
Rafael Espindolab5c5df42007-09-07 14:52:14 +0000523unsigned char TargetData::getCallFrameTypeAlignment(const Type *Ty) const {
524 for (unsigned i = 0, e = Alignments.size(); i != e; ++i)
525 if (Alignments[i].AlignType == STACK_ALIGN)
526 return Alignments[i].ABIAlign;
527
528 return getABITypeAlignment(Ty);
529}
530
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000531unsigned char TargetData::getPrefTypeAlignment(const Type *Ty) const {
532 return getAlignment(Ty, false);
533}
534
535unsigned char TargetData::getPreferredTypeAlignmentShift(const Type *Ty) const {
536 unsigned Align = (unsigned) getPrefTypeAlignment(Ty);
537 assert(!(Align & (Align-1)) && "Alignment is not a power of two!");
538 return Log2_32(Align);
539}
540
541/// getIntPtrType - Return an unsigned integer type that is the same size or
542/// greater to the host pointer size.
Jay Foadbad23f82009-05-11 11:13:47 +0000543const IntegerType *TargetData::getIntPtrType() const {
Dan Gohmandf0817f2007-10-08 15:16:25 +0000544 return IntegerType::get(getPointerSizeInBits());
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000545}
546
547
548uint64_t TargetData::getIndexedOffset(const Type *ptrTy, Value* const* Indices,
549 unsigned NumIndices) const {
550 const Type *Ty = ptrTy;
551 assert(isa<PointerType>(Ty) && "Illegal argument for getIndexedOffset()");
552 uint64_t Result = 0;
553
554 generic_gep_type_iterator<Value* const*>
555 TI = gep_type_begin(ptrTy, Indices, Indices+NumIndices);
556 for (unsigned CurIDX = 0; CurIDX != NumIndices; ++CurIDX, ++TI) {
557 if (const StructType *STy = dyn_cast<StructType>(*TI)) {
558 assert(Indices[CurIDX]->getType() == Type::Int32Ty &&
559 "Illegal struct idx");
560 unsigned FieldNo = cast<ConstantInt>(Indices[CurIDX])->getZExtValue();
561
562 // Get structure layout information...
563 const StructLayout *Layout = getStructLayout(STy);
564
565 // Add in the offset, as calculated by the structure layout info...
566 Result += Layout->getElementOffset(FieldNo);
567
568 // Update Ty to refer to current element
569 Ty = STy->getElementType(FieldNo);
570 } else {
571 // Update Ty to refer to current element
572 Ty = cast<SequentialType>(Ty)->getElementType();
573
574 // Get the array index and the size of each array element.
575 int64_t arrayIdx = cast<ConstantInt>(Indices[CurIDX])->getSExtValue();
Duncan Sandsec4f97d2009-05-09 07:06:46 +0000576 Result += arrayIdx * (int64_t)getTypeAllocSize(Ty);
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000577 }
578 }
579
580 return Result;
581}
582
Duncan Sands935686e2008-01-29 06:23:44 +0000583/// getPreferredAlignment - Return the preferred alignment of the specified
584/// global. This includes an explicitly requested alignment (if the global
585/// has one).
586unsigned TargetData::getPreferredAlignment(const GlobalVariable *GV) const {
587 const Type *ElemType = GV->getType()->getElementType();
588 unsigned Alignment = getPrefTypeAlignment(ElemType);
589 if (GV->getAlignment() > Alignment)
590 Alignment = GV->getAlignment();
591
592 if (GV->hasInitializer()) {
593 if (Alignment < 16) {
594 // If the global is not external, see if it is large. If so, give it a
595 // larger alignment.
596 if (getTypeSizeInBits(ElemType) > 128)
597 Alignment = 16; // 16-byte alignment.
598 }
599 }
600 return Alignment;
601}
602
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000603/// getPreferredAlignmentLog - Return the preferred alignment of the
604/// specified global, returned in log form. This includes an explicitly
605/// requested alignment (if the global has one).
606unsigned TargetData::getPreferredAlignmentLog(const GlobalVariable *GV) const {
Duncan Sands935686e2008-01-29 06:23:44 +0000607 return Log2_32(getPreferredAlignment(GV));
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000608}