Small bugfix in dimension reduction which caused array indices to be calculated incorrectly

phases/constant_propagation.ml

@@ -149,7 +149,7 @@ let rec propagate consts node =
     | _ -> transform_children propagate node
 
 let rec prune_vardecs consts = function
-    | VarDec (ctype, name, init, loc) when Hashtbl.mem consts name -> Block []
+    | VarDec (ctype, name, init, loc) when Hashtbl.mem consts name -> DummyNode
     | node -> transform_children (prune_vardecs consts) node
 
 let rec phase input =

phases/dim_reduce.ml

@@ -11,7 +11,7 @@ let rec expand dims depth = function
     | [node]   -> dim_reduce depth node
     | hd :: tl -> let trav = dim_reduce depth in
                   let mul = Binop (Mul, trav hd, trav (List.hd dims), noloc) in
-                  Binop (Mul, mul, expand (List.tl dims) depth tl, noloc)
+                  Binop (Add, mul, expand (List.tl dims) depth tl, noloc)
 
 and dim_reduce depth = function
     | Allocate (name, dims, dec, loc) ->