diff options
author | Justus Fasse <justus.fasse@etu.univ-grenoble-alpes.fr> | 2021-07-29 13:15:13 +0200 |
---|---|---|
committer | Justus Fasse <justus.fasse@etu.univ-grenoble-alpes.fr> | 2021-07-29 13:15:13 +0200 |
commit | f44edee4c040932044d5c5dd2c20727f9484bde7 (patch) | |
tree | f69dab3d92eda4a2831c8f0039bbd3dd19baeffe | |
parent | bb1846ac557ae603cb203badca4678e1ddd0dad2 (diff) | |
download | compcert-kvx-f44edee4c040932044d5c5dd2c20727f9484bde7.tar.gz compcert-kvx-f44edee4c040932044d5c5dd2c20727f9484bde7.zip |
Early exit for ideal_schedule'
-rw-r--r-- | scheduling/MyRTLpathScheduleraux.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scheduling/MyRTLpathScheduleraux.ml b/scheduling/MyRTLpathScheduleraux.ml index fbda7a31..e4567c1b 100644 --- a/scheduling/MyRTLpathScheduleraux.ml +++ b/scheduling/MyRTLpathScheduleraux.ml @@ -618,7 +618,7 @@ let ideal_schedule' sb code ~next_free_reg = (* Copied from PrepassSchedulingOracle.schedule_sequence *) let opweights = OpWeights.get_opweights () in (* WARNING: Early exit in case there is only on instruction to schedule *) - if (Array.length fake_seqa) <= 1 then sb.instructions else + if (Array.length fake_seqa) <= 1 then None else let nr_instr_fake_seqa = Array.length fake_seqa in assert (nr_instr_fake_seqa = Array.length seqa); let nr_instr_seqa = nr_instr_fake_seqa in |