diff options
| author | nicolas.nardino <nicolas.nardino@ens-lyon.fr> | 2021-06-16 20:27:31 +0200 |
|---|---|---|
| committer | nicolas.nardino <nicolas.nardino@ens-lyon.fr> | 2021-06-16 20:27:31 +0200 |
| commit | 21278bd87e89210bcc287116f6e35fc1b52d0df2 (patch) | |
| tree | e55ca3a2c3cb35c9d610cad06da3a8819e793102 /scheduling/RTLpathScheduleraux.ml | |
| parent | 87c82b6fcf2bf825a8c60fc6a95498aac9f826d4 (diff) | |
| download | compcert-kvx-21278bd87e89210bcc287116f6e35fc1b52d0df2.tar.gz compcert-kvx-21278bd87e89210bcc287116f6e35fc1b52d0df2.zip | |
Now working, tests show a decrease in spillage
Should still find a proper way to treat the case mentioned in earlier
commits
Diffstat (limited to 'scheduling/RTLpathScheduleraux.ml')
| -rw-r--r-- | scheduling/RTLpathScheduleraux.ml | 28 |
1 files changed, 14 insertions, 14 deletions
diff --git a/scheduling/RTLpathScheduleraux.ml b/scheduling/RTLpathScheduleraux.ml index 8df3edbc..f3f09954 100644 --- a/scheduling/RTLpathScheduleraux.ml +++ b/scheduling/RTLpathScheduleraux.ml @@ -146,20 +146,20 @@ let reference_counting (seqa : (instruction * Regset.t) array) retr.(i) <- [reg, true] | _ -> () ) seqa; - print_string "mentions\n"; - Array.iteri (fun i l -> - print_int i; - print_string ": ["; - List.iter (fun (r, b) -> - print_int (Camlcoq.P.to_int r); - print_string ":"; - print_string (if b then "a:" else "d"); - if b then print_int (snd (Hashtbl.find retl r)); - print_string ", " - ) l; - print_string "]\n"; - flush stdout; - ) retr; + (* print_string "mentions\n"; + * Array.iteri (fun i l -> + * print_int i; + * print_string ": ["; + * List.iter (fun (r, b) -> + * print_int (Camlcoq.P.to_int r); + * print_string ":"; + * print_string (if b then "a:" else "d"); + * if b then print_int (snd (Hashtbl.find retl r)); + * print_string ", " + * ) l; + * print_string "]\n"; + * flush stdout; + * ) retr; *) retl, retr |