Module org.kink_lang.kink

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

Class SsaChecker

java.lang.Object

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

All Implemented Interfaces:

DeepTransformer.Callback

public class SsaChecker
extends Object
implements DeepTransformer.Callback

Determines whether a fun can be converted to SSA.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	SsaChecker.CannotSsafyException	Unchecked exception for an itree which cannot be converted to SSA.

Constructor Summary

Constructors

Constructor	Description
SsaChecker()

Method Summary

Modifier and Type	Method	Description
static boolean	canConvertToSsa(Itree body)	Determines whether a fun can be converted to SSA.
LocalVar	derefLvar(LocalVar lvar)	Transforms dereference of a local var.
Itree	itree(Itree itree)	Transforms the itree.
LocalVar	storeLvar(LocalVar lvar)	Transforms storing to a local var.

Methods inherited from class java.lang.Object

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

Constructor Details

SsaChecker

public SsaChecker()

Method Details

canConvertToSsa

public static boolean canConvertToSsa(Itree body)

Determines whether a fun can be converted to SSA.

Parameters:

body - the fun body to test.

Returns:

whether the fun can be converted to SSA.

derefLvar

public LocalVar derefLvar(LocalVar lvar)

Description copied from interface: DeepTransformer.Callback

Transforms dereference of a local var.

Dereference of NoTraitNewValItree, TraitNewValItree, IfItree, BranchItree, and BranchWithElseItree must not be transformed.

Specified by:

derefLvar in interface DeepTransformer.Callback

Parameters:

lvar - the local var.

Returns:

the result of transformation.

storeLvar

public LocalVar storeLvar(LocalVar lvar)

Description copied from interface: DeepTransformer.Callback

Transforms storing to a local var.

Specified by:

storeLvar in interface DeepTransformer.Callback

Parameters:

lvar - the original local var to be transformed.

Returns:

the result of transformation.

itree

public Itree itree(Itree itree)

Description copied from interface: DeepTransformer.Callback

Transforms the itree.

If itree is FastFunItree, the result must also be FastFunItree.

Specified by:

itree in interface DeepTransformer.Callback

Parameters:

itree - the itree to be transformed.

Returns:

the result of transformation.