Add back C11.intToMo and fix missing source code for atomic reductions

Author: ThomasHaas

dartagnan/src/main/java/com/dat3m/dartagnan/parsers/program/visitors/VisitorLitmusC.java

@@ -541,7 +541,7 @@ public Object visitNreAtomicOp(LitmusCParser.NreAtomicOpContext ctx){
     public Object visitNreC11AtomicOp(LitmusCParser.NreC11AtomicOpContext ctx){
         Expression value = returnExpressionOrOne(ctx.value);
         Event event = EventFactory.Atomic.newRMWOp(getAddress(ctx.address), value, ctx.op, ctx.c11Mo().mo);
-        return programBuilder.addChild(currentThread, event);
+        return programBuilder.addChild(currentThread, event, ctx.getStart().getLine());
     }
 
     @Override

dartagnan/src/main/java/com/dat3m/dartagnan/program/event/Tag.java

@@ -150,6 +150,18 @@ public static String storeMO(String mo) {
                 default                 -> MO_RELAXED;
             };
         }
+
+        public static String intToMo(int i) {
+            return switch (i) {
+                case 0 -> MO_RELAXED;
+                case 1 -> MO_CONSUME;
+                case 2 -> MO_ACQUIRE;
+                case 3 -> MO_RELEASE;
+                case 4 -> MO_ACQUIRE_RELEASE;
+                case 5 -> MO_SC;
+                default -> throw new IllegalArgumentException("Invalid memory order value " + i);
+            };
+        }
     }
 
     // =============================================================================================