diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-09-10 16:20:40 +0200 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-09-10 16:20:40 +0200 |
commit | 0566b93d9e42ab023eb95a4535af0c3a86b0421c (patch) | |
tree | 3767113c0a3486dea006be78cbb8e69ac426d9be /kvx/InstructionScheduler.mli | |
parent | d2a72d9218f633e99028d6ac59d19ec1bec81493 (diff) | |
download | compcert-kvx-0566b93d9e42ab023eb95a4535af0c3a86b0421c.tar.gz compcert-kvx-0566b93d9e42ab023eb95a4535af0c3a86b0421c.zip |
use with_destructor
Diffstat (limited to 'kvx/InstructionScheduler.mli')
-rw-r--r-- | kvx/InstructionScheduler.mli | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/kvx/InstructionScheduler.mli b/kvx/InstructionScheduler.mli index 6d27b30c..85e2a5c6 100644 --- a/kvx/InstructionScheduler.mli +++ b/kvx/InstructionScheduler.mli @@ -65,10 +65,10 @@ val list_scheduler : problem -> solution option (** Schedule the problem using the order of instructions without any reordering *) val greedy_scheduler : problem -> solution option -(** Schedule a problem using a scheduler applied in the opposite direction, e.g. for list scheduling from the end instead of the start. *) +(** Schedule a problem using a scheduler applied in the opposite direction, e.g. for list scheduling from the end instead of the start. BUGGY *) val schedule_reversed : scheduler -> problem -> int array option -(** Schedule a problem from the end using a list scheduler. *) +(** Schedule a problem from the end using a list scheduler. BUGGY *) val reverse_list_scheduler : problem -> int array option (** Check that a problem is well-formed. |