Module org.kink_lang.kink

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

Class Ssafier

java.lang.Object

org.kink_lang.kink.internal.program.itreeoptimize.ssafy.Ssafier

public final class Ssafier
extends Object

Conversion to static single assignment (SSA) form.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	Ssafier.Callback	Callback for conversion.

Method Summary

Modifier and Type	Method	Description
static Itree	ssafy(Itree funBody, Supplier<String> uniqSupplier)	Converts funBody into SSA form.

Methods inherited from class java.lang.Object

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

Method Details

ssafy

public static Itree ssafy(Itree funBody,
 Supplier<String> uniqSupplier)

Converts funBody into SSA form.

Parameters:

funBody - a fun body to convert. It must have been checked by SsaChecker.

uniqSupplier - supplies unique strings used for LocalVar.Generated.

Returns:

ssa-fied fun body.