blob: ec27d9e028e794dde213a20595fd5c5341db1d20 [file] [log] [blame]
Chris Lattner53bbf072001-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. Adve6cefc702001-09-18 12:58:33 +000013#include "llvm/Target/TargetData.h"
Chris Lattner53bbf072001-08-27 16:00:15 +000014#include "llvm/DerivedTypes.h"
Chris Lattnerca142372002-04-28 19:55:58 +000015#include "llvm/Constants.h"
Chris Lattner53bbf072001-08-27 16:00:15 +000016
Chris Lattner09cfdcb2002-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 Lattner53bbf072001-08-27 16:00:15 +000024static inline void getTypeInfo(const Type *Ty, const TargetData *TD,
Vikram S. Adve8b831742002-05-19 15:28:02 +000025 uint64_t &Size, unsigned char &Alignment);
Chris Lattner53bbf072001-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. Adve8b831742002-05-19 15:28:02 +000042 unsigned TyAlign;
43 uint64_t TySize;
44 getTypeInfo(Ty, &TD, TySize, A);
45 TyAlign = A;
Chris Lattner53bbf072001-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 Lattner7f74a562002-01-20 22:54:45 +000052 StructAlignment = std::max(TyAlign, StructAlignment);
Chris Lattner53bbf072001-08-27 16:00:15 +000053
54 MemberOffsets.push_back(StructSize);
Vikram S. Adve8b831742002-05-19 15:28:02 +000055 StructSize += TySize; // Consume space for this data item
Chris Lattner53bbf072001-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 Lattner4eb6d9f2001-09-07 16:40:04 +000069Annotation *TargetData::TypeAnFactory(AnnotationID AID, const Annotable *T,
70 void *D) {
Chris Lattner53bbf072001-08-27 16:00:15 +000071 const TargetData &TD = *(const TargetData*)D;
72 assert(AID == TD.AID && "Target data annotation ID mismatch!");
Vikram S. Adve8b831742002-05-19 15:28:02 +000073 const Type *Ty = cast<const Type>((const Value *)T);
Chris Lattner181cc322002-05-06 16:15:30 +000074 assert(isa<StructType>(Ty) &&
Chris Lattner53bbf072001-08-27 16:00:15 +000075 "Can only create StructLayout annotation on structs!");
Vikram S. Adve8b831742002-05-19 15:28:02 +000076 return new StructLayout((const StructType *)Ty, TD);
Chris Lattner53bbf072001-08-27 16:00:15 +000077}
78
79//===----------------------------------------------------------------------===//
80// TargetData Class Implementation
81//===----------------------------------------------------------------------===//
82
Vikram S. Adve8b831742002-05-19 15:28:02 +000083TargetData::TargetData(const std::string &TargetName,
Chris Lattner10073a92002-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 Lattner53bbf072001-08-27 16:00:15 +000089 : AID(AnnotationManager::getID("TargetData::" + TargetName)) {
90 AnnotationManager::registerAnnotationFactory(AID, TypeAnFactory, this);
91
Vikram S. Adve8b831742002-05-19 15:28:02 +000092 IntegerRegSize = IntRegSize;
Chris Lattner53bbf072001-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. Adve8b831742002-05-19 15:28:02 +0000108 uint64_t &Size, unsigned char &Alignment) {
Chris Lattner6650d182001-12-13 00:46:11 +0000109 assert(Ty->isSized() && "Cannot getTypeInfo() on a type that is unsized!");
Chris Lattner53bbf072001-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 Lattner53bbf072001-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. Adve8b831742002-05-19 15:28:02 +0000147uint64_t TargetData::getTypeSize(const Type *Ty) const {
148 uint64_t Size;
149 unsigned char Align;
Chris Lattner53bbf072001-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. Adve8b831742002-05-19 15:28:02 +0000155 uint64_t Size;
156 unsigned char Align;
Chris Lattner53bbf072001-08-27 16:00:15 +0000157 getTypeInfo(Ty, this, Size, Align);
158 return Align;
159}
160
Vikram S. Adve8b831742002-05-19 15:28:02 +0000161uint64_t TargetData::getIndexedOffset(const Type *ptrTy,
Chris Lattner7f74a562002-01-20 22:54:45 +0000162 const std::vector<Value*> &Idx) const {
Vikram S. Adve71895b22002-08-04 20:52:39 +0000163 const Type *Ty = ptrTy;
164 assert(isa<PointerType>(Ty) && "Illegal argument for getIndexedOffset()");
Vikram S. Adve8b831742002-05-19 15:28:02 +0000165 uint64_t Result = 0;
Chris Lattner53bbf072001-08-27 16:00:15 +0000166
Chris Lattner136dab72002-09-11 01:21:33 +0000167 for (unsigned CurIDX = 0; CurIDX != Idx.size(); ++CurIDX) {
168 if (Idx[CurIDX]->getType() == Type::LongTy) {
Vikram S. Advea3efa262002-08-13 18:17:56 +0000169 // Update Ty to refer to current element
170 Ty = cast<SequentialType>(Ty)->getElementType();
171
Vikram S. Adve8b831742002-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. Adve9068efd2002-08-24 14:44:58 +0000174 // Also, the product needs to be sign-extended from 32 to 64 bits.
Chris Lattner136dab72002-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. Adve71895b22002-08-04 20:52:39 +0000178
Vikram S. Adve8b831742002-05-19 15:28:02 +0000179 } else if (const StructType *STy = dyn_cast<const StructType>(Ty)) {
Chris Lattner53bbf072001-08-27 16:00:15 +0000180 assert(Idx[CurIDX]->getType() == Type::UByteTy && "Illegal struct idx");
Chris Lattner3462ae32001-12-03 22:26:30 +0000181 unsigned FieldNo = cast<ConstantUInt>(Idx[CurIDX])->getValue();
Chris Lattner53bbf072001-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. Adve8b831742002-05-19 15:28:02 +0000187 assert(FieldNo < Layout->MemberOffsets.size() &&"FieldNo out of range!");
Chris Lattner53bbf072001-08-27 16:00:15 +0000188 Result += Layout->MemberOffsets[FieldNo];
Vikram S. Adve71895b22002-08-04 20:52:39 +0000189
Chris Lattner53bbf072001-08-27 16:00:15 +0000190 // Update Ty to refer to current element
191 Ty = STy->getElementTypes()[FieldNo];
192
Vikram S. Adve8b831742002-05-19 15:28:02 +0000193 } else if (isa<const ArrayType>(Ty)) {
194 assert(0 && "Loading from arrays not implemented yet!");
Chris Lattner53bbf072001-08-27 16:00:15 +0000195 } else {
Vikram S. Adve8b831742002-05-19 15:28:02 +0000196 assert(0 && "Indexing type that is not struct or array?");
Chris Lattner53bbf072001-08-27 16:00:15 +0000197 return 0; // Load directly through ptr
198 }
199 }
200
201 return Result;
202}