| Nllvm | |
| Ncl | |
| Cparser< APInt > | |
| 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 > | |
| CDenseMapInfo<::llzk::smt::BVCmpPredicate > | |
| CDenseMapInfo<::llzk::smt::IntPredicate > | |
| 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 | |
| CMemberDefOpGenericAdaptorBase | |
| CProperties | |
| CMemberReadOpGenericAdaptorBase | |
| CProperties | |
| CMemberRefOpInterfaceInterfaceTraits | |
| CConcept | |
| CExternalModel | |
| CFallbackModel | |
| CModel | |
| CMemberRefOpInterfaceTrait | |
| CMemberWriteOpGenericAdaptorBase | |
| CProperties | |
| CStructDefOpGenericAdaptorBase | |
| CProperties | |
| CStructTypeStorage | |
| CCreateStructOp | |
| CCreateStructOpAdaptor | |
| CCreateStructOpGenericAdaptor | |
| CInStructFunctionNamed | This class provides a verifier for ops that are expecting to have an ancestor FuncDefOp with the given name |
| CImpl | |
| CMemberDefOp | |
| CMemberDefOpAdaptor | |
| CMemberDefOpGenericAdaptor | |
| CMemberReadOp | |
| CMemberReadOpAdaptor | |
| CMemberReadOpGenericAdaptor | |
| CMemberRefOpInterface | |
| CTrait | |
| CMemberWriteOp | |
| CMemberWriteOpAdaptor | |
| CMemberWriteOpGenericAdaptor | |
| CSetFuncAllowAttrs | Only valid/implemented for StructDefOp |
| CStructDefOp | |
| CStructDefOpAdaptor | |
| CStructDefOpGenericAdaptor | |
| CStructDialect | |
| CStructDialectBytecodeInterface | Implement version upgrade for StructDialect |
| CStructType | |
| Nconstrain | |
| Ndetail | |
| CConstraintOpInterfaceInterfaceTraits | |
| CConcept | |
| CExternalModel | |
| CFallbackModel | |
| CModel | |
| CConstraintOpInterfaceTrait | |
| CEmitContainmentOpGenericAdaptorBase | |
| CEmitEqualityOpGenericAdaptorBase | |
| CConstrainDialect | |
| CConstraintOpInterface | |
| CTrait | |
| CEmitContainmentOp | |
| CEmitContainmentOpAdaptor | |
| CEmitContainmentOpGenericAdaptor | |
| CEmitEqualityOp | |
| CEmitEqualityOpAdaptor | |
| CEmitEqualityOpGenericAdaptor | |
| Ndataflow | |
| CAbstractLatticeValue | |
| CAbstractSparseForwardDataFlowAnalysis | LLZK: This class has been ported from the MLIR DenseAnalysis utilities to allow for the use of custom LLZK symbol lookup logic |
| CSparseForwardDataFlowAnalysis | A sparse forward data-flow analysis for propagating SSA value lattices across the IR by implementing transfer functions for operations |
| Ndetail | |
| CNonDetOpGenericAdaptorBase | |
| Nfelt | |
| Ndetail | |
| CAddFeltOpGenericAdaptorBase | |
| CAndFeltOpGenericAdaptorBase | |
| CDivFeltOpGenericAdaptorBase | |
| CFeltBinaryOpInterfaceInterfaceTraits | |
| CConcept | |
| CExternalModel | |
| CFallbackModel | |
| CModel | |
| CFeltBinaryOpInterfaceTrait | |
| CFeltConstantOpGenericAdaptorBase | |
| CProperties | |
| CFeltTypeStorage | |
| CInvFeltOpGenericAdaptorBase | |
| CMulFeltOpGenericAdaptorBase | |
| CNegFeltOpGenericAdaptorBase | |
| CNotFeltOpGenericAdaptorBase | |
| COrFeltOpGenericAdaptorBase | |
| CPowFeltOpGenericAdaptorBase | |
| CShlFeltOpGenericAdaptorBase | |
| CShrFeltOpGenericAdaptorBase | |
| CSignedIntDivFeltOpGenericAdaptorBase | |
| CSignedModFeltOpGenericAdaptorBase | |
| CSubFeltOpGenericAdaptorBase | |
| CUnsignedIntDivFeltOpGenericAdaptorBase | |
| CUnsignedModFeltOpGenericAdaptorBase | |
| CXorFeltOpGenericAdaptorBase | |
| CAddFeltOp | |
| CAddFeltOpAdaptor | |
| CAddFeltOpGenericAdaptor | |
| CAndFeltOp | |
| CAndFeltOpAdaptor | |
| CAndFeltOpGenericAdaptor | |
| CDivFeltOp | |
| CDivFeltOpAdaptor | |
| CDivFeltOpGenericAdaptor | |
| CFeltBinaryOpInterface | |
| CTrait | |
| CFeltConstantOp | |
| CFeltConstantOpAdaptor | |
| CFeltConstantOpGenericAdaptor | |
| CFeltDialect | |
| CFeltType | |
| CInvFeltOp | |
| CInvFeltOpAdaptor | |
| CInvFeltOpGenericAdaptor | |
| CMulFeltOp | |
| CMulFeltOpAdaptor | |
| CMulFeltOpGenericAdaptor | |
| CNegFeltOp | |
| CNegFeltOpAdaptor | |
| CNegFeltOpGenericAdaptor | |
| CNotFeltOp | |
| CNotFeltOpAdaptor | |
| CNotFeltOpGenericAdaptor | |
| COrFeltOp | |
| COrFeltOpAdaptor | |
| COrFeltOpGenericAdaptor | |
| CPowFeltOp | |
| CPowFeltOpAdaptor | |
| CPowFeltOpGenericAdaptor | |
| CShlFeltOp | |
| CShlFeltOpAdaptor | |
| CShlFeltOpGenericAdaptor | |
| CShrFeltOp | |
| CShrFeltOpAdaptor | |
| CShrFeltOpGenericAdaptor | |
| CSignedIntDivFeltOp | |
| CSignedIntDivFeltOpAdaptor | |
| CSignedIntDivFeltOpGenericAdaptor | |
| CSignedModFeltOp | |
| CSignedModFeltOpAdaptor | |
| CSignedModFeltOpGenericAdaptor | |
| CSubFeltOp | |
| CSubFeltOpAdaptor | |
| CSubFeltOpGenericAdaptor | |
| CUnsignedIntDivFeltOp | |
| CUnsignedIntDivFeltOpAdaptor | |
| CUnsignedIntDivFeltOpGenericAdaptor | |
| CUnsignedModFeltOp | |
| CUnsignedModFeltOpAdaptor | |
| CUnsignedModFeltOpGenericAdaptor | |
| 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 | |
| CNotFieldNative | Marker for ops over llzk.felt type operands that are not native to finite field arithmetic |
| 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 | |
| CComputeConstrainToProductPassBase | |
| CConstraintDependencyGraphPrinterPassBase | |
| CEnforceNoMemberOverwritePassBase | |
| CFuseProductLoopsPassBase | |
| CInlineStructsPassBase | |
| CIntervalAnalysisPrinterPassBase | |
| CMemberWriteValidatorPassBase | |
| CPolyLoweringPassBase | |
| CPredecessorPrinterPassBase | |
| CRedundantOperationEliminationPassBase | |
| CRedundantReadAndWriteEliminationPassBase | |
| CSymbolDefTreePrinterPassBase | |
| CSymbolUseGraphPrinterPassBase | |
| CUnusedDeclarationEliminationPassBase | |
| Ninclude | |
| Ndetail | |
| CIncludeOpGenericAdaptorBase | |
| CProperties | |
| Nimpl | |
| CInlineIncludesPassBase | |
| CIncludeDialect | |
| CIncludeOp | |
| CIncludeOpAdaptor | |
| CIncludeOpGenericAdaptor | |
| Npod | |
| Ndetail | |
| CNewPodOpGenericAdaptorBase | |
| CProperties | |
| CPodTypeStorage | |
| CReadPodOpGenericAdaptorBase | |
| CProperties | |
| CWritePodOpGenericAdaptorBase | |
| CProperties | |
| CNewPodOp | |
| CNewPodOpAdaptor | |
| CNewPodOpGenericAdaptor | |
| CPODDialect | |
| CPodType | |
| CReadPodOp | |
| CReadPodOpAdaptor | |
| CReadPodOpGenericAdaptor | |
| CRecordValue | |
| CWritePodOp | |
| CWritePodOpAdaptor | |
| CWritePodOpGenericAdaptor | |
| Npolymorphic | |
| Ndetail | |
| CApplyMapOpGenericAdaptorBase | |
| CProperties | |
| CConstReadOpGenericAdaptorBase | |
| CProperties | |
| CEmptyLegalityCheckCallback | |
| CLegalityCheckCallback | |
| CTemplateExprOpGenericAdaptorBase | |
| CProperties | |
| CTemplateOpGenericAdaptorBase | |
| CProperties | |
| CTemplateParamOpGenericAdaptorBase | |
| CProperties | |
| CTemplateSymbolBindingOpInterfaceInterfaceTraits | |
| CConcept | |
| CExternalModel | |
| CFallbackModel | |
| CModel | |
| CTemplateSymbolBindingOpInterfaceTrait | |
| CTypeVarTypeStorage | |
| CUnifiableCastOpGenericAdaptorBase | |
| CYieldOpGenericAdaptorBase | |
| Nimpl | |
| CEmptyTemplateRemovalPassBase | |
| CFlatteningPassBase | |
| CApplyMapOp | |
| CApplyMapOpAdaptor | |
| CApplyMapOpGenericAdaptor | |
| CConstReadOp | |
| CConstReadOpAdaptor | |
| CConstReadOpGenericAdaptor | |
| CFlatteningPassOptions | |
| CPolymorphicDialect | |
| CTemplateExprOp | |
| CTemplateExprOpAdaptor | |
| CTemplateExprOpGenericAdaptor | |
| CTemplateOp | |
| CTemplateOpAdaptor | |
| CTemplateOpGenericAdaptor | |
| CTemplateParamOp | |
| CTemplateParamOpAdaptor | |
| CTemplateParamOpGenericAdaptor | |
| CTemplateSymbolBindingOpInterface | |
| CTrait | |
| CTypeVarType | |
| CUnifiableCastOp | |
| CUnifiableCastOpAdaptor | |
| CUnifiableCastOpGenericAdaptor | |
| CYieldOp | |
| CYieldOpAdaptor | |
| CYieldOpGenericAdaptor | |
| Nram | |
| Ndetail | |
| CLoadOpGenericAdaptorBase | |
| CStoreOpGenericAdaptorBase | |
| CLoadOp | |
| CLoadOpAdaptor | |
| CLoadOpGenericAdaptor | |
| CRAMDialect | |
| CStoreOp | |
| CStoreOpAdaptor | |
| CStoreOpGenericAdaptor | |
| Nsmt | |
| Ndetail | |
| CAndOpGenericAdaptorBase | |
| CApplyFuncOpGenericAdaptorBase | |
| CArrayBroadcastOpGenericAdaptorBase | |
| CArraySelectOpGenericAdaptorBase | |
| CArrayStoreOpGenericAdaptorBase | |
| CArrayTypeStorage | |
| CAssertOpGenericAdaptorBase | |
| CBitVectorTypeStorage | |
| CBoolConstantOpGenericAdaptorBase | |
| CProperties | |
| CBV2IntOpGenericAdaptorBase | |
| CProperties | |
| CBVAddOpGenericAdaptorBase | |
| CBVAndOpGenericAdaptorBase | |
| CBVAShrOpGenericAdaptorBase | |
| CBVCmpOpGenericAdaptorBase | |
| CProperties | |
| CBVConstantOpGenericAdaptorBase | |
| CProperties | |
| CBVLShrOpGenericAdaptorBase | |
| CBVMulOpGenericAdaptorBase | |
| CBVNegOpGenericAdaptorBase | |
| CBVNotOpGenericAdaptorBase | |
| CBVOrOpGenericAdaptorBase | |
| CBVSDivOpGenericAdaptorBase | |
| CBVShlOpGenericAdaptorBase | |
| CBVSModOpGenericAdaptorBase | |
| CBVSRemOpGenericAdaptorBase | |
| CBVUDivOpGenericAdaptorBase | |
| CBVURemOpGenericAdaptorBase | |
| CBVXOrOpGenericAdaptorBase | |
| CCheckOpGenericAdaptorBase | |
| CConcatOpGenericAdaptorBase | |
| CDeclareFunOpGenericAdaptorBase | |
| CProperties | |
| CDistinctOpGenericAdaptorBase | |
| CEqOpGenericAdaptorBase | |
| CExistsOpGenericAdaptorBase | |
| CProperties | |
| CExtractOpGenericAdaptorBase | |
| CProperties | |
| CForallOpGenericAdaptorBase | |
| CProperties | |
| CImpliesOpGenericAdaptorBase | |
| CInt2BVOpGenericAdaptorBase | |
| CIntAbsOpGenericAdaptorBase | |
| CIntAddOpGenericAdaptorBase | |
| CIntCmpOpGenericAdaptorBase | |
| CProperties | |
| CIntConstantOpGenericAdaptorBase | |
| CProperties | |
| CIntDivOpGenericAdaptorBase | |
| CIntModOpGenericAdaptorBase | |
| CIntMulOpGenericAdaptorBase | |
| CIntNegOpGenericAdaptorBase | |
| CIntSubOpGenericAdaptorBase | |
| CIteOpGenericAdaptorBase | |
| CNotOpGenericAdaptorBase | |
| COrOpGenericAdaptorBase | |
| CPopOpGenericAdaptorBase | |
| CProperties | |
| CPushOpGenericAdaptorBase | |
| CProperties | |
| CRepeatOpGenericAdaptorBase | |
| CResetOpGenericAdaptorBase | |
| CSetLogicOpGenericAdaptorBase | |
| CProperties | |
| CSMTFuncTypeStorage | |
| CSolverOpGenericAdaptorBase | |
| CSortTypeStorage | |
| CXOrOpGenericAdaptorBase | |
| CYieldOpGenericAdaptorBase | |
| CAndOp | |
| CAndOpAdaptor | |
| CAndOpGenericAdaptor | |
| CApplyFuncOp | |
| CApplyFuncOpAdaptor | |
| CApplyFuncOpGenericAdaptor | |
| CArrayBroadcastOp | |
| CArrayBroadcastOpAdaptor | |
| CArrayBroadcastOpGenericAdaptor | |
| CArraySelectOp | |
| CArraySelectOpAdaptor | |
| CArraySelectOpGenericAdaptor | |
| CArrayStoreOp | |
| CArrayStoreOpAdaptor | |
| CArrayStoreOpGenericAdaptor | |
| CArrayType | |
| CAssertOp | |
| CAssertOpAdaptor | |
| CAssertOpGenericAdaptor | |
| CBitVectorType | |
| CBoolConstantOp | |
| CBoolConstantOpAdaptor | |
| CBoolConstantOpGenericAdaptor | |
| CBoolType | |
| CBV2IntOp | |
| CBV2IntOpAdaptor | |
| CBV2IntOpGenericAdaptor | |
| CBVAddOp | |
| CBVAddOpAdaptor | |
| CBVAddOpGenericAdaptor | |
| CBVAndOp | |
| CBVAndOpAdaptor | |
| CBVAndOpGenericAdaptor | |
| CBVAShrOp | |
| CBVAShrOpAdaptor | |
| CBVAShrOpGenericAdaptor | |
| CBVCmpOp | |
| CBVCmpOpAdaptor | |
| CBVCmpOpGenericAdaptor | |
| CBVCmpPredicateAttr | |
| CBVConstantOp | |
| CBVConstantOpAdaptor | |
| CBVConstantOpGenericAdaptor | |
| CBVLShrOp | |
| CBVLShrOpAdaptor | |
| CBVLShrOpGenericAdaptor | |
| CBVMulOp | |
| CBVMulOpAdaptor | |
| CBVMulOpGenericAdaptor | |
| CBVNegOp | |
| CBVNegOpAdaptor | |
| CBVNegOpGenericAdaptor | |
| CBVNotOp | |
| CBVNotOpAdaptor | |
| CBVNotOpGenericAdaptor | |
| CBVOrOp | |
| CBVOrOpAdaptor | |
| CBVOrOpGenericAdaptor | |
| CBVSDivOp | |
| CBVSDivOpAdaptor | |
| CBVSDivOpGenericAdaptor | |
| CBVShlOp | |
| CBVShlOpAdaptor | |
| CBVShlOpGenericAdaptor | |
| CBVSModOp | |
| CBVSModOpAdaptor | |
| CBVSModOpGenericAdaptor | |
| CBVSRemOp | |
| CBVSRemOpAdaptor | |
| CBVSRemOpGenericAdaptor | |
| CBVUDivOp | |
| CBVUDivOpAdaptor | |
| CBVUDivOpGenericAdaptor | |
| CBVURemOp | |
| CBVURemOpAdaptor | |
| CBVURemOpGenericAdaptor | |
| CBVXOrOp | |
| CBVXOrOpAdaptor | |
| CBVXOrOpGenericAdaptor | |
| CCheckOp | |
| CCheckOpAdaptor | |
| CCheckOpGenericAdaptor | |
| CConcatOp | |
| CConcatOpAdaptor | |
| CConcatOpGenericAdaptor | |
| CDeclareFunOp | |
| CDeclareFunOpAdaptor | |
| CDeclareFunOpGenericAdaptor | |
| CDistinctOp | |
| CDistinctOpAdaptor | |
| CDistinctOpGenericAdaptor | |
| CEqOp | |
| CEqOpAdaptor | |
| CEqOpGenericAdaptor | |
| CExistsOp | |
| CExistsOpAdaptor | |
| CExistsOpGenericAdaptor | |
| CExtractOp | |
| CExtractOpAdaptor | |
| CExtractOpGenericAdaptor | |
| CForallOp | |
| CForallOpAdaptor | |
| CForallOpGenericAdaptor | |
| CImpliesOp | |
| CImpliesOpAdaptor | |
| CImpliesOpGenericAdaptor | |
| CInt2BVOp | |
| CInt2BVOpAdaptor | |
| CInt2BVOpGenericAdaptor | |
| CIntAbsOp | |
| CIntAbsOpAdaptor | |
| CIntAbsOpGenericAdaptor | |
| CIntAddOp | |
| CIntAddOpAdaptor | |
| CIntAddOpGenericAdaptor | |
| CIntCmpOp | |
| CIntCmpOpAdaptor | |
| CIntCmpOpGenericAdaptor | |
| CIntConstantOp | |
| CIntConstantOpAdaptor | |
| CIntConstantOpGenericAdaptor | |
| CIntDivOp | |
| CIntDivOpAdaptor | |
| CIntDivOpGenericAdaptor | |
| CIntModOp | |
| CIntModOpAdaptor | |
| CIntModOpGenericAdaptor | |
| CIntMulOp | |
| CIntMulOpAdaptor | |
| CIntMulOpGenericAdaptor | |
| CIntNegOp | |
| CIntNegOpAdaptor | |
| CIntNegOpGenericAdaptor | |
| CIntPredicateAttr | |
| CIntSubOp | |
| CIntSubOpAdaptor | |
| CIntSubOpGenericAdaptor | |
| CIntType | |
| CIteOp | |
| CIteOpAdaptor | |
| CIteOpGenericAdaptor | |
| CNotOp | |
| CNotOpAdaptor | |
| CNotOpGenericAdaptor | |
| COrOp | |
| COrOpAdaptor | |
| COrOpGenericAdaptor | |
| CPopOp | |
| CPopOpAdaptor | |
| CPopOpGenericAdaptor | |
| CPushOp | |
| CPushOpAdaptor | |
| CPushOpGenericAdaptor | |
| CRepeatOp | |
| CRepeatOpAdaptor | |
| CRepeatOpGenericAdaptor | |
| CResetOp | |
| CResetOpAdaptor | |
| CResetOpGenericAdaptor | |
| CSetLogicOp | |
| CSetLogicOpAdaptor | |
| CSetLogicOpGenericAdaptor | |
| CSMTDialect | |
| CSMTFuncType | |
| CSMTOpVisitor | This helps visit SMT nodes |
| CSMTTypeVisitor | This helps visit SMT types |
| CSolverOp | |
| CSolverOpAdaptor | |
| CSolverOpGenericAdaptor | |
| CSortType | |
| CXOrOp | |
| CXOrOpAdaptor | |
| CXOrOpGenericAdaptor | |
| CYieldOp | |
| CYieldOpAdaptor | |
| CYieldOpGenericAdaptor | |
| Nstring | |
| Ndetail | |
| CLitStringOpGenericAdaptorBase | |
| CProperties | |
| CLitStringOp | |
| CLitStringOpAdaptor | |
| CLitStringOpGenericAdaptor | |
| CStringDialect | |
| CStringType | |
| CAuxAssignment | |
| CBaseBuilder | |
| 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 |
| CComputeConstrainToProductPass | |
| CComputeConstrainToProductPassOptions | |
| 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 |
| CEnforceNoMemberOverwritePass | |
| 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 |
| CFuseProductLoopsPass | |
| CFuzzySet | Represents a set where the membership predicate can take three values: true, false, and "unknown" |
| 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 | |
| CIntervalAnalysisLatticeValue | |
| CIntervalAnalysisPrinterPass | |
| CIntervalAnalysisPrinterPassOptions | |
| CIntervalDataFlowAnalysis | |
| CLightweightSignalEquivalenceAnalysis | |
| CLLZKDialect | |
| CLLZKDialectBytecodeInterface | This implements the bytecode interface for the LLZK dialect |
| CLLZKDialectVersion | |
| CLLZKSymbolTableImplTrait | See LLZKSymbolTable ODS documentation for details |
| CLLZKTypeSwitch | Template pattern for performing some operation by cases based on a given LLZK type |
| CLocationComparator | |
| CMemberOverwriteAnalysis | |
| CMemberOverwriteLattice | |
| 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 | |
| CModuleLikeBuilder | |
| CNamedOpLocationLess | |
| CNoContext | An empty struct that is used for convenience for analyses that do not require any context |
| CNonDetOp | |
| CNonDetOpAdaptor | |
| CNonDetOpGenericAdaptor | |
| COpHash | |
| COpLocationLess | |
| CPolyLoweringPassOptions | |
| CPredecessorAnalysis | |
| CPredecessorLattice | |
| CPredecessorPrinterPass | |
| CPredecessorPrinterPassOptions | |
| CProductAligner | |
| CRefValueCapture | Matches and optionally captures a SourceRef base value, which is either a member 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 | Sparse SSA-value lattice for SourceRef propagation |
| 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 | |
| CTemplateBuilder | Builds out a LLZK-compliant template and provides utilities for populating that template |
| CUnreducedInterval | An inclusive interval [a, b] where a and b are arbitrary integers not necessarily bound to a given field |
| CUnusedDeclarationEliminationPassOptions | |
| CValueLess | |
| 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< std::optional<::llzk::smt::BVCmpPredicate >, std::optional<::llzk::smt::BVCmpPredicate > > | Support for std::optional, useful in attribute/type definition where the enum is used as: |
| CFieldParser< std::optional<::llzk::smt::IntPredicate >, std::optional<::llzk::smt::IntPredicate > > | 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 > | |
| CFieldParser<::llzk::smt::BVCmpPredicate, ::llzk::smt::BVCmpPredicate > | |
| CFieldParser<::llzk::smt::IntPredicate, ::llzk::smt::IntPredicate > | |
| Nmlir_hotfix | Replace mlir::registerTransformsPasses() to register a custom remove-dead-values pass because MLIR version 20 has a bug in that pass which causes an assertion failure when it encounters an scf.if op with an empty else region |
| CRemoveDeadValuesWorkaroundPass | |
| Nstd | |
| Chash< llzk::CDGAnalysisContext > | |
| Chash< llzk::IntervalAnalysisContext > | |
| CAddFeltOpBuildFuncHelper | |
| CAndBoolOpBuildFuncHelper | |
| CAndFeltOpBuildFuncHelper | |
| CArrayDialectLinkTests | |
| CArrayLengthOpBuildFuncHelper | |
| CArrayOperationLinkTests | |
| CArrayTypeLinkTests | |
| CAssertOpBuildFuncHelper | |
| CAttrOrTypeHeaderGenerator | Generator for attribute/type C header files |
| CAttrOrTypeImplementationGenerator | Generator for attribute/type C implementation files |
| CAttrOrTypeTestGenerator | Base class for attribute and type test generators |
| CBoolAttributeLinkTests | |
| CBoolDialectLinkTests | |
| CBoolEnumLinkTests | |
| CBoolOperationLinkTests | |
| CCastDialectLinkTests | |
| CCastOperationLinkTests | |
| CClangLexerContext | RAII wrapper for Clang lexer infrastructure |
| CImpl | |
| CCmpOpBuildFuncHelper | |
| CConstrainDialectLinkTests | |
| CConstrainOperationLinkTests | |
| CConstReadOpBuildFuncHelper | |
| CCreateStructOpBuildFuncHelper | |
| CDivFeltOpBuildFuncHelper | |
| CEmitContainmentOpBuildFuncHelper | |
| CEmitEqualityOpBuildFuncHelper | |
| CExtractArrayOpBuildFuncHelper | |
| CExtraMethod | Structure to represent a parsed method signature from an extraClassDeclaration |
| CFeltAttributeLinkTests | |
| CFeltConstantOpBuildFuncHelper | |
| CFeltDialectLinkTests | |
| CFeltOperationLinkTests | |
| CFeltToIndexOpBuildFuncHelper | |
| CFeltTypeLinkTests | |
| CFuncDefOpBuildFuncHelper | |
| CFunctionAttributeLinkTests | |
| CFunctionDialectLinkTests | |
| CFunctionOperationLinkTests | |
| CGenerator | Base class for C API generators |
| CGenStringFromOpPieces | Helper struct to generate a string from operation operand, attribute, and result pieces |
| CGlobalDefOpBuildFuncHelper | |
| CGlobalDialectLinkTests | |
| CGlobalOperationLinkTests | |
| CGlobalReadOpBuildFuncHelper | |
| CGlobalWriteOpBuildFuncHelper | |
| CHeaderGenerator | Generator for common C header file elements |
| CImplementationGenerator | Generator for common C implementation file elements |
| CIncludeDialectLinkTests | |
| CIncludeOpBuildFuncHelper | |
| CIncludeOperationLinkTests | |
| CInsertArrayOpBuildFuncHelper | |
| CIntToFeltOpBuildFuncHelper | |
| CInvFeltOpBuildFuncHelper | |
| CLitStringOpBuildFuncHelper | |
| CLlzkAffineMapOperandsBuilder | Encapsulates the arguments related to affine maps that are common in operation constructors that support them |
| CLlzkAttributeLinkTests | |
| CLlzkDialectLinkTests | |
| CLlzkOperationLinkTests | |
| CLlzkRecordValue | Information needed to define a pod RecordAttr given a name and a value that will be stored in the record |
| CLlzkSymbolLookupResult | Owned result of an LLZK symbol lookup |
| CLoadOpBuildFuncHelper | |
| CMapOperandsHelper | Helper for unwrapping the C arguments for the map operands |
| CMemberWriteOpBuildFuncHelper | |
| CMethodParameter | Structure to represent a parameter in a parsed method signature from an extraClassDeclaration |
| CMlirOpBuilderInsertPoint | Current insertion point of an mlir::OpBuilder instance represented as a block and an operation within that block |
| CMlirValueRange | Representation of an mlir::ValueRange |
| CMulFeltOpBuildFuncHelper | |
| CNegFeltOpBuildFuncHelper | |
| CNonDetOpBuildFuncHelper | |
| CNotBoolOpBuildFuncHelper | |
| CNotFeltOpBuildFuncHelper | |
| COpGeneratorData | Common between header and implementation generators for operations |
| COpHeaderGenerator | Generator for operation C header files |
| COpImplementationGenerator | Generator for operation C implementation files |
| COrBoolOpBuildFuncHelper | |
| COrFeltOpBuildFuncHelper | |
| CPodAttributeLinkTests | |
| CPodDialectLinkTests | |
| CPodOperationLinkTests | |
| CPodTypeLinkTests | |
| CPolyDialectLinkTests | |
| CPolyOperationLinkTests | |
| CPolyTypeLinkTests | |
| CPowFeltOpBuildFuncHelper | |
| CRamDialectLinkTests | |
| CRamOperationLinkTests | |
| CReadArrayOpBuildFuncHelper | |
| CReadPodOpBuildFuncHelper | |
| CReturnOpBuildFuncHelper | |
| CShlFeltOpBuildFuncHelper | |
| CShrFeltOpBuildFuncHelper | |
| CSignedIntDivFeltOpBuildFuncHelper | |
| CSignedModFeltOpBuildFuncHelper | |
| CStoreOpBuildFuncHelper | |
| CStringDialectLinkTests | |
| CStringOperationLinkTests | |
| CStringTypeLinkTests | |
| CStructDefOpBuildFuncHelper | |
| CStructDialectLinkTests | |
| CStructOperationLinkTests | |
| CStructTypeLinkTests | |
| CSubFeltOpBuildFuncHelper | |
| CTemplateExprOpBuildFuncHelper | |
| CTemplateOpBuildFuncHelper | |
| CTemplateParamOpBuildFuncHelper | |
| CTestGenerator | Generator for common test implementation file elements |
| CUnifiableCastOpBuildFuncHelper | |
| CUnsignedIntDivFeltOpBuildFuncHelper | |
| CUnsignedModFeltOpBuildFuncHelper | |
| CWriteArrayOpBuildFuncHelper | |
| CWritePodOpBuildFuncHelper | |
| CXorBoolOpBuildFuncHelper | |
| CXorFeltOpBuildFuncHelper | |
| CYieldOpBuildFuncHelper | |
1.14.0