LLZK
2.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
Here is a list of all functions with links to the classes they belong to:
- p -
parse() :
llvm::cl::parser< APInt >
,
llzk::array::ArrayLengthOp
,
llzk::array::ArrayType
,
llzk::array::CreateArrayOp
,
llzk::array::ExtractArrayOp
,
llzk::array::InsertArrayOp
,
llzk::array::ReadArrayOp
,
llzk::array::WriteArrayOp
,
llzk::boolean::AndBoolOp
,
llzk::boolean::AssertOp
,
llzk::boolean::CmpOp
,
llzk::boolean::NotBoolOp
,
llzk::boolean::OrBoolOp
,
llzk::boolean::XorBoolOp
,
llzk::cast::FeltToIndexOp
,
llzk::cast::IntToFeltOp
,
llzk::component::CreateStructOp
,
llzk::component::MemberDefOp
,
llzk::component::MemberReadOp
,
llzk::component::MemberWriteOp
,
llzk::component::StructDefOp
,
llzk::component::StructType
,
llzk::constrain::EmitContainmentOp
,
llzk::constrain::EmitEqualityOp
,
llzk::felt::AddFeltOp
,
llzk::felt::AndFeltOp
,
llzk::felt::DivFeltOp
,
llzk::felt::FeltConstantOp
,
llzk::felt::FeltType
,
llzk::felt::InvFeltOp
,
llzk::felt::MulFeltOp
,
llzk::felt::NegFeltOp
,
llzk::felt::NotFeltOp
,
llzk::felt::OrFeltOp
,
llzk::felt::PowFeltOp
,
llzk::felt::ShlFeltOp
,
llzk::felt::ShrFeltOp
,
llzk::felt::SignedIntDivFeltOp
,
llzk::felt::SignedModFeltOp
,
llzk::felt::SubFeltOp
,
llzk::felt::UnsignedIntDivFeltOp
,
llzk::felt::UnsignedModFeltOp
,
llzk::felt::XorFeltOp
,
llzk::function::CallOp
,
llzk::function::FuncDefOp
,
llzk::function::ReturnOp
,
llzk::global::GlobalDefOp
,
llzk::global::GlobalReadOp
,
llzk::global::GlobalWriteOp
,
llzk::include::IncludeOp
,
llzk::NonDetOp
,
llzk::pod::NewPodOp
,
llzk::pod::PodType
,
llzk::pod::ReadPodOp
,
llzk::pod::WritePodOp
,
llzk::polymorphic::ApplyMapOp
,
llzk::polymorphic::ConstReadOp
,
llzk::polymorphic::TemplateExprOp
,
llzk::polymorphic::TemplateOp
,
llzk::polymorphic::TemplateParamOp
,
llzk::polymorphic::TypeVarType
,
llzk::polymorphic::UnifiableCastOp
,
llzk::polymorphic::YieldOp
,
llzk::ram::LoadOp
,
llzk::ram::StoreOp
,
llzk::smt::AndOp
,
llzk::smt::ApplyFuncOp
,
llzk::smt::ArrayBroadcastOp
,
llzk::smt::ArraySelectOp
,
llzk::smt::ArrayStoreOp
,
llzk::smt::ArrayType
,
llzk::smt::AssertOp
,
llzk::smt::BitVectorType
,
llzk::smt::BoolConstantOp
,
llzk::smt::BoolType
,
llzk::smt::BV2IntOp
,
llzk::smt::BVAddOp
,
llzk::smt::BVAndOp
,
llzk::smt::BVAShrOp
,
llzk::smt::BVCmpOp
,
llzk::smt::BVConstantOp
,
llzk::smt::BVLShrOp
,
llzk::smt::BVMulOp
,
llzk::smt::BVNegOp
,
llzk::smt::BVNotOp
,
llzk::smt::BVOrOp
,
llzk::smt::BVSDivOp
,
llzk::smt::BVShlOp
,
llzk::smt::BVSModOp
,
llzk::smt::BVSRemOp
,
llzk::smt::BVUDivOp
,
llzk::smt::BVURemOp
,
llzk::smt::BVXOrOp
,
llzk::smt::CheckOp
,
llzk::smt::ConcatOp
,
llzk::smt::DeclareFunOp
,
llzk::smt::DistinctOp
,
llzk::smt::EqOp
,
llzk::smt::ExistsOp
,
llzk::smt::ExtractOp
,
llzk::smt::ForallOp
,
llzk::smt::ImpliesOp
,
llzk::smt::Int2BVOp
,
llzk::smt::IntAbsOp
,
llzk::smt::IntAddOp
,
llzk::smt::IntCmpOp
,
llzk::smt::IntConstantOp
,
llzk::smt::IntDivOp
,
llzk::smt::IntModOp
,
llzk::smt::IntMulOp
,
llzk::smt::IntNegOp
,
llzk::smt::IntSubOp
,
llzk::smt::IntType
,
llzk::smt::IteOp
,
llzk::smt::NotOp
,
llzk::smt::OrOp
,
llzk::smt::PopOp
,
llzk::smt::PushOp
,
llzk::smt::RepeatOp
,
llzk::smt::ResetOp
,
llzk::smt::SetLogicOp
,
llzk::smt::SMTFuncType
,
llzk::smt::SolverOp
,
llzk::smt::SortType
,
llzk::smt::XOrOp
,
llzk::smt::YieldOp
,
llzk::string::LitStringOp
,
mlir::FieldParser< llvm::APInt >
,
mlir::FieldParser< std::optional<::llzk::boolean::FeltCmpPredicate >, std::optional<::llzk::boolean::FeltCmpPredicate > >
,
mlir::FieldParser< std::optional<::llzk::OutputStream >, std::optional<::llzk::OutputStream > >
,
mlir::FieldParser< std::optional<::llzk::polymorphic::StructCleanupMode >, std::optional<::llzk::polymorphic::StructCleanupMode > >
,
mlir::FieldParser< std::optional<::llzk::smt::BVCmpPredicate >, std::optional<::llzk::smt::BVCmpPredicate > >
,
mlir::FieldParser< std::optional<::llzk::smt::IntPredicate >, std::optional<::llzk::smt::IntPredicate > >
,
mlir::FieldParser<::llzk::boolean::FeltCmpPredicate, ::llzk::boolean::FeltCmpPredicate >
,
mlir::FieldParser<::llzk::OutputStream, ::llzk::OutputStream >
,
mlir::FieldParser<::llzk::polymorphic::StructCleanupMode, ::llzk::polymorphic::StructCleanupMode >
,
mlir::FieldParser<::llzk::smt::BVCmpPredicate, ::llzk::smt::BVCmpPredicate >
,
mlir::FieldParser<::llzk::smt::IntPredicate, ::llzk::smt::IntPredicate >
parseAttribute() :
llzk::boolean::BoolDialect
,
llzk::felt::FeltDialect
,
llzk::function::FunctionDialect
,
llzk::LLZKDialect
,
llzk::pod::PODDialect
,
llzk::smt::SMTDialect
parser() :
llvm::cl::parser< APInt >
parseType() :
llzk::array::ArrayDialect
,
llzk::component::StructDialect
,
llzk::felt::FeltDialect
,
llzk::pod::PODDialect
,
llzk::polymorphic::PolymorphicDialect
,
llzk::smt::SMTDialect
,
llzk::string::StringDialect
PodTypeStorage() :
llzk::pod::detail::PodTypeStorage
PolyLoweringPassBase() :
llzk::impl::PolyLoweringPassBase< DerivedT >
PopOpAdaptor() :
llzk::smt::PopOpAdaptor
PopOpGenericAdaptor() :
llzk::smt::PopOpAdaptor
,
llzk::smt::PopOpGenericAdaptor< RangeT >
PopOpGenericAdaptorBase() :
llzk::smt::detail::PopOpGenericAdaptorBase
populateDefaultProperties() :
llzk::array::CreateArrayOp
,
llzk::component::MemberReadOp
,
llzk::function::CallOp
,
llzk::global::GlobalDefOp
,
llzk::pod::NewPodOp
,
llzk::smt::ExistsOp
,
llzk::smt::ForallOp
populateInherentAttrs() :
llzk::array::CreateArrayOp
,
llzk::boolean::AssertOp
,
llzk::boolean::CmpOp
,
llzk::component::MemberDefOp
,
llzk::component::MemberReadOp
,
llzk::component::MemberWriteOp
,
llzk::component::StructDefOp
,
llzk::felt::FeltConstantOp
,
llzk::function::CallOp
,
llzk::function::FuncDefOp
,
llzk::global::GlobalDefOp
,
llzk::global::GlobalReadOp
,
llzk::global::GlobalWriteOp
,
llzk::include::IncludeOp
,
llzk::pod::NewPodOp
,
llzk::pod::ReadPodOp
,
llzk::pod::WritePodOp
,
llzk::polymorphic::ApplyMapOp
,
llzk::polymorphic::ConstReadOp
,
llzk::polymorphic::TemplateExprOp
,
llzk::polymorphic::TemplateOp
,
llzk::polymorphic::TemplateParamOp
,
llzk::smt::BoolConstantOp
,
llzk::smt::BV2IntOp
,
llzk::smt::BVCmpOp
,
llzk::smt::BVConstantOp
,
llzk::smt::DeclareFunOp
,
llzk::smt::ExistsOp
,
llzk::smt::ExtractOp
,
llzk::smt::ForallOp
,
llzk::smt::IntCmpOp
,
llzk::smt::IntConstantOp
,
llzk::smt::PopOp
,
llzk::smt::PushOp
,
llzk::smt::SetLogicOp
,
llzk::string::LitStringOp
PowFeltOpAdaptor() :
llzk::felt::PowFeltOpAdaptor
PowFeltOpBuildFuncHelper() :
PowFeltOpBuildFuncHelper
PowFeltOpGenericAdaptor() :
llzk::felt::PowFeltOpAdaptor
,
llzk::felt::PowFeltOpGenericAdaptor< RangeT >
PowFeltOpGenericAdaptorBase() :
llzk::felt::detail::PowFeltOpGenericAdaptorBase
PredecessorAnalysis() :
llzk::PredecessorAnalysis
predecessorIter() :
llzk::SymbolUseGraphNode
PredecessorPrinterPass() :
llzk::PredecessorPrinterPass
PredecessorPrinterPassBase() :
llzk::impl::PredecessorPrinterPassBase< DerivedT >
predecessors_begin() :
llzk::SymbolUseGraphNode
predecessors_end() :
llzk::SymbolUseGraphNode
prependNamespace() :
llzk::SymbolLookupResult< T >
,
llzk::SymbolLookupResultUntyped
prime() :
llzk::Field
print() :
llzk::array::ArrayLengthOp
,
llzk::array::ArrayType
,
llzk::array::CreateArrayOp
,
llzk::array::ExtractArrayOp
,
llzk::array::InsertArrayOp
,
llzk::array::ReadArrayOp
,
llzk::array::WriteArrayOp
,
llzk::boolean::AndBoolOp
,
llzk::boolean::AssertOp
,
llzk::boolean::CmpOp
,
llzk::boolean::NotBoolOp
,
llzk::boolean::OrBoolOp
,
llzk::boolean::XorBoolOp
,
llzk::CallGraph
,
llzk::cast::FeltToIndexOp
,
llzk::cast::IntToFeltOp
,
llzk::component::CreateStructOp
,
llzk::component::MemberDefOp
,
llzk::component::MemberReadOp
,
llzk::component::MemberWriteOp
,
llzk::component::StructDefOp
,
llzk::component::StructType
,
llzk::constrain::EmitContainmentOp
,
llzk::constrain::EmitEqualityOp
,
llzk::ConstraintDependencyGraph
,
llzk::dataflow::AbstractLatticeValue< Derived, ScalarTy >
,
llzk::ExpressionValue
,
llzk::felt::AddFeltOp
,
llzk::felt::AndFeltOp
,
llzk::felt::DivFeltOp
,
llzk::felt::FeltConstantOp
,
llzk::felt::FeltType
,
llzk::felt::InvFeltOp
,
llzk::felt::MulFeltOp
,
llzk::felt::NegFeltOp
,
llzk::felt::NotFeltOp
,
llzk::felt::OrFeltOp
,
llzk::felt::PowFeltOp
,
llzk::felt::ShlFeltOp
,
llzk::felt::ShrFeltOp
,
llzk::felt::SignedIntDivFeltOp
,
llzk::felt::SignedModFeltOp
,
llzk::felt::SubFeltOp
,
llzk::felt::UnsignedIntDivFeltOp
,
llzk::felt::UnsignedModFeltOp
,
llzk::felt::XorFeltOp
,
llzk::function::CallOp
,
llzk::function::FuncDefOp
,
llzk::function::ReturnOp
,
llzk::global::GlobalDefOp
,
llzk::global::GlobalReadOp
,
llzk::global::GlobalWriteOp
,
llzk::include::IncludeOp
,
llzk::Interval
,
llzk::IntervalAnalysisLattice
,
llzk::MemberOverwriteLattice
,
llzk::NonDetOp
,
llzk::pod::NewPodOp
,
llzk::pod::PodType
,
llzk::pod::ReadPodOp
,
llzk::pod::WritePodOp
,
llzk::polymorphic::ApplyMapOp
,
llzk::polymorphic::ConstReadOp
,
llzk::polymorphic::TemplateExprOp
,
llzk::polymorphic::TemplateOp
,
llzk::polymorphic::TemplateParamOp
,
llzk::polymorphic::TypeVarType
,
llzk::polymorphic::UnifiableCastOp
,
llzk::polymorphic::YieldOp
,
llzk::PredecessorLattice
,
llzk::ram::LoadOp
,
llzk::ram::StoreOp
,
llzk::smt::AndOp
,
llzk::smt::ApplyFuncOp
,
llzk::smt::ArrayBroadcastOp
,
llzk::smt::ArraySelectOp
,
llzk::smt::ArrayStoreOp
,
llzk::smt::ArrayType
,
llzk::smt::AssertOp
,
llzk::smt::BitVectorType
,
llzk::smt::BoolConstantOp
,
llzk::smt::BoolType
,
llzk::smt::BV2IntOp
,
llzk::smt::BVAddOp
,
llzk::smt::BVAndOp
,
llzk::smt::BVAShrOp
,
llzk::smt::BVCmpOp
,
llzk::smt::BVConstantOp
,
llzk::smt::BVLShrOp
,
llzk::smt::BVMulOp
,
llzk::smt::BVNegOp
,
llzk::smt::BVNotOp
,
llzk::smt::BVOrOp
,
llzk::smt::BVSDivOp
,
llzk::smt::BVShlOp
,
llzk::smt::BVSModOp
,
llzk::smt::BVSRemOp
,
llzk::smt::BVUDivOp
,
llzk::smt::BVURemOp
,
llzk::smt::BVXOrOp
,
llzk::smt::CheckOp
,
llzk::smt::ConcatOp
,
llzk::smt::DeclareFunOp
,
llzk::smt::DistinctOp
,
llzk::smt::EqOp
,
llzk::smt::ExistsOp
,
llzk::smt::ExtractOp
,
llzk::smt::ForallOp
,
llzk::smt::ImpliesOp
,
llzk::smt::Int2BVOp
,
llzk::smt::IntAbsOp
,
llzk::smt::IntAddOp
,
llzk::smt::IntCmpOp
,
llzk::smt::IntConstantOp
,
llzk::smt::IntDivOp
,
llzk::smt::IntModOp
,
llzk::smt::IntMulOp
,
llzk::smt::IntNegOp
,
llzk::smt::IntSubOp
,
llzk::smt::IntType
,
llzk::smt::IteOp
,
llzk::smt::NotOp
,
llzk::smt::OrOp
,
llzk::smt::PopOp
,
llzk::smt::PushOp
,
llzk::smt::RepeatOp
,
llzk::smt::ResetOp
,
llzk::smt::SetLogicOp
,
llzk::smt::SMTFuncType
,
llzk::smt::SolverOp
,
llzk::smt::SortType
,
llzk::smt::XOrOp
,
llzk::smt::YieldOp
,
llzk::SourceRef
,
llzk::SourceRefIndex
,
llzk::SourceRefLattice
,
llzk::string::LitStringOp
,
llzk::StructIntervals
,
llzk::SymbolDefTree
,
llzk::SymbolDefTreeNode
,
llzk::SymbolUseGraph
,
llzk::SymbolUseGraphNode
,
llzk::UnreducedInterval
printAttribute() :
llzk::boolean::BoolDialect
,
llzk::felt::FeltDialect
,
llzk::function::FunctionDialect
,
llzk::LLZKDialect
,
llzk::pod::PODDialect
,
llzk::smt::SMTDialect
printOptionDiff() :
llvm::cl::parser< APInt >
printType() :
llzk::array::ArrayDialect
,
llzk::component::StructDialect
,
llzk::felt::FeltDialect
,
llzk::pod::PODDialect
,
llzk::polymorphic::PolymorphicDialect
,
llzk::smt::SMTDialect
,
llzk::string::StringDialect
processBlockArgs() :
llzk::FunctionTypeConverter
ProductAligner() :
llzk::ProductAligner
pushNamespace() :
llzk::SymbolLookupResultUntyped
PushOpAdaptor() :
llzk::smt::PushOpAdaptor
PushOpGenericAdaptor() :
llzk::smt::PushOpAdaptor
,
llzk::smt::PushOpGenericAdaptor< RangeT >
PushOpGenericAdaptorBase() :
llzk::smt::detail::PushOpGenericAdaptorBase
Generated by
1.14.0
Copyright 2025 Veridise Inc. under the Apache License v2.0. Copyright 2026 Project LLZK under the Apache License v2.0.