File List

Here is a list of all files with brief descriptions:

[detail level 1234567]

build
include
llzk
Analysis
AnalysisPassEnums.cpp.inc
AnalysisPassEnums.h.inc
AnalysisPasses.h.inc
Config
Config.h
Dialect
Array
IR
Dialect.cpp.inc
Dialect.h.inc
OpInterfaces.cpp.inc
OpInterfaces.h.inc
Ops.cpp.inc
Ops.h.inc
Types.cpp.inc
Types.h.inc
Transforms
TransformationPasses.capi.cpp.inc
TransformationPasses.capi.h.inc
TransformationPasses.h.inc
Bool
IR
Attrs.cpp.inc
Attrs.h.inc
Dialect.cpp.inc
Dialect.h.inc
Enums.cpp.inc
Enums.h.inc
Ops.cpp.inc
Ops.h.inc
Cast
IR
Dialect.cpp.inc
Dialect.h.inc
Ops.cpp.inc
Ops.h.inc
Constrain
IR
Dialect.cpp.inc
Dialect.h.inc
OpInterfaces.cpp.inc
OpInterfaces.h.inc
Ops.cpp.inc
Ops.h.inc
Felt
IR
Attrs.cpp.inc
Attrs.h.inc
Dialect.cpp.inc
Dialect.h.inc
OpInterfaces.cpp.inc
OpInterfaces.h.inc
Ops.cpp.inc
Ops.h.inc
Types.cpp.inc
Types.h.inc
Function
IR
Attrs.cpp.inc
Attrs.h.inc
Dialect.cpp.inc
Dialect.h.inc
Ops.cpp.inc
Ops.h.inc
Global
IR
Dialect.cpp.inc
Dialect.h.inc
OpInterfaces.cpp.inc
OpInterfaces.h.inc
Ops.cpp.inc
Ops.h.inc
Include
IR
Dialect.cpp.inc
Dialect.h.inc
Ops.cpp.inc
Ops.h.inc
Transforms
InlineIncludesPass.capi.cpp.inc
InlineIncludesPass.capi.h.inc
InlineIncludesPass.h.inc
LLZK
IR
Attrs.cpp.inc
Attrs.h.inc
Dialect.cpp.inc
Dialect.h.inc
Ops.cpp.inc
Ops.h.inc
POD
IR
Attrs.cpp.inc
Attrs.h.inc
Dialect.cpp.inc
Dialect.h.inc
Ops.cpp.inc
Ops.h.inc
Types.cpp.inc
Types.h.inc
Polymorphic
IR
Dialect.cpp.inc
Dialect.h.inc
Ops.cpp.inc
Ops.h.inc
Types.cpp.inc
Types.h.inc
Transforms
TransformationPassEnums.cpp.inc
TransformationPassEnums.h.inc
TransformationPasses.capi.cpp.inc
TransformationPasses.capi.h.inc
TransformationPasses.h.inc
String
IR
Dialect.cpp.inc
Dialect.h.inc
Ops.cpp.inc
Ops.h.inc
Types.cpp.inc
Types.h.inc
Struct
IR
Dialect.cpp.inc
Dialect.h.inc
OpInterfaces.cpp.inc
OpInterfaces.h.inc
Ops.cpp.inc
Ops.h.inc
Types.cpp.inc
Types.h.inc
Transforms
LLZKTransformationPasses.capi.cpp.inc
LLZKTransformationPasses.capi.h.inc
LLZKTransformationPasses.h.inc
Validators
LLZKValidationPasses.capi.cpp.inc
LLZKValidationPasses.capi.h.inc
LLZKValidationPasses.h.inc
doc
doxygen
include
llzk
Analysis
AbstractLatticeValue.h
AnalysisPassEnums.h
AnalysisPasses.h
AnalysisPasses.td
AnalysisUtil.h
AnalysisWrappers.h	Convenience classes for a frequent pattern of dataflow analysis used in LLZK, where an analysis is run across all StructDefOps contained within a module, where each of those analyses may need to reference the analysis results from other StructDefOps
CallGraph.h
CallGraphAnalyses.h
ConstraintDependencyGraph.h
DenseAnalysis.h	This file implements (LLZK-tailored) dense data-flow analysis using the data-flow analysis framework
Field.h
GraphUtil.h
IntervalAnalysis.h
Intervals.h
LightweightSignalEquivalenceAnalysis.h
Matchers.h
SourceRef.h
SourceRefLattice.h
SparseAnalysis.h	This file implements sparse data-flow analysis using the data-flow analysis framework
SymbolDefTree.h
SymbolUseGraph.h
CAPI
Builder.h
Support.h
Dialect
Array
IR
Dialect.h
Dialect.td
OpInterfaces.td
Ops.h
Ops.td
Types.h
Types.td
Transforms
TransformationPasses.h
TransformationPasses.td
Util
ArrayTypeHelper.h
Bool
IR
Attrs.h
Attrs.td
Dialect.h
Dialect.td
Enums.h
Enums.td
Ops.h
Ops.td
Cast
IR
Dialect.h
Dialect.td
Ops.h
Ops.td
Constrain
IR
Dialect.h
Dialect.td
OpInterfaces.h
OpInterfaces.td
Ops.h
Ops.td
Felt
IR
Attrs.h
Attrs.td
Dialect.h
Dialect.td
OpInterfaces.td
Ops.h
Ops.td
Types.h
Types.td
Function
IR
Attrs.h
Attrs.td
Dialect.h
Dialect.td
Ops.h
Ops.td
OpTraits.h
OpTraits.td
Global
IR
Dialect.h
Dialect.td
OpInterfaces.td
Ops.h
Ops.td
Include
IR
Dialect.h
Dialect.td
Ops.h
Ops.td
Transforms
InlineIncludesPass.h
InlineIncludesPass.td
Util
IncludeHelper.h
LLZK
IR
AttributeHelper.h
AttributeHelper.td
Attrs.h
Attrs.td
Dialect.h
Dialect.td
Ops.h
Ops.td
Versioning.h
POD
IR
Attrs.h
Attrs.td
Dialect.h
Dialect.td
Ops.h
Ops.td
Types.h
Types.td
Polymorphic
IR
Dialect.h
Dialect.td
Ops.h
Ops.td
Types.h
Types.td
Transforms
TransformationPassEnums.h
TransformationPasses.h
TransformationPasses.td
Shared
Builders.h
OpHelpers.h
OpsBase.td
OpTraits.td
Types.td
String
IR
Dialect.h
Dialect.td
Ops.h
Ops.td
Types.h
Types.td
Struct
IR
Dialect.h
Dialect.td
OpInterfaces.h
OpInterfaces.td
Ops.h
Ops.td
Types.h
Types.td
InitDialects.h	This file defines llzk::registerAllDialects
Pass
PassBase.h
PassBase.td
Transforms
LLZKComputeConstrainToProductPass.h
LLZKConversionUtils.h
LLZKFuseProductLoopsPass.h
LLZKInlineStructsPass.h
LLZKLoweringUtils.h
LLZKTransformationPasses.h
LLZKTransformationPasses.td
Parsers.h
Util
AffineHelper.h
AlignmentHelper.h
BuilderHelper.h
Compare.h
Concepts.h
Constants.h
Debug.h
DynamicAPIntHelper.h	This file implements helper methods for constructing DynamicAPInts
ErrorHelper.h
Hash.h
StreamHelper.h
SymbolHelper.h
SymbolLookup.h	This file defines methods symbol lookup across LLZK operations and included files
SymbolTableLLZK.h
TypeHelper.h
Validators
LLZKValidationPasses.h
LLZKValidationPasses.td
llzk-c
Dialect
Array.h
Bool.h
Cast.h
Constrain.h
Felt.h
Function.h
Global.h
Include.h
LLZK.h
POD.h
Poly.h
String.h
Struct.h
Builder.h
Constants.h
InitDialects.h
Support.h
Transforms.h
Typing.h
Validators.h
lib
Analysis
AnalysisPassEnums.cpp
AnalysisUtil.cpp
CallGraph.cpp
CallGraphAnalyses.cpp
CallGraphPasses.cpp	This file implements the -llzk-print-call-graph and -llzk-print-call-graph-sccs passes
ConstraintDependencyGraph.cpp
ConstraintDependencyGraphPass.cpp	This file implements the -llzk-print-constraint-dependency-graphs pass
DenseAnalysis.cpp
Field.cpp
IntervalAnalysis.cpp
IntervalAnalysisPass.cpp	This file implements the -llzk-print-interval-analysis pass
Intervals.cpp
LightweightSignalEquivalenceAnalysis.cpp	This file implements a basic signal equivalence analysis
SourceRef.cpp
SourceRefLattice.cpp
SparseAnalysis.cpp
SymbolDefTree.cpp
SymbolDefTreePass.cpp	This file implements the -llzk-print-symbol-def-tree pass
SymbolUseGraph.cpp
SymbolUseGraphPass.cpp	This file implements the -llzk-print-symbol-use-graph pass
Bindings
Python
LLZKRegistration.cpp	This defines a module that can be used to register the LLZK dialects
CAPI
Dialect
Array.cpp
Bool.cpp
Cast.cpp
Constrain.cpp
Felt.cpp
Function.cpp
Global.cpp
Include.cpp
LLZK.cpp
POD.cpp
Poly.cpp
String.cpp
Struct.cpp
Builder.cpp
Constants.cpp
InitDialects.cpp
Support.cpp
Transforms.cpp
Typing.cpp
Validators.cpp
Dialect
Array
IR
Dialect.cpp
Ops.cpp
Types.cpp
Transforms
ArrayToScalarPass.cpp	This file implements the -llzk-array-to-scalar pass
Util
ArrayTypeHelper.cpp	This file contains the implementation for array type helpers
Bool
IR
Dialect.cpp
Enums.cpp
Ops.cpp
Cast
IR
Dialect.cpp
Ops.cpp
Constrain
IR
Dialect.cpp
Ops.cpp
Felt
IR
Attrs.cpp
Dialect.cpp
Ops.cpp
Function
IR
Dialect.cpp
Ops.cpp
OpTraits.cpp
Global
IR
Dialect.cpp
Ops.cpp
Include
IR
Dialect.cpp
Ops.cpp
Transforms
InlineIncludesPass.cpp	This file implements the -llzk-inline-includes pass
Util
IncludeHelper.cpp	This file contains the implementation for file include helpers
LLZK
IR
AttributeHelper.cpp
Dialect.cpp
Ops.cpp
Versioning.cpp
POD
IR
Attrs.cpp
Dialect.cpp
Ops.cpp
Types.cpp
Polymorphic
IR
Dialect.cpp
Ops.cpp
Transforms
EmptyParamListRemovalPass.cpp	This file implements the -llzk-drop-empty-params pass
FlatteningPass.cpp	This file implements the -llzk-flatten pass
SharedImpl.cpp
SharedImpl.h	Common private implementation for poly dialect passes
TransformationPassEnums.cpp
Shared
Builders.cpp
String
IR
Dialect.cpp
Ops.cpp
Struct
IR
Dialect.cpp
Ops.cpp
Types.cpp
InitDialects.cpp
Transforms
LLZKComputeConstrainToProductPass.cpp	This file implements the -llzk-product-program pass
LLZKFuseProductLoopsPass.cpp	This file implements the -llzk-fuse-product-loops pass
LLZKInlineStructsPass.cpp	This file implements the -llzk-inline-structs pass
LLZKInliningExtensions.cpp
LLZKLoweringUtils.cpp
LLZKPCLLoweringPass.cpp	This file implements the -llzk-pcl-lowering pass
LLZKPolyLoweringPass.cpp	This file implements the -llzk-poly-lowering pass
LLZKR1CSLoweringPass.cpp	This file implements the -llzk-r1cs-lowering pass
LLZKRedundantOperationEliminationPass.cpp	This file implements the -llzk-duplicate-op-elim pass
LLZKRedundantReadAndWriteEliminationPass.cpp	This file implements the -llzk-duplicate-read-write-elim pass
LLZKUnusedDeclarationEliminationPass.cpp	This file implements the -llzk-unused-declaration-elim pass
TransformationPassPipelines.cpp	This file implements logic for registering the -llzk-remove-unnecessary-ops and -llzk-remove-unnecessary-ops-and-defs pipelines
Util
AffineHelper.cpp
Debug.cpp
DynamicAPIntHelper.cpp
SymbolHelper.cpp	This file contains the implementations for symbol helper functions
SymbolLookup.cpp	This file contains the implementations for symbol lookup helper functions
SymbolTableLLZK.cpp	This is a selection of code from mlir/lib/IR/SymbolTable.cpp to support a modified version of walkSymbolRefs() so the "symbol use" functions will also consider symbols used within the operand and result types of Ops
TypeHelper.cpp
Validators
LLZKValidationPasses.cpp	This file contains the implementation for the -llzk-validate-member-writes pass
tools
include
tools
config.h
llzk-lsp-server
llzk-lsp-server.cpp
llzk-opt
llzk-opt.cpp	This file implements a version of the mlir-opt tool configured for use on LLZK files
llzk-tblgen
AttrCAPIGen.cpp
AttrCAPITestGen.cpp
CommonAttrOrTypeCAPIGen.h
CommonAttrOrTypeCAPITestGen.cpp
CommonAttrOrTypeCAPITestGen.h	This file provides common utilities for generating C API link tests for attributes and types
CommonCAPIGen.cpp
CommonCAPIGen.h
DialectCAPITestGen.cpp
EnumCAPIGen.cpp
EnumCAPITestGen.cpp
llzk-tblgen.cpp	This file implements the main entry point for the llzk-tblgen tool
OpCAPIGen.cpp
OpCAPIParamHelper.cpp
OpCAPIParamHelper.h
OpCAPITestGen.cpp
TypeCAPIGen.cpp
TypeCAPITestGen.cpp
r1cs-opt
r1cs-opt.cpp