diff options
author | David Monniaux <David.Monniaux@univ-grenoble-alpes.fr> | 2021-07-16 14:13:50 +0200 |
---|---|---|
committer | David Monniaux <David.Monniaux@univ-grenoble-alpes.fr> | 2021-07-16 14:13:50 +0200 |
commit | 6121be54b80a55fdadd8b64dfad53357148c9090 (patch) | |
tree | 3ce00036c59adc1365da9d581b7257c15c79d3d6 | |
parent | 43d4932e8ba9e00eb8c8788c86f56b6bddd46392 (diff) | |
download | compcert-kvx-6121be54b80a55fdadd8b64dfad53357148c9090.tar.gz compcert-kvx-6121be54b80a55fdadd8b64dfad53357148c9090.zip |
fix for KVX
-rw-r--r-- | kvx/PostpassSchedulingOracle.ml | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/kvx/PostpassSchedulingOracle.ml b/kvx/PostpassSchedulingOracle.ml index 2107ce22..5ebad421 100644 --- a/kvx/PostpassSchedulingOracle.ml +++ b/kvx/PostpassSchedulingOracle.ml @@ -787,8 +787,14 @@ let latency_constraints bb = *) let build_problem bb = - { max_latency = -1; resource_bounds = resource_bounds; - instruction_usages = instruction_usages bb; latency_constraints = latency_constraints bb } +{ max_latency = -1; + resource_bounds = resource_bounds; + instruction_usages = instruction_usages bb; + latency_constraints = latency_constraints bb; + live_regs_entry = Registers.Regset.empty; (* unused here *) + typing = (fun x -> AST.Tint); (* unused here *) + reference_counting = None +} let rec find_min_opt (l: int option list) = match l with |