diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-02-13 15:18:01 +0100 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-02-13 15:18:01 +0100 |
commit | 2f33dd16ce2f1ac423076b217c71f105ac5e66c8 (patch) | |
tree | 11509b6e68eb392ce2a9821d82d5b4d05a78d7a9 /mppa_k1c/PostpassSchedulingOracle.ml | |
parent | bc162e5d2be64ea3f552a61155211c2d6a1beb76 (diff) | |
download | compcert-kvx-2f33dd16ce2f1ac423076b217c71f105ac5e66c8.tar.gz compcert-kvx-2f33dd16ce2f1ac423076b217c71f105ac5e66c8.zip |
We have one example that exceeds a total latency of 5000, better simply not constrain this limit.
Diffstat (limited to 'mppa_k1c/PostpassSchedulingOracle.ml')
-rw-r--r-- | mppa_k1c/PostpassSchedulingOracle.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mppa_k1c/PostpassSchedulingOracle.ml b/mppa_k1c/PostpassSchedulingOracle.ml index 040e9e8d..fa11a298 100644 --- a/mppa_k1c/PostpassSchedulingOracle.ml +++ b/mppa_k1c/PostpassSchedulingOracle.ml @@ -506,7 +506,7 @@ let latency_constraints bb = (* failwith "latency_constraints: not implemented" *) let build_problem bb = - { max_latency = 5000; resource_bounds = resource_bounds; + { max_latency = -1; resource_bounds = resource_bounds; instruction_usages = instruction_usages bb; latency_constraints = latency_constraints bb } let rec find_min_opt (l: int option list) = |