diff options
| author | Justus Fasse <justus.fasse@etu.univ-grenoble-alpes.fr> | 2021-07-27 18:21:16 +0200 |
|---|---|---|
| committer | Justus Fasse <justus.fasse@etu.univ-grenoble-alpes.fr> | 2021-07-27 18:21:16 +0200 |
| commit | f88cafb5395dedc195dd6b8b4d14d9a2b393e1cc (patch) | |
| tree | fe51326d441fbd7f420b15ef28398285e2daf08b | |
| parent | d016aec28c72e47a48e040c1a85a6a289537297e (diff) | |
| download | compcert-kvx-f88cafb5395dedc195dd6b8b4d14d9a2b393e1cc.tar.gz compcert-kvx-f88cafb5395dedc195dd6b8b4d14d9a2b393e1cc.zip | |
Make comment apply to the correct branch
| -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 6fc39d62..0d5d87d1 100644 --- a/scheduling/MyRTLpathScheduleraux.ml +++ b/scheduling/MyRTLpathScheduleraux.ml @@ -1203,7 +1203,7 @@ let scheduler f = flush_all (); let (superblocks, code, pm, next_free_pc, next_free_reg) = - if !Clflags.option_fpoormansssa then ( + if not !Clflags.option_fpoormansssa then ( (* In principle we need to do something like this because if we do not systematically * rename registers, the downward scheduling might copy a series of instructions like * this: i = i + 1, which when copied twice (to move below two side exits) is |