[NF] Improve function vectorization.

- Handle dimensions defined by an expression when vectorizing calls.

Belonging to [master]:
  - #2420

Author: perost

Compiler/NFFrontEnd/NFCall.mo

@@ -690,12 +690,12 @@ uniontype Call
           i := 1;
 
           for dim in vect_dims loop
-            Error.assertion(Dimension.isKnown(dim), getInstanceName() +
+            Error.assertion(Dimension.isKnown(dim, allowExp = true), getInstanceName() +
               " got unknown dimension for vectorized call", info);
 
             // Create the range on which we will iterate to vectorize.
             ty := Type.ARRAY(Type.INTEGER(), {dim});
-            exp := Expression.RANGE(ty, Expression.INTEGER(1), NONE(), Expression.INTEGER(Dimension.size(dim)));
+            exp := Expression.RANGE(ty, Expression.INTEGER(1), NONE(), Dimension.sizeExp(dim));
 
             // Create the iterator.
             iter := InstNode.fromComponent("$i" + intString(i),

Compiler/NFFrontEnd/NFDimension.mo

@@ -209,12 +209,14 @@ public
 
   function isKnown
     input Dimension dim;
+    input Boolean allowExp = false;
     output Boolean known;
   algorithm
     known := match dim
       case INTEGER() then true;
       case BOOLEAN() then true;
       case ENUM() then true;
+      case EXP() then allowExp;
       else false;
     end match;
   end isKnown;
@@ -256,8 +258,8 @@ public
   algorithm
   end toStringList;
 
-  function sizeExp
-    "Returns the size of a dimension as an expression."
+  function endExp
+    "Returns an expression for the last index in a dimension."
     input Dimension dim;
     input ComponentRef cref;
     input Integer index;
@@ -276,6 +278,23 @@ public
         then Expression.SIZE(Expression.CREF(Type.INTEGER(), ComponentRef.stripSubscripts(cref)),
                              SOME(Expression.INTEGER(index)));
     end match;
+  end endExp;
+
+  function sizeExp
+    "Returns the size of a dimension as an Expression."
+    input Dimension dim;
+    output Expression sizeExp;
+  algorithm
+    sizeExp := match dim
+      local
+        Type ty;
+
+      case INTEGER() then Expression.INTEGER(dim.size);
+      case BOOLEAN() then Expression.INTEGER(2);
+      case ENUM(enumType = ty as Type.ENUMERATION())
+        then Expression.INTEGER(listLength(ty.literals));
+      case EXP() then dim.exp;
+    end match;
   end sizeExp;
 
   function variability

Compiler/NFFrontEnd/NFTyping.mo

@@ -1788,7 +1788,7 @@ function evaluateEnd
       Type ty;
       ComponentRef cr;
 
-    case Expression.END() then Dimension.sizeExp(dim, cref, index);
+    case Expression.END() then Dimension.endExp(dim, cref, index);
 
     case Expression.CREF()
       algorithm