Skip to main content

Module optimizer

Module optimizer 

Source
Expand description

The optimizer applies metadata-only rewrite rules (reduce and reduce_parent) in a fixpoint loop until no more transformations are possible.

Optimization runs between execution steps, which is what enables cross-step optimizations: after a child is decoded, new reduce_parent rules may match that were previously blocked.

Modules§

rules
Metadata-only rewrite rules for the optimizer (Layers 1 and 2 of the execution model).

Traits§

ArrayOptimizer
Extension trait for optimizing array trees using reduce/reduce_parent rules.