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 return createStructFromFields(RT->getFields(), RT->getSizeInBits(),
115 RT->getAlignment(), RT->isUnion());
116}
117
118llvm::Type *IRTypeMapper::convertComplexType(const abi::ComplexType *CT) {
119 llvm::Type *ElementType = convertType(CT->getElementType());
120 llvm::Type *Fields[] = {ElementType, ElementType};
121 return llvm::StructType::get(Context, Fields, /*isPacked=*/false);
122}
123
124llvm::Type *
125IRTypeMapper::convertMemberPointerType(const abi::MemberPointerType *MPT) {
126 llvm::Type *IntPtrTy = DL.getIntPtrType(Context);
127 if (MPT->isFunctionPointer()) {
128 llvm::Type *Fields[] = {IntPtrTy, IntPtrTy};
129 return llvm::StructType::get(Context, Fields, /*isPacked=*/false);
130 }
131 return IntPtrTy;
132}
133
134llvm::Type *IRTypeMapper::createPaddingType(uint64_t PaddingBits) {
135 if (PaddingBits == 0)
136 return nullptr;
137 assert(PaddingBits % 8 == 0 &&
138 "sub-byte padding cannot be expressed as an llvm::Type");
140 PaddingBits / 8);
141}
142
143llvm::StructType *
144IRTypeMapper::createStructFromFields(ArrayRef<abi::FieldInfo> Fields,
145 TypeSize Size, Align Alignment,
146 bool IsUnion) {
147 SmallVector<llvm::Type *, 16> FieldTypes;
148
149 if (IsUnion) {
150 llvm::Type *LargestFieldType = nullptr;
151 uint64_t LargestFieldSize = 0;
152 for (const auto &Field : Fields) {
153 llvm::Type *FieldType = convertType(Field.FieldType);
154 uint64_t FieldSize = Field.FieldType->getSizeInBits().getFixedValue();
155 if (FieldSize > LargestFieldSize) {
156 LargestFieldSize = FieldSize;
157 LargestFieldType = FieldType;
158 }
159 }
160 if (LargestFieldType) {
161 FieldTypes.push_back(LargestFieldType);
162 uint64_t UnionSizeBits = Size.getFixedValue();
163 if (LargestFieldSize < UnionSizeBits) {
164 if (llvm::Type *PaddingType =
165 createPaddingType(UnionSizeBits - LargestFieldSize))
166 FieldTypes.push_back(PaddingType);
167 }
168 }
169 } else {
170 uint64_t CurrentOffset = 0;
171 for (const auto &Field : Fields) {
172 assert(!Field.IsBitField && "bitfields should not reach IR type mapping");
173 llvm::Type *FieldType = convertType(Field.FieldType);
174 if (Field.OffsetInBits > CurrentOffset) {
175 uint64_t AlignBits = DL.getABITypeAlign(FieldType).value() * 8;
176 uint64_t NaturalNextOffset =
177 AlignBits ? alignTo(CurrentOffset, AlignBits) : CurrentOffset;
178 if (NaturalNextOffset != Field.OffsetInBits) {
179 if (llvm::Type *PaddingType =
180 createPaddingType(Field.OffsetInBits - CurrentOffset))
181 FieldTypes.push_back(PaddingType);
182 }
183 CurrentOffset = Field.OffsetInBits;
184 }
185 FieldTypes.push_back(FieldType);
186 CurrentOffset += Field.FieldType->getSizeInBits().getFixedValue();
187 }
188 uint64_t TotalSizeBits = Size.getFixedValue();
189 if (CurrentOffset < TotalSizeBits) {
190 if (llvm::Type *PaddingType =
191 createPaddingType(TotalSizeBits - CurrentOffset))
192 FieldTypes.push_back(PaddingType);
193 }
194 }
195
196 return StructType::get(Context, FieldTypes, /*isPacked=*/false);
197}
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:225
bool isMatrixType() const
Definition Types.h:227
uint64_t getNumElements() const
Definition Types.h:226
const Type * getValueType() const
Definition Types.h:104
const Type * getElementType() const
Definition Types.h:120
LLVM_ABI llvm::Type * convertType(const abi::Type *ABIType)
bool isFunctionPointer() const
Definition Types.h:204
bool isUnion() const
Definition Types.h:371
ArrayRef< FieldInfo > getFields() const
Definition Types.h:394
Represents the ABI-specific view of a type in LLVM.
Definition Types.h:46
TypeSize getSizeInBits() const
Definition Types.h:70
Align getAlignment() const
Definition Types.h:71
ElementCount getNumElements() const
Definition Types.h:278
const Type * getElementType() const
Definition Types.h:277
bool isSVECount() const
Definition Types.h:287
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:344
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:144
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