//===-- TargetData.cpp - Data size & alignment routines --------------------==//
+//
+// The LLVM Compiler Infrastructure
+//
+// This file was developed by the LLVM research group and is distributed under
+// the University of Illinois Open Source License. See LICENSE.TXT for details.
+//
+//===----------------------------------------------------------------------===//
//
// This file defines target properties related to datatype size/offset/alignment
// information. It uses lazy annotations to cache information about how
//===----------------------------------------------------------------------===//
#include "llvm/Target/TargetData.h"
+#include "llvm/Module.h"
#include "llvm/DerivedTypes.h"
#include "llvm/Constants.h"
+// Handle the Pass registration stuff necessary to use TargetData's.
+namespace {
+ // Register the default SparcV9 implementation...
+ RegisterPass<TargetData> X("targetdata", "Target Data Layout");
+}
+
+
static inline void getTypeInfo(const Type *Ty, const TargetData *TD,
- unsigned &Size, unsigned char &Alignment);
+ uint64_t &Size, unsigned char &Alignment);
//===----------------------------------------------------------------------===//
// Support for StructLayout Annotation
TE = ST->getElementTypes().end(); TI != TE; ++TI) {
const Type *Ty = *TI;
unsigned char A;
- unsigned TySize, TyAlign;
- getTypeInfo(Ty, &TD, TySize, A); TyAlign = A;
+ unsigned TyAlign;
+ uint64_t TySize;
+ getTypeInfo(Ty, &TD, TySize, A);
+ TyAlign = A;
- // Add padding if neccesary to make the data element aligned properly...
+ // Add padding if necessary to make the data element aligned properly...
if (StructSize % TyAlign != 0)
StructSize = (StructSize/TyAlign + 1) * TyAlign; // Add padding...
StructAlignment = std::max(TyAlign, StructAlignment);
MemberOffsets.push_back(StructSize);
- StructSize += TySize; // Consume space for this data item...
+ StructSize += TySize; // Consume space for this data item
}
+ // Empty structures have alignment of 1 byte.
+ if (StructAlignment == 0) StructAlignment = 1;
+
// Add padding to the end of the struct so that it could be put in an array
// and all array elements would be aligned correctly.
if (StructSize % StructAlignment != 0)
StructSize = (StructSize/StructAlignment + 1) * StructAlignment;
-
- if (StructSize == 0) {
- StructSize = 1; // Empty struct is 1 byte
- StructAlignment = 1;
- }
}
Annotation *TargetData::TypeAnFactory(AnnotationID AID, const Annotable *T,
// TargetData Class Implementation
//===----------------------------------------------------------------------===//
-TargetData::TargetData(const std::string &TargetName, unsigned char PtrSize = 8,
- unsigned char PtrAl = 8, unsigned char DoubleAl = 8,
- unsigned char FloatAl = 4, unsigned char LongAl = 8,
- unsigned char IntAl = 4, unsigned char ShortAl = 2,
- unsigned char ByteAl = 1)
+TargetData::TargetData(const std::string &TargetName,
+ bool isLittleEndian, unsigned char PtrSize,
+ unsigned char PtrAl, unsigned char DoubleAl,
+ unsigned char FloatAl, unsigned char LongAl,
+ unsigned char IntAl, unsigned char ShortAl,
+ unsigned char ByteAl)
: AID(AnnotationManager::getID("TargetData::" + TargetName)) {
AnnotationManager::registerAnnotationFactory(AID, TypeAnFactory, this);
+ // If this assert triggers, a pass "required" TargetData information, but the
+ // top level tool did not provide once for it. We do not want to default
+ // construct, or else we might end up using a bad endianness or pointer size!
+ //
+ assert(!TargetName.empty() &&
+ "ERROR: Tool did not specify a target data to use!");
+
+ LittleEndian = isLittleEndian;
PointerSize = PtrSize;
PointerAlignment = PtrAl;
DoubleAlignment = DoubleAl;
+ assert(DoubleAlignment == PtrAl &&
+ "Double alignment and pointer alignment agree for now!");
FloatAlignment = FloatAl;
LongAlignment = LongAl;
IntAlignment = IntAl;
ByteAlignment = ByteAl;
}
+TargetData::TargetData(const std::string &ToolName, const Module *M)
+ : AID(AnnotationManager::getID("TargetData::" + ToolName)) {
+ AnnotationManager::registerAnnotationFactory(AID, TypeAnFactory, this);
+
+ LittleEndian = M->getEndianness() != Module::BigEndian;
+ PointerSize = M->getPointerSize() != Module::Pointer64 ? 4 : 8;
+ PointerAlignment = PointerSize;
+ DoubleAlignment = PointerSize;
+ FloatAlignment = 4;
+ LongAlignment = 8;
+ IntAlignment = 4;
+ ShortAlignment = 2;
+ ByteAlignment = 1;
+}
+
TargetData::~TargetData() {
AnnotationManager::registerAnnotationFactory(AID, 0); // Deregister factory
}
static inline void getTypeInfo(const Type *Ty, const TargetData *TD,
- unsigned &Size, unsigned char &Alignment) {
+ uint64_t &Size, unsigned char &Alignment) {
assert(Ty->isSized() && "Cannot getTypeInfo() on a type that is unsized!");
switch (Ty->getPrimitiveID()) {
case Type::VoidTyID:
}
}
-unsigned TargetData::getTypeSize(const Type *Ty) const {
- unsigned Size; unsigned char Align;
+uint64_t TargetData::getTypeSize(const Type *Ty) const {
+ uint64_t Size;
+ unsigned char Align;
getTypeInfo(Ty, this, Size, Align);
return Size;
}
unsigned char TargetData::getTypeAlignment(const Type *Ty) const {
- unsigned Size; unsigned char Align;
+ uint64_t Size;
+ unsigned char Align;
getTypeInfo(Ty, this, Size, Align);
return Align;
}
-unsigned TargetData::getIndexedOffset(const Type *Ty,
+uint64_t TargetData::getIndexedOffset(const Type *ptrTy,
const std::vector<Value*> &Idx) const {
- unsigned Result = 0;
+ const Type *Ty = ptrTy;
+ assert(isa<PointerType>(Ty) && "Illegal argument for getIndexedOffset()");
+ uint64_t Result = 0;
+
+ for (unsigned CurIDX = 0; CurIDX != Idx.size(); ++CurIDX) {
+ if (Idx[CurIDX]->getType() == Type::LongTy) {
+ // Update Ty to refer to current element
+ Ty = cast<SequentialType>(Ty)->getElementType();
- for (unsigned CurIDX = 0, E = Idx.size(); CurIDX != E; ++CurIDX) {
- if (const StructType *STy = dyn_cast<StructType>(Ty)) {
+ // Get the array index and the size of each array element.
+ int64_t arrayIdx = cast<ConstantSInt>(Idx[CurIDX])->getValue();
+ Result += arrayIdx * (int64_t)getTypeSize(Ty);
+ } else {
+ const StructType *STy = cast<StructType>(Ty);
assert(Idx[CurIDX]->getType() == Type::UByteTy && "Illegal struct idx");
unsigned FieldNo = cast<ConstantUInt>(Idx[CurIDX])->getValue();
const StructLayout *Layout = getStructLayout(STy);
// Add in the offset, as calculated by the structure layout info...
- assert(FieldNo < Layout->MemberOffsets.size() && "FieldNo out of range!");
+ assert(FieldNo < Layout->MemberOffsets.size() &&"FieldNo out of range!");
Result += Layout->MemberOffsets[FieldNo];
-
+
// Update Ty to refer to current element
Ty = STy->getElementTypes()[FieldNo];
-
- } else if (const SequentialType *STy = dyn_cast<SequentialType>(Ty)) {
- assert(Idx[CurIDX]->getType() == Type::UIntTy &&"Illegal sequential idx");
- assert(isa<ConstantUInt>(Idx[CurIDX]) &&
- "getIndexedOffset cannot compute offset of non-constant index!");
-
- unsigned IndexNo = cast<ConstantUInt>(Idx[CurIDX])->getValue();
- Ty = STy->getElementType();
-
- Result += IndexNo*getTypeSize(Ty);
- } else {
- assert(0 && "Indexing type that is not struct, array, or pointer?");
- return 0; // Load directly through ptr
}
}
projects / oota-llvm.git / blobdiff