diff options
| author | Gabriel Kerneis | 2013-10-16 16:54:36 +0100 |
|---|---|---|
| committer | Gabriel Kerneis | 2013-10-16 16:54:36 +0100 |
| commit | 5e22318a2b65db6102542bf237ed8dd0bb7b8958 (patch) | |
| tree | 3b8a5b53622682fa9509fa7f38e12078dd5c865a | |
| parent | be581b5752f089b1f530e14d0a189b787b268e96 (diff) | |
Clean up action pretty-printing
| -rw-r--r-- | src/lem_interp/run_interp.ml | 21 |
1 files changed, 13 insertions, 8 deletions
diff --git a/src/lem_interp/run_interp.ml b/src/lem_interp/run_interp.ml index 32e23a7b..5da8ade7 100644 --- a/src/lem_interp/run_interp.ml +++ b/src/lem_interp/run_interp.ml @@ -40,16 +40,21 @@ let rec val_to_string = function sprintf "constructor %s %s" (id_to_string id) (val_to_string value) ;; +let reg_to_string = function Reg (id,_) | SubReg (id,_,_) -> id_to_string id ;; +let sub_to_string = function None -> "" | Some (x, y) -> sprintf " (%d, %d)" x y let act_to_string = function - | Read_reg ((Reg (id, _) | SubReg (id, _, _)), None) -> - sprintf "read_reg %s" (id_to_string id) - | Read_reg ((Reg (id, _) | SubReg (id, _, _)), Some (n1, n2)) -> - sprintf "read_reg %s (%d, %d)" (id_to_string id) n1 n2 - | Write_reg ((Reg (id, _) | SubReg (id, _, _)), None, value) -> - sprintf "write_reg %s = %s" (id_to_string id) (val_to_string value) - | Write_reg ((Reg (id, _) | SubReg (id, _, _)), Some (n1, n2), value) -> - sprintf "write_reg %s (%d, %d) = %s" (id_to_string id) n1 n2 + | Read_reg (reg, sub) -> + sprintf "read_reg %s%s" (reg_to_string reg) (sub_to_string sub) + | Write_reg (reg, sub, value) -> + sprintf "write_reg %s%s = %s" (reg_to_string reg) (sub_to_string sub) (val_to_string value) + | Read_mem (id, args, sub) -> + sprintf "read_mem %s(%s)%s" (id_to_string id) (val_to_string args) + (sub_to_string sub) + | Write_mem (id, args, sub, value) -> + sprintf "write_mem %s(%s)%s = %s" (id_to_string id) (val_to_string args) + (sub_to_string sub) (val_to_string value) +;; | Read_mem (id, args, None) -> sprintf "read_mem %s(%s)" (id_to_string id) (val_to_string args) | Read_mem (id, args, Some (n1, n2)) -> |