llzk::smt::BitVectorType Class Reference

Inheritance diagram for llzk::smt::BitVectorType:

Collaboration diagram for llzk::smt::BitVectorType:

Public Member Functions
void	print (::mlir::AsmPrinter &odsPrinter) const
int64_t	getWidth () const

Static Public Member Functions
static BitVectorType	get (::mlir::MLIRContext *context, int64_t width)
static BitVectorType	getChecked (::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError, ::mlir::MLIRContext *context, int64_t width)
::llvm::LogicalResult	verify (::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError, int64_t width)
::llvm::LogicalResult	verifyInvariants (::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError, int64_t width)
static constexpr ::llvm::StringLiteral	getMnemonic ()
::mlir::Type	parse (::mlir::AsmParser &odsParser)

Static Public Attributes
static constexpr ::llvm::StringLiteral	name = "smt.bv"
static constexpr ::llvm::StringLiteral	dialectName = "smt"

Detailed Description

Definition at line 52 of file SMTTypes.h.inc.

Member Function Documentation

get()

BitVectorType llzk::smt::BitVectorType::get ( ::mlir::MLIRContext * context, int64_t width )

static

Definition at line 149 of file SMTTypes.cpp.inc.

getChecked()

BitVectorType llzk::smt::BitVectorType::getChecked ( ::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError, ::mlir::MLIRContext * context, int64_t width )

static

Definition at line 153 of file SMTTypes.cpp.inc.

getMnemonic()

constexpr ::llvm::StringLiteral llzk::smt::BitVectorType::getMnemonic ( )

inlinestatic

Definition at line 62 of file SMTTypes.h.inc.

getWidth()

int64_t llzk::smt::BitVectorType::getWidth

(

)

const

Definition at line 191 of file SMTTypes.cpp.inc.

parse()

mlir::Type llzk::smt::BitVectorType::parse ( ::mlir::AsmParser & odsParser )

static

Definition at line 163 of file SMTTypes.cpp.inc.

print()

void llzk::smt::BitVectorType::print

(

::mlir::AsmPrinter &

odsPrinter

)

const

Definition at line 184 of file SMTTypes.cpp.inc.

verify()

LogicalResult BitVectorType::verify ( ::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError, int64_t width )

static

Definition at line 47 of file SMTTypes.cpp.

verifyInvariants()

llvm::LogicalResult llzk::smt::BitVectorType::verifyInvariants ( ::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError, int64_t width )

static

Definition at line 157 of file SMTTypes.cpp.inc.

Member Data Documentation

dialectName

::llvm::StringLiteral llzk::smt::BitVectorType::dialectName = "smt"

static

Definition at line 56 of file SMTTypes.h.inc.

name

::llvm::StringLiteral llzk::smt::BitVectorType::name = "smt.bv"

static

Definition at line 55 of file SMTTypes.h.inc.

---

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

• build/include/llzk/Dialect/SMT/IR/SMTTypes.h.inc
• lib/Dialect/SMT/SMTTypes.cpp
• build/include/llzk/Dialect/SMT/IR/SMTTypes.cpp.inc