diff options
author | nicolas.nardino <nicolas.nardino@ens-lyon.fr> | 2021-06-12 10:52:59 +0200 |
---|---|---|
committer | nicolas.nardino <nicolas.nardino@ens-lyon.fr> | 2021-06-12 10:52:59 +0200 |
commit | 2b814b1f9bb30d9c8b59a713f69bced808bca7c7 (patch) | |
tree | e558872ae04c25e6e4bd5c7d264c53eb9616ff5c /scheduling/InstructionScheduler.mli | |
parent | 1701e43316ee8e69e794a025a8c9979af6bb8c93 (diff) | |
download | compcert-kvx-2b814b1f9bb30d9c8b59a713f69bced808bca7c7.tar.gz compcert-kvx-2b814b1f9bb30d9c8b59a713f69bced808bca7c7.zip |
work on the scheduler
Diffstat (limited to 'scheduling/InstructionScheduler.mli')
-rw-r--r-- | scheduling/InstructionScheduler.mli | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/scheduling/InstructionScheduler.mli b/scheduling/InstructionScheduler.mli index 8dcc4ef5..e7f9e7db 100644 --- a/scheduling/InstructionScheduler.mli +++ b/scheduling/InstructionScheduler.mli @@ -29,6 +29,10 @@ 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. *) + 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] *) |