Revision eb837d74
Added by Xavier Thirioux over 5 years ago
| src/scheduling.ml | ||
|---|---|---|
| 151 | 151 |
let fanin = Liveness.compute_fanin n gg in |
| 152 | 152 |
{ node = n'; schedule = sort; unused_vars = unused; fanin_table = fanin; dep_graph = gg; }
|
| 153 | 153 |
|
| 154 |
with (Causality.Cycle vl) as exc -> |
|
| 155 |
let vl = filter_original n vl in |
|
| 156 |
pp_error Format.err_formatter vl; |
|
| 157 |
raise exc |
|
| 154 |
with (Causality.Error err) as exc -> |
|
| 155 |
match err with |
|
| 156 |
| DataCycle vl -> |
|
| 157 |
let vl = filter_original n vl in |
|
| 158 |
Causality.pp_error Format.err_formatter err; |
|
| 159 |
raise exc |
|
| 160 |
| _ -> raise exc |
|
| 158 | 161 |
|
| 159 | 162 |
let compute_node_reuse_table report = |
| 160 | 163 |
let disjoint = Disjunction.clock_disjoint_map (get_node_vars report.node) in |
Also available in: Unified diff
slight improvement of causality error messages