aboutsummaryrefslogtreecommitdiffstats
path: root/scheduling/InstructionScheduler.ml
diff options
context:
space:
mode:
authornicolas.nardino <nicolas.nardino@ens-lyon.fr>2021-06-04 14:24:07 +0200
committernicolas.nardino <nicolas.nardino@ens-lyon.fr>2021-06-04 14:24:07 +0200
commit7ae1fb0faea68ce5cfe04a232e49659247c244e9 (patch)
tree2f50c53d68ab67ce5f9b1b9ec947a4a3147076ac /scheduling/InstructionScheduler.ml
parent3181fe5407ed0221714830e2bd1e19850eac5461 (diff)
downloadcompcert-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.ml2
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