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/analysis_domain.ml | |
| parent | Fix topdown strategy for add (diff) | |
Initial code for translator
Diffstat (limited to 'source/xi_lib/analysis_domain.ml')
| -rw-r--r-- | source/xi_lib/analysis_domain.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/source/xi_lib/analysis_domain.ml b/source/xi_lib/analysis_domain.ml index 9f49a3e..db124e0 100644 --- a/source/xi_lib/analysis_domain.ml +++ b/source/xi_lib/analysis_domain.ml @@ -103,7 +103,7 @@ module ConstantFolding = struct | Some a -> Ir_utils.string_of_expr a let string_of_domain dom = - let f (k,v) = Format.sprintf "%s=%s" (Ir.string_of_reg k) (string_of_el v) in + let f (k,v) = Format.sprintf "%s=%s" (Ir_utils.string_of_reg k) (string_of_el v) in let seq = Ir.RegMap.to_seq dom in let seq = Seq.map f seq in String.concat " " @@ List.of_seq seq @@ -132,4 +132,4 @@ module ReachabilityAnalysis = struct type table = Ir.LabelSet.t Analysis.BlockKnowledge.table -end \ No newline at end of file +end |