Module org.kink_lang.kink

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

Class BranchWithElseInliner

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

All Implemented Interfaces:

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

public class BranchWithElseInliner
extends BaseOptimizer

Applies inlining of calls of branch in the form below.

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

This inlining must take place under the body of IndexFunItree.

Conds must not modify local vars, because it wrongly affects dereferences in other conds and result bodies.

Constructor Summary

Constructors

Constructor	Description
BranchWithElseInliner()

Method Summary

Modifier and Type	Method	Description
Itree	visit(SymcallItree org)	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

BranchWithElseInliner

public BranchWithElseInliner()

Method Details

visit

public Itree visit(SymcallItree org)

Description copied from interface: ItreeVisitor

Visits a symcall itree.

Specified by:

visit in interface ItreeVisitor<Itree>

Overrides:

visit in class SkeltonItreeVisitor<Itree>

Parameters:

org - the symcall itree.

Returns:

the result.