Module org.kink_lang.kink

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

Class BranchInliner

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.BranchInliner

All Implemented Interfaces:

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

public class BranchInliner
extends BaseOptimizer

Applies inlining of calls of branch in the form below.

 branch(
   { cond1 } { body1 }
   { cond2 } { body2 }
   ,,,
   { condn } { bodyn }
 )
 

This inlining must take place under the body of IndexFunItree.

Constructor Summary

Constructors

Constructor	Description
BranchInliner()

Method Summary

Modifier and Type	Method	Description
Itree	visit(SymcallItree scall)	Visits a symcall itree.

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

BranchInliner

public BranchInliner()

Method Details

visit

public Itree visit(SymcallItree scall)

Description copied from interface: ItreeVisitor

Visits a symcall itree.

Specified by:

visit in interface ItreeVisitor<Itree>

Overrides:

visit in class SkeltonItreeVisitor<Itree>

Parameters:

scall - the symcall itree.

Returns:

the result.