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%2Freferences%2FValRef.java;h=954e8d0a3546ca07d2eb09b4ac284cd4e10726a4;hp=20a8eb1c3414c6eb4b713a89c39172bf9b475b50;hb=1dfeb7d5c49b1391cd9d877e1eddab18995cb151;hpb=969bd23cab98a79ca9101af33334000879fb60c5

diff --git a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/codegen/references/ValRef.java b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/codegen/references/ValRef.java
index 20a8eb1c3..954e8d0a3 100644
--- a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/codegen/references/ValRef.java
+++ b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/codegen/references/ValRef.java
@@ -1,236 +1,239 @@
-package org.simantics.scl.compiler.internal.codegen.references;
-
-import java.util.ArrayList;
-import java.util.List;
-
-import org.simantics.scl.compiler.common.exceptions.InternalCompilerError;
-import org.simantics.scl.compiler.internal.codegen.ssa.SSAFunction;
-import org.simantics.scl.compiler.internal.codegen.ssa.binders.ValRefBinder;
-import org.simantics.scl.compiler.internal.codegen.ssa.statements.LetApply;
-import org.simantics.scl.compiler.internal.codegen.utils.MethodBuilder;
-import org.simantics.scl.compiler.internal.codegen.utils.SSASimplificationContext;
-import org.simantics.scl.compiler.internal.codegen.utils.TransientClassBuilder;
-import org.simantics.scl.compiler.top.SCLCompilerConfiguration;
-import org.simantics.scl.compiler.types.TVar;
-import org.simantics.scl.compiler.types.Type;
-import org.simantics.scl.compiler.types.Types;
-
-public final class ValRef implements IVal {
-    public static final ValRef[] EMPTY_ARRAY = new ValRef[0];
-
-    Val binding;
-    ValRef prev; // FreeVars with the same binding form a linked list
-    ValRef next;     
-    ValRefBinder parent;
-    Type[] parameters;
-    
-    /**
-     * Just for deserialization
-     */
-    public ValRef(Type[] parameters) {
-        this.parameters = parameters;
-    }
-    
-    ValRef(Val binding, Type[] parameters) {
-        //System.out.println("+ " + bindin g);
-        this.parameters = parameters;        
-        setBinding(binding);
-    }    
-    
-    public void setBinding(Val binding) {
-        this.binding = binding;
-        
-        ValRef head = binding.occurrence;
-        binding.occurrence = this;
-        this.next = head;
-        this.prev = null;
-        if(head != null)
-            head.prev = this;
-    }
-    
-    int removeModiId = -1;
-    public void remove() {
-        //System.out.println("- " + binding);
-        if(prev == null)
-            try {
-                binding.occurrence = next;
-            } catch(NullPointerException e) {
-                System.err.println("removeModiId = " + removeModiId);
-                System.err.println("current ModiId = " + SSASimplificationContext.modiId);
-                throw new InternalCompilerError("The ValRef has already been removed.");
-            }
-        else
-            prev.next = next;
-        if(next != null)
-            next.prev = prev;
-        if(SCLCompilerConfiguration.DEBUG) {
-            next = null;
-            prev = null;
-            binding = null;
-        }
-        removeModiId = SSASimplificationContext.modiId;
-    }
-    
-    public Val getBinding() {
-        return binding;
-    }
-    
-    public ValRef getNext() {
-        return next;
-    }
-    
-    public static Val[] getBindings(ValRef[] refs) {
-        Val[] result = new Val[refs.length];
-        for(int i=0;i<refs.length;++i)
-            result[i] = refs[i].getBinding();
-        return result;
-    }
-
-    @Override
-    public ValRef createOccurrence() {
-        return binding.createOccurrence(parameters);
-    }
-
-    @Override
-    public ValRef createOccurrence(Type... otherParameters) {
-        return binding.createOccurrence(Types.concat(parameters, otherParameters));
-    }
-    
-    @Override
-    public IVal createSpecialization(Type... otherParameters) {
-        return new ValSpecialization(binding, Types.concat(parameters, otherParameters));
-    }
-
-    public void setParent(ValRefBinder parent) {
-        this.parent = parent;
-    }
-    
-    @Override
-    public Type getType() {
-        if(parameters.length == 0)
-            return binding.getType();
-        else
-            return Types.instantiate(binding.getType(), parameters); 
-    }
-    
-    public static ValRef[] createOccurrences(IVal[] vals) {
-        ValRef[] result = new ValRef[vals.length];
-        for(int i=0;i<vals.length;++i)
-            result[i] = vals[i].createOccurrence();
-        return result;
-    }
-    
-    public static <T extends IVal> ValRef[] createOccurrences(List<T> vals) {
-        ValRef[] result = new ValRef[vals.size()];
-        for(int i=0;i<vals.size();++i)
-            result[i] = vals.get(i).createOccurrence();
-        return result;
-    }
-    
-    public Type[] getTypeParameters() {
-        return parameters;
-    }
-    
-    public Type getTypeParameter(int i) {
-        return parameters[i];
-    }
-
-    public static ValRef[] concat(ValRef[] refs1, ValRef[] refs2) {
-        ValRef[] result = new ValRef[refs1.length + refs2.length];
-        for(int i=0;i<refs1.length;++i)
-            result[i] = refs1[i];
-        for(int i=0;i<refs2.length;++i)
-            result[refs1.length + i] = refs2[i];
-        return result;
-    }
-    
-    @Override
-    public void push(MethodBuilder mb) {
-        binding.push(mb);
-    }
-    
-    public ValRefBinder getParent() {
-        return parent;
-    }
-    
-    public SSAFunction getParentFunction() {
-        return parent.getParentFunction();
-    }
-    
-    public void replace(TVar[] vars, Type[] replacements) {
-        for(int i=0;i<parameters.length;++i) {
-            Type oldType = parameters[i];
-            Type newType = parameters[i].replace(vars, replacements);
-            if(oldType != newType) {
-                Type[] newParameters = new Type[parameters.length];
-                for(int j=0;j<i;++j)
-                    newParameters[j] = parameters[j];
-                newParameters[i] = newType;
-                for(int j=i+1;j<parameters.length;++j)
-                    newParameters[j] = parameters[j].replace(vars, replacements);
-                this.parameters = newParameters;
-                return;
-            }
-            
-        }
-    }
-
-    public void setTypeParameters(Type[] parameters) {
-        this.parameters = parameters;
-    }
-    
-    public static ValRef[] copy(ValRef[] refs) {
-        ValRef[] result = new ValRef[refs.length];
-        for(int i=0;i<refs.length;++i)
-            result[i] = refs[i].copy();
-        return result;
-    }
-
-    public ValRef copy() {
-        return binding.createOccurrence(parameters);
-    }
-
-    public void collectFreeVariables(SSAFunction function,
-            ArrayList<ValRef> vars) {
-        if(binding instanceof BoundVar) {
-            BoundVar var = (BoundVar)binding;
-            if(var.getFunctionParent() != function)
-                vars.add(this);
-        }
-    }
-
-    public void replaceBy(Val binding) {
-        remove();
-        setBinding(binding);
-    }
-    
-    @Override
-    public Type apply(MethodBuilder mb, Type[] typeParameters,
-            Val... parameters) {
-        return binding.apply(mb, Types.concat(this.parameters, typeParameters), parameters);
-    }
-
-    /**
-     * Replaces this reference with an application
-     */
-    public void replaceByApply(Val function, Val ... parameters) {
-        getParent().replaceByApply(this, function, this.parameters, parameters);
-    }
-    
-    @Override
-    public Object realizeValue(TransientClassBuilder classLoader) {
-        return binding.realizeValue(classLoader); 
-    }
-
-    @Override
-    public void setLabel(String label) {
-    }
-
-    public void updateParentEffect() {
-        if(parent instanceof LetApply) {
-            LetApply apply = (LetApply)parent;
-            if(apply.getFunction() == this)
-                apply.updateEffect();
-        }
-    }
-}
+package org.simantics.scl.compiler.internal.codegen.references;
+
+import java.util.ArrayList;
+import java.util.List;
+
+import org.simantics.scl.compiler.common.exceptions.InternalCompilerError;
+import org.simantics.scl.compiler.internal.codegen.ssa.SSAFunction;
+import org.simantics.scl.compiler.internal.codegen.ssa.binders.ValRefBinder;
+import org.simantics.scl.compiler.internal.codegen.ssa.statements.LetApply;
+import org.simantics.scl.compiler.internal.codegen.utils.MethodBuilder;
+import org.simantics.scl.compiler.internal.codegen.utils.SSASimplificationContext;
+import org.simantics.scl.compiler.internal.codegen.utils.TransientClassBuilder;
+import org.simantics.scl.compiler.top.SCLCompilerConfiguration;
+import org.simantics.scl.compiler.types.TVar;
+import org.simantics.scl.compiler.types.Type;
+import org.simantics.scl.compiler.types.Types;
+import org.slf4j.Logger;
+import org.slf4j.LoggerFactory;
+
+public final class ValRef implements IVal {
+    private static final Logger LOGGER = LoggerFactory.getLogger(ValRef.class);
+    public static final ValRef[] EMPTY_ARRAY = new ValRef[0];
+
+    Val binding;
+    ValRef prev; // FreeVars with the same binding form a linked list
+    ValRef next;     
+    ValRefBinder parent;
+    Type[] parameters;
+    
+    /**
+     * Just for deserialization
+     */
+    public ValRef(Type[] parameters) {
+        this.parameters = parameters;
+    }
+    
+    ValRef(Val binding, Type[] parameters) {
+        //System.out.println("+ " + bindin g);
+        this.parameters = parameters;        
+        setBinding(binding);
+    }    
+    
+    public void setBinding(Val binding) {
+        this.binding = binding;
+        
+        ValRef head = binding.occurrence;
+        binding.occurrence = this;
+        this.next = head;
+        this.prev = null;
+        if(head != null)
+            head.prev = this;
+    }
+    
+    int removeModiId = -1;
+    public void remove() {
+        //System.out.println("- " + binding);
+        if(prev == null)
+            try {
+                binding.occurrence = next;
+            } catch(NullPointerException e) {
+                LOGGER.error("removeModiId = " + removeModiId);
+                LOGGER.error("current ModiId = " + SSASimplificationContext.modiId, e);
+                throw new InternalCompilerError("The ValRef has already been removed.");
+            }
+        else
+            prev.next = next;
+        if(next != null)
+            next.prev = prev;
+        if(SCLCompilerConfiguration.DEBUG) {
+            next = null;
+            prev = null;
+            binding = null;
+        }
+        removeModiId = SSASimplificationContext.modiId;
+    }
+    
+    public Val getBinding() {
+        return binding;
+    }
+    
+    public ValRef getNext() {
+        return next;
+    }
+    
+    public static Val[] getBindings(ValRef[] refs) {
+        Val[] result = new Val[refs.length];
+        for(int i=0;i<refs.length;++i)
+            result[i] = refs[i].getBinding();
+        return result;
+    }
+
+    @Override
+    public ValRef createOccurrence() {
+        return binding.createOccurrence(parameters);
+    }
+
+    @Override
+    public ValRef createOccurrence(Type... otherParameters) {
+        return binding.createOccurrence(Types.concat(parameters, otherParameters));
+    }
+    
+    @Override
+    public IVal createSpecialization(Type... otherParameters) {
+        return new ValSpecialization(binding, Types.concat(parameters, otherParameters));
+    }
+
+    public void setParent(ValRefBinder parent) {
+        this.parent = parent;
+    }
+    
+    @Override
+    public Type getType() {
+        if(parameters.length == 0)
+            return binding.getType();
+        else
+            return Types.instantiate(binding.getType(), parameters); 
+    }
+    
+    public static ValRef[] createOccurrences(IVal[] vals) {
+        ValRef[] result = new ValRef[vals.length];
+        for(int i=0;i<vals.length;++i)
+            result[i] = vals[i].createOccurrence();
+        return result;
+    }
+    
+    public static <T extends IVal> ValRef[] createOccurrences(List<T> vals) {
+        ValRef[] result = new ValRef[vals.size()];
+        for(int i=0;i<vals.size();++i)
+            result[i] = vals.get(i).createOccurrence();
+        return result;
+    }
+    
+    public Type[] getTypeParameters() {
+        return parameters;
+    }
+    
+    public Type getTypeParameter(int i) {
+        return parameters[i];
+    }
+
+    public static ValRef[] concat(ValRef[] refs1, ValRef[] refs2) {
+        ValRef[] result = new ValRef[refs1.length + refs2.length];
+        for(int i=0;i<refs1.length;++i)
+            result[i] = refs1[i];
+        for(int i=0;i<refs2.length;++i)
+            result[refs1.length + i] = refs2[i];
+        return result;
+    }
+    
+    @Override
+    public void push(MethodBuilder mb) {
+        binding.push(mb);
+    }
+    
+    public ValRefBinder getParent() {
+        return parent;
+    }
+    
+    public SSAFunction getParentFunction() {
+        return parent.getParentFunction();
+    }
+    
+    public void replace(TVar[] vars, Type[] replacements) {
+        for(int i=0;i<parameters.length;++i) {
+            Type oldType = parameters[i];
+            Type newType = parameters[i].replace(vars, replacements);
+            if(oldType != newType) {
+                Type[] newParameters = new Type[parameters.length];
+                for(int j=0;j<i;++j)
+                    newParameters[j] = parameters[j];
+                newParameters[i] = newType;
+                for(int j=i+1;j<parameters.length;++j)
+                    newParameters[j] = parameters[j].replace(vars, replacements);
+                this.parameters = newParameters;
+                return;
+            }
+            
+        }
+    }
+
+    public void setTypeParameters(Type[] parameters) {
+        this.parameters = parameters;
+    }
+    
+    public static ValRef[] copy(ValRef[] refs) {
+        ValRef[] result = new ValRef[refs.length];
+        for(int i=0;i<refs.length;++i)
+            result[i] = refs[i].copy();
+        return result;
+    }
+
+    public ValRef copy() {
+        return binding.createOccurrence(parameters);
+    }
+
+    public void collectFreeVariables(SSAFunction function,
+            ArrayList<ValRef> vars) {
+        if(binding instanceof BoundVar) {
+            BoundVar var = (BoundVar)binding;
+            if(var.getFunctionParent() != function)
+                vars.add(this);
+        }
+    }
+
+    public void replaceBy(Val binding) {
+        remove();
+        setBinding(binding);
+    }
+    
+    @Override
+    public Type apply(MethodBuilder mb, Type[] typeParameters,
+            Val... parameters) {
+        return binding.apply(mb, Types.concat(this.parameters, typeParameters), parameters);
+    }
+
+    /**
+     * Replaces this reference with an application
+     */
+    public void replaceByApply(Val function, Val ... parameters) {
+        getParent().replaceByApply(this, function, this.parameters, parameters);
+    }
+    
+    @Override
+    public Object realizeValue(TransientClassBuilder classLoader) {
+        return binding.realizeValue(classLoader); 
+    }
+
+    @Override
+    public void setLabel(String label) {
+    }
+
+    public void updateParentEffect() {
+        if(parent instanceof LetApply) {
+            LetApply apply = (LetApply)parent;
+            if(apply.getFunction() == this)
+                apply.updateEffect();
+        }
+    }
+}