use of de.mirkosertic.bytecoder.ssa.ContinueExpression in project Bytecoder by mirkosertic.
the class Relooper method debugPrint.
private void debugPrint(PrintStream aStream, int aInset, ExpressionList aExpressionList) {
for (Expression theExpression : aExpressionList.toList()) {
if (theExpression instanceof BreakExpression) {
BreakExpression theBreak = (BreakExpression) theExpression;
printInset(aStream, aInset);
aStream.println("Break " + theBreak.blockToBreak().name() + " and jump to " + theBreak.jumpTarget().getAddress());
} else if (theExpression instanceof ContinueExpression) {
ContinueExpression theContinue = (ContinueExpression) theExpression;
printInset(aStream, aInset);
aStream.println("Continue at " + theContinue.labelToReturnTo().name());
} else if (theExpression instanceof ReturnExpression) {
printInset(aStream, aInset);
aStream.println("Return");
} else if (theExpression instanceof GotoExpression) {
throw new IllegalStateException("Goto should have been removed!");
}
}
}
use of de.mirkosertic.bytecoder.ssa.ContinueExpression in project Bytecoder by mirkosertic.
the class Relooper method replaceGotosIn.
private void replaceGotosIn(Stack<Block> aTraversalStack, SimpleBlock aCurrent, RegionNode aLabel, ExpressionList aList) {
for (Expression theExpression : aList.toList()) {
if (theExpression instanceof ExpressionListContainer) {
ExpressionListContainer theContainer = (ExpressionListContainer) theExpression;
for (ExpressionList theList : theContainer.getExpressionLists()) {
replaceGotosIn(aTraversalStack, aCurrent, aLabel, theList);
}
}
if (theExpression instanceof GotoExpression) {
GotoExpression theGoto = (GotoExpression) theExpression;
boolean theGotoFound = false;
// We search the successor edge
for (Map.Entry<RegionNode.Edge, RegionNode> theSuc : aLabel.getSuccessors().entrySet()) {
if (Objects.equals(theSuc.getValue().getStartAddress(), theGoto.getJumpTarget())) {
theGotoFound = true;
RegionNode theTarget = theSuc.getValue();
// We found the matching edge
if (theSuc.getKey().getType() == RegionNode.EdgeType.NORMAL) {
// We can only branch to the next block
// We search the whole hiararchy to find the right block to break out
boolean theSomethingFound = false;
for (int i = aTraversalStack.size() - 1; i >= 0; i--) {
Block theNestingBlock = aTraversalStack.get(i);
if (theNestingBlock.next() != null && theNestingBlock.next().entries().contains(theTarget)) {
theNestingBlock.requireLabel();
BreakExpression theBreak = new BreakExpression(theNestingBlock.label(), theTarget.getStartAddress());
aList.replace(theGoto, theBreak);
if (theNestingBlock.next() instanceof SimpleBlock && theNestingBlock.next().entries().size() == 1) {
theBreak.noSetRequired();
}
theSomethingFound = true;
break;
} else if (theNestingBlock.entries().contains(theTarget)) {
theNestingBlock.requireLabel();
ContinueExpression theContinue = new ContinueExpression(theNestingBlock.label(), theTarget.getStartAddress());
aList.replace(theGoto, theContinue);
theSomethingFound = true;
break;
}
}
if (!theSomethingFound) {
throw new IllegalStateException("Failed to jump to " + theTarget.getStartAddress().getAddress() + " from " + aCurrent.label().name() + " : no matching entry found!");
}
} else {
// We can only branch back into the known stack of nested blocks
boolean theSomethingFound = false;
for (Block theNestingBlock : aTraversalStack) {
if (theNestingBlock.entries().contains(theTarget)) {
theSomethingFound = true;
// We can return to the target in the hierarchy
theNestingBlock.requireLabel();
ContinueExpression theContinue = new ContinueExpression(theNestingBlock.label(), theTarget.getStartAddress());
aList.replace(theGoto, theContinue);
break;
}
}
if (!theSomethingFound) {
throw new IllegalStateException("No back edge target found for " + theTarget.getStartAddress().getAddress());
}
}
}
}
if (!theGotoFound) {
throw new IllegalStateException("No GOTO possible for " + theGoto.getJumpTarget().getAddress() + " in label " + aCurrent.label().name());
}
}
}
}
use of de.mirkosertic.bytecoder.ssa.ContinueExpression in project Bytecoder by mirkosertic.
the class OpenCLWriter method writeExpressions.
private void writeExpressions(ExpressionList aList) {
for (Expression theExpression : aList.toList()) {
if (options.isDebugOutput()) {
String theComment = theExpression.getComment();
if (theComment != null && !theComment.isEmpty()) {
print("// ");
println(theComment);
}
}
if (theExpression instanceof VariableAssignmentExpression) {
VariableAssignmentExpression theInit = (VariableAssignmentExpression) theExpression;
Variable theVariable = theInit.getVariable();
Value theValue = theInit.getValue();
if (theVariable.resolveType().isObject() && theValue instanceof InvocationExpression) {
print(toType(theVariable.resolveType(), false));
print(" ");
print(theVariable.getName());
print("_temp = ");
printValue(theValue);
println(";");
print(theVariable.getName());
print(" = &");
print(theVariable.getName());
println("_temp;");
} else {
print(theVariable.getName());
print(" = ");
printValue(theValue);
println(";");
}
} else if (theExpression instanceof ArrayStoreExpression) {
ArrayStoreExpression theStore = (ArrayStoreExpression) theExpression;
List<Value> theIncomingData = theStore.incomingDataFlows();
Value theArray = theIncomingData.get(0);
Value theIndex = theIncomingData.get(1);
Value theValue = theIncomingData.get(2);
printValue(theArray);
print("[");
printValue(theIndex);
print("] = ");
printValue(theValue);
println(";");
} else if (theExpression instanceof IFExpression) {
IFExpression theE = (IFExpression) theExpression;
print("if ");
printValue(theE.incomingDataFlows().get(0));
println(" {");
withDeeperIndent().writeExpressions(theE.getExpressions());
println("}");
} else if (theExpression instanceof BreakExpression) {
BreakExpression theBreak = (BreakExpression) theExpression;
if (theBreak.isSetLabelRequired()) {
print("$__label__ = ");
print(theBreak.jumpTarget().getAddress());
println(";");
}
if (!theBreak.isSilent()) {
print("goto $");
print(theBreak.blockToBreak().name());
println("_next;");
}
} else if (theExpression instanceof ContinueExpression) {
ContinueExpression theContinue = (ContinueExpression) theExpression;
print("$__label__ = ");
print(theContinue.jumpTarget().getAddress());
println(";");
print("goto $");
print(theContinue.labelToReturnTo().name());
println(";");
} else if (theExpression instanceof ReturnExpression) {
println("return;");
} else if (theExpression instanceof PutFieldExpression) {
PutFieldExpression thePutField = (PutFieldExpression) theExpression;
List<Value> theIncomingData = thePutField.incomingDataFlows();
Value theTarget = theIncomingData.get(0);
BytecodeFieldRefConstant theField = thePutField.getField();
Value thevalue = theIncomingData.get(1);
printValue(theTarget);
printInstanceFieldReference(theField);
print(" = ");
printValue(thevalue);
println(";");
} else if (theExpression instanceof ReturnValueExpression) {
ReturnValueExpression theReturn = (ReturnValueExpression) theExpression;
List<Value> theIncomingData = theReturn.incomingDataFlows();
print("return ");
printValue(theIncomingData.get(0));
println(";");
} else {
throw new IllegalArgumentException("Not supported. " + theExpression);
}
}
}
use of de.mirkosertic.bytecoder.ssa.ContinueExpression in project Bytecoder by mirkosertic.
the class WASMSSAWriter method writeExpression.
private void writeExpression(Expression aExpression) {
if (options.isDebugOutput()) {
String theComment = aExpression.getComment();
if (theComment != null && !theComment.isEmpty()) {
print(";; ");
println(theComment);
}
}
if (aExpression instanceof CheckCastExpression) {
return;
}
if (aExpression instanceof ReturnExpression) {
writeReturnExpression((ReturnExpression) aExpression);
return;
}
if (aExpression instanceof VariableAssignmentExpression) {
writeInitVariableExpression((VariableAssignmentExpression) aExpression);
return;
}
if (aExpression instanceof DirectInvokeMethodExpression) {
writeDirectMethodInvokeExpression((DirectInvokeMethodExpression) aExpression);
return;
}
if (aExpression instanceof IFExpression) {
writeIFExpression((IFExpression) aExpression);
return;
}
if (aExpression instanceof GotoExpression) {
writeGotoExpression((GotoExpression) aExpression);
return;
}
if (aExpression instanceof ReturnValueExpression) {
writeReturnExpression((ReturnValueExpression) aExpression);
return;
}
if (aExpression instanceof PutFieldExpression) {
writePutFieldExpression((PutFieldExpression) aExpression);
return;
}
if (aExpression instanceof SetMemoryLocationExpression) {
writeSetMemoryLocationExpression((SetMemoryLocationExpression) aExpression);
return;
}
if (aExpression instanceof PutStaticExpression) {
writePutStaticExpression((PutStaticExpression) aExpression);
return;
}
if (aExpression instanceof InvokeStaticMethodExpression) {
writeInvokeStaticExpression((InvokeStaticMethodExpression) aExpression);
return;
}
if (aExpression instanceof ThrowExpression) {
writeThrowExpression((ThrowExpression) aExpression);
return;
}
if (aExpression instanceof ArrayStoreExpression) {
writeArrayStoreExpression((ArrayStoreExpression) aExpression);
return;
}
if (aExpression instanceof InvokeVirtualMethodExpression) {
writeInvokeVirtualExpression((InvokeVirtualMethodExpression) aExpression);
return;
}
if (aExpression instanceof TableSwitchExpression) {
writeTableSwitchExpression((TableSwitchExpression) aExpression);
return;
}
if (aExpression instanceof LookupSwitchExpression) {
writeLookupSwitchExpression((LookupSwitchExpression) aExpression);
return;
}
if (aExpression instanceof UnreachableExpression) {
writeUnreachable((UnreachableExpression) aExpression);
return;
}
if (aExpression instanceof BreakExpression) {
BreakExpression theBreak = (BreakExpression) aExpression;
if (theBreak.isSetLabelRequired()) {
print("(set_local $__label__ (i32.const ");
print(theBreak.jumpTarget().getAddress());
println("))");
}
if (!theBreak.isSilent()) {
print("(br $");
print(theBreak.blockToBreak().name());
println(")");
}
return;
}
if (aExpression instanceof ContinueExpression) {
ContinueExpression theContinue = (ContinueExpression) aExpression;
print("(set_local $__label__ (i32.const ");
print(theContinue.jumpTarget().getAddress());
println("))");
print("(br $");
print(theContinue.labelToReturnTo().name());
println("_inner)");
return;
}
throw new IllegalStateException("Not supported : " + aExpression);
}
use of de.mirkosertic.bytecoder.ssa.ContinueExpression 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);
}
}
}
Aggregations