X-Git-Url: https://gerrit.simantics.org/r/gitweb?p=simantics%2Fplatform.git;a=blobdiff_plain;f=bundles%2Forg.simantics.scl.compiler%2Fsrc%2Forg%2Fsimantics%2Fscl%2Fcompiler%2Finternal%2Fcodegen%2Fssa%2FSSAStatement.java;h=31742fbecd945ffb7783e7f87e71edd9fdc239c1;hp=26471c4347927d5253132e069729fbd0c470df8b;hb=fad36d463b75c3a9944d875fc627c3533f6da74d;hpb=1b4d8b692f40d946deb5db8280eb4ca5b36a75a7

diff --git a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/codegen/ssa/SSAStatement.java b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/codegen/ssa/SSAStatement.java
index 26471c434..31742fbec 100644
--- a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/codegen/ssa/SSAStatement.java
+++ b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/codegen/ssa/SSAStatement.java
@@ -1,126 +1,126 @@
-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);
-}
+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);
+}