Expand description
§leo-passes
Modules§
Structs§
- Aleo
Closure - Aleo
Constructor - Aleo
Finalize - Aleo
Function - Aleo
Input - Aleo
Mapping - Aleo
Program - Aleo
Record - Aleo
Struct - Assigner
- A struct used to create assignment statements.
- Assigner
Inner - Contains the actual data for
Assigner. Modeled this way to afford an API using interior mutability. - Block
ToFunction Rewriter - Bytecode
- Bytecode for a single program.
- Check
Interfaces - A pass to validate interface inheritance soundness.
- Code
Generating - Common
Subexpression Eliminating - Compiled
Programs - The result of code generation for a Leo program.
- Compiler
State - Contains data shared by many compiler passes.
- Const
Prop Unroll AndMorphing - Pass that runs const propagation, loop unrolling, and monomorphization until a fixed point.
- Const
Propagation - A pass to perform const propagation and folding.
- Const
Propagation Output - Const
Propagation Visitor - Dead
Code Eliminating - Dead
Code Eliminating Output - Destructuring
- A pass to rewrite tuple creation and accesses into other code.
- Disambiguate
- Pass that turns ambiguous calls into their proper form after type checking such as get and set for mappings/vectors
- Disambiguate
Visitor - Finalizer
- Flattening
- Function
Inlining - Function
Symbol - Global
Items Collection - A pass to fill the SymbolTable.
- Global
Vars Collection - Monomorphization
- Monomorphization
Output - Name
Validation - A pass to validate names.
- Option
Lowering - Path
Resolution - Processing
Async - Remove
Unreachable - Pass that removes unreachable code created by early returns
- Remove
Unreachable Output - Remove
Unreachable Visitor - Rename
Table RenameTabletracks the names assigned by static single assignment in a single scope.- Replacer
- A
Replacertraverses and reconstructs the AST, applying a user-defined replacement function to eachExpression. - SsaConst
Propagation - SsaConst
Propagation Visitor - Visitor that propagates constant values through the program.
- SsaForming
- SsaForming
Input - Static
Analyzing - Storage
Lowering - Symbol
Access Collector - Symbol
Table - Maps global and local symbols to information about them.
- Type
Checking - A pass to check types.
- Type
Checking Input - Specify network limits for type checking.
- Type
Table - A mapping between node IDs and their types.
- Unrolling
- Unrolling
Output - Variable
Symbol - An entry for a variable in the symbol table.
- Write
Transforming - A pass to rewrite assignments to array accesses and composite accesses.
Enums§
- Aleo
Datatype - Aleo
Expr - Aleo
Functional - AleoReg
- Aleo
Stmt - Aleo
Type - Aleo
Visibility - Variable
Type - An enumeration of the different types of variable type.
Traits§
- Pass
- A compiler pass.
Functions§
Type Aliases§
- Conditional
Tree Node - A binary search tree to store all paths through nested conditional blocks.