Revision 1eda3e78 src/machine_code.ml
| src/machine_code.ml | ||
|---|---|---|
| 156 | 156 |
node_gencalls = []; |
| 157 | 157 |
node_checks = []; |
| 158 | 158 |
node_asserts = []; |
| 159 |
node_eqs= [];
|
|
| 159 |
node_stmts= [];
|
|
| 160 | 160 |
node_dec_stateless = false; |
| 161 | 161 |
node_stateless = Some false; |
| 162 | 162 |
node_spec = None; |
| ... | ... | |
| 428 | 428 |
(* Format.eprintf "%s schedule: %a@." |
| 429 | 429 |
nd.node_id |
| 430 | 430 |
(Utils.fprintf_list ~sep:" ; " Scheduling.pp_eq_schedule) sch;*) |
| 431 |
let split_eqs = Splitting.tuple_split_eq_list nd.node_eqs in
|
|
| 431 |
let split_eqs = Splitting.tuple_split_eq_list (get_node_eqs nd) in
|
|
| 432 | 432 |
let eqs_rev, remainder = |
| 433 | 433 |
List.fold_left |
| 434 | 434 |
(fun (accu, node_eqs_remainder) vl -> |
| ... | ... | |
| 446 | 446 |
if List.length remainder > 0 then ( |
| 447 | 447 |
Format.eprintf "Equations not used are@.%a@.Full equation set is:@.%a@.@?" |
| 448 | 448 |
Printers.pp_node_eqs remainder |
| 449 |
Printers.pp_node_eqs nd.node_eqs;
|
|
| 449 |
Printers.pp_node_eqs (get_node_eqs nd);
|
|
| 450 | 450 |
assert false); |
| 451 | 451 |
List.rev eqs_rev |
| 452 | 452 |
end |
Also available in: Unified diff