Module org.kink_lang.kink

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

Class LetRecReducer

java.lang.Object

org.kink_lang.kink.internal.program.itree.SkeltonItreeVisitor<Itree>

org.kink_lang.kink.internal.program.itreeoptimize.BaseOptimizer

org.kink_lang.kink.internal.program.itreeoptimize.LetRecReducer

All Implemented Interfaces:

Function<Itree,Itree>, UnaryOperator<Itree>, ItreeVisitor<Itree>

public class LetRecReducer
extends BaseOptimizer

Remove assignment from letrec if the lvar is not used.

Constructor Summary

Constructors

Constructor	Description
LetRecReducer(UsedDefinedVars enclosing)	Constructs an optimizer.

Method Summary

Modifier and Type	Method	Description
Itree	visit(LetRecItree letrec)	Visits an itree of letrec.

Methods inherited from class org.kink_lang.kink.internal.program.itreeoptimize.BaseOptimizer

apply

Methods inherited from class org.kink_lang.kink.internal.program.itree.SkeltonItreeVisitor

visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface java.util.function.Function

andThen, compose

Constructor Details

LetRecReducer

public LetRecReducer(UsedDefinedVars enclosing)

Constructs an optimizer.

Parameters:

enclosing - the enclosing fun.

Method Details

visit

public Itree visit(LetRecItree letrec)

Description copied from interface: ItreeVisitor

Visits an itree of letrec.

Specified by:

visit in interface ItreeVisitor<Itree>

Overrides:

visit in class SkeltonItreeVisitor<Itree>

Parameters:

letrec - the letrec itree.

Returns:

the result.