diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-07-10 21:02:17 +0200 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-07-10 21:02:17 +0200 |
| commit | b38bf5750f0eb876d12da5d424b548abf4160484 (patch) | |
| tree | d29d1b10b11ba3ec388d228c9ec975861614ddae /kvx | |
| parent | cf94e6e6ee08732f3914174d12cb46e67e2adab6 (diff) | |
| download | compcert-kvx-b38bf5750f0eb876d12da5d424b548abf4160484.tar.gz compcert-kvx-b38bf5750f0eb876d12da5d424b548abf4160484.zip | |
it works but is too constrained
Diffstat (limited to 'kvx')
| -rw-r--r-- | kvx/lib/PrepassSchedulingOracle.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kvx/lib/PrepassSchedulingOracle.ml b/kvx/lib/PrepassSchedulingOracle.ml index 7e5e2f4a..dce7686b 100644 --- a/kvx/lib/PrepassSchedulingOracle.ml +++ b/kvx/lib/PrepassSchedulingOracle.ml @@ -136,7 +136,6 @@ let get_simple_dependencies (seqa : (instruction*Regset.t) array) = add_output_reg i (latency_of_op op (List.length inputs)) output | Iload(trap, chunk, addressing, addr_regs, output, _) -> set_branch i; - (* (if trap=TRAP then set_branch i); *) add_input_mem i; add_input_regs i addr_regs; add_output_reg i (latency_of_load trap chunk addressing (List.length addr_regs)) output @@ -174,6 +173,7 @@ let get_simple_dependencies (seqa : (instruction*Regset.t) array) = failwith "Ibuiltin" | Icond(cond, inputs, _, _, _) -> set_branch i; + add_input_mem i; add_input_regs i inputs | Ijumptable(input, _) -> set_branch i; |