diff options
| author | Léo Gourdin <leo.gourdin@univ-grenoble-alpes.fr> | 2021-09-01 16:57:12 +0200 |
|---|---|---|
| committer | Léo Gourdin <leo.gourdin@univ-grenoble-alpes.fr> | 2021-09-01 16:57:12 +0200 |
| commit | ddc17a17408541efa8b23afa3e6ccad1e6ce0b6e (patch) | |
| tree | ab479fba4e57dc9d8ca131d485e9ec626815eee4 /scheduling/InstructionScheduler.mli | |
| parent | a4c7a7240a93e874779027a6a3d41ccebc81b396 (diff) | |
| download | compcert-kvx-ddc17a17408541efa8b23afa3e6ccad1e6ce0b6e.tar.gz compcert-kvx-ddc17a17408541efa8b23afa3e6ccad1e6ce0b6e.zip | |
cleanup
Diffstat (limited to 'scheduling/InstructionScheduler.mli')
| -rw-r--r-- | scheduling/InstructionScheduler.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scheduling/InstructionScheduler.mli b/scheduling/InstructionScheduler.mli index 48c7bc09..29b05b6c 100644 --- a/scheduling/InstructionScheduler.mli +++ b/scheduling/InstructionScheduler.mli @@ -31,7 +31,7 @@ type problem = { reference_counting : ((Registers.reg, int * int) Hashtbl.t * ((Registers.reg * bool) list array)) option; - (** See RTLpathScheduleraux.reference_counting. *) + (** See BTLScheduleraux.reference_counting. *) instruction_usages: int array array; (** At index {i i} the vector of resources used by instruction number {i i}. It must be the same length as [resource_bounds] *) |