Module org.kink_lang.kink

Package org.kink_lang.kink.internal.program.itreeoptimize

package org.kink_lang.kink.internal.program.itreeoptimize

Provides optimizers of itrees.

Related Packages

Package	Description
org.kink_lang.kink.internal.program.itreeoptimize.ssafy	Conversion of an itree to SSA - Static Single Assignment - form.

Classes

Class	Description
ArgsPassingOptimizer	Converts expression like [:X :Y] <- \args to ArgsPassingItree.
AssignmentOptimizer	Optimizes a mcall like X <- Y to AssignmentItree.
BaseOptimizer	Base class for optimizing visitors.
BiArithmeticInliner	Optimizes bi arithmetic operations to BiArithmeticItree..
BranchInliner	Applies inlining of calls of branch in the form below.
BranchWithElseInliner	Applies inlining of calls of branch in the form below.
ContentPropagator	Propagates the content of local var in its dereference.
DeadLstoreEliminator	Eliminates lstore to unused lvars.
DeparenOptimizer	Reduces a one step seq to an expression, removing the parentheses.
EliminateUnusedOptimizer	Eliminates unused code from a seq.
FlattenSeqOptimizer	Flattens a seq recursively.
FunMcallToSymcallOptimizer	Converts method call of Fun.call to symcall.
IfInliner	Inlining optimizer of preloaded if.
ItreeOptimizers	A class to provide the optimizer of itrees.
LderefOptimizer	Optimizes \binding.Data to Data.
LetRecChainer	Unifies consequent letrec into a single letrec.
LetRecProducer	Converts :foo <- { ,,, } to letrec.
LetRecReducer	Remove assignment from letrec if the lvar is not used.
LetSymcallInliner	Inlining optimizer of a let clause on the tail context.
LstoreOptimizer	Optimizer from :Val <- 42 to an LSTORE itree.
MinusConstantFolder	Applies constant folding for expressions in the form - NUM_CONST.
NestedArgsPassingOptimizer	Converts expression like [:X :Y] <- \args to ArgsPassingItree.
NestedVecAssignmentInliner	Inlining of assignment in the form [:X [:Y :Z]] <- Rhs.
OptRestVecAssignmentOptimizer	Optimizes [:A :B :C.opt :D.opt :Rest.rest] <- xxx to OptRestVecAssignmentItree.
OptVecAssignmentOptimizer	Optimizes assignment in the form [:A :B :C.opt :D.opt] <- xxx.
ParenContOptimizer	Optimizer which puts the continuation of a seq into the seq.
RecursiveOptimizer	A recursive composite optimizer.
RepetitiveOptimizer	Composite optimizer which applies the component optimizers until it reaches the fixed point.
RestVecAssignmentOptimizer	Optimizes [:Rest.rest] <- xxx to RestVecAssignmentItree.
SimpleNewValInliner	Optimizes invocation in the form new_val('X' x 'Y' y).
SsafyOptimizer	Converts a fun to SSA form if possible.
StoreOptimizer	Optimizer from B:X <- 42 to a STORE itree.
TemplateArgsPassingOptimizer<S extends ItreeWithRhs,D extends Itree>	Converts an assignment to args passing.
TraitNewValOptimizer	Converts expression like new_val(... Trait 'X' 10 'Y' 20) to TraitNewValItree.
UnnestArgsPassingOptimizer	Converts nested args passing to unnested one.
VarrefVecAssignmentInliner	Optimizes an assignment in the form [X:Foo Y:Bar] <- Rhs to VarrefVecAssignmentItree.
VarrefVecAssignmentToLocalOptimizer	Optimizes a VarrefVecAssignmentItree to a better form.