diff options
author | Léo Gourdin <leo.gourdin@univ-grenoble-alpes.fr> | 2021-03-01 23:16:02 +0100 |
---|---|---|
committer | Léo Gourdin <leo.gourdin@univ-grenoble-alpes.fr> | 2021-03-01 23:16:02 +0100 |
commit | fd1a0395e540ee9fcd91d8f09161b34a22d9c51e (patch) | |
tree | d5a02963ff833d1a98f5078ce457aca724735112 /scheduling | |
parent | dae202e121342b691585a78caaec8f4100c3123d (diff) | |
download | compcert-kvx-fd1a0395e540ee9fcd91d8f09161b34a22d9c51e.tar.gz compcert-kvx-fd1a0395e540ee9fcd91d8f09161b34a22d9c51e.zip |
Try to save values in virtual registers during expansion
Diffstat (limited to 'scheduling')
-rw-r--r-- | scheduling/RTLpathScheduleraux.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scheduling/RTLpathScheduleraux.ml b/scheduling/RTLpathScheduleraux.ml index 79959ef2..b13d559e 100644 --- a/scheduling/RTLpathScheduleraux.ml +++ b/scheduling/RTLpathScheduleraux.ml @@ -303,7 +303,7 @@ let rec do_schedule code pm = function debug "\nSchedule to apply: "; print_arrayp schedule; debug "\nNew Code: "; print_code new_code; debug "\n"; - (* debug_flag := false; *) + (*debug_flag := false; *) do_schedule new_code pm lsb end |