-package org.simantics.scl.compiler.internal.codegen.ssa;\r
-\r
-import java.util.ArrayList;\r
-\r
-import org.simantics.scl.compiler.internal.codegen.references.BoundVar;\r
-import org.simantics.scl.compiler.internal.codegen.references.Val;\r
-import org.simantics.scl.compiler.internal.codegen.references.ValRef;\r
-import org.simantics.scl.compiler.internal.codegen.ssa.statements.LetApply;\r
-import org.simantics.scl.compiler.internal.codegen.utils.CopyContext;\r
-import org.simantics.scl.compiler.internal.codegen.utils.MethodBuilder;\r
-import org.simantics.scl.compiler.internal.codegen.utils.Printable;\r
-import org.simantics.scl.compiler.internal.codegen.utils.PrintingContext;\r
-import org.simantics.scl.compiler.internal.codegen.utils.SSALambdaLiftingContext;\r
-import org.simantics.scl.compiler.internal.codegen.utils.SSASimplificationContext;\r
-import org.simantics.scl.compiler.internal.codegen.utils.SSAValidationContext;\r
-import org.simantics.scl.compiler.internal.codegen.utils.ValRefVisitor;\r
-import org.simantics.scl.compiler.types.TVar;\r
-import org.simantics.scl.compiler.types.Type;\r
-import org.simantics.scl.compiler.types.Types;\r
-\r
-\r
-public abstract class SSAStatement implements Printable {\r
- SSABlock parent;\r
- SSAStatement prev;\r
- SSAStatement next;\r
- public long location;\r
- \r
- public void detach() {\r
- if(prev == null)\r
- parent.firstStatement = next;\r
- else\r
- prev.next = next;\r
- if(next == null)\r
- parent.lastStatement = prev;\r
- else\r
- next.prev = prev;\r
- }\r
-\r
- public abstract void generateCode(MethodBuilder mb);\r
-\r
- public abstract void validate(SSAValidationContext context);\r
-\r
- public void simplify(SSASimplificationContext context) {\r
- }\r
-\r
- public abstract void destroy();\r
- \r
- public SSABlock getParent() {\r
- return parent;\r
- }\r
- \r
- public SSAStatement getPrev() {\r
- return prev;\r
- }\r
- \r
- public void setAsLastStatement() {\r
- this.next = null;\r
- parent.lastStatement = this;\r
- }\r
- \r
- public SSAStatement getNext() {\r
- return next;\r
- }\r
- \r
- public void remove() {\r
- detach();\r
- destroy(); \r
- }\r
- \r
- @Override\r
- public String toString() {\r
- PrintingContext context = new PrintingContext();\r
- toString(context);\r
- return context.toString();\r
- }\r
-\r
- public void markGenerateOnFly() { \r
- }\r
-\r
- public abstract SSAStatement copy(CopyContext context);\r
- public abstract void replace(TVar[] vars, Type[] replacements);\r
-\r
- public abstract void addBoundVariablesTo(SSAValidationContext context);\r
-\r
- public abstract void collectFreeVariables(SSAFunction function, ArrayList<ValRef> vars);\r
- \r
- public SSAFunction getParentFunction() {\r
- return parent.parent;\r
- }\r
-\r
- public void lambdaLift(SSALambdaLiftingContext context) {\r
- }\r
- \r
- public void insertBefore(SSAStatement statement) {\r
- next = statement;\r
- prev = statement.prev;\r
- parent = statement.parent;\r
- if(prev == null)\r
- parent.firstStatement = this;\r
- else\r
- prev.next = this;\r
- statement.prev = this; \r
- }\r
- \r
- public void insertAfter(SSAStatement statement) {\r
- prev = statement;\r
- next = statement.next;\r
- parent = statement.parent;\r
- if(next == null)\r
- parent.lastStatement = this;\r
- else\r
- next.prev = this;\r
- statement.next = this; \r
- }\r
- \r
- public void replaceByApply(ValRef valRef, Val function, Type[] typeParameters, Val[] parameters) {\r
- BoundVar target = new BoundVar(valRef.getBinding().getType());\r
- new LetApply(target, Types.NO_EFFECTS, function.createOccurrence(typeParameters), ValRef.createOccurrences(parameters)).insertBefore(this);\r
- valRef.replaceBy(target);\r
- }\r
-\r
- public void prepare(MethodBuilder mb) { \r
- }\r
-\r
- public abstract void forValRefs(ValRefVisitor visitor);\r
-}\r
+package org.simantics.scl.compiler.internal.codegen.ssa;
+
+import java.util.ArrayList;
+
+import org.simantics.scl.compiler.internal.codegen.references.BoundVar;
+import org.simantics.scl.compiler.internal.codegen.references.Val;
+import org.simantics.scl.compiler.internal.codegen.references.ValRef;
+import org.simantics.scl.compiler.internal.codegen.ssa.statements.LetApply;
+import org.simantics.scl.compiler.internal.codegen.utils.CopyContext;
+import org.simantics.scl.compiler.internal.codegen.utils.MethodBuilder;
+import org.simantics.scl.compiler.internal.codegen.utils.Printable;
+import org.simantics.scl.compiler.internal.codegen.utils.PrintingContext;
+import org.simantics.scl.compiler.internal.codegen.utils.SSALambdaLiftingContext;
+import org.simantics.scl.compiler.internal.codegen.utils.SSASimplificationContext;
+import org.simantics.scl.compiler.internal.codegen.utils.SSAValidationContext;
+import org.simantics.scl.compiler.internal.codegen.utils.ValRefVisitor;
+import org.simantics.scl.compiler.types.TVar;
+import org.simantics.scl.compiler.types.Type;
+import org.simantics.scl.compiler.types.Types;
+
+
+public abstract class SSAStatement implements Printable {
+ SSABlock parent;
+ SSAStatement prev;
+ SSAStatement next;
+ public long location;
+
+ public void detach() {
+ if(prev == null)
+ parent.firstStatement = next;
+ else
+ prev.next = next;
+ if(next == null)
+ parent.lastStatement = prev;
+ else
+ next.prev = prev;
+ }
+
+ public abstract void generateCode(MethodBuilder mb);
+
+ public abstract void validate(SSAValidationContext context);
+
+ public void simplify(SSASimplificationContext context) {
+ }
+
+ public abstract void destroy();
+
+ public SSABlock getParent() {
+ return parent;
+ }
+
+ public SSAStatement getPrev() {
+ return prev;
+ }
+
+ public void setAsLastStatement() {
+ this.next = null;
+ parent.lastStatement = this;
+ }
+
+ public SSAStatement getNext() {
+ return next;
+ }
+
+ public void remove() {
+ detach();
+ destroy();
+ }
+
+ @Override
+ public String toString() {
+ PrintingContext context = new PrintingContext();
+ toString(context);
+ return context.toString();
+ }
+
+ public void markGenerateOnFly() {
+ }
+
+ public abstract SSAStatement copy(CopyContext context);
+ public abstract void replace(TVar[] vars, Type[] replacements);
+
+ public abstract void addBoundVariablesTo(SSAValidationContext context);
+
+ public abstract void collectFreeVariables(SSAFunction function, ArrayList<ValRef> vars);
+
+ public SSAFunction getParentFunction() {
+ return parent.parent;
+ }
+
+ public void lambdaLift(SSALambdaLiftingContext context) {
+ }
+
+ public void insertBefore(SSAStatement statement) {
+ next = statement;
+ prev = statement.prev;
+ parent = statement.parent;
+ if(prev == null)
+ parent.firstStatement = this;
+ else
+ prev.next = this;
+ statement.prev = this;
+ }
+
+ public void insertAfter(SSAStatement statement) {
+ prev = statement;
+ next = statement.next;
+ parent = statement.parent;
+ if(next == null)
+ parent.lastStatement = this;
+ else
+ next.prev = this;
+ statement.next = this;
+ }
+
+ public void replaceByApply(ValRef valRef, Val function, Type[] typeParameters, Val[] parameters) {
+ BoundVar target = new BoundVar(valRef.getBinding().getType());
+ new LetApply(target, Types.NO_EFFECTS, function.createOccurrence(typeParameters), ValRef.createOccurrences(parameters)).insertBefore(this);
+ valRef.replaceBy(target);
+ }
+
+ public void prepare(MethodBuilder mb) {
+ }
+
+ public abstract void forValRefs(ValRefVisitor visitor);
+}
Code Review / simantics / platform.git / blobdiff