diff options
author | Paweł Dybiec <pdybiec@stud.cs.uni.wroc.pl> | 2018-12-09 17:49:20 +0100 |
---|---|---|
committer | Paweł Dybiec <pdybiec@stud.cs.uni.wroc.pl> | 2018-12-09 17:49:20 +0100 |
commit | d8e44d7e8e043eb5559ff7228f2bd6c4ecbce3f0 (patch) | |
tree | c674515acd43f2d81290fad9443d08fc75c20ff4 /source/xi_lib/logger.ml | |
parent | Fix topdown strategy for add (diff) |
Initial code for translator
Diffstat (limited to 'source/xi_lib/logger.ml')
-rw-r--r-- | source/xi_lib/logger.ml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/source/xi_lib/logger.ml b/source/xi_lib/logger.ml index 746bbb8..26ce286 100644 --- a/source/xi_lib/logger.ml +++ b/source/xi_lib/logger.ml @@ -134,7 +134,7 @@ let dump_ir_proc title irproc = dump_string title buffer let dump_spill_costs spill_costs = - let f (k,v) = Format.sprintf "%s -> %u" (Ir.string_of_reg k) v in + let f (k,v) = Format.sprintf "%s -> %u" (Ir_utils.string_of_reg k) v in let seq = Hashtbl.to_seq spill_costs in let seq = Seq.map f seq in let seq = List.of_seq seq in @@ -142,7 +142,7 @@ let dump_spill_costs spill_costs = dump_string "spill_costs" buf let dump_spill_costs_f spill_costs = - let f (k,v) = Format.sprintf "%s -> %f" (Ir.string_of_reg k) v in + let f (k,v) = Format.sprintf "%s -> %f" (Ir_utils.string_of_reg k) v in let seq = Hashtbl.to_seq spill_costs in let seq = Seq.map f seq in let seq = List.of_seq seq in @@ -167,4 +167,4 @@ let dump_constant_folding title cfg table = dump_string (title ^ ".cfa.xdot") buffer let init xilog = - FS.init xilog \ No newline at end of file + FS.init xilog |