#2862 - testing performance of not replacing size(exp, 1) with a non-constant expressions

git-svn-id: https://openmodelica.org/svn/OpenModelica/trunk@22610 f25d12d1-65f4-0310-ae8a-bbce733d8d8e

Author: sjoelund

Compiler/FrontEnd/Expression.mo

@@ -556,6 +556,24 @@ algorithm
   end match;
 end liftArrayR;
 
+public function dimensionSizeConstantExp
+  "Converts (extracts) a dimension to an expression.
+  This function will fail if dimension is unknown or an expression (in case the dimension is from a different scope).
+  If you want to(kind of) handle unknown dims use dimensionSizeExpHandleUnkown."
+  input DAE.Dimension dim;
+  output DAE.Exp exp;
+algorithm
+  exp := match(dim)
+    local
+      Integer i;
+      DAE.Exp e;
+
+    case DAE.DIM_INTEGER(integer = i) then DAE.ICONST(i);
+    case DAE.DIM_ENUM(size = i) then DAE.ICONST(i);
+    case DAE.DIM_BOOLEAN() then DAE.ICONST(2);
+  end match;
+end dimensionSizeConstantExp;
+
 public function dimensionSizeExp
   "Converts (extracts) a dimension to an expression.
   This function will fail if dimension is unknown. i.e. DIM_UNKNOWN.

Compiler/FrontEnd/Static.mo

@@ -3352,7 +3352,7 @@ algorithm
         dim_count = listLength(inDimensions);
         true = (dim_int > 0 and dim_int <= dim_count);
         dim = listNth(inDimensions, dim_int - 1);
-        exp = Expression.dimensionSizeExp(dim);
+        exp = Expression.dimensionSizeConstantExp(dim);
         prop = DAE.PROP(DAE.T_INTEGER_DEFAULT, DAE.C_CONST());
       then
         (SOME(exp), SOME(prop));