LLVM 20.0.0git
DerivedTypes.h
Go to the documentation of this file.
1//===- llvm/DerivedTypes.h - Classes for handling data types ----*- C++ -*-===//
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//
9// This file contains the declarations of classes that represent "derived
10// types". These are things like "arrays of x" or "structure of x, y, z" or
11// "function returning x taking (y,z) as parameters", etc...
12//
13// The implementations of these classes live in the Type.cpp file.
14//
15//===----------------------------------------------------------------------===//
16
17#ifndef LLVM_IR_DERIVEDTYPES_H
18#define LLVM_IR_DERIVEDTYPES_H
19
20#include "llvm/ADT/ArrayRef.h"
21#include "llvm/ADT/STLExtras.h"
22#include "llvm/ADT/StringRef.h"
23#include "llvm/IR/Type.h"
27#include <cassert>
28#include <cstdint>
29
30namespace llvm {
31
32class Value;
33class APInt;
34class LLVMContext;
35template <typename T> class Expected;
36class Error;
37
38/// Class to represent integer types. Note that this class is also used to
39/// represent the built-in integer types: Int1Ty, Int8Ty, Int16Ty, Int32Ty and
40/// Int64Ty.
41/// Integer representation type
42class IntegerType : public Type {
43 friend class LLVMContextImpl;
44
45protected:
46 explicit IntegerType(LLVMContext &C, unsigned NumBits) : Type(C, IntegerTyID){
47 setSubclassData(NumBits);
48 }
49
50public:
51 /// This enum is just used to hold constants we need for IntegerType.
52 enum {
53 MIN_INT_BITS = 1, ///< Minimum number of bits that can be specified
54 MAX_INT_BITS = (1<<23) ///< Maximum number of bits that can be specified
55 ///< Note that bit width is stored in the Type classes SubclassData field
56 ///< which has 24 bits. SelectionDAG type legalization can require a
57 ///< power of 2 IntegerType, so limit to the largest representable power
58 ///< of 2, 8388608.
59 };
60
61 /// This static method is the primary way of constructing an IntegerType.
62 /// If an IntegerType with the same NumBits value was previously instantiated,
63 /// that instance will be returned. Otherwise a new one will be created. Only
64 /// one instance with a given NumBits value is ever created.
65 /// Get or create an IntegerType instance.
66 static IntegerType *get(LLVMContext &C, unsigned NumBits);
67
68 /// Returns type twice as wide the input type.
71 }
72
73 /// Get the number of bits in this IntegerType
74 unsigned getBitWidth() const { return getSubclassData(); }
75
76 /// Return a bitmask with ones set for all of the bits that can be set by an
77 /// unsigned version of this type. This is 0xFF for i8, 0xFFFF for i16, etc.
79 return ~uint64_t(0UL) >> (64-getBitWidth());
80 }
81
82 /// Return a uint64_t with just the most significant bit set (the sign bit, if
83 /// the value is treated as a signed number).
85 return 1ULL << (getBitWidth()-1);
86 }
87
88 /// For example, this is 0xFF for an 8 bit integer, 0xFFFF for i16, etc.
89 /// @returns a bit mask with ones set for all the bits of this type.
90 /// Get a bit mask for this type.
91 APInt getMask() const;
92
93 /// Methods for support type inquiry through isa, cast, and dyn_cast.
94 static bool classof(const Type *T) {
95 return T->getTypeID() == IntegerTyID;
96 }
97};
98
99unsigned Type::getIntegerBitWidth() const {
100 return cast<IntegerType>(this)->getBitWidth();
101}
102
103/// Class to represent function types
104///
105class FunctionType : public Type {
106 FunctionType(Type *Result, ArrayRef<Type*> Params, bool IsVarArgs);
107
108public:
109 FunctionType(const FunctionType &) = delete;
111
112 /// This static method is the primary way of constructing a FunctionType.
113 static FunctionType *get(Type *Result,
114 ArrayRef<Type*> Params, bool isVarArg);
115
116 /// Create a FunctionType taking no parameters.
117 static FunctionType *get(Type *Result, bool isVarArg);
118
119 /// Return true if the specified type is valid as a return type.
120 static bool isValidReturnType(Type *RetTy);
121
122 /// Return true if the specified type is valid as an argument type.
123 static bool isValidArgumentType(Type *ArgTy);
124
125 bool isVarArg() const { return getSubclassData()!=0; }
126 Type *getReturnType() const { return ContainedTys[0]; }
127
129
133 return ArrayRef(param_begin(), param_end());
134 }
135
136 /// Parameter type accessors.
137 Type *getParamType(unsigned i) const {
138 assert(i < getNumParams() && "getParamType() out of range!");
139 return ContainedTys[i + 1];
140 }
141
142 /// Return the number of fixed parameters this function type requires.
143 /// This does not consider varargs.
144 unsigned getNumParams() const { return NumContainedTys - 1; }
145
146 /// Methods for support type inquiry through isa, cast, and dyn_cast.
147 static bool classof(const Type *T) {
148 return T->getTypeID() == FunctionTyID;
149 }
150};
151static_assert(alignof(FunctionType) >= alignof(Type *),
152 "Alignment sufficient for objects appended to FunctionType");
153
154bool Type::isFunctionVarArg() const {
155 return cast<FunctionType>(this)->isVarArg();
156}
157
158Type *Type::getFunctionParamType(unsigned i) const {
159 return cast<FunctionType>(this)->getParamType(i);
160}
161
162unsigned Type::getFunctionNumParams() const {
163 return cast<FunctionType>(this)->getNumParams();
164}
165
166/// A handy container for a FunctionType+Callee-pointer pair, which can be
167/// passed around as a single entity. This assists in replacing the use of
168/// PointerType::getElementType() to access the function's type, since that's
169/// slated for removal as part of the [opaque pointer types] project.
171public:
172 // Allow implicit conversion from types which have a getFunctionType member
173 // (e.g. Function and InlineAsm).
174 template <typename T, typename U = decltype(&T::getFunctionType)>
176 : FnTy(Fn ? Fn->getFunctionType() : nullptr), Callee(Fn) {}
177
179 : FnTy(FnTy), Callee(Callee) {
180 assert((FnTy == nullptr) == (Callee == nullptr));
181 }
182
183 FunctionCallee(std::nullptr_t) {}
184
185 FunctionCallee() = default;
186
187 FunctionType *getFunctionType() { return FnTy; }
188
189 Value *getCallee() { return Callee; }
190
191 explicit operator bool() { return Callee; }
192
193private:
194 FunctionType *FnTy = nullptr;
195 Value *Callee = nullptr;
196};
197
198/// Class to represent struct types. There are two different kinds of struct
199/// types: Literal structs and Identified structs.
200///
201/// Literal struct types (e.g. { i32, i32 }) are uniqued structurally, and must
202/// always have a body when created. You can get one of these by using one of
203/// the StructType::get() forms.
204///
205/// Identified structs (e.g. %foo or %42) may optionally have a name and are not
206/// uniqued. The names for identified structs are managed at the LLVMContext
207/// level, so there can only be a single identified struct with a given name in
208/// a particular LLVMContext. Identified structs may also optionally be opaque
209/// (have no body specified). You get one of these by using one of the
210/// StructType::create() forms.
211///
212/// Independent of what kind of struct you have, the body of a struct type are
213/// laid out in memory consecutively with the elements directly one after the
214/// other (if the struct is packed) or (if not packed) with padding between the
215/// elements as defined by DataLayout (which is required to match what the code
216/// generator for a target expects).
217///
218class StructType : public Type {
220
221 enum {
222 /// This is the contents of the SubClassData field.
223 SCDB_HasBody = 1,
224 SCDB_Packed = 2,
225 SCDB_IsLiteral = 4,
226 SCDB_IsSized = 8,
227 SCDB_ContainsScalableVector = 16,
228 SCDB_NotContainsScalableVector = 32,
229 SCDB_ContainsNonGlobalTargetExtType = 64,
230 SCDB_NotContainsNonGlobalTargetExtType = 128,
231 SCDB_ContainsNonLocalTargetExtType = 64,
232 SCDB_NotContainsNonLocalTargetExtType = 128,
233 };
234
235 /// For a named struct that actually has a name, this is a pointer to the
236 /// symbol table entry (maintained by LLVMContext) for the struct.
237 /// This is null if the type is an literal struct or if it is a identified
238 /// type that has an empty name.
239 void *SymbolTableEntry = nullptr;
240
241public:
242 StructType(const StructType &) = delete;
243 StructType &operator=(const StructType &) = delete;
244
245 /// This creates an identified struct.
246 static StructType *create(LLVMContext &Context, StringRef Name);
247 static StructType *create(LLVMContext &Context);
248
250 bool isPacked = false);
251 static StructType *create(ArrayRef<Type *> Elements);
252 static StructType *create(LLVMContext &Context, ArrayRef<Type *> Elements,
253 StringRef Name, bool isPacked = false);
254 static StructType *create(LLVMContext &Context, ArrayRef<Type *> Elements);
255 template <class... Tys>
256 static std::enable_if_t<are_base_of<Type, Tys...>::value, StructType *>
257 create(StringRef Name, Type *elt1, Tys *... elts) {
258 assert(elt1 && "Cannot create a struct type with no elements with this");
259 return create(ArrayRef<Type *>({elt1, elts...}), Name);
260 }
261
262 /// This static method is the primary way to create a literal StructType.
263 static StructType *get(LLVMContext &Context, ArrayRef<Type*> Elements,
264 bool isPacked = false);
265
266 /// Create an empty structure type.
267 static StructType *get(LLVMContext &Context, bool isPacked = false);
268
269 /// This static method is a convenience method for creating structure types by
270 /// specifying the elements as arguments. Note that this method always returns
271 /// a non-packed struct, and requires at least one element type.
272 template <class... Tys>
273 static std::enable_if_t<are_base_of<Type, Tys...>::value, StructType *>
274 get(Type *elt1, Tys *... elts) {
275 assert(elt1 && "Cannot create a struct type with no elements with this");
276 LLVMContext &Ctx = elt1->getContext();
277 return StructType::get(Ctx, ArrayRef<Type *>({elt1, elts...}));
278 }
279
280 /// Return the type with the specified name, or null if there is none by that
281 /// name.
283
284 bool isPacked() const { return (getSubclassData() & SCDB_Packed) != 0; }
285
286 /// Return true if this type is uniqued by structural equivalence, false if it
287 /// is a struct definition.
288 bool isLiteral() const { return (getSubclassData() & SCDB_IsLiteral) != 0; }
289
290 /// Return true if this is a type with an identity that has no body specified
291 /// yet. These prints as 'opaque' in .ll files.
292 bool isOpaque() const { return (getSubclassData() & SCDB_HasBody) == 0; }
293
294 /// isSized - Return true if this is a sized type.
295 bool isSized(SmallPtrSetImpl<Type *> *Visited = nullptr) const;
296
297 /// Returns true if this struct contains a scalable vector.
298 bool isScalableTy(SmallPtrSetImpl<const Type *> &Visited) const;
299 using Type::isScalableTy;
300
301 /// Return true if this type is or contains a target extension type that
302 /// disallows being used as a global.
303 bool
306
307 /// Return true if this type is or contains a target extension type that
308 /// disallows being used as a local.
309 bool
312
313 /// Returns true if this struct contains homogeneous scalable vector types.
314 /// Note that the definition of homogeneous scalable vector type is not
315 /// recursive here. That means the following structure will return false
316 /// when calling this function.
317 /// {{<vscale x 2 x i32>, <vscale x 4 x i64>},
318 /// {<vscale x 2 x i32>, <vscale x 4 x i64>}}
320
321 /// Return true if this struct is non-empty and all element types are the
322 /// same.
323 bool containsHomogeneousTypes() const;
324
325 /// Return true if this is a named struct that has a non-empty name.
326 bool hasName() const { return SymbolTableEntry != nullptr; }
327
328 /// Return the name for this struct type if it has an identity.
329 /// This may return an empty string for an unnamed struct type. Do not call
330 /// this on an literal type.
331 StringRef getName() const;
332
333 /// Change the name of this type to the specified name, or to a name with a
334 /// suffix if there is a collision. Do not call this on an literal type.
335 void setName(StringRef Name);
336
337 /// Specify a body for an opaque identified type, which must not make the type
338 /// recursive.
339 void setBody(ArrayRef<Type*> Elements, bool isPacked = false);
340
341 /// Specify a body for an opaque identified type or return an error if it
342 /// would make the type recursive.
343 Error setBodyOrError(ArrayRef<Type *> Elements, bool isPacked = false);
344
345 /// Return an error if the body for an opaque identified type would make it
346 /// recursive.
348
349 /// Return true if the specified type is valid as a element type.
350 static bool isValidElementType(Type *ElemTy);
351
352 // Iterator access to the elements.
354
359 }
360
361 /// Return true if this is layout identical to the specified struct.
363
364 /// Random access to the elements
365 unsigned getNumElements() const { return NumContainedTys; }
366 Type *getElementType(unsigned N) const {
367 assert(N < NumContainedTys && "Element number out of range!");
368 return ContainedTys[N];
369 }
370 /// Given an index value into the type, return the type of the element.
371 Type *getTypeAtIndex(const Value *V) const;
372 Type *getTypeAtIndex(unsigned N) const { return getElementType(N); }
373 bool indexValid(const Value *V) const;
374 bool indexValid(unsigned Idx) const { return Idx < getNumElements(); }
375
376 /// Methods for support type inquiry through isa, cast, and dyn_cast.
377 static bool classof(const Type *T) {
378 return T->getTypeID() == StructTyID;
379 }
380};
381
382StringRef Type::getStructName() const {
383 return cast<StructType>(this)->getName();
384}
385
386unsigned Type::getStructNumElements() const {
387 return cast<StructType>(this)->getNumElements();
388}
389
390Type *Type::getStructElementType(unsigned N) const {
391 return cast<StructType>(this)->getElementType(N);
392}
393
394/// Class to represent array types.
395class ArrayType : public Type {
396 /// The element type of the array.
397 Type *ContainedType;
398 /// Number of elements in the array.
399 uint64_t NumElements;
400
401 ArrayType(Type *ElType, uint64_t NumEl);
402
403public:
404 ArrayType(const ArrayType &) = delete;
405 ArrayType &operator=(const ArrayType &) = delete;
406
407 uint64_t getNumElements() const { return NumElements; }
408 Type *getElementType() const { return ContainedType; }
409
410 /// This static method is the primary way to construct an ArrayType
411 static ArrayType *get(Type *ElementType, uint64_t NumElements);
412
413 /// Return true if the specified type is valid as a element type.
414 static bool isValidElementType(Type *ElemTy);
415
416 /// Methods for support type inquiry through isa, cast, and dyn_cast.
417 static bool classof(const Type *T) {
418 return T->getTypeID() == ArrayTyID;
419 }
420};
421
423 return cast<ArrayType>(this)->getNumElements();
424}
425
426/// Base class of all SIMD vector types
427class VectorType : public Type {
428 /// A fully specified VectorType is of the form <vscale x n x Ty>. 'n' is the
429 /// minimum number of elements of type Ty contained within the vector, and
430 /// 'vscale x' indicates that the total element count is an integer multiple
431 /// of 'n', where the multiple is either guaranteed to be one, or is
432 /// statically unknown at compile time.
433 ///
434 /// If the multiple is known to be 1, then the extra term is discarded in
435 /// textual IR:
436 ///
437 /// <4 x i32> - a vector containing 4 i32s
438 /// <vscale x 4 x i32> - a vector containing an unknown integer multiple
439 /// of 4 i32s
440
441 /// The element type of the vector.
442 Type *ContainedType;
443
444protected:
445 /// The element quantity of this vector. The meaning of this value depends
446 /// on the type of vector:
447 /// - For FixedVectorType = <ElementQuantity x ty>, there are
448 /// exactly ElementQuantity elements in this vector.
449 /// - For ScalableVectorType = <vscale x ElementQuantity x ty>,
450 /// there are vscale * ElementQuantity elements in this vector, where
451 /// vscale is a runtime-constant integer greater than 0.
452 const unsigned ElementQuantity;
453
454 VectorType(Type *ElType, unsigned EQ, Type::TypeID TID);
455
456public:
457 VectorType(const VectorType &) = delete;
458 VectorType &operator=(const VectorType &) = delete;
459
460 Type *getElementType() const { return ContainedType; }
461
462 /// This static method is the primary way to construct an VectorType.
463 static VectorType *get(Type *ElementType, ElementCount EC);
464
465 static VectorType *get(Type *ElementType, unsigned NumElements,
466 bool Scalable) {
467 return VectorType::get(ElementType,
468 ElementCount::get(NumElements, Scalable));
469 }
470
471 static VectorType *get(Type *ElementType, const VectorType *Other) {
472 return VectorType::get(ElementType, Other->getElementCount());
473 }
474
475 /// This static method gets a VectorType with the same number of elements as
476 /// the input type, and the element type is an integer type of the same width
477 /// as the input element type.
479 unsigned EltBits = VTy->getElementType()->getPrimitiveSizeInBits();
480 assert(EltBits && "Element size must be of a non-zero size");
481 Type *EltTy = IntegerType::get(VTy->getContext(), EltBits);
482 return VectorType::get(EltTy, VTy->getElementCount());
483 }
484
485 /// This static method is like getInteger except that the element types are
486 /// twice as wide as the elements in the input type.
488 assert(VTy->isIntOrIntVectorTy() && "VTy expected to be a vector of ints.");
489 auto *EltTy = cast<IntegerType>(VTy->getElementType());
490 return VectorType::get(EltTy->getExtendedType(), VTy->getElementCount());
491 }
492
493 // This static method gets a VectorType with the same number of elements as
494 // the input type, and the element type is an integer or float type which
495 // is half as wide as the elements in the input type.
497 Type *EltTy;
498 if (VTy->getElementType()->isFloatingPointTy()) {
499 switch(VTy->getElementType()->getTypeID()) {
500 case DoubleTyID:
501 EltTy = Type::getFloatTy(VTy->getContext());
502 break;
503 case FloatTyID:
504 EltTy = Type::getHalfTy(VTy->getContext());
505 break;
506 default:
507 llvm_unreachable("Cannot create narrower fp vector element type");
508 }
509 } else {
510 unsigned EltBits = VTy->getElementType()->getPrimitiveSizeInBits();
511 assert((EltBits & 1) == 0 &&
512 "Cannot truncate vector element with odd bit-width");
513 EltTy = IntegerType::get(VTy->getContext(), EltBits / 2);
514 }
515 return VectorType::get(EltTy, VTy->getElementCount());
516 }
517
518 // This static method returns a VectorType with a larger number of elements
519 // of a smaller type than the input element type. For example, a <4 x i64>
520 // subdivided twice would return <16 x i16>
521 static VectorType *getSubdividedVectorType(VectorType *VTy, int NumSubdivs) {
522 for (int i = 0; i < NumSubdivs; ++i) {
525 }
526 return VTy;
527 }
528
529 /// This static method returns a VectorType with half as many elements as the
530 /// input type and the same element type.
532 auto EltCnt = VTy->getElementCount();
533 assert(EltCnt.isKnownEven() &&
534 "Cannot halve vector with odd number of elements.");
535 return VectorType::get(VTy->getElementType(),
536 EltCnt.divideCoefficientBy(2));
537 }
538
539 /// This static method returns a VectorType with twice as many elements as the
540 /// input type and the same element type.
542 auto EltCnt = VTy->getElementCount();
543 assert((EltCnt.getKnownMinValue() * 2ull) <= UINT_MAX &&
544 "Too many elements in vector");
545 return VectorType::get(VTy->getElementType(), EltCnt * 2);
546 }
547
548 /// Return true if the specified type is valid as a element type.
549 static bool isValidElementType(Type *ElemTy);
550
551 /// Return an ElementCount instance to represent the (possibly scalable)
552 /// number of elements in the vector.
553 inline ElementCount getElementCount() const;
554
555 /// Methods for support type inquiry through isa, cast, and dyn_cast.
556 static bool classof(const Type *T) {
557 return T->getTypeID() == FixedVectorTyID ||
558 T->getTypeID() == ScalableVectorTyID;
559 }
560};
561
562/// Class to represent fixed width SIMD vectors
564protected:
565 FixedVectorType(Type *ElTy, unsigned NumElts)
566 : VectorType(ElTy, NumElts, FixedVectorTyID) {}
567
568public:
569 static FixedVectorType *get(Type *ElementType, unsigned NumElts);
570
571 static FixedVectorType *get(Type *ElementType, const FixedVectorType *FVTy) {
572 return get(ElementType, FVTy->getNumElements());
573 }
574
576 return cast<FixedVectorType>(VectorType::getInteger(VTy));
577 }
578
580 return cast<FixedVectorType>(VectorType::getExtendedElementVectorType(VTy));
581 }
582
584 return cast<FixedVectorType>(
586 }
587
589 int NumSubdivs) {
590 return cast<FixedVectorType>(
591 VectorType::getSubdividedVectorType(VTy, NumSubdivs));
592 }
593
595 return cast<FixedVectorType>(VectorType::getHalfElementsVectorType(VTy));
596 }
597
599 return cast<FixedVectorType>(VectorType::getDoubleElementsVectorType(VTy));
600 }
601
602 static bool classof(const Type *T) {
603 return T->getTypeID() == FixedVectorTyID;
604 }
605
606 unsigned getNumElements() const { return ElementQuantity; }
607};
608
609/// Class to represent scalable SIMD vectors
611protected:
612 ScalableVectorType(Type *ElTy, unsigned MinNumElts)
613 : VectorType(ElTy, MinNumElts, ScalableVectorTyID) {}
614
615public:
616 static ScalableVectorType *get(Type *ElementType, unsigned MinNumElts);
617
618 static ScalableVectorType *get(Type *ElementType,
619 const ScalableVectorType *SVTy) {
620 return get(ElementType, SVTy->getMinNumElements());
621 }
622
624 return cast<ScalableVectorType>(VectorType::getInteger(VTy));
625 }
626
627 static ScalableVectorType *
629 return cast<ScalableVectorType>(
631 }
632
633 static ScalableVectorType *
635 return cast<ScalableVectorType>(
637 }
638
640 int NumSubdivs) {
641 return cast<ScalableVectorType>(
642 VectorType::getSubdividedVectorType(VTy, NumSubdivs));
643 }
644
645 static ScalableVectorType *
647 return cast<ScalableVectorType>(VectorType::getHalfElementsVectorType(VTy));
648 }
649
650 static ScalableVectorType *
652 return cast<ScalableVectorType>(
654 }
655
656 /// Get the minimum number of elements in this vector. The actual number of
657 /// elements in the vector is an integer multiple of this value.
658 unsigned getMinNumElements() const { return ElementQuantity; }
659
660 static bool classof(const Type *T) {
661 return T->getTypeID() == ScalableVectorTyID;
662 }
663};
664
666 return ElementCount::get(ElementQuantity, isa<ScalableVectorType>(this));
667}
668
669/// Class to represent pointers.
670class PointerType : public Type {
671 explicit PointerType(LLVMContext &C, unsigned AddrSpace);
672
673public:
674 PointerType(const PointerType &) = delete;
676
677 /// This constructs a pointer to an object of the specified type in a numbered
678 /// address space.
679 static PointerType *get(Type *ElementType, unsigned AddressSpace);
680 /// This constructs an opaque pointer to an object in a numbered address
681 /// space.
682 static PointerType *get(LLVMContext &C, unsigned AddressSpace);
683
684 /// This constructs a pointer to an object of the specified type in the
685 /// default address space (address space zero).
686 static PointerType *getUnqual(Type *ElementType) {
687 return PointerType::get(ElementType, 0);
688 }
689
690 /// This constructs an opaque pointer to an object in the
691 /// default address space (address space zero).
693 return PointerType::get(C, 0);
694 }
695
696 /// Return true if the specified type is valid as a element type.
697 static bool isValidElementType(Type *ElemTy);
698
699 /// Return true if we can load or store from a pointer to this type.
700 static bool isLoadableOrStorableType(Type *ElemTy);
701
702 /// Return the address space of the Pointer type.
703 inline unsigned getAddressSpace() const { return getSubclassData(); }
704
705 /// Implement support type inquiry through isa, cast, and dyn_cast.
706 static bool classof(const Type *T) {
707 return T->getTypeID() == PointerTyID;
708 }
709};
710
711Type *Type::getExtendedType() const {
712 assert(
714 "Original type expected to be a vector of integers or a scalar integer.");
715 if (auto *VTy = dyn_cast<VectorType>(this))
717 const_cast<VectorType *>(VTy));
718 return cast<IntegerType>(this)->getExtendedType();
719}
720
721Type *Type::getWithNewType(Type *EltTy) const {
722 if (auto *VTy = dyn_cast<VectorType>(this))
723 return VectorType::get(EltTy, VTy->getElementCount());
724 return EltTy;
725}
726
727Type *Type::getWithNewBitWidth(unsigned NewBitWidth) const {
728 assert(
730 "Original type expected to be a vector of integers or a scalar integer.");
731 return getWithNewType(getIntNTy(getContext(), NewBitWidth));
732}
733
734unsigned Type::getPointerAddressSpace() const {
735 return cast<PointerType>(getScalarType())->getAddressSpace();
736}
737
738/// Class to represent target extensions types, which are generally
739/// unintrospectable from target-independent optimizations.
740///
741/// Target extension types have a string name, and optionally have type and/or
742/// integer parameters. The exact meaning of any parameters is dependent on the
743/// target.
744class TargetExtType : public Type {
746 ArrayRef<unsigned> Ints);
747
748 // These strings are ultimately owned by the context.
749 StringRef Name;
750 unsigned *IntParams;
751
752public:
753 TargetExtType(const TargetExtType &) = delete;
755
756 /// Return a target extension type having the specified name and optional
757 /// type and integer parameters.
758 static TargetExtType *get(LLVMContext &Context, StringRef Name,
759 ArrayRef<Type *> Types = {},
760 ArrayRef<unsigned> Ints = {});
761
762 /// Return a target extension type having the specified name and optional
763 /// type and integer parameters, or an appropriate Error if it fails the
764 /// parameters check.
765 static Expected<TargetExtType *> getOrError(LLVMContext &Context,
766 StringRef Name,
767 ArrayRef<Type *> Types = {},
768 ArrayRef<unsigned> Ints = {});
769
770 /// Check that a newly created target extension type has the expected number
771 /// of type parameters and integer parameters, returning the type itself if OK
772 /// or an appropriate Error if not.
773 static Expected<TargetExtType *> checkParams(TargetExtType *TTy);
774
775 /// Return the name for this target extension type. Two distinct target
776 /// extension types may have the same name if their type or integer parameters
777 /// differ.
778 StringRef getName() const { return Name; }
779
780 /// Return the type parameters for this particular target extension type. If
781 /// there are no parameters, an empty array is returned.
784 }
785
790 }
791
792 Type *getTypeParameter(unsigned i) const { return getContainedType(i); }
793 unsigned getNumTypeParameters() const { return getNumContainedTypes(); }
794
795 /// Return the integer parameters for this particular target extension type.
796 /// If there are no parameters, an empty array is returned.
798 return ArrayRef(IntParams, getNumIntParameters());
799 }
800
801 unsigned getIntParameter(unsigned i) const { return IntParams[i]; }
802 unsigned getNumIntParameters() const { return getSubclassData(); }
803
804 enum Property {
805 /// zeroinitializer is valid for this target extension type.
806 HasZeroInit = 1U << 0,
807 /// This type may be used as the value type of a global variable.
808 CanBeGlobal = 1U << 1,
809 /// This type may be allocated on the stack, either as the allocated type
810 /// of an alloca instruction or as a byval function parameter.
811 CanBeLocal = 1U << 2,
812 };
813
814 /// Returns true if the target extension type contains the given property.
815 bool hasProperty(Property Prop) const;
816
817 /// Returns an underlying layout type for the target extension type. This
818 /// type can be used to query size and alignment information, if it is
819 /// appropriate (although note that the layout type may also be void). It is
820 /// not legal to bitcast between this type and the layout type, however.
821 Type *getLayoutType() const;
822
823 /// Methods for support type inquiry through isa, cast, and dyn_cast.
824 static bool classof(const Type *T) { return T->getTypeID() == TargetExtTyID; }
825};
826
827StringRef Type::getTargetExtName() const {
828 return cast<TargetExtType>(this)->getName();
829}
830
831} // end namespace llvm
832
833#endif // LLVM_IR_DERIVEDTYPES_H
return RetTy
Returns the sub type a function will return at a given Idx Should correspond to the result type of an ExtractValue instruction executed with just that one unsigned Idx
Given that RA is a live value
std::string Name
assert(ImpDefSCC.getReg()==AMDGPU::SCC &&ImpDefSCC.isDef())
This file contains some templates that are useful if you are working with the STL at all.
Class for arbitrary precision integers.
Definition: APInt.h:78
ArrayRef - Represent a constant reference to an array (0 or more elements consecutively in memory),...
Definition: ArrayRef.h:41
Class to represent array types.
Definition: DerivedTypes.h:395
uint64_t getNumElements() const
Definition: DerivedTypes.h:407
static bool isValidElementType(Type *ElemTy)
Return true if the specified type is valid as a element type.
Definition: Type.cpp:758
static ArrayType * get(Type *ElementType, uint64_t NumElements)
This static method is the primary way to construct an ArrayType.
ArrayType & operator=(const ArrayType &)=delete
ArrayType(const ArrayType &)=delete
static bool classof(const Type *T)
Methods for support type inquiry through isa, cast, and dyn_cast.
Definition: DerivedTypes.h:417
Type * getElementType() const
Definition: DerivedTypes.h:408
static constexpr ElementCount get(ScalarTy MinVal, bool Scalable)
Definition: TypeSize.h:317
Lightweight error class with error context and mandatory checking.
Definition: Error.h:160
Class to represent fixed width SIMD vectors.
Definition: DerivedTypes.h:563
unsigned getNumElements() const
Definition: DerivedTypes.h:606
static FixedVectorType * getDoubleElementsVectorType(FixedVectorType *VTy)
Definition: DerivedTypes.h:598
static FixedVectorType * getInteger(FixedVectorType *VTy)
Definition: DerivedTypes.h:575
static FixedVectorType * getSubdividedVectorType(FixedVectorType *VTy, int NumSubdivs)
Definition: DerivedTypes.h:588
static FixedVectorType * getExtendedElementVectorType(FixedVectorType *VTy)
Definition: DerivedTypes.h:579
FixedVectorType(Type *ElTy, unsigned NumElts)
Definition: DerivedTypes.h:565
static FixedVectorType * get(Type *ElementType, const FixedVectorType *FVTy)
Definition: DerivedTypes.h:571
static FixedVectorType * getTruncatedElementVectorType(FixedVectorType *VTy)
Definition: DerivedTypes.h:583
static bool classof(const Type *T)
Definition: DerivedTypes.h:602
static FixedVectorType * get(Type *ElementType, unsigned NumElts)
Definition: Type.cpp:791
static FixedVectorType * getHalfElementsVectorType(FixedVectorType *VTy)
Definition: DerivedTypes.h:594
A handy container for a FunctionType+Callee-pointer pair, which can be passed around as a single enti...
Definition: DerivedTypes.h:170
FunctionCallee(std::nullptr_t)
Definition: DerivedTypes.h:183
FunctionType * getFunctionType()
Definition: DerivedTypes.h:187
FunctionCallee()=default
FunctionCallee(FunctionType *FnTy, Value *Callee)
Definition: DerivedTypes.h:178
Class to represent function types.
Definition: DerivedTypes.h:105
param_iterator param_begin() const
Definition: DerivedTypes.h:130
static bool isValidArgumentType(Type *ArgTy)
Return true if the specified type is valid as an argument type.
Definition: Type.cpp:396
unsigned getNumParams() const
Return the number of fixed parameters this function type requires.
Definition: DerivedTypes.h:144
Type::subtype_iterator param_iterator
Definition: DerivedTypes.h:128
Type * getParamType(unsigned i) const
Parameter type accessors.
Definition: DerivedTypes.h:137
static bool isValidReturnType(Type *RetTy)
Return true if the specified type is valid as a return type.
Definition: Type.cpp:391
FunctionType(const FunctionType &)=delete
ArrayRef< Type * > params() const
Definition: DerivedTypes.h:132
FunctionType & operator=(const FunctionType &)=delete
bool isVarArg() const
Definition: DerivedTypes.h:125
static bool classof(const Type *T)
Methods for support type inquiry through isa, cast, and dyn_cast.
Definition: DerivedTypes.h:147
Type * getReturnType() const
Definition: DerivedTypes.h:126
param_iterator param_end() const
Definition: DerivedTypes.h:131
static FunctionType * get(Type *Result, ArrayRef< Type * > Params, bool isVarArg)
This static method is the primary way of constructing a FunctionType.
Class to represent integer types.
Definition: DerivedTypes.h:42
static IntegerType * get(LLVMContext &C, unsigned NumBits)
This static method is the primary way of constructing an IntegerType.
Definition: Type.cpp:311
uint64_t getSignBit() const
Return a uint64_t with just the most significant bit set (the sign bit, if the value is treated as a ...
Definition: DerivedTypes.h:84
APInt getMask() const
For example, this is 0xFF for an 8 bit integer, 0xFFFF for i16, etc.
Definition: Type.cpp:335
IntegerType * getExtendedType() const
Returns type twice as wide the input type.
Definition: DerivedTypes.h:69
unsigned getBitWidth() const
Get the number of bits in this IntegerType.
Definition: DerivedTypes.h:74
uint64_t getBitMask() const
Return a bitmask with ones set for all of the bits that can be set by an unsigned version of this typ...
Definition: DerivedTypes.h:78
@ MIN_INT_BITS
Minimum number of bits that can be specified.
Definition: DerivedTypes.h:53
@ MAX_INT_BITS
Maximum number of bits that can be specified.
Definition: DerivedTypes.h:54
static bool classof(const Type *T)
Methods for support type inquiry through isa, cast, and dyn_cast.
Definition: DerivedTypes.h:94
IntegerType(LLVMContext &C, unsigned NumBits)
Definition: DerivedTypes.h:46
This is an important class for using LLVM in a threaded context.
Definition: LLVMContext.h:67
Class to represent pointers.
Definition: DerivedTypes.h:670
static bool isLoadableOrStorableType(Type *ElemTy)
Return true if we can load or store from a pointer to this type.
Definition: Type.cpp:869
PointerType(const PointerType &)=delete
static PointerType * getUnqual(LLVMContext &C)
This constructs an opaque pointer to an object in the default address space (address space zero).
Definition: DerivedTypes.h:692
static PointerType * get(Type *ElementType, unsigned AddressSpace)
This constructs a pointer to an object of the specified type in a numbered address space.
static bool classof(const Type *T)
Implement support type inquiry through isa, cast, and dyn_cast.
Definition: DerivedTypes.h:706
static bool isValidElementType(Type *ElemTy)
Return true if the specified type is valid as a element type.
Definition: Type.cpp:863
PointerType & operator=(const PointerType &)=delete
static PointerType * getUnqual(Type *ElementType)
This constructs a pointer to an object of the specified type in the default address space (address sp...
Definition: DerivedTypes.h:686
unsigned getAddressSpace() const
Return the address space of the Pointer type.
Definition: DerivedTypes.h:703
Class to represent scalable SIMD vectors.
Definition: DerivedTypes.h:610
static ScalableVectorType * get(Type *ElementType, const ScalableVectorType *SVTy)
Definition: DerivedTypes.h:618
static ScalableVectorType * getInteger(ScalableVectorType *VTy)
Definition: DerivedTypes.h:623
static ScalableVectorType * get(Type *ElementType, unsigned MinNumElts)
Definition: Type.cpp:812
static bool classof(const Type *T)
Definition: DerivedTypes.h:660
static ScalableVectorType * getExtendedElementVectorType(ScalableVectorType *VTy)
Definition: DerivedTypes.h:628
static ScalableVectorType * getHalfElementsVectorType(ScalableVectorType *VTy)
Definition: DerivedTypes.h:646
static ScalableVectorType * getSubdividedVectorType(ScalableVectorType *VTy, int NumSubdivs)
Definition: DerivedTypes.h:639
static ScalableVectorType * getDoubleElementsVectorType(ScalableVectorType *VTy)
Definition: DerivedTypes.h:651
unsigned getMinNumElements() const
Get the minimum number of elements in this vector.
Definition: DerivedTypes.h:658
ScalableVectorType(Type *ElTy, unsigned MinNumElts)
Definition: DerivedTypes.h:612
static ScalableVectorType * getTruncatedElementVectorType(ScalableVectorType *VTy)
Definition: DerivedTypes.h:634
A templated base class for SmallPtrSet which provides the typesafe interface that is common across al...
Definition: SmallPtrSet.h:363
StringRef - Represent a constant reference to a string, i.e.
Definition: StringRef.h:51
Class to represent struct types.
Definition: DerivedTypes.h:218
static bool classof(const Type *T)
Methods for support type inquiry through isa, cast, and dyn_cast.
Definition: DerivedTypes.h:377
static std::enable_if_t< are_base_of< Type, Tys... >::value, StructType * > create(StringRef Name, Type *elt1, Tys *... elts)
Definition: DerivedTypes.h:257
bool indexValid(const Value *V) const
Definition: Type.cpp:717
static 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:406
element_iterator element_end() const
Definition: DerivedTypes.h:356
StructType(const StructType &)=delete
ArrayRef< Type * > elements() const
Definition: DerivedTypes.h:357
void setBody(ArrayRef< Type * > Elements, bool isPacked=false)
Specify a body for an opaque identified type, which must not make the type recursive.
Definition: Type.cpp:527
bool containsHomogeneousScalableVectorTypes() const
Returns true if this struct contains homogeneous scalable vector types.
Definition: Type.cpp:516
Error checkBody(ArrayRef< Type * > Elements)
Return an error if the body for an opaque identified type would make it recursive.
Definition: Type.cpp:549
bool containsNonLocalTargetExtType() const
bool containsHomogeneousTypes() const
Return true if this struct is non-empty and all element types are the same.
Definition: Type.cpp:522
element_iterator element_begin() const
Definition: DerivedTypes.h:355
static StructType * getTypeByName(LLVMContext &C, StringRef Name)
Return the type with the specified name, or null if there is none by that name.
Definition: Type.cpp:731
static StructType * create(LLVMContext &Context, StringRef Name)
This creates an identified struct.
Definition: Type.cpp:612
bool isPacked() const
Definition: DerivedTypes.h:284
static bool isValidElementType(Type *ElemTy)
Return true if the specified type is valid as a element type.
Definition: Type.cpp:696
unsigned getNumElements() const
Random access to the elements.
Definition: DerivedTypes.h:365
bool isSized(SmallPtrSetImpl< Type * > *Visited=nullptr) const
isSized - Return true if this is a sized type.
Definition: Type.cpp:651
Type * getTypeAtIndex(unsigned N) const
Definition: DerivedTypes.h:372
StructType & operator=(const StructType &)=delete
void setName(StringRef Name)
Change the name of this type to the specified name, or to a name with a suffix if there is a collisio...
Definition: Type.cpp:561
bool isLayoutIdentical(StructType *Other) const
Return true if this is layout identical to the specified struct.
Definition: Type.cpp:702
bool isScalableTy() const
Error setBodyOrError(ArrayRef< Type * > Elements, bool isPacked=false)
Specify a body for an opaque identified type or return an error if it would make the type recursive.
Definition: Type.cpp:531
Type * getTypeAtIndex(const Value *V) const
Given an index value into the type, return the type of the element.
Definition: Type.cpp:711
bool hasName() const
Return true if this is a named struct that has a non-empty name.
Definition: DerivedTypes.h:326
bool isLiteral() const
Return true if this type is uniqued by structural equivalence, false if it is a struct definition.
Definition: DerivedTypes.h:288
bool indexValid(unsigned Idx) const
Definition: DerivedTypes.h:374
bool containsNonGlobalTargetExtType() const
bool isOpaque() const
Return true if this is a type with an identity that has no body specified yet.
Definition: DerivedTypes.h:292
Type * getElementType(unsigned N) const
Definition: DerivedTypes.h:366
Type::subtype_iterator element_iterator
Definition: DerivedTypes.h:353
static std::enable_if_t< are_base_of< Type, Tys... >::value, StructType * > get(Type *elt1, Tys *... elts)
This static method is a convenience method for creating structure types by specifying the elements as...
Definition: DerivedTypes.h:274
StringRef getName() const
Return the name for this struct type if it has an identity.
Definition: Type.cpp:689
Symbol info for RuntimeDyld.
Class to represent target extensions types, which are generally unintrospectable from target-independ...
Definition: DerivedTypes.h:744
ArrayRef< Type * > type_params() const
Return the type parameters for this particular target extension type.
Definition: DerivedTypes.h:782
unsigned getNumIntParameters() const
Definition: DerivedTypes.h:802
type_param_iterator type_param_end() const
Definition: DerivedTypes.h:788
Type::subtype_iterator type_param_iterator
Definition: DerivedTypes.h:786
static 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:895
Type * getTypeParameter(unsigned i) const
Definition: DerivedTypes.h:792
unsigned getNumTypeParameters() const
Definition: DerivedTypes.h:793
ArrayRef< unsigned > int_params() const
Return the integer parameters for this particular target extension type.
Definition: DerivedTypes.h:797
type_param_iterator type_param_begin() const
Definition: DerivedTypes.h:787
static Expected< TargetExtType * > checkParams(TargetExtType *TTy)
Check that a newly created target extension type has the expected number of type parameters and integ...
Definition: Type.cpp:929
unsigned getIntParameter(unsigned i) const
Definition: DerivedTypes.h:801
TargetExtType(const TargetExtType &)=delete
bool hasProperty(Property Prop) const
Returns true if the target extension type contains the given property.
Definition: Type.cpp:1014
TargetExtType & operator=(const TargetExtType &)=delete
@ HasZeroInit
zeroinitializer is valid for this target extension type.
Definition: DerivedTypes.h:806
@ CanBeGlobal
This type may be used as the value type of a global variable.
Definition: DerivedTypes.h:808
@ CanBeLocal
This type may be allocated on the stack, either as the allocated type of an alloca instruction or as ...
Definition: DerivedTypes.h:811
StringRef getName() const
Return the name for this target extension type.
Definition: DerivedTypes.h:778
static Expected< TargetExtType * > getOrError(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:901
Type * getLayoutType() const
Returns an underlying layout type for the target extension type.
Definition: Type.cpp:1010
static bool classof(const Type *T)
Methods for support type inquiry through isa, cast, and dyn_cast.
Definition: DerivedTypes.h:824
The instances of the Type class are immutable: once they are created, they are never changed.
Definition: Type.h:45
static Type * getHalfTy(LLVMContext &C)
unsigned getIntegerBitWidth() const
Type * getStructElementType(unsigned N) const
bool isIntOrIntVectorTy() const
Return true if this is an integer type or a vector of integer types.
Definition: Type.h:243
StringRef getStructName() const
Type *const * subtype_iterator
Definition: Type.h:364
unsigned getStructNumElements() const
unsigned getPointerAddressSpace() const
Get the address space of this pointer or pointer vector type.
uint64_t getArrayNumElements() const
bool containsNonLocalTargetExtType() const
TypeID
Definitions of all of the base types for the Type system.
Definition: Type.h:54
@ FunctionTyID
Functions.
Definition: Type.h:71
@ ArrayTyID
Arrays.
Definition: Type.h:74
@ TargetExtTyID
Target extension type.
Definition: Type.h:78
@ ScalableVectorTyID
Scalable SIMD vector type.
Definition: Type.h:76
@ FloatTyID
32-bit floating point type
Definition: Type.h:58
@ StructTyID
Structures.
Definition: Type.h:73
@ IntegerTyID
Arbitrary bit width integers.
Definition: Type.h:70
@ FixedVectorTyID
Fixed width SIMD vector type.
Definition: Type.h:75
@ DoubleTyID
64-bit floating point type
Definition: Type.h:59
@ PointerTyID
Pointers.
Definition: Type.h:72
unsigned getNumContainedTypes() const
Return the number of types in the derived type.
Definition: Type.h:390
unsigned NumContainedTys
Keeps track of how many Type*'s there are in the ContainedTys list.
Definition: Type.h:106
static IntegerType * getIntNTy(LLVMContext &C, unsigned N)
StringRef getTargetExtName() const
unsigned getScalarSizeInBits() const LLVM_READONLY
If this is a vector type, return the getPrimitiveSizeInBits value for the element type.
Type * getWithNewBitWidth(unsigned NewBitWidth) const
Given an integer or vector type, change the lane bitwidth to NewBitwidth, whilst keeping the old numb...
Type * getWithNewType(Type *EltTy) const
Given vector type, change the element type, whilst keeping the old number of elements.
LLVMContext & getContext() const
Return the LLVMContext in which this type was uniqued.
Definition: Type.h:128
Type *const * ContainedTys
A pointer to the array of Types contained by this Type.
Definition: Type.h:113
unsigned getSubclassData() const
Definition: Type.h:97
bool isFunctionVarArg() const
void setSubclassData(unsigned val)
Definition: Type.h:99
bool isFloatingPointTy() const
Return true if this is one of the floating-point types.
Definition: Type.h:184
bool isScalableTy() const
Type * getExtendedType() const
Given scalar/vector integer type, returns a type with elements twice as wide as in the original type.
static Type * getFloatTy(LLVMContext &C)
TypeID getTypeID() const
Return the type id for the type.
Definition: Type.h:136
Type * getFunctionParamType(unsigned i) const
TypeSize getPrimitiveSizeInBits() const LLVM_READONLY
Return the basic size of this type if it is a primitive type.
Type * getContainedType(unsigned i) const
This method is used to implement the type iterator (defined at the end of the file).
Definition: Type.h:384
bool containsNonGlobalTargetExtType() const
unsigned getFunctionNumParams() const
Type * getScalarType() const
If this is a vector type, return the element type, otherwise return 'this'.
Definition: Type.h:355
LLVM Value Representation.
Definition: Value.h:74
Base class of all SIMD vector types.
Definition: DerivedTypes.h:427
static VectorType * getHalfElementsVectorType(VectorType *VTy)
This static method returns a VectorType with half as many elements as the input type and the same ele...
Definition: DerivedTypes.h:531
static VectorType * getExtendedElementVectorType(VectorType *VTy)
This static method is like getInteger except that the element types are twice as wide as the elements...
Definition: DerivedTypes.h:487
static bool classof(const Type *T)
Methods for support type inquiry through isa, cast, and dyn_cast.
Definition: DerivedTypes.h:556
ElementCount getElementCount() const
Return an ElementCount instance to represent the (possibly scalable) number of elements in the vector...
Definition: DerivedTypes.h:665
static VectorType * getSubdividedVectorType(VectorType *VTy, int NumSubdivs)
Definition: DerivedTypes.h:521
static VectorType * getInteger(VectorType *VTy)
This static method gets a VectorType with the same number of elements as the input type,...
Definition: DerivedTypes.h:478
static VectorType * get(Type *ElementType, ElementCount EC)
This static method is the primary way to construct an VectorType.
const unsigned ElementQuantity
The element quantity of this vector.
Definition: DerivedTypes.h:452
static VectorType * get(Type *ElementType, const VectorType *Other)
Definition: DerivedTypes.h:471
static VectorType * getTruncatedElementVectorType(VectorType *VTy)
Definition: DerivedTypes.h:496
static bool isValidElementType(Type *ElemTy)
Return true if the specified type is valid as a element type.
VectorType & operator=(const VectorType &)=delete
static VectorType * getDoubleElementsVectorType(VectorType *VTy)
This static method returns a VectorType with twice as many elements as the input type and the same el...
Definition: DerivedTypes.h:541
static VectorType * get(Type *ElementType, unsigned NumElements, bool Scalable)
Definition: DerivedTypes.h:465
VectorType(const VectorType &)=delete
Type * getElementType() const
Definition: DerivedTypes.h:460
#define llvm_unreachable(msg)
Marks that the current location is not supposed to be reachable.
@ C
The default llvm calling convention, compatible with C.
Definition: CallingConv.h:34
Type
MessagePack types as defined in the standard, with the exception of Integer being divided into a sign...
Definition: MsgPackReader.h:53
This is an optimization pass for GlobalISel generic memory operations.
Definition: AddressRanges.h:18
std::conjunction< std::is_base_of< T, Ts >... > are_base_of
traits class for checking whether type T is a base class for all the given types in the variadic list...
Definition: STLExtras.h:134
@ Other
Any other memory.
#define N
#define EQ(a, b)
Definition: regexec.c:112