diff options
Diffstat (limited to 'scheduling/InstructionScheduler.ml')
| -rw-r--r-- | scheduling/InstructionScheduler.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/scheduling/InstructionScheduler.ml b/scheduling/InstructionScheduler.ml index f823ccca..0203d9c8 100644 --- a/scheduling/InstructionScheduler.ml +++ b/scheduling/InstructionScheduler.ml @@ -526,7 +526,7 @@ let reg_pres_scheduler (problem : problem) : solution option = (vector_subtract usages.(maybe) current_resources; result := maybe) else - if not !Clflags.option_regpres_temp + if not !Clflags.option_regpres_wait_window then (InstrSet.iter (fun ins -> if vector_less_equal usages.(ins) current_resources && @@ -565,7 +565,7 @@ let reg_pres_scheduler (problem : problem) : solution option = if !csr_b && !Clflags.option_debug_compcert > 6 then DebugPrint.debug "REGPRES: high pres class %d\n" i; csr_b := false; - if !Clflags.option_regpres_temp then + if !Clflags.option_regpres_wait_window then cnt := 0; List.iter (fun (r,b) -> if b then |