Search in sources :

Example 6 with Expression

use of de.mirkosertic.bytecoder.ssa.Expression in project Bytecoder by mirkosertic.

the class InlineFinalNodesOptimizer method inline.

private void inline(Map<BytecodeOpcodeAddress, RegionNode> aFinalNodes, ExpressionList aList) {
    for (Expression theExpression : aList.toList()) {
        if (theExpression instanceof ExpressionListContainer) {
            ExpressionListContainer theContainer = (ExpressionListContainer) theExpression;
            for (ExpressionList theList : theContainer.getExpressionLists()) {
                inline(aFinalNodes, theList);
            }
        }
        if (theExpression instanceof GotoExpression) {
            GotoExpression theGoto = (GotoExpression) theExpression;
            RegionNode thePotentialFinal = aFinalNodes.get(theGoto.getJumpTarget());
            if (thePotentialFinal != null) {
                aList.replace(theExpression, thePotentialFinal.getExpressions());
            }
        }
    }
}
Also used : GotoExpression(de.mirkosertic.bytecoder.ssa.GotoExpression) Expression(de.mirkosertic.bytecoder.ssa.Expression) GotoExpression(de.mirkosertic.bytecoder.ssa.GotoExpression) ExpressionListContainer(de.mirkosertic.bytecoder.ssa.ExpressionListContainer) RegionNode(de.mirkosertic.bytecoder.ssa.RegionNode) ExpressionList(de.mirkosertic.bytecoder.ssa.ExpressionList)

Example 7 with Expression

use of de.mirkosertic.bytecoder.ssa.Expression in project Bytecoder by mirkosertic.

the class InlineGotoOptimizer method performNodeInlining.

private boolean performNodeInlining(ControlFlowGraph aGraph, RegionNode aNode, ExpressionList aList, List<BytecodeOpcodeAddress> aJumpTargets) {
    for (Expression theExpression : aList.toList()) {
        if (theExpression instanceof ExpressionListContainer) {
            ExpressionListContainer theContainer = (ExpressionListContainer) theExpression;
            for (ExpressionList theList : theContainer.getExpressionLists()) {
                if (performNodeInlining(aGraph, aNode, theList, aJumpTargets)) {
                    return true;
                }
            }
        }
        if (theExpression instanceof GotoExpression) {
            GotoExpression theGOTO = (GotoExpression) theExpression;
            RegionNode theTargetNode = aGraph.nodeStartingAt(theGOTO.getJumpTarget());
            if (theTargetNode.isStrictlyDominatedBy(aNode)) {
                BytecodeOpcodeAddress theJumpTarget = theGOTO.getJumpTarget();
                int theCount = 0;
                for (BytecodeOpcodeAddress theEntry : aJumpTargets) {
                    if (theEntry.equals(theJumpTarget)) {
                        theCount++;
                    }
                }
                if (theCount == 1) {
                    // Node can be inlined
                    aGraph.delete(theTargetNode);
                    aList.replace(theGOTO, theTargetNode.getExpressions());
                    aNode.inheritSuccessorsOf(theTargetNode);
                    for (RegionNode theNode : aGraph.getKnownNodes()) {
                        recomputeGotos(theNode.getExpressions(), theTargetNode.getStartAddress(), aNode.getStartAddress());
                    }
                    return true;
                }
            }
        }
    }
    return false;
}
Also used : GotoExpression(de.mirkosertic.bytecoder.ssa.GotoExpression) Expression(de.mirkosertic.bytecoder.ssa.Expression) GotoExpression(de.mirkosertic.bytecoder.ssa.GotoExpression) BytecodeOpcodeAddress(de.mirkosertic.bytecoder.core.BytecodeOpcodeAddress) ExpressionListContainer(de.mirkosertic.bytecoder.ssa.ExpressionListContainer) RegionNode(de.mirkosertic.bytecoder.ssa.RegionNode) ExpressionList(de.mirkosertic.bytecoder.ssa.ExpressionList)

Example 8 with Expression

use of de.mirkosertic.bytecoder.ssa.Expression in project Bytecoder by mirkosertic.

the class InlineGotoOptimizer method recomputeGotos.

