diff options
| author | nicolas.nardino <nicolas.nardino@ens-lyon.fr> | 2021-06-14 17:39:58 +0200 |
|---|---|---|
| committer | nicolas.nardino <nicolas.nardino@ens-lyon.fr> | 2021-06-14 17:39:58 +0200 |
| commit | bff4e6ff0b782619b6fcc18751fa575cbb11de68 (patch) | |
| tree | 76d6f4ee4ed6711e4a548b6cd62e881cf0bbbbff /scheduling/InstructionScheduler.mli | |
| parent | 3eb3751f84348a20b7ce211fdbf1d01a9c4685a8 (diff) | |
| download | compcert-kvx-bff4e6ff0b782619b6fcc18751fa575cbb11de68.tar.gz compcert-kvx-bff4e6ff0b782619b6fcc18751fa575cbb11de68.zip | |
was very wrong, fixing
Diffstat (limited to 'scheduling/InstructionScheduler.mli')
| -rw-r--r-- | scheduling/InstructionScheduler.mli | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/scheduling/InstructionScheduler.mli b/scheduling/InstructionScheduler.mli index e7f9e7db..9b6f7a3c 100644 --- a/scheduling/InstructionScheduler.mli +++ b/scheduling/InstructionScheduler.mli @@ -29,9 +29,9 @@ type problem = { typing : RTLtyping.regenv; (** Register type map. *) - pressure_deltas : int array array; - (** At index (i, j), the pressure delta for instruction i, for - register class j. *) + reference_counting : ((Registers.reg, int * int) Hashtbl.t + * (Registers.reg list array)) option; + (** See RTLpathScheduleraux.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] *) |