diff options
Diffstat (limited to 'scheduling/InstructionScheduler.mli')
| -rw-r--r-- | scheduling/InstructionScheduler.mli | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/scheduling/InstructionScheduler.mli b/scheduling/InstructionScheduler.mli index b5a5463b..48c7bc09 100644 --- a/scheduling/InstructionScheduler.mli +++ b/scheduling/InstructionScheduler.mli @@ -81,6 +81,8 @@ val list_scheduler : problem -> solution option (** WIP : Same as list_scheduler, but schedules instructions which decrease register pressure when it gets too high. *) val reg_pres_scheduler : problem -> solution option + +val reg_pres_scheduler_bis : problem -> solution option (** Schedule the problem using the order of instructions without any reordering *) val greedy_scheduler : problem -> solution option |