Make cse variables parameters that are added to globalKnownVars (#8551)

OpenModelica · Feb 16, 2022 · b1522d8 · b1522d8
1 parent 0897872
commit b1522d8
Show file tree

Hide file tree

Showing 16 changed files with 650 additions and 167 deletions.
diff --git a/OMCompiler/Compiler/BackEnd/BackendVariable.mo b/OMCompiler/Compiler/BackEnd/BackendVariable.mo
@@ -1248,6 +1248,13 @@ algorithm
   end match;
 end isParam;
 
+public function makeParam
+  "Change variable to parameter"
+  input output BackendDAE.Var var;
+algorithm
+  var.varKind := BackendDAE.PARAM();
+end makeParam;
+
 public function isParamOrConstant
 "Return true if variable is parameter or constant"
   input BackendDAE.Var invar;

diff --git a/OMCompiler/Compiler/BackEnd/CommonSubExpression.mo b/OMCompiler/Compiler/BackEnd/CommonSubExpression.mo
@@ -545,7 +545,7 @@ algorithm
 
             // Save the rhs (call) as bind expression and set fixed=true
             var := BackendVariable.setBindExp(var, SOME(call));
-            var := BackendVariable.setVarFixed(var, true);
+            var := BackendVariable.makeParam(var);
 
             // If it is a tuple or a record (or record within tuple)
             if intGt(listLength(varList), 1) or Expression.isTuple(cse) then