[iss-325]

Squashed commit of the following:

commit a861df4
Author: joaquin.f.fernandez <joaquin.f.fernandez@gmail.com>
Date:   Mon Jun 29 10:33:56 2026 -0300

    Extend compilation logs.

commit db77a27
Author: joaquin.f.fernandez <joaquin.f.fernandez@gmail.com>
Date:   Mon Jun 29 10:33:24 2026 -0300

    Adapt expression visitors.

commit 1622a58
Author: joaquin.f.fernandez <joaquin.f.fernandez@gmail.com>
Date:   Mon Jun 29 10:31:51 2026 -0300

    Allow negative slopes in linear maps.

Author: joaquinffernandez

src/mmoc/deps/sbg_graph/build_from_exps.cpp

@@ -398,6 +398,11 @@ EdgeMaps generatePWLMaps(Expression exp, Set dom, Set unk_dom, int offset, strin
     LOG << "Init: " << range_init_value << endl;
     int map_first_value = pwl_map_values.constant() + pwl_map_values.slope() * range_init_value + set_vertex_init;
     LOG << "Map first: " << map_first_value << endl;
+    LOG << "Constant: " << pwl_map_values.constant() << endl;
+    LOG << "Slope: " << pwl_map_values.slope() << endl;
+    LOG << "Range init value: " << range_init_value << endl;
+    LOG << "Set vertex init: " << set_vertex_init << endl;
+    LOG << "Set vertex offset: " << set_vertex_offset << endl;
     constant_pwl_map_u_it = constant_pwl_map_u.insert(constant_pwl_map_u_it, map_first_value - set_vertex_offset);
     slope_pwl_map_u_it = slope_pwl_map_u.insert(slope_pwl_map_u_it, pwl_map_values.slope());
     exp_constants.insert(pwl_map_values.constant());

src/mmoc/deps/sbg_graph/linear_map.hpp

@@ -38,13 +38,11 @@ struct LMapImp {
         negative = true;
       }
     }
-    if (!negative) {
       if (slopes.size() == constants.size()) {
         _slopes = slopes;
         _constants = constants;
         _dims = slopes.size();
       }
-    }
   }
 
   // Constructs the id of LMaps

src/mmoc/util/visitors/eval_init_exp.hpp

@@ -33,6 +33,7 @@ class EvalInitExp : public AST_Expression_Fold<int> {
   int foldTraverseElement(AST_Expression exp);
   int foldTraverseElement(int l, int r, BinOpType bot);
   int foldTraverseElementUMinus(AST_Expression exp);
+  int _u_minus;
 };
 
 }  // namespace Util

src/mmoc/util/visitors/parse_index.cpp

@@ -28,7 +28,7 @@ namespace MicroModelica {
 using namespace IR;
 namespace Util {
 
-ParseIndex::ParseIndex() : _constant(0), _factor(1), _variable() {}
+ParseIndex::ParseIndex() : _constant(0), _factor(1), _variable(), _u_minus(1), _minus_sign(1) {}
 
 int ParseIndex::constant() { return _constant; }
 
@@ -57,6 +57,7 @@ AST_Expression ParseIndex::foldTraverseElement(AST_Expression exp)
       }
     } else {
       _variable = cr->name();
+      _factor *= _u_minus;
     }
     break;
   }
@@ -67,24 +68,33 @@ AST_Expression ParseIndex::foldTraverseElement(AST_Expression exp)
     foreach (it, outputs) {
       apply(current_element(it));
     }
+    break;
   }
   case EXPINTEGER:
     _constant = exp->getAsInteger()->val();
+    break;
   default:
     break;
   }
   return exp;
 }
 
-// @TODO: review if this is needed.
-AST_Expression ParseIndex::foldTraverseElementUMinus(AST_Expression exp) { return apply(exp->getAsUMinus()->exp()); }
+AST_Expression ParseIndex::foldTraverseElementUMinus(AST_Expression exp)
+{
+  _u_minus = -1;
+  AST_Expression ret = newAST_Expression_UnaryMinus(apply(exp->getAsUMinus()->exp()));
+  _u_minus = 1;
+  return ret;
+}
 
 int ParseIndex::getConstant(AST_Expression left, AST_Expression right)
 {
   if (left->expressionType() == EXPINTEGER) {
+    _minus_sign = 1;
     return left->getAsInteger()->val();
   }
   if (right->expressionType() == EXPINTEGER) {
+    _minus_sign = -1;
     return right->getAsInteger()->val();
   }
   assert(false);
@@ -95,13 +105,14 @@ AST_Expression ParseIndex::foldTraverseElement(AST_Expression l, AST_Expression
 {
   switch (bot) {
   case BINOPADD:
-    _constant = getConstant(l, r);
+    _constant = _u_minus * getConstant(l, r);
     break;
   case BINOPSUB:
-    _constant = -1 * getConstant(l, r);
+    _constant = _u_minus * _minus_sign * getConstant(l, r);
+    _factor = _minus_sign * -1;
     break;
   case BINOPMULT:
-    _factor = getConstant(l, r);
+    _factor = _u_minus * getConstant(l, r);
     break;
   default:
     break;

src/mmoc/util/visitors/parse_index.hpp

@@ -46,6 +46,8 @@ class ParseIndex : public AST_Expression_Visitor<AST_Expression> {
   int _constant;
   int _factor;
   std::string _variable;
+  int _u_minus;
+  int _minus_sign;
 };
 
 }  // namespace Util

src/mmoc/util/visitors/partial_eval_exp.cpp

@@ -78,8 +78,7 @@ AST_Expression PartialEvalExp::foldTraverseElement(AST_Expression exp)
 
 AST_Expression PartialEvalExp::foldTraverseElementUMinus(AST_Expression exp)
 {
-  AST_Expression_Integer zero = (AST_Expression_Integer)newAST_Expression_Integer(0);
-  return (foldTraverseElement(zero, apply(exp->getAsUMinus()->exp()), BINOPSUB));
+  return newAST_Expression_UnaryMinus(apply(exp->getAsUMinus()->exp()));
 }
 
 AST_Expression PartialEvalExp::foldTraverseElement(AST_Expression left, AST_Expression right, BinOpType binOpType)