diff --git a/src/ir.ml b/src/ir.ml index 723368020e24..142a8df479f8 100644 --- a/src/ir.ml +++ b/src/ir.ml @@ -172,12 +172,14 @@ type stmt = (* | Reduce of reduce_op * expr * memref *) (* TODO: initializer expression? *) | Store of expr * memref +(* (* TODO: *) and reduce_op = | AddEq | SubEq | MulEq | DivEq + *) type arg = | Scalar of string * val_type diff --git a/src/ir_printer.ml b/src/ir_printer.ml index bd97dc32e731..73e4c580c2dc 100644 --- a/src/ir_printer.ml +++ b/src/ir_printer.ml @@ -57,11 +57,13 @@ and string_of_stmt = function (* | Reduce(op, e, mr) -> string_of_memref mr ^ string_of_reduce_op op ^ string_of_expr e *) | Store(e, mr) -> string_of_memref mr ^ " = " ^ string_of_expr e +(* and string_of_reduce_op = function | AddEq -> "+=" | SubEq -> "-=" | MulEq -> "*=" | DivEq -> "/=" + *) and string_of_memref mr = string_of_buffer mr.buf ^ "[" ^ string_of_expr mr.idx ^ "]"