MLIR  14.0.0git
Public Types | List of all members
mlir::TypeInterface< ConcreteType, Traits > Class Template Reference

This class represents the base of a type interface. More...

#include "mlir/IR/Types.h"

Inheritance diagram for mlir::TypeInterface< ConcreteType, Traits >:
Inheritance graph
[legend]
Collaboration diagram for mlir::TypeInterface< ConcreteType, Traits >:
Collaboration graph
[legend]

Public Types

using Base = TypeInterface< ConcreteType, Traits >
 
using InterfaceBase = detail::Interface< ConcreteType, Type, Traits, Type, TypeTrait::TraitBase >
 
using InterfaceBase = Interface< ConcreteType, ValueT, Traits, BaseType, BaseTrait >
 
- Public Types inherited from mlir::detail::Interface< ConcreteType, Type, Traits, Type, TypeTrait::TraitBase >
using Concept = typename Traits::Concept
 
using Model = typename Traits::template Model< T >
 
using FallbackModel = typename Traits::template FallbackModel< T >
 
using InterfaceBase = Interface< ConcreteType, Type, Traits, Type, TypeTrait::TraitBase >
 
using ExternalModel = typename Traits::template ExternalModel< T, U >
 
- Public Types inherited from mlir::Type
template<typename ConcreteType , typename BaseType , typename StorageType , template< typename T > class... Traits>
using TypeBase = detail::StorageUserBase< ConcreteType, BaseType, StorageType, detail::TypeUniquer, Traits... >
 Utility class for implementing types. More...
 
using ImplType = TypeStorage
 
using AbstractTy = AbstractType
 

Additional Inherited Members

- Public Member Functions inherited from mlir::detail::Interface< ConcreteType, Type, Traits, Type, TypeTrait::TraitBase >
 Interface (Type t=Type())
 Construct an interface from an instance of the value type. More...
 
 Interface (std::nullptr_t)
 
 Interface (T t)
 Construct an interface instance from a type that implements this interface's trait. More...
 
- Public Member Functions inherited from mlir::Type
constexpr Type ()
 
 Type (const ImplType *impl)
 
 Type (const Type &other)=default
 
Typeoperator= (const Type &other)=default
 
bool operator== (Type other) const
 
bool operator!= (Type other) const
 
 operator bool () const
 
bool operator! () const
 
template<typename U >
bool isa () const
 
template<typename First , typename Second , typename... Rest>
bool isa () const
 
template<typename U >
dyn_cast () const
 
template<typename U >
dyn_cast_or_null () const
 
template<typename U >
cast () const
 
TypeID getTypeID ()
 Return a unique identifier for the concrete type. More...
 
MLIRContextgetContext () const
 Return the MLIRContext in which this type was uniqued. More...
 
DialectgetDialect () const
 Get the dialect this type is registered to. More...
 
bool isIndex () const
 
bool isBF16 () const
 
bool isF16 () const
 
bool isF32 () const
 
bool isF64 () const
 
bool isF80 () const
 
bool isF128 () const
 
bool isInteger (unsigned width) const
 Return true if this is an integer type with the specified width. More...
 
bool isSignlessInteger () const
 Return true if this is a signless integer type (with the specified width). More...
 
bool isSignlessInteger (unsigned width) const
 
bool isSignedInteger () const
 Return true if this is a signed integer type (with the specified width). More...
 
bool isSignedInteger (unsigned width) const
 
bool isUnsignedInteger () const
 Return true if this is an unsigned integer type (with the specified width). More...
 
bool isUnsignedInteger (unsigned width) const
 
unsigned getIntOrFloatBitWidth () const
 Return the bit width of an integer or a float type, assert failure on other types. More...
 
bool isSignlessIntOrIndex () const
 Return true if this is a signless integer or index type. More...
 
bool isSignlessIntOrIndexOrFloat () const
 Return true if this is a signless integer, index, or float type. More...
 
bool isSignlessIntOrFloat () const
 Return true of this is a signless integer or a float type. More...
 
bool isIntOrIndex () const
 Return true if this is an integer (of any signedness) or an index type. More...
 
bool isIntOrFloat () const
 Return true if this is an integer (of any signedness) or a float type. More...
 
bool isIntOrIndexOrFloat () const
 Return true if this is an integer (of any signedness), index, or float type. More...
 
void print (raw_ostream &os) const
 Print the current type. More...
 
void dump () const
 
const voidgetAsOpaquePointer () const
 Methods for supporting PointerLikeTypeTraits. More...
 
template<template< typename T > class Trait>
bool hasTrait ()
 Returns true if the type was registered with a particular trait. More...
 
const AbstractTygetAbstractType ()
 Return the abstract type descriptor for this type. More...
 
- Static Public Member Functions inherited from mlir::detail::Interface< ConcreteType, Type, Traits, Type, TypeTrait::TraitBase >
static bool classof (Type t)
 Support 'classof' by checking if the given object defines the concrete interface. More...
 
static TypeID getInterfaceID ()
 Define an accessor for the ID of this interface. More...
 
- Static Public Member Functions inherited from mlir::Type
static bool classof (Type)
 
static Type getFromOpaquePointer (const void *pointer)
 
- Protected Member Functions inherited from mlir::detail::Interface< ConcreteType, Type, Traits, Type, TypeTrait::TraitBase >
const ConceptgetImpl () const
 Get the raw concept in the correct derived concept type. More...
 
ConceptgetImpl ()
 
- Protected Attributes inherited from mlir::Type
ImplTypeimpl {nullptr}
 

Detailed Description

template<typename ConcreteType, typename Traits>
class mlir::TypeInterface< ConcreteType, Traits >

This class represents the base of a type interface.

See the definition of detail::Interface for requirements on the Traits type.

Definition at line 207 of file Types.h.

Member Typedef Documentation

◆ Base

template<typename ConcreteType , typename Traits >
using mlir::TypeInterface< ConcreteType, Traits >::Base = TypeInterface<ConcreteType, Traits>

Definition at line 210 of file Types.h.

◆ InterfaceBase [1/2]

template<typename ConcreteType , typename Traits >
using mlir::TypeInterface< ConcreteType, Traits >::InterfaceBase = detail::Interface<ConcreteType, Type, Traits, Type, TypeTrait::TraitBase>

Definition at line 212 of file Types.h.

◆ InterfaceBase [2/2]

template<typename ConcreteType , typename Traits >
using mlir::detail::Interface< ConcreteType, ValueT, Traits, BaseType, BaseTrait >::InterfaceBase = Interface<ConcreteType, ValueT, Traits, BaseType, BaseTrait>

Definition at line 78 of file InterfaceSupport.h.


The documentation for this class was generated from the following file: