blob: ec27d9e028e794dde213a20595fd5c5341db1d20 [file] [log] [blame]
Chris Lattnere7fb3602001-08-27 16:00:15 +00001//===-- TargetData.cpp - Data size & alignment routines --------------------==//
2//
3// This file defines target properties related to datatype size/offset/alignment
4// information. It uses lazy annotations to cache information about how
5// structure types are laid out and used.
6//
7// This structure should be created once, filled in if the defaults are not
8// correct and then passed around by const&. None of the members functions
9// require modification to the object.
10//
11//===----------------------------------------------------------------------===//
12
Vikram S. Adve0799fc42001-09-18 12:58:33 +000013#include "llvm/Target/TargetData.h"
Chris Lattnere7fb3602001-08-27 16:00:15 +000014#include "llvm/DerivedTypes.h"
Chris Lattner31bcdb82002-04-28 19:55:58 +000015#include "llvm/Constants.h"
Chris Lattnere7fb3602001-08-27 16:00:15 +000016
Chris Lattneraa31ad02002-09-25 23:46:55 +000017// Handle the Pass registration stuff neccesary to use TargetData's.
18namespace {
19 // Register the default SparcV9 implementation...
20 RegisterPass<TargetData> X("targetdata", "Target Data Layout");
21}
22
23
Chris Lattnere7fb3602001-08-27 16:00:15 +000024static inline void getTypeInfo(const Type *Ty, const TargetData *TD,
Vikram S. Advef66723f2002-05-19 15:28:02 +000025 uint64_t &Size, unsigned char &Alignment);
Chris Lattnere7fb3602001-08-27 16:00:15 +000026
27//===----------------------------------------------------------------------===//
28// Support for StructLayout Annotation
29//===----------------------------------------------------------------------===//
30
31StructLayout::StructLayout(const StructType *ST, const TargetData &TD)
32 : Annotation(TD.getStructLayoutAID()) {
33 StructAlignment = 0;
34 StructSize = 0;
35
36 // Loop over each of the elements, placing them in memory...
37 for (StructType::ElementTypes::const_iterator
38 TI = ST->getElementTypes().begin(),
39 TE = ST->getElementTypes().end(); TI != TE; ++TI) {
40 const Type *Ty = *TI;
41 unsigned char A;
Vikram S. Advef66723f2002-05-19 15:28:02 +000042 unsigned TyAlign;
43 uint64_t TySize;
44 getTypeInfo(Ty, &TD, TySize, A);
45 TyAlign = A;
Chris Lattnere7fb3602001-08-27 16:00:15 +000046
47 // Add padding if neccesary to make the data element aligned properly...
48 if (StructSize % TyAlign != 0)
49 StructSize = (StructSize/TyAlign + 1) * TyAlign; // Add padding...
50
51 // Keep track of maximum alignment constraint
Chris Lattner697954c2002-01-20 22:54:45 +000052 StructAlignment = std::max(TyAlign, StructAlignment);
Chris Lattnere7fb3602001-08-27 16:00:15 +000053
54 MemberOffsets.push_back(StructSize);
Vikram S. Advef66723f2002-05-19 15:28:02 +000055 StructSize += TySize; // Consume space for this data item
Chris Lattnere7fb3602001-08-27 16:00:15 +000056 }
57
58 // Add padding to the end of the struct so that it could be put in an array
59 // and all array elements would be aligned correctly.
60 if (StructSize % StructAlignment != 0)
61 StructSize = (StructSize/StructAlignment + 1) * StructAlignment;
62
63 if (StructSize == 0) {
64 StructSize = 1; // Empty struct is 1 byte
65 StructAlignment = 1;
66 }
67}
68
Chris Lattner97b73112001-09-07 16:40:04 +000069Annotation *TargetData::TypeAnFactory(AnnotationID AID, const Annotable *T,
70 void *D) {
Chris Lattnere7fb3602001-08-27 16:00:15 +000071 const TargetData &TD = *(const TargetData*)D;
72 assert(AID == TD.AID && "Target data annotation ID mismatch!");
Vikram S. Advef66723f2002-05-19 15:28:02 +000073 const Type *Ty = cast<const Type>((const Value *)T);
Chris Lattner9b625032002-05-06 16:15:30 +000074 assert(isa<StructType>(Ty) &&
Chris Lattnere7fb3602001-08-27 16:00:15 +000075 "Can only create StructLayout annotation on structs!");
Vikram S. Advef66723f2002-05-19 15:28:02 +000076 return new StructLayout((const StructType *)Ty, TD);
Chris Lattnere7fb3602001-08-27 16:00:15 +000077}
78
79//===----------------------------------------------------------------------===//
80// TargetData Class Implementation
81//===----------------------------------------------------------------------===//
82
Vikram S. Advef66723f2002-05-19 15:28:02 +000083TargetData::TargetData(const std::string &TargetName,
Chris Lattner0c0edf82002-07-25 06:17:51 +000084 unsigned char IntRegSize, unsigned char PtrSize,
85 unsigned char PtrAl, unsigned char DoubleAl,
86 unsigned char FloatAl, unsigned char LongAl,
87 unsigned char IntAl, unsigned char ShortAl,
88 unsigned char ByteAl)
Chris Lattnere7fb3602001-08-27 16:00:15 +000089 : AID(AnnotationManager::getID("TargetData::" + TargetName)) {
90 AnnotationManager::registerAnnotationFactory(AID, TypeAnFactory, this);
91
Vikram S. Advef66723f2002-05-19 15:28:02 +000092 IntegerRegSize = IntRegSize;
Chris Lattnere7fb3602001-08-27 16:00:15 +000093 PointerSize = PtrSize;
94 PointerAlignment = PtrAl;
95 DoubleAlignment = DoubleAl;
96 FloatAlignment = FloatAl;
97 LongAlignment = LongAl;
98 IntAlignment = IntAl;
99 ShortAlignment = ShortAl;
100 ByteAlignment = ByteAl;
101}
102
103TargetData::~TargetData() {
104 AnnotationManager::registerAnnotationFactory(AID, 0); // Deregister factory
105}
106
107static inline void getTypeInfo(const Type *Ty, const TargetData *TD,
Vikram S. Advef66723f2002-05-19 15:28:02 +0000108 uint64_t &Size, unsigned char &Alignment) {
Chris Lattnerf59ce922001-12-13 00:46:11 +0000109 assert(Ty->isSized() && "Cannot getTypeInfo() on a type that is unsized!");
Chris Lattnere7fb3602001-08-27 16:00:15 +0000110 switch (Ty->getPrimitiveID()) {
111 case Type::VoidTyID:
112 case Type::BoolTyID:
113 case Type::UByteTyID:
114 case Type::SByteTyID: Size = 1; Alignment = TD->getByteAlignment(); return;
115 case Type::UShortTyID:
116 case Type::ShortTyID: Size = 2; Alignment = TD->getShortAlignment(); return;
117 case Type::UIntTyID:
118 case Type::IntTyID: Size = 4; Alignment = TD->getIntAlignment(); return;
119 case Type::ULongTyID:
120 case Type::LongTyID: Size = 8; Alignment = TD->getLongAlignment(); return;
121 case Type::FloatTyID: Size = 4; Alignment = TD->getFloatAlignment(); return;
122 case Type::DoubleTyID: Size = 8; Alignment = TD->getDoubleAlignment(); return;
123 case Type::LabelTyID:
124 case Type::PointerTyID:
125 Size = TD->getPointerSize(); Alignment = TD->getPointerAlignment();
126 return;
127 case Type::ArrayTyID: {
128 const ArrayType *ATy = (const ArrayType *)Ty;
Chris Lattnere7fb3602001-08-27 16:00:15 +0000129 getTypeInfo(ATy->getElementType(), TD, Size, Alignment);
130 Size *= ATy->getNumElements();
131 return;
132 }
133 case Type::StructTyID: {
134 // Get the layout annotation... which is lazily created on demand.
135 const StructLayout *Layout = TD->getStructLayout((const StructType*)Ty);
136 Size = Layout->StructSize; Alignment = Layout->StructAlignment;
137 return;
138 }
139
140 case Type::TypeTyID:
141 default:
142 assert(0 && "Bad type for getTypeInfo!!!");
143 return;
144 }
145}
146
Vikram S. Advef66723f2002-05-19 15:28:02 +0000147uint64_t TargetData::getTypeSize(const Type *Ty) const {
148 uint64_t Size;
149 unsigned char Align;
Chris Lattnere7fb3602001-08-27 16:00:15 +0000150 getTypeInfo(Ty, this, Size, Align);
151 return Size;
152}
153
154unsigned char TargetData::getTypeAlignment(const Type *Ty) const {
Vikram S. Advef66723f2002-05-19 15:28:02 +0000155 uint64_t Size;
156 unsigned char Align;
Chris Lattnere7fb3602001-08-27 16:00:15 +0000157 getTypeInfo(Ty, this, Size, Align);
158 return Align;
159}
160
Vikram S. Advef66723f2002-05-19 15:28:02 +0000161uint64_t TargetData::getIndexedOffset(const Type *ptrTy,
Chris Lattner697954c2002-01-20 22:54:45 +0000162 const std::vector<Value*> &Idx) const {
Vikram S. Adveed0030e2002-08-04 20:52:39 +0000163 const Type *Ty = ptrTy;
164 assert(isa<PointerType>(Ty) && "Illegal argument for getIndexedOffset()");
Vikram S. Advef66723f2002-05-19 15:28:02 +0000165 uint64_t Result = 0;
Chris Lattnere7fb3602001-08-27 16:00:15 +0000166
Chris Lattner3cac88a2002-09-11 01:21:33 +0000167 for (unsigned CurIDX = 0; CurIDX != Idx.size(); ++CurIDX) {
168 if (Idx[CurIDX]->getType() == Type::LongTy) {
Vikram S. Adveca710e92002-08-13 18:17:56 +0000169 // Update Ty to refer to current element
170 Ty = cast<SequentialType>(Ty)->getElementType();
171
Vikram S. Advef66723f2002-05-19 15:28:02 +0000172 // Get the array index and the size of each array element.
173 // Both must be known constants, or this will fail.
Vikram S. Advef519b992002-08-24 14:44:58 +0000174 // Also, the product needs to be sign-extended from 32 to 64 bits.
Chris Lattner3cac88a2002-09-11 01:21:33 +0000175 int64_t elementSize = (int64_t)getTypeSize(Ty);
176 int64_t arrayIdx = cast<ConstantSInt>(Idx[CurIDX])->getValue();
177 Result += (uint64_t)(arrayIdx * elementSize);
Vikram S. Adveed0030e2002-08-04 20:52:39 +0000178
Vikram S. Advef66723f2002-05-19 15:28:02 +0000179 } else if (const StructType *STy = dyn_cast<const StructType>(Ty)) {
Chris Lattnere7fb3602001-08-27 16:00:15 +0000180 assert(Idx[CurIDX]->getType() == Type::UByteTy && "Illegal struct idx");
Chris Lattnere9bb2df2001-12-03 22:26:30 +0000181 unsigned FieldNo = cast<ConstantUInt>(Idx[CurIDX])->getValue();
Chris Lattnere7fb3602001-08-27 16:00:15 +0000182
183 // Get structure layout information...
184 const StructLayout *Layout = getStructLayout(STy);
185
186 // Add in the offset, as calculated by the structure layout info...
Vikram S. Advef66723f2002-05-19 15:28:02 +0000187 assert(FieldNo < Layout->MemberOffsets.size() &&"FieldNo out of range!");
Chris Lattnere7fb3602001-08-27 16:00:15 +0000188 Result += Layout->MemberOffsets[FieldNo];
Vikram S. Adveed0030e2002-08-04 20:52:39 +0000189
Chris Lattnere7fb3602001-08-27 16:00:15 +0000190 // Update Ty to refer to current element
191 Ty = STy->getElementTypes()[FieldNo];
192
Vikram S. Advef66723f2002-05-19 15:28:02 +0000193 } else if (isa<const ArrayType>(Ty)) {
194 assert(0 && "Loading from arrays not implemented yet!");
Chris Lattnere7fb3602001-08-27 16:00:15 +0000195 } else {
Vikram S. Advef66723f2002-05-19 15:28:02 +0000196 assert(0 && "Indexing type that is not struct or array?");
Chris Lattnere7fb3602001-08-27 16:00:15 +0000197 return 0; // Load directly through ptr
198 }
199 }
200
201 return Result;
202}