diff options
author | nicolas.nardino <nicolas.nardino@ens-lyon.fr> | 2021-06-04 14:24:07 +0200 |
---|---|---|
committer | nicolas.nardino <nicolas.nardino@ens-lyon.fr> | 2021-06-04 14:24:07 +0200 |
commit | 7ae1fb0faea68ce5cfe04a232e49659247c244e9 (patch) | |
tree | 2f50c53d68ab67ce5f9b1b9ec947a4a3147076ac /scheduling/InstructionScheduler.ml | |
parent | 3181fe5407ed0221714830e2bd1e19850eac5461 (diff) | |
download | compcert-kvx-7ae1fb0faea68ce5cfe04a232e49659247c244e9.tar.gz compcert-kvx-7ae1fb0faea68ce5cfe04a232e49659247c244e9.zip |
Passing info of live regs to scheduler: beginning
Diffstat (limited to 'scheduling/InstructionScheduler.ml')
-rw-r--r-- | scheduling/InstructionScheduler.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/scheduling/InstructionScheduler.ml b/scheduling/InstructionScheduler.ml index eab0b21a..976037bd 100644 --- a/scheduling/InstructionScheduler.ml +++ b/scheduling/InstructionScheduler.ml @@ -33,6 +33,7 @@ type latency_constraint = { type problem = { max_latency : int; resource_bounds : int array; + live_regs_entry : Registers.Regset.t; instruction_usages : int array array; latency_constraints : latency_constraint list; };; @@ -438,6 +439,7 @@ let reverse_problem problem = { max_latency = problem.max_latency; resource_bounds = problem.resource_bounds; + live_regs_entry = Registers.Regset.empty; (* PLACEHOLDER *) instruction_usages = Array.init (nr_instructions + 1) (fun i -> if i=0 |