private void recomputeGotos(ExpressionList aList, BytecodeOpcodeAddress aOriginal, BytecodeOpcodeAddress aNew) {
    for (Expression theExpression : aList.toList()) {
        if (theExpression instanceof ExpressionListContainer) {
            ExpressionListContainer theContainer = (ExpressionListContainer) theExpression;
            for (ExpressionList theList : theContainer.getExpressionLists()) {
                recomputeGotos(theList, aOriginal, aNew);
            }
        }
        if (theExpression instanceof GotoExpression) {
            GotoExpression theGoto = (GotoExpression) theExpression;
            if (Objects.equals(theGoto.getJumpTarget(), aOriginal)) {
                GotoExpression theNewGoto = new GotoExpression(aNew);
                aList.replace(theGoto, theNewGoto);
            }
        }
    }
}
Also used : GotoExpression(de.mirkosertic.bytecoder.ssa.GotoExpression) Expression(de.mirkosertic.bytecoder.ssa.Expression) GotoExpression(de.mirkosertic.bytecoder.ssa.GotoExpression) ExpressionListContainer(de.mirkosertic.bytecoder.ssa.ExpressionListContainer) ExpressionList(de.mirkosertic.bytecoder.ssa.ExpressionList)

Example 9 with Expression

use of de.mirkosertic.bytecoder.ssa.Expression in project Bytecoder by mirkosertic.

the class JSSSAWriter method writeExpressions.

private void writeExpressions(ExpressionList aExpressions) {
    for (Expression theExpression : aExpressions.toList()) {
        if (options.isDebugOutput()) {
            String theComment = theExpression.getComment();
            if (theComment != null && !theComment.isEmpty()) {
                print("// ");
                println(theComment);
            }
        }
        if (theExpression instanceof ReturnExpression) {
            ReturnExpression theE = (ReturnExpression) theExpression;
            print("return");
            println(";");
        } else if (theExpression instanceof VariableAssignmentExpression) {
            VariableAssignmentExpression theE = (VariableAssignmentExpression) theExpression;
            Variable theVariable = theE.getVariable();
            Value theValue = theE.getValue();
            if (theValue instanceof ComputedMemoryLocationWriteExpression) {
                continue;
            }
            if (!program.isGlobalVariable(theVariable)) {
                print("var ");
            }
            print(theVariable.getName());
            print(" = ");
            print(theValue);
            print("; // type is ");
            println(theVariable.resolveType().resolve().name() + " value type is " + theValue.resolveType());
        } else if (theExpression instanceof PutStaticExpression) {
            PutStaticExpression theE = (PutStaticExpression) theExpression;
            BytecodeFieldRefConstant theField = theE.getField();
            Value theValue = theE.incomingDataFlows().get(0);
            printStaticFieldReference(theField);
            print(" = ");
            print(theValue);
            println(";");
        } else if (theExpression instanceof ReturnValueExpression) {
            ReturnValueExpression theE = (ReturnValueExpression) theExpression;
            Value theValue = theE.incomingDataFlows().get(0);
            print("return ");
            print(theValue);
            println(";");
        } else if (theExpression instanceof ThrowExpression) {
            ThrowExpression theE = (ThrowExpression) theExpression;
            Value theValue = theE.incomingDataFlows().get(0);
            print("throw ");
            print(theValue);
            println(";");
        } else if (theExpression instanceof InvokeVirtualMethodExpression) {
            InvokeVirtualMethodExpression theE = (InvokeVirtualMethodExpression) theExpression;
            print(theE);
            println(";");
        } else if (theExpression instanceof DirectInvokeMethodExpression) {
            DirectInvokeMethodExpression theE = (DirectInvokeMethodExpression) theExpression;
            print(theE);
            println(";");
        } else if (theExpression instanceof InvokeStaticMethodExpression) {
            InvokeStaticMethodExpression theE = (InvokeStaticMethodExpression) theExpression;
            print(theE);
            println(";");
        } else if (theExpression instanceof PutFieldExpression) {
            PutFieldExpression theE = (PutFieldExpression) theExpression;
            List<Value> theIncomingData = theE.incomingDataFlows();
            Value theTarget = theIncomingData.get(0);
            BytecodeFieldRefConstant theField = theE.getField();
            Value thevalue = theIncomingData.get(1);
            print(theTarget);
            printInstanceFieldReference(theField);
            print(" = ");
            print(thevalue);
            println(";");
        } else if (theExpression instanceof IFExpression) {
            IFExpression theE = (IFExpression) theExpression;
            print("if (");
            print(theE.incomingDataFlows().get(0));
            println(") {");
            withDeeperIndent().writeExpressions(theE.getExpressions());
            println("}");
        } else if (theExpression instanceof GotoExpression) {
            GotoExpression theE = (GotoExpression) theExpression;
            println(generateJumpCodeFor(theE.getJumpTarget()));
        } else if (theExpression instanceof ArrayStoreExpression) {
            ArrayStoreExpression theE = (ArrayStoreExpression) theExpression;
            List<Value> theIncomingData = theE.incomingDataFlows();
            Value theArray = theIncomingData.get(0);
            Value theIndex = theIncomingData.get(1);
            Value theValue = theIncomingData.get(2);
            print(theArray);
            printArrayIndexReference(theIndex);
            print(" = ");
            print(theValue);
            println(";");
        } else if (theExpression instanceof CheckCastExpression) {
            CheckCastExpression theE = (CheckCastExpression) theExpression;
        // Completely ignored
        } else if (theExpression instanceof TableSwitchExpression) {
            TableSwitchExpression theE = (TableSwitchExpression) theExpression;
            Value theValue = theE.incomingDataFlows().get(0);
            print("if (");
            print(theValue);
            print(" < ");
            print(theE.getLowValue());
            print(" || ");
            print(theValue);
            print(" > ");
            print(theE.getHighValue());
            println(") {");
            print(" ");
            writeExpressions(theE.getDefaultExpressions());
            println("}");
            print("switch(");
            print(theValue);
            print(" - ");
            print(theE.getLowValue());
            println(") {");
            for (Map.Entry<Long, ExpressionList> theEntry : theE.getOffsets().entrySet()) {
                print(" case ");
                print(theEntry.getKey());
                println(":");
                print("     ");
                writeExpressions(theEntry.getValue());
            }
            println("}");
            println("throw 'Illegal jump target!';");
        } else if (theExpression instanceof LookupSwitchExpression) {
            LookupSwitchExpression theE = (LookupSwitchExpression) theExpression;
            print("switch(");
            print(theE.incomingDataFlows().get(0));
            println(") {");
            for (Map.Entry<Long, ExpressionList> theEntry : theE.getPairs().entrySet()) {
                print(" case ");
                print(theEntry.getKey());
                println(":");
                print("     ");
                writeExpressions(theEntry.getValue());
            }
            println("}");
            writeExpressions(theE.getDefaultExpressions());
        } else if (theExpression instanceof SetMemoryLocationExpression) {
            SetMemoryLocationExpression theE = (SetMemoryLocationExpression) theExpression;
            List<Value> theIncomingData = theE.incomingDataFlows();
            print("bytecoderGlobalMemory[");
            ComputedMemoryLocationWriteExpression theValue = (ComputedMemoryLocationWriteExpression) theIncomingData.get(0);
            print(theValue);
            print("] = ");
            print(theIncomingData.get(1));
            println(";");
        } else if (theExpression instanceof UnreachableExpression) {
            println("throw 'Unreachable';");
        } else if (theExpression instanceof BreakExpression) {
            BreakExpression theBreak = (BreakExpression) theExpression;
            if (theBreak.isSetLabelRequired()) {
                print("__label__ = ");
                print(theBreak.jumpTarget().getAddress());
                println(";");
            }
            if (!theBreak.isSilent()) {
                print("break $");
                print(theBreak.blockToBreak().name());
                println(";");
            }
        } else if (theExpression instanceof ContinueExpression) {
            ContinueExpression theContinue = (ContinueExpression) theExpression;
            print("__label__ = ");
            print(theContinue.jumpTarget().getAddress());
            println(";");
            print("continue $");
            print(theContinue.labelToReturnTo().name());
            println(";");
        } else {
            throw new IllegalStateException("Not implemented : " + theExpression);
        }
    }
}
Also used : Variable(de.mirkosertic.bytecoder.ssa.Variable) LookupSwitchExpression(de.mirkosertic.bytecoder.ssa.LookupSwitchExpression) DirectInvokeMethodExpression(de.mirkosertic.bytecoder.ssa.DirectInvokeMethodExpression) PutFieldExpression(de.mirkosertic.bytecoder.ssa.PutFieldExpression) InvokeStaticMethodExpression(de.mirkosertic.bytecoder.ssa.InvokeStaticMethodExpression) VariableAssignmentExpression(de.mirkosertic.bytecoder.ssa.VariableAssignmentExpression) ReturnExpression(de.mirkosertic.bytecoder.ssa.ReturnExpression) InvokeVirtualMethodExpression(de.mirkosertic.bytecoder.ssa.InvokeVirtualMethodExpression) CheckCastExpression(de.mirkosertic.bytecoder.ssa.CheckCastExpression) ContinueExpression(de.mirkosertic.bytecoder.ssa.ContinueExpression) SetMemoryLocationExpression(de.mirkosertic.bytecoder.ssa.SetMemoryLocationExpression) ExpressionList(de.mirkosertic.bytecoder.ssa.ExpressionList) List(java.util.List) ComputedMemoryLocationWriteExpression(de.mirkosertic.bytecoder.ssa.ComputedMemoryLocationWriteExpression) ExpressionList(de.mirkosertic.bytecoder.ssa.ExpressionList) ThrowExpression(de.mirkosertic.bytecoder.ssa.ThrowExpression) PutStaticExpression(de.mirkosertic.bytecoder.ssa.PutStaticExpression) IFExpression(de.mirkosertic.bytecoder.ssa.IFExpression) BreakExpression(de.mirkosertic.bytecoder.ssa.BreakExpression) TableSwitchExpression(de.mirkosertic.bytecoder.ssa.TableSwitchExpression) ReturnValueExpression(de.mirkosertic.bytecoder.ssa.ReturnValueExpression) ArrayStoreExpression(de.mirkosertic.bytecoder.ssa.ArrayStoreExpression) GotoExpression(de.mirkosertic.bytecoder.ssa.GotoExpression) CheckCastExpression(de.mirkosertic.bytecoder.ssa.CheckCastExpression) InstanceOfExpression(de.mirkosertic.bytecoder.ssa.InstanceOfExpression) TypeConversionExpression(de.mirkosertic.bytecoder.ssa.TypeConversionExpression) NegatedExpression(de.mirkosertic.bytecoder.ssa.NegatedExpression) InvokeStaticMethodExpression(de.mirkosertic.bytecoder.ssa.InvokeStaticMethodExpression) NewObjectExpression(de.mirkosertic.bytecoder.ssa.NewObjectExpression) ReturnValueExpression(de.mirkosertic.bytecoder.ssa.ReturnValueExpression) MethodHandlesGeneratedLookupExpression(de.mirkosertic.bytecoder.ssa.MethodHandlesGeneratedLookupExpression) SetMemoryLocationExpression(de.mirkosertic.bytecoder.ssa.SetMemoryLocationExpression) ArrayStoreExpression(de.mirkosertic.bytecoder.ssa.ArrayStoreExpression) MethodTypeExpression(de.mirkosertic.bytecoder.ssa.MethodTypeExpression) LookupSwitchExpression(de.mirkosertic.bytecoder.ssa.LookupSwitchExpression) TypeOfExpression(de.mirkosertic.bytecoder.ssa.TypeOfExpression) FixedBinaryExpression(de.mirkosertic.bytecoder.ssa.FixedBinaryExpression) NewArrayExpression(de.mirkosertic.bytecoder.ssa.NewArrayExpression) MemorySizeExpression(de.mirkosertic.bytecoder.ssa.MemorySizeExpression) CurrentExceptionExpression(de.mirkosertic.bytecoder.ssa.CurrentExceptionExpression) ComputedMemoryLocationWriteExpression(de.mirkosertic.bytecoder.ssa.ComputedMemoryLocationWriteExpression) MethodRefExpression(de.mirkosertic.bytecoder.ssa.MethodRefExpression) PutStaticExpression(de.mirkosertic.bytecoder.ssa.PutStaticExpression) FloorExpression(de.mirkosertic.bytecoder.ssa.FloorExpression) ArrayLengthExpression(de.mirkosertic.bytecoder.ssa.ArrayLengthExpression) ComputedMemoryLocationReadExpression(de.mirkosertic.bytecoder.ssa.ComputedMemoryLocationReadExpression) InvokeVirtualMethodExpression(de.mirkosertic.bytecoder.ssa.InvokeVirtualMethodExpression) SqrtExpression(de.mirkosertic.bytecoder.ssa.SqrtExpression) CompareExpression(de.mirkosertic.bytecoder.ssa.CompareExpression) StackTopExpression(de.mirkosertic.bytecoder.ssa.StackTopExpression) DirectInvokeMethodExpression(de.mirkosertic.bytecoder.ssa.DirectInvokeMethodExpression) GotoExpression(de.mirkosertic.bytecoder.ssa.GotoExpression) VariableAssignmentExpression(de.mirkosertic.bytecoder.ssa.VariableAssignmentExpression) NewMultiArrayExpression(de.mirkosertic.bytecoder.ssa.NewMultiArrayExpression) ReturnExpression(de.mirkosertic.bytecoder.ssa.ReturnExpression) UnreachableExpression(de.mirkosertic.bytecoder.ssa.UnreachableExpression) BinaryExpression(de.mirkosertic.bytecoder.ssa.BinaryExpression) GetFieldExpression(de.mirkosertic.bytecoder.ssa.GetFieldExpression) ContinueExpression(de.mirkosertic.bytecoder.ssa.ContinueExpression) RuntimeGeneratedTypeExpression(de.mirkosertic.bytecoder.ssa.RuntimeGeneratedTypeExpression) IFExpression(de.mirkosertic.bytecoder.ssa.IFExpression) ResolveCallsiteObjectExpression(de.mirkosertic.bytecoder.ssa.ResolveCallsiteObjectExpression) ArrayEntryExpression(de.mirkosertic.bytecoder.ssa.ArrayEntryExpression) Expression(de.mirkosertic.bytecoder.ssa.Expression) PutFieldExpression(de.mirkosertic.bytecoder.ssa.PutFieldExpression) UnknownExpression(de.mirkosertic.bytecoder.ssa.UnknownExpression) GetStaticExpression(de.mirkosertic.bytecoder.ssa.GetStaticExpression) TableSwitchExpression(de.mirkosertic.bytecoder.ssa.TableSwitchExpression) ThrowExpression(de.mirkosertic.bytecoder.ssa.ThrowExpression) BreakExpression(de.mirkosertic.bytecoder.ssa.BreakExpression) StringValue(de.mirkosertic.bytecoder.ssa.StringValue) ByteValue(de.mirkosertic.bytecoder.ssa.ByteValue) Value(de.mirkosertic.bytecoder.ssa.Value) ClassReferenceValue(de.mirkosertic.bytecoder.ssa.ClassReferenceValue) SelfReferenceParameterValue(de.mirkosertic.bytecoder.ssa.SelfReferenceParameterValue) FloatValue(de.mirkosertic.bytecoder.ssa.FloatValue) NullValue(de.mirkosertic.bytecoder.ssa.NullValue) DoubleValue(de.mirkosertic.bytecoder.ssa.DoubleValue) IntegerValue(de.mirkosertic.bytecoder.ssa.IntegerValue) LongValue(de.mirkosertic.bytecoder.ssa.LongValue) MethodParameterValue(de.mirkosertic.bytecoder.ssa.MethodParameterValue) ShortValue(de.mirkosertic.bytecoder.ssa.ShortValue) UnreachableExpression(de.mirkosertic.bytecoder.ssa.UnreachableExpression) BytecodeFieldRefConstant(de.mirkosertic.bytecoder.core.BytecodeFieldRefConstant) Map(java.util.Map)

Aggregations

Expression (de.mirkosertic.bytecoder.ssa.Expression)9 GotoExpression (de.mirkosertic.bytecoder.ssa.GotoExpression)7 ExpressionList (de.mirkosertic.bytecoder.ssa.ExpressionList)6 BreakExpression (de.mirkosertic.bytecoder.ssa.BreakExpression)5 ContinueExpression (de.mirkosertic.bytecoder.ssa.ContinueExpression)5 ExpressionListContainer (de.mirkosertic.bytecoder.ssa.ExpressionListContainer)4 RegionNode (de.mirkosertic.bytecoder.ssa.RegionNode)4 ReturnExpression (de.mirkosertic.bytecoder.ssa.ReturnExpression)4 BytecodeFieldRefConstant (de.mirkosertic.bytecoder.core.BytecodeFieldRefConstant)2 ArrayEntryExpression (de.mirkosertic.bytecoder.ssa.ArrayEntryExpression)2 ArrayStoreExpression (de.mirkosertic.bytecoder.ssa.ArrayStoreExpression)2 BinaryExpression (de.mirkosertic.bytecoder.ssa.BinaryExpression)2 CompareExpression (de.mirkosertic.bytecoder.ssa.CompareExpression)2 DirectInvokeMethodExpression (de.mirkosertic.bytecoder.ssa.DirectInvokeMethodExpression)2 DoubleValue (de.mirkosertic.bytecoder.ssa.DoubleValue)2 FloatValue (de.mirkosertic.bytecoder.ssa.FloatValue)2 GetFieldExpression (de.mirkosertic.bytecoder.ssa.GetFieldExpression)2 IFExpression (de.mirkosertic.bytecoder.ssa.IFExpression)2 IntegerValue (de.mirkosertic.bytecoder.ssa.IntegerValue)2 InvokeStaticMethodExpression (de.mirkosertic.bytecoder.ssa.InvokeStaticMethodExpression)2