LLVM 24.0.0git
IRTypeMapper.cpp
Go to the documentation of this file.
1//===---- IRTypeMapper.cpp - Maps LLVM ABI Types to LLVM IR Types -------===//
2//
3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6//
7//===----------------------------------------------------------------------===//
8
10#include "llvm/ABI/Types.h"
11#include "llvm/ADT/APFloat.h"
13#include "llvm/IR/DataLayout.h"
15#include "llvm/IR/Type.h"
17
18using namespace llvm::abi;
19
21 assert(ABIType && "convertType requires a non-null ABI type");
22
23 auto It = TypeCache.find(ABIType);
24 if (It != TypeCache.end())
25 return It->second;
26
27 llvm::Type *Result = nullptr;
28
29 switch (ABIType->getKind()) {
31 Result = llvm::Type::getVoidTy(Context);
32 break;
34 Result = convertAtomicType(cast<abi::AtomicType>(ABIType));
35 break;
37 const auto *IT = cast<abi::IntegerType>(ABIType);
38 Result =
39 llvm::IntegerType::get(Context, IT->getSizeInBits().getFixedValue());
40 break;
41 }
43 const llvm::fltSemantics *Semantics =
44 cast<abi::FloatType>(ABIType)->getSemantics();
45 Result = llvm::Type::getFloatingPointTy(Context, *Semantics);
46 break;
47 }
50 Context, cast<abi::PointerType>(ABIType)->getAddrSpace());
51 break;
53 Result = convertArrayType(cast<abi::ArrayType>(ABIType));
54 break;
56 Result = convertVectorType(cast<abi::VectorType>(ABIType));
57 break;
59 Result = convertTupleType(cast<abi::TupleType>(ABIType));
60 break;
62 Result = convertRecordType(cast<abi::RecordType>(ABIType));
63 break;
65 Result = convertComplexType(cast<abi::ComplexType>(ABIType));
66 break;
68 Result = convertMemberPointerType(cast<abi::MemberPointerType>(ABIType));
69 break;
70 }
71
72 TypeCache[ABIType] = Result;
73 return Result;
74}
75
76llvm::Type *IRTypeMapper::convertAtomicType(const abi::AtomicType *AT) {
78 uint64_t ValueSize = AT->getValueType()->getSizeInBits().getFixedValue();
79 uint64_t AtomicSize = AT->getSizeInBits().getFixedValue();
80 if (ValueSize == AtomicSize)
81 return ValueType;
82
83 assert(ValueSize < AtomicSize && "atomic type cannot shrink its value type");
84 llvm::Type *Fields[] = {ValueType,
86 (AtomicSize - ValueSize) / 8)};
87 return llvm::StructType::get(Context, Fields, /*isPacked=*/false);
88}
89
90llvm::Type *IRTypeMapper::convertArrayType(const abi::ArrayType *AT) {
91 llvm::Type *ElementType = convertType(AT->getElementType());
92 uint64_t NumElements = AT->getNumElements();
93 if (AT->isMatrixType())
94 return llvm::VectorType::get(ElementType,
95 ElementCount::getFixed(NumElements));
96 return llvm::ArrayType::get(ElementType, NumElements);
97}
98
99llvm::Type *IRTypeMapper::convertVectorType(const abi::VectorType *VT) {
100 if (VT->isSVECount())
101 return llvm::TargetExtType::get(Context, "aarch64.svcount");
102
103 llvm::Type *ElementType = convertType(VT->getElementType());
104 return llvm::VectorType::get(ElementType, VT->getNumElements());
105}
106
107llvm::Type *IRTypeMapper::convertTupleType(const abi::TupleType *TT) {
108 llvm::Type *VecTy = convertType(TT->getVectorType());
109 SmallVector<llvm::Type *, 4> Elements(TT->getNumVectors(), VecTy);
110 return llvm::StructType::get(Context, Elements);
111}
112
113llvm::Type *IRTypeMapper::convertRecordType(const abi::RecordType *RT) {
114 // A packed record is a sequence of fields with no alignment padding. Pure
115 // scalable aggregates use one as the unpadded coerce-and-expand type, and
116 // its fields may be scalable vectors.
117 if (RT->getPacking() == StructPacking::Packed) {
118 SmallVector<llvm::Type *, 8> FieldTypes;
119 for (const FieldInfo &Field : RT->getFields())
120 FieldTypes.push_back(convertType(Field.FieldType));
121 return llvm::StructType::get(Context, FieldTypes, /*isPacked=*/true);
122 }
123 return createStructFromFields(RT->getFields(), RT->getSizeInBits(),
124 RT->getAlignment(), RT->isUnion());
125}
126
127llvm::Type *IRTypeMapper::convertComplexType(const abi::ComplexType *CT) {
128 llvm::Type *ElementType = convertType(CT->getElementType());
129 llvm::Type *Fields[] = {ElementType, ElementType};
130 return llvm::StructType::get(Context, Fields, /*isPacked=*/false);
131}
132
133llvm::Type *
134IRTypeMapper::convertMemberPointerType(const abi::MemberPointerType *MPT) {
135 llvm::Type *IntPtrTy = DL.getIntPtrType(Context);
136 if (MPT->isFunctionPointer()) {
137 llvm::Type *Fields[] = {IntPtrTy, IntPtrTy};
138 return llvm::StructType::get(Context, Fields, /*isPacked=*/false);
139 }
140 return IntPtrTy;
141}
142
143llvm::Type *IRTypeMapper::createPaddingType(uint64_t PaddingBits) {
144 if (PaddingBits == 0)
145 return nullptr;
146 assert(PaddingBits % 8 == 0 &&
147 "sub-byte padding cannot be expressed as an llvm::Type");
149 PaddingBits / 8);
150}
151
152llvm::StructType *
153IRTypeMapper::createStructFromFields(ArrayRef<abi::FieldInfo> Fields,
154 TypeSize Size, Align Alignment,
155 bool IsUnion) {
156 SmallVector<llvm::Type *, 16> FieldTypes;
157
158 if (IsUnion) {
159 llvm::Type *LargestFieldType = nullptr;
160 uint64_t LargestFieldSize = 0;
161 for (const auto &Field : Fields) {
162 llvm::Type *FieldType = convertType(Field.FieldType);
163 uint64_t FieldSize = Field.FieldType->getSizeInBits().getFixedValue();
164 if (FieldSize > LargestFieldSize) {
165 LargestFieldSize = FieldSize;
166 LargestFieldType = FieldType;
167 }
168 }
169 if (LargestFieldType) {
170 FieldTypes.push_back(LargestFieldType);
171 uint64_t UnionSizeBits = Size.getFixedValue();
172 if (LargestFieldSize < UnionSizeBits) {
173 if (llvm::Type *PaddingType =
174 createPaddingType(UnionSizeBits - LargestFieldSize))
175 FieldTypes.push_back(PaddingType);
176 }
177 }
178 } else {
179 uint64_t CurrentOffset = 0;
180 for (const auto &Field : Fields) {
181 assert(!Field.IsBitField && "bitfields should not reach IR type mapping");
182 llvm::Type *FieldType = convertType(Field.FieldType);
183 if (Field.OffsetInBits > CurrentOffset) {
184 uint64_t AlignBits = DL.getABITypeAlign(FieldType).value() * 8;
185 uint64_t NaturalNextOffset =
186 AlignBits ? alignTo(CurrentOffset, AlignBits) : CurrentOffset;
187 if (NaturalNextOffset != Field.OffsetInBits) {
188 if (llvm::Type *PaddingType =
189 createPaddingType(Field.OffsetInBits - CurrentOffset))
190 FieldTypes.push_back(PaddingType);
191 }
192 CurrentOffset = Field.OffsetInBits;
193 }
194 FieldTypes.push_back(FieldType);
195 CurrentOffset += Field.FieldType->getSizeInBits().getFixedValue();
196 }
197 uint64_t TotalSizeBits = Size.getFixedValue();
198 if (CurrentOffset < TotalSizeBits) {
199 if (llvm::Type *PaddingType =
200 createPaddingType(TotalSizeBits - CurrentOffset))
201 FieldTypes.push_back(PaddingType);
202 }
203 }
204
205 return StructType::get(Context, FieldTypes, /*isPacked=*/false);
206}
assert(UImm &&(UImm !=~static_cast< T >(0)) &&"Invalid immediate!")
unsigned uint64_t
This file declares a class to represent arbitrary precision floating point values and provide a varie...
static cl::opt< ITMode > IT(cl::desc("IT block support"), cl::Hidden, cl::init(DefaultIT), cl::values(clEnumValN(DefaultIT, "arm-default-it", "Generate any type of IT block"), clEnumValN(RestrictedIT, "arm-restrict-it", "Disallow complex IT blocks")))
Maps LLVM ABI type representations back to corresponding LLVM IR types.
OptimizedStructLayoutField Field
This file defines the SmallVector class.
static LLVM_ABI ArrayType * get(Type *ElementType, uint64_t NumElements)
This static method is the primary way to construct an ArrayType.
static constexpr ElementCount getFixed(ScalarTy MinVal)
Definition TypeSize.h:305
static LLVM_ABI IntegerType * get(LLVMContext &C, unsigned NumBits)
This static method is the primary way of constructing an IntegerType.
Definition Type.cpp:338
static LLVM_ABI PointerType * get(LLVMContext &C, unsigned AddressSpace)
This constructs an opaque pointer to an object in a numbered address space.
Definition Type.cpp:887
void push_back(const T &Elt)
static LLVM_ABI StructType * get(LLVMContext &Context, ArrayRef< Type * > Elements, bool isPacked=false)
This static method is the primary way to create a literal StructType.
Definition Type.cpp:467
static LLVM_ABI TargetExtType * get(LLVMContext &Context, StringRef Name, ArrayRef< Type * > Types={}, ArrayRef< unsigned > Ints={})
Return a target extension type having the specified name and optional type and integer parameters.
Definition Type.cpp:936
The instances of the Type class are immutable: once they are created, they are never changed.
Definition Type.h:46
static LLVM_ABI Type * getVoidTy(LLVMContext &C)
Definition Type.cpp:272
static LLVM_ABI Type * getFloatingPointTy(LLVMContext &C, const fltSemantics &S)
Definition Type.cpp:115
static LLVM_ABI IntegerType * getInt8Ty(LLVMContext &C)
Definition Type.cpp:297
static LLVM_ABI VectorType * get(Type *ElementType, ElementCount EC)
This static method is the primary way to construct an VectorType.
const Type * getElementType() const
Definition Types.h:259
bool isMatrixType() const
Definition Types.h:261
uint64_t getNumElements() const
Definition Types.h:260
const Type * getValueType() const
Definition Types.h:138
const Type * getElementType() const
Definition Types.h:154
LLVM_ABI llvm::Type * convertType(const abi::Type *ABIType)
bool isFunctionPointer() const
Definition Types.h:238
bool isUnion() const
Definition Types.h:410
ArrayRef< FieldInfo > getFields() const
Definition Types.h:433
StructPacking getPacking() const
Definition Types.h:408
Represents the ABI-specific view of a type in LLVM.
Definition Types.h:47
TypeSize getSizeInBits() const
Definition Types.h:75
Align getAlignment() const
Definition Types.h:95
ElementCount getNumElements() const
Definition Types.h:312
const Type * getElementType() const
Definition Types.h:311
bool isSVECount() const
Definition Types.h:321
constexpr ScalarTy getFixedValue() const
Definition TypeSize.h:200
This file defines the type system for the LLVMABI library, which mirrors ABI-relevant aspects of fron...
@ IsUnion
Definition Types.h:383
ElementType
The element type of an SRV or UAV resource.
Definition DXILABI.h:68
constexpr uint64_t alignTo(uint64_t Size, Align A)
Returns a multiple of A needed to store Size bytes.
Definition Alignment.h:149
IntPtrTy
Definition InstrProf.h:82
ArrayRef(const T &OneElt) -> ArrayRef< T >
decltype(auto) cast(const From &Val)
cast<X> - Return the argument parameter cast to the specified type.
Definition Casting.h:559
PointerUnion< const Value *, const PseudoSourceValue * > ValueType