llzk::boolean::ExistsOp Class Reference

Inheritance diagram for llzk::boolean::ExistsOp:

Collaboration diagram for llzk::boolean::ExistsOp:

Public Types
using	Adaptor = ExistsOpAdaptor
template<typename RangeT>
using	GenericAdaptor = ExistsOpGenericAdaptor<RangeT>
using	FoldAdaptor = GenericAdaptor<::llvm::ArrayRef<::mlir::Attribute>>

Public Member Functions
static ::llvm::ArrayRef<::llvm::StringRef >	getAttributeNames ()
std::pair< unsigned, unsigned >	getODSOperandIndexAndLength (unsigned index)
::mlir::Operation::operand_range	getODSOperands (unsigned index)
::mlir::TypedValue<::llzk::array::ArrayType >	getSort ()
::mlir::OpOperand &	getSortMutable ()
std::pair< unsigned, unsigned >	getODSResultIndexAndLength (unsigned index)
::mlir::Operation::result_range	getODSResults (unsigned index)
::mlir::TypedValue<::mlir::IntegerType >	getResult ()
::mlir::Region &	getRegion ()
void	print (::mlir::OpAsmPrinter &p)
::llvm::LogicalResult	verifyInvariantsImpl ()
::llvm::LogicalResult	verifyInvariants ()
::llvm::LogicalResult	verify ()
void	getEffects (::llvm::SmallVectorImpl<::mlir::SideEffects::EffectInstance<::mlir::MemoryEffects::Effect > > &effects)

Static Public Member Functions
static constexpr ::llvm::StringLiteral	getOperationName ()
static void	build (::mlir::OpBuilder &odsBuilder, ::mlir::OperationState &odsState, ::mlir::Type result, ::mlir::Value sort)
static void	build (::mlir::OpBuilder &odsBuilder, ::mlir::OperationState &odsState, ::mlir::Value sort)
static void	build (::mlir::OpBuilder &odsBuilder, ::mlir::OperationState &odsState, ::mlir::TypeRange resultTypes, ::mlir::Value sort)
static void	build (::mlir::OpBuilder &, ::mlir::OperationState &odsState, ::mlir::TypeRange resultTypes, ::mlir::ValueRange operands, ::llvm::ArrayRef<::mlir::NamedAttribute > attributes={})
static void	build (::mlir::OpBuilder &odsBuilder, ::mlir::OperationState &odsState, ::mlir::ValueRange operands, ::llvm::ArrayRef<::mlir::NamedAttribute > attributes={})
::mlir::ParseResult	parse (::mlir::OpAsmParser &parser, ::mlir::OperationState &result)
::llvm::LogicalResult	inferReturnTypes (::mlir::MLIRContext *context, ::std::optional<::mlir::Location > location, ::mlir::ValueRange operands, ::mlir::DictionaryAttr attributes, ::mlir::OpaqueProperties properties, ::mlir::RegionRange regions, ::llvm::SmallVectorImpl<::mlir::Type > &inferredReturnTypes)

Detailed Description

Definition at line 139 of file Ops.h.inc.

Member Typedef Documentation

Adaptor

using llzk::boolean::ExistsOp::Adaptor = ExistsOpAdaptor

Definition at line 143 of file Ops.h.inc.

FoldAdaptor

using llzk::boolean::ExistsOp::FoldAdaptor = GenericAdaptor<::llvm::ArrayRef<::mlir::Attribute>>

Definition at line 146 of file Ops.h.inc.

GenericAdaptor

template<typename RangeT>

using llzk::boolean::ExistsOp::GenericAdaptor = ExistsOpGenericAdaptor<RangeT>

Definition at line 145 of file Ops.h.inc.

Member Function Documentation

build() [1/5]

void llzk::boolean::ExistsOp::build ( ::mlir::OpBuilder & , ::mlir::OperationState & odsState, ::mlir::TypeRange resultTypes, ::mlir::ValueRange operands, ::llvm::ArrayRef<::mlir::NamedAttribute > attributes = {} )

static

Definition at line 159 of file Ops.cpp.inc.

build() [2/5]

void llzk::boolean::ExistsOp::build ( ::mlir::OpBuilder & odsBuilder, ::mlir::OperationState & odsState, ::mlir::Type result, ::mlir::Value sort )

static

Definition at line 130 of file Ops.cpp.inc.

build() [3/5]

void llzk::boolean::ExistsOp::build ( ::mlir::OpBuilder & odsBuilder, ::mlir::OperationState & odsState, ::mlir::TypeRange resultTypes, ::mlir::Value sort )

static

Definition at line 152 of file Ops.cpp.inc.

build() [4/5]

void llzk::boolean::ExistsOp::build ( ::mlir::OpBuilder & odsBuilder, ::mlir::OperationState & odsState, ::mlir::Value sort )

static

Definition at line 136 of file Ops.cpp.inc.

build() [5/5]

void llzk::boolean::ExistsOp::build ( ::mlir::OpBuilder & odsBuilder, ::mlir::OperationState & odsState, ::mlir::ValueRange operands, ::llvm::ArrayRef<::mlir::NamedAttribute > attributes = {} )

static

Definition at line 169 of file Ops.cpp.inc.

getAttributeNames()

::llvm::ArrayRef<::llvm::StringRef > llzk::boolean::ExistsOp::getAttributeNames ( )

inline

Definition at line 147 of file Ops.h.inc.

getEffects()

void llzk::boolean::ExistsOp::getEffects

(

::llvm::SmallVectorImpl<::mlir::SideEffects::EffectInstance<::mlir::MemoryEffects::Effect > > &

effects

)

Definition at line 232 of file Ops.cpp.inc.

getODSOperandIndexAndLength()

std::pair< unsigned, unsigned > llzk::boolean::ExistsOp::getODSOperandIndexAndLength ( unsigned index )

inline

Definition at line 155 of file Ops.h.inc.

getODSOperands()

::mlir::Operation::operand_range llzk::boolean::ExistsOp::getODSOperands ( unsigned index )

inline

Definition at line 159 of file Ops.h.inc.

getODSResultIndexAndLength()

std::pair< unsigned, unsigned > llzk::boolean::ExistsOp::getODSResultIndexAndLength ( unsigned index )

inline

Definition at line 174 of file Ops.h.inc.

getODSResults()

::mlir::Operation::result_range llzk::boolean::ExistsOp::getODSResults ( unsigned index )

inline

Definition at line 178 of file Ops.h.inc.

getOperationName()

constexpr ::llvm::StringLiteral llzk::boolean::ExistsOp::getOperationName ( )

inlinestatic

Definition at line 151 of file Ops.h.inc.

getRegion()

::mlir::Region & llzk::boolean::ExistsOp::getRegion ( )

inline

Definition at line 188 of file Ops.h.inc.

getResult()

::mlir::TypedValue<::mlir::IntegerType > llzk::boolean::ExistsOp::getResult ( )

inline

Definition at line 184 of file Ops.h.inc.

getSort()

::mlir::TypedValue<::llzk::array::ArrayType > llzk::boolean::ExistsOp::getSort ( )

inline

Definition at line 165 of file Ops.h.inc.

getSortMutable()

::mlir::OpOperand & llzk::boolean::ExistsOp::getSortMutable ( )

inline

Definition at line 169 of file Ops.h.inc.

inferReturnTypes()

llvm::LogicalResult llzk::boolean::ExistsOp::inferReturnTypes ( ::mlir::MLIRContext * context, ::std::optional<::mlir::Location > location, ::mlir::ValueRange operands, ::mlir::DictionaryAttr attributes, ::mlir::OpaqueProperties properties, ::mlir::RegionRange regions, ::llvm::SmallVectorImpl<::mlir::Type > & inferredReturnTypes )

static

Definition at line 224 of file Ops.cpp.inc.

parse()

::mlir::ParseResult llzk::boolean::ExistsOp::parse ( ::mlir::OpAsmParser & parser, ::mlir::OperationState & result )

static

print()

void llzk::boolean::ExistsOp::print

(

::mlir::OpAsmPrinter &

p

)

verify()

LogicalResult llzk::boolean::ExistsOp::verify

(

)

Definition at line 277 of file Ops.cpp.

verifyInvariants()

llvm::LogicalResult llzk::boolean::ExistsOp::verifyInvariants

(

)

Definition at line 218 of file Ops.cpp.inc.

verifyInvariantsImpl()

llvm::LogicalResult llzk::boolean::ExistsOp::verifyInvariantsImpl

(

)

Definition at line 189 of file Ops.cpp.inc.

---

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

• build/include/llzk/Dialect/Bool/IR/Ops.h.inc
• lib/Dialect/Bool/IR/Ops.cpp
• build/include/llzk/Dialect/Bool/IR/Ops.cpp.inc