net.covers1624.coffeegrinder.bytecode.transform.transformers

Class VariableDeclarations

java.lang.Object

net.covers1624.coffeegrinder.bytecode.InsnVisitor<None,C>

net.covers1624.coffeegrinder.bytecode.SimpleInsnVisitor<None>

net.covers1624.coffeegrinder.bytecode.transform.transformers.VariableDeclarations

All Implemented Interfaces:

MethodTransformer, Transformer

public class VariableDeclarations
extends SimpleInsnVisitor<None>
implements MethodTransformer

A variable is in scope, if the parent of the declaration (IStoreInstruction) is an ancestor of the usage and the declaration has a lower child index in the common ancestor than the usage

Split variables with an aliased declaration in-scope are merged. Created by covers1624 on 15/9/21.

Field Summary

Fields inherited from class net.covers1624.coffeegrinder.bytecode.SimpleInsnVisitor

NONE

Constructor Summary

Constructors

Constructor and Description
VariableDeclarations()

Method Summary

Modifier and Type	Method and Description
static Instruction	selectDeclarableParent(Instruction insn) find the first declaration point, the first ancestor which is a child of a block (which may be this instruction, or a parent)
void	transform(MethodDecl function, MethodTransformContext ctx) Transform the MethodDecl.
static Instruction	unifyUsages(Instruction decl, Instruction usage) Finds a suitable declaration location such that usage is in scope with the previous declaration.
None	visitLocalReference(LocalReference localRef, None ctx)

Methods inherited from class net.covers1624.coffeegrinder.bytecode.SimpleInsnVisitor

visitDefault

Methods inherited from class net.covers1624.coffeegrinder.bytecode.InsnVisitor

visitArrayElementReference, visitArrayLen, visitAssert, visitBinary, visitBlock, visitBlockContainer, visitBranch, visitCheckCast, visitClassDecl, visitCompare, visitComparison, visitCompoundAssignment, visitContinue, visitDeadCode, visitDoWhileLoop, visitFieldDecl, visitFieldReference, visitForEachLoop, visitForLoop, visitIfInstruction, visitInstanceOf, visitInvoke, visitInvokeDynamic, visitLdcBoolean, visitLdcChar, visitLdcClass, visitLdcNull, visitLdcNumber, visitLdcString, visitLeave, visitLoad, visitLoadThis, visitLocalVariable, visitLogicAnd, visitLogicNot, visitLogicOr, visitMethodDecl, visitMethodReference, visitMonitor, visitNew, visitNewArray, visitNewObject, visitNop, visitPostIncrement, visitReturn, visitStore, visitSwitch, visitSwitchSection, visitSwitchTable, visitSynchronized, visitTernary, visitThrow, visitTryCatch, visitTryCatchHandler, visitTryFinally, visitTryWithResources, visitWhileLoop, visitYield

Methods inherited from class java.lang.Object

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

Methods inherited from interface net.covers1624.coffeegrinder.bytecode.transform.Transformer

getName, stepType

Constructor Detail

VariableDeclarations

public VariableDeclarations()

Method Detail

transform

public void transform(MethodDecl function,
                      MethodTransformContext ctx)

Description copied from interface: MethodTransformer

Transform the MethodDecl.

Specified by:

transform in interface MethodTransformer

Parameters:

function - The function to transform.

ctx - The MethodTransformContext.

unifyUsages

public static Instruction unifyUsages(Instruction decl,
                                      Instruction usage)

Finds a suitable declaration location such that usage is in scope with the previous declaration. Assumes that decl is 'before' usage

Parameters:

decl - The previous declaration for a variable

usage - An instruction which requires the declaration to be in scope

Returns:

decl, if decl is in scope, otherwise a common ancestor of both decl and usage, which is a child of a block (so a declaration could be inserted before it)

selectDeclarableParent

public static Instruction selectDeclarableParent(Instruction insn)

find the first declaration point, the first ancestor which is a child of a block (which may be this instruction, or a parent)

visitLocalReference

public None visitLocalReference(LocalReference localRef,
                                None ctx)

Overrides:

visitLocalReference in class InsnVisitor<None,None>