diff options
Diffstat (limited to 'scheduling/InstructionScheduler.ml')
| -rw-r--r-- | scheduling/InstructionScheduler.ml | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/scheduling/InstructionScheduler.ml b/scheduling/InstructionScheduler.ml index df8a4e4e..5b4c87f4 100644 --- a/scheduling/InstructionScheduler.ml +++ b/scheduling/InstructionScheduler.ml @@ -360,8 +360,13 @@ let reg_pres_scheduler (problem : problem) : solution option = let nr_types_regs = Array.length available_regs in - let regs_thresholds = Array.init nr_types_regs - (fun i -> 5) in + let thres = Array.fold_left (min) + (max !(Clflags.option_regpres_threshold) 0) + Machregsaux.nr_regs + in + + + let regs_thresholds = Array.make nr_types_regs thres in (* placeholder value *) let class_r r = |