| Nllvm | |
| CDenseMapInfo< llzk::ExpressionValue > | |
| CDenseMapInfo< llzk::Side > | |
| CDenseMapInfo< llzk::SourceRef > | |
| CDenseMapInfo< OperationComparator > | |
| CDenseMapInfo< ReferenceID > | Allows ReferenceID to be a DenseMap key |
| CDenseMapInfo<::llzk::boolean::FeltCmpPredicate > | |
| CDenseMapInfo<::llzk::OutputStream > | |
| CDenseMapInfo<::llzk::polymorphic::StructCleanupMode > | |
| CDOTGraphTraits< const llzk::SymbolDefTree * > | |
| CDOTGraphTraits< const llzk::SymbolDefTreeNode * > | |
| CDOTGraphTraits< const llzk::SymbolUseGraph * > | |
| CDOTGraphTraits< const llzk::SymbolUseGraphNode * > | |
| CGraphTraits< const llzk::CallGraph * > | |
| CGraphTraits< const llzk::CallGraphNode * > | |
| CGraphTraits< const llzk::SymbolDefTree * > | |
| CGraphTraits< const llzk::SymbolDefTreeNode * > | |
| CGraphTraits< const llzk::SymbolUseGraph * > | |
| CGraphTraits< const llzk::SymbolUseGraphNode * > | |
| CGraphTraits< Inverse< const llzk::SymbolUseGraph * > > | |
| CGraphTraits< Inverse< const llzk::SymbolUseGraphNode * > > | |
| Nllzk | |
| Narray | |
| Ndetail | |
| CArrayAccessOpInterfaceInterfaceTraits | |
| CConcept | |
| CExternalModel | |
| CFallbackModel | |
| CModel | |
| CArrayAccessOpInterfaceTrait | |
| CArrayLengthOpGenericAdaptorBase | |
| CArrayRefOpInterfaceInterfaceTraits | |
| CConcept | |
| CExternalModel | |
| CFallbackModel | |
| CModel | |
| CArrayRefOpInterfaceTrait | |
| CArrayTypeStorage | |
| CCreateArrayOpGenericAdaptorBase | |
| CProperties | |
| CExtractArrayOpGenericAdaptorBase | |
| CInsertArrayOpGenericAdaptorBase | |
| CReadArrayOpGenericAdaptorBase | |
| CWriteArrayOpGenericAdaptorBase | |
| Nimpl | |
| CArrayToScalarPassBase | |
| CArrayAccessOpInterface | |
| CTrait | |
| CArrayDialect | |
| CArrayIndexGen | Helper for converting between linear and multi-dimensional indexing with checks to ensure indices are in range for the ArrayType |
| CArrayLengthOp | |
| CArrayLengthOpAdaptor | |
| CArrayLengthOpGenericAdaptor | |
| CArrayRefOpInterface | |
| CTrait | |
| CArrayType | |
| CCreateArrayOp | |
| CCreateArrayOpAdaptor | |
| CCreateArrayOpGenericAdaptor | |
| CExtractArrayOp | |
| CExtractArrayOpAdaptor | |
| CExtractArrayOpGenericAdaptor | |
| CInsertArrayOp | |
| CInsertArrayOpAdaptor | |
| CInsertArrayOpGenericAdaptor | |
| CReadArrayOp | |
| CReadArrayOpAdaptor | |
| CReadArrayOpGenericAdaptor | |
| CWriteArrayOp | |
| CWriteArrayOpAdaptor | |
| CWriteArrayOpGenericAdaptor | |
| Nboolean | |
| Ndetail | |
| CAndBoolOpGenericAdaptorBase | |
| CAssertOpGenericAdaptorBase | |
| CProperties | |
| CCmpOpGenericAdaptorBase | |
| CProperties | |
| CNotBoolOpGenericAdaptorBase | |
| COrBoolOpGenericAdaptorBase | |
| CXorBoolOpGenericAdaptorBase | |
| CAndBoolOp | |
| CAndBoolOpAdaptor | |
| CAndBoolOpGenericAdaptor | |
| CAssertOp | |
| CAssertOpAdaptor | |
| CAssertOpGenericAdaptor | |
| CBoolDialect | |
| CCmpOp | |
| CCmpOpAdaptor | |
| CCmpOpGenericAdaptor | |
| CNotBoolOp | |
| CNotBoolOpAdaptor | |
| CNotBoolOpGenericAdaptor | |
| COrBoolOp | |
| COrBoolOpAdaptor | |
| COrBoolOpGenericAdaptor | |
| CXorBoolOp | |
| CXorBoolOpAdaptor | |
| CXorBoolOpGenericAdaptor | |
| Ncast | |
| Ndetail | |
| CFeltToIndexOpGenericAdaptorBase | |
| CIntToFeltOpGenericAdaptorBase | |
| CCastDialect | |
| CFeltToIndexOp | |
| CFeltToIndexOpAdaptor | |
| CFeltToIndexOpGenericAdaptor | |
| CIntToFeltOp | |
| CIntToFeltOpAdaptor | |
| CIntToFeltOpGenericAdaptor | |
| Ncomponent | |
| Ndetail | |
| CCreateStructOpGenericAdaptorBase | |
| CFieldDefOpGenericAdaptorBase | |
| CProperties | |
| CFieldReadOpGenericAdaptorBase | |
| CProperties | |
| CFieldRefOpInterfaceInterfaceTraits | |
| CConcept | |
| CExternalModel | |
| CFallbackModel | |
| CModel | |
| CFieldRefOpInterfaceTrait | |
| CFieldWriteOpGenericAdaptorBase | |
| CProperties | |
| CStructDefOpGenericAdaptorBase | |
| CProperties | |
| CStructTypeStorage | |
| CCreateStructOp | |
| CCreateStructOpAdaptor | |
| CCreateStructOpGenericAdaptor | |
| CFieldDefOp | |
| CFieldDefOpAdaptor | |
| CFieldDefOpGenericAdaptor | |
| CFieldReadOp | |
| CFieldReadOpAdaptor | |
| CFieldReadOpGenericAdaptor | |
| CFieldRefOpInterface | |
| CTrait | |
| CFieldWriteOp | |
| CFieldWriteOpAdaptor | |
| CFieldWriteOpGenericAdaptor | |
| CInStructFunctionNamed | This class provides a verifier for ops that are expecting to have an ancestor FuncDefOp with the given name |
| CImpl | |
| CSetFuncAllowAttrs | Only valid/implemented for StructDefOp |
| CStructDefOp | |
| CStructDefOpAdaptor | |
| CStructDefOpGenericAdaptor | |
| CStructDialect | |
| CStructType | |
| Nconstrain | |
| Ndetail | |
| CConstraintOpInterfaceInterfaceTraits | |
| CConcept | |
| CExternalModel | |
| CFallbackModel | |
| CModel | |
| CConstraintOpInterfaceTrait | |
| CEmitContainmentOpGenericAdaptorBase | |
| CEmitEqualityOpGenericAdaptorBase | |
| CConstrainDialect | |
| CConstraintOpInterface | |
| CTrait | |
| CEmitContainmentOp | |
| CEmitContainmentOpAdaptor | |
| CEmitContainmentOpGenericAdaptor | |
| CEmitEqualityOp | |
| CEmitEqualityOpAdaptor | |
| CEmitEqualityOpGenericAdaptor | |
| Ndataflow | |
| CAbstractDenseForwardDataFlowAnalysis | LLZK: This class has been ported from the MLIR DenseAnalysis utilities to allow for the use of custom LLZK symbol lookup logic |
| CAbstractLatticeValue | |
| CDenseForwardDataFlowAnalysis | LLZK: This class has been ported so that it can inherit from our port of the AbstractDenseForwardDataFlowAnalysis above |
| Nfelt | |
| Ndetail | |
| CAddFeltOpGenericAdaptorBase | |
| CAndFeltOpGenericAdaptorBase | |
| CDivFeltOpGenericAdaptorBase | |
| CFeltConstantOpGenericAdaptorBase | |
| CProperties | |
| CFeltNonDetOpGenericAdaptorBase | |
| CInvFeltOpGenericAdaptorBase | |
| CModFeltOpGenericAdaptorBase | |
| CMulFeltOpGenericAdaptorBase | |
| CNegFeltOpGenericAdaptorBase | |
| CNotFeltOpGenericAdaptorBase | |
| COrFeltOpGenericAdaptorBase | |
| CShlFeltOpGenericAdaptorBase | |
| CShrFeltOpGenericAdaptorBase | |
| CSubFeltOpGenericAdaptorBase | |
| CXorFeltOpGenericAdaptorBase | |
| CAddFeltOp | |
| CAddFeltOpAdaptor | |
| CAddFeltOpGenericAdaptor | |
| CAndFeltOp | |
| CAndFeltOpAdaptor | |
| CAndFeltOpGenericAdaptor | |
| CDivFeltOp | |
| CDivFeltOpAdaptor | |
| CDivFeltOpGenericAdaptor | |
| CFeltConstantOp | |
| CFeltConstantOpAdaptor | |
| CFeltConstantOpGenericAdaptor | |
| CFeltDialect | |
| CFeltNonDetOp | |
| CFeltNonDetOpAdaptor | |
| CFeltNonDetOpGenericAdaptor | |
| CFeltType | |
| CInvFeltOp | |
| CInvFeltOpAdaptor | |
| CInvFeltOpGenericAdaptor | |
| CModFeltOp | |
| CModFeltOpAdaptor | |
| CModFeltOpGenericAdaptor | |
| CMulFeltOp | |
| CMulFeltOpAdaptor | |
| CMulFeltOpGenericAdaptor | |
| CNegFeltOp | |
| CNegFeltOpAdaptor | |
| CNegFeltOpGenericAdaptor | |
| CNotFeltOp | |
| CNotFeltOpAdaptor | |
| CNotFeltOpGenericAdaptor | |
| COrFeltOp | |
| COrFeltOpAdaptor | |
| COrFeltOpGenericAdaptor | |
| CShlFeltOp | |
| CShlFeltOpAdaptor | |
| CShlFeltOpGenericAdaptor | |
| CShrFeltOp | |
| CShrFeltOpAdaptor | |
| CShrFeltOpGenericAdaptor | |
| CSubFeltOp | |
| CSubFeltOpAdaptor | |
| CSubFeltOpGenericAdaptor | |
| CXorFeltOp | |
| CXorFeltOpAdaptor | |
| CXorFeltOpGenericAdaptor | |
| Nfunction | |
| Ndetail | |
| CCallOpGenericAdaptorBase | |
| CProperties | |
| CFuncDefOpGenericAdaptorBase | |
| CProperties | |
| CReturnOpGenericAdaptorBase | |
| CCallOp | |
| CCallOpAdaptor | |
| CCallOpGenericAdaptor | |
| CConstraintGen | Marker for ops that are specific to constraint generation |
| CFuncDefOp | |
| CFuncDefOpAdaptor | |
| CFuncDefOpGenericAdaptor | |
| CFunctionDialect | |
| CReturnOp | |
| CReturnOpAdaptor | |
| CReturnOpGenericAdaptor | |
| CWitnessGen | Marker for ops that are specific to witness generation |
| Nglobal | |
| Ndetail | |
| CGlobalDefOpGenericAdaptorBase | |
| CProperties | |
| CGlobalReadOpGenericAdaptorBase | |
| CProperties | |
| CGlobalRefOpInterfaceInterfaceTraits | |
| CConcept | |
| CExternalModel | |
| CFallbackModel | |
| CModel | |
| CGlobalRefOpInterfaceTrait | |
| CGlobalWriteOpGenericAdaptorBase | |
| CProperties | |
| CGlobalDefOp | |
| CGlobalDefOpAdaptor | |
| CGlobalDefOpGenericAdaptor | |
| CGlobalDialect | |
| CGlobalReadOp | |
| CGlobalReadOpAdaptor | |
| CGlobalReadOpGenericAdaptor | |
| CGlobalRefOpInterface | |
| CTrait | |
| CGlobalWriteOp | |
| CGlobalWriteOpAdaptor | |
| CGlobalWriteOpGenericAdaptor | |
| Nimpl | |
| CCallGraphPrinterPassBase | |
| CCallGraphSCCsPrinterPassBase | |
| CConstraintDependencyGraphPrinterPassBase | |
| CFieldWriteValidatorPassBase | |
| CInlineStructsPassBase | |
| CIntervalAnalysisPrinterPassBase | |
| CPolyLoweringPassBase | |
| CR1CSLoweringPassBase | |
| CRedundantOperationEliminationPassBase | |
| CRedundantReadAndWriteEliminationPassBase | |
| CSymbolDefTreePrinterPassBase | |
| CSymbolUseGraphPrinterPassBase | |
| CUnusedDeclarationEliminationPassBase | |
| Ninclude | |
| Ndetail | |
| CIncludeOpGenericAdaptorBase | |
| CProperties | |
| Nimpl | |
| CInlineIncludesPassBase | |
| CIncludeDialect | |
| CIncludeOp | |
| CIncludeOpAdaptor | |
| CIncludeOpGenericAdaptor | |
| Npolymorphic | |
| Ndetail | |
| CApplyMapOpGenericAdaptorBase | |
| CProperties | |
| CCallOpClassReplacePattern | |
| CConstReadOpGenericAdaptorBase | |
| CProperties | |
| CCreateArrayOpClassReplacePattern | |
| CGeneralTypeReplacePattern | |
| CTypeVarTypeStorage | |
| CUnifiableCastOpGenericAdaptorBase | |
| Nimpl | |
| CEmptyParamListRemovalPassBase | |
| CFlatteningPassBase | |
| CApplyMapOp | |
| CApplyMapOpAdaptor | |
| CApplyMapOpGenericAdaptor | |
| CConstReadOp | |
| CConstReadOpAdaptor | |
| CConstReadOpGenericAdaptor | |
| CFlatteningPassOptions | |
| CPolymorphicDialect | |
| CTypeVarType | |
| CUnifiableCastOp | |
| CUnifiableCastOpAdaptor | |
| CUnifiableCastOpGenericAdaptor | |
| Nstring | |
| Ndetail | |
| CLitStringOpGenericAdaptorBase | |
| CProperties | |
| CLitStringOp | |
| CLitStringOpAdaptor | |
| CLitStringOpGenericAdaptor | |
| CStringDialect | |
| CStringType | |
| Nundef | |
| Ndetail | |
| CUndefOpGenericAdaptorBase | |
| CUndefDialect | |
| CUndefOp | |
| CUndefOpAdaptor | |
| CUndefOpGenericAdaptor | |
| CAuxAssignment | |
| CBuildShortTypeString | Note: If any symbol refs in an input Type/Attribute use any of the special characters that this class generates, they are not escaped |
| CCallGraph | This is a port of mlir::CallGraph that has been adapted to use the custom symbol lookup helpers (see SymbolHelper.h) |
| CCallGraphAnalysis | An analysis wrapper to compute the CallGraph for a Module |
| CCallGraphNode | This is a simple port of the mlir::CallGraphNode with llzk::CallGraph as a friend class, for mlir::CallGraphNode has a private constructor and can only be constructed by mlir::CallGraph |
| CEdge | This class represents a directed edge between two nodes in the callgraph |
| CCallGraphPrinterPass | |
| CCallGraphReachabilityAnalysis | Lazily-constructed reachability analysis |
| CCallGraphSCCsPrinterPass | |
| CCDGAnalysisContext | Parameters and shared objects to pass to child analyses |
| CCommutativeMatcher | This matcher will either match on lhs op rhs or rhs op lhs |
| CConstantCapture | Matches and optionally captures a felt constant |
| CConstraintDependencyGraph | A dependency graph of constraints enforced by an LLZK struct |
| CConstraintDependencyGraphModuleAnalysis | A module-level analysis for constructing ConstraintDependencyGraph objects for all structs in the given LLZK module |
| CConstraintDependencyGraphPrinterPass | |
| CConstraintDependencyGraphPrinterPassOptions | |
| CConstraintDependencyGraphStructAnalysis | An analysis wrapper around the ConstraintDependencyGraph for a given struct |
| CExpressionValue | Tracks a solver expression and an interval range for that expression |
| CHash | |
| CField | Information about the prime finite field used for the interval analysis |
| CFileLineColLocComparator | |
| Cfiltered_raw_ostream | Wrapper for llvm::raw_ostream that filters out certain characters selected by a function |
| CFullPolyLoweringOptions | |
| CFunctionTypeConverter | General helper for converting a FuncDefOp by changing its input and/or result types and the associated attributes for those types |
| CGlobalSourceMgr | |
| CInFlightDiagnosticWrapper | Wrapper around InFlightDiagnostic that can either be a regular InFlightDiagnostic or a special version that asserts false after reporting the diagnostic |
| CInlineStructsPassOptions | |
| CInterval | Intervals over a finite field |
| CHash | |
| CIntervalAnalysisContext | Parameters and shared objects to pass to child analyses |
| CIntervalAnalysisLattice | Maps mlir::Values to LatticeValues |
| CIntervalAnalysisLatticeValue | |
| CIntervalAnalysisPrinterPass | |
| CIntervalAnalysisPrinterPassOptions | |
| CIntervalDataFlowAnalysis | |
| CLLZKDialect | |
| CLLZKDialectBytecodeInterface | This implements the bytecode interface for the LLZK dialect |
| CLLZKDialectVersion | |
| CLLZKTypeSwitch | Template pattern for performing some operation by cases based on a given LLZK type |
| CLocationComparator | |
| CModuleAnalysis | An analysis wrapper that runs the given StructAnalysisTy struct analysis over all of the struct contained within the module |
| CModuleBuilder | Builds out a LLZK-compliant module and provides utilities for populating that module |
| CModuleIntervalAnalysis | |
| CNamedOpLocationLess | |
| CNoContext | An empty struct that is used for convenience for analyses that do not require any context |
| COpHash | |
| COpLocationLess | |
| CPolyLoweringPassOptions | |
| CRefValueCapture | Matches and optionally captures a SourceRef base value, which is either a field read or a block argument (i.e., an input to a @constrain or @compute function) |
| CSourceRef | A reference to a "source", which is the base value from which other SSA values are derived |
| CHash | |
| CSourceRefAnalysis | The dataflow analysis that computes the set of references that LLZK operations use and produce |
| CSourceRefIndex | Defines an index into an LLZK object |
| CHash | |
| CSourceRefLattice | A lattice for use in dense analysis |
| CSourceRefLatticeValue | A value at a given point of the SourceRefLattice |
| CSourceRefSet | |
| CStructAnalysis | This is the base class for a dataflow analysis designed to run on a single struct (i.e., a single component) |
| CStructIntervalAnalysis | |
| CStructIntervals | |
| CSymbolDefTree | Builds a tree structure representing the symbol table structure |
| CSymbolDefTreeNode | |
| CSymbolDefTreePass | |
| CSymbolDefTreePrinterPassOptions | |
| CSymbolLookupResult | |
| CSymbolLookupResultUntyped | |
| CSymbolUseGraph | Builds a graph structure representing the relationships between symbols and their uses |
| CSymbolUseGraphNode | |
| CSymbolUseGraphPass | |
| CSymbolUseGraphPrinterPassOptions | |
| CUnreducedInterval | An inclusive interval [a, b] where a and b are arbitrary integers not necessarily bound to a given field |
| CUnusedDeclarationEliminationPassOptions | |
| CVerifySizesForMultiAffineOps | Produces errors if there is an inconsistency in the various attributes/values that are used to support affine map instantiation in the Op marked with this Trait |
| CImpl | |
| CWithin | |
| Nmlir | |
| CFieldParser | |
| CFieldParser< llvm::APInt > | |
| CFieldParser< std::optional<::llzk::boolean::FeltCmpPredicate >, std::optional<::llzk::boolean::FeltCmpPredicate > > | Support for std::optional, useful in attribute/type definition where the enum is used as: |
| CFieldParser< std::optional<::llzk::OutputStream >, std::optional<::llzk::OutputStream > > | Support for std::optional, useful in attribute/type definition where the enum is used as: |
| CFieldParser< std::optional<::llzk::polymorphic::StructCleanupMode >, std::optional<::llzk::polymorphic::StructCleanupMode > > | Support for std::optional, useful in attribute/type definition where the enum is used as: |
| CFieldParser<::llzk::boolean::FeltCmpPredicate, ::llzk::boolean::FeltCmpPredicate > | |
| CFieldParser<::llzk::OutputStream, ::llzk::OutputStream > | |
| CFieldParser<::llzk::polymorphic::StructCleanupMode, ::llzk::polymorphic::StructCleanupMode > | |
| Nstd | |
| Chash< llzk::CDGAnalysisContext > | |
| Chash< llzk::IntervalAnalysisContext > | |
| CMapOperandsHelper | Helper for unwrapping the C arguments for the map operands |
| CMlirOpBuilderInsertPoint | |
| CMlirValueRange | |
1.14.0