diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2019-05-17 12:07:51 +0200 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2019-05-17 12:07:51 +0200 |
commit | 7cecc1acf0f32044d702aa9fc983eebb3f57f9fb (patch) | |
tree | 31a090d419cd29c5ecdeb92526f8d4670c3c93aa /mppa_k1c/PostpassSchedulingOracle.ml | |
parent | 4f3b7c0d75fd90ac064419d19d7af2e340d516aa (diff) | |
download | compcert-kvx-7cecc1acf0f32044d702aa9fc983eebb3f57f9fb.tar.gz compcert-kvx-7cecc1acf0f32044d702aa9fc983eebb3f57f9fb.zip |
Desactivating the "one instruction per bundle" failsafe
Diffstat (limited to 'mppa_k1c/PostpassSchedulingOracle.ml')
-rw-r--r-- | mppa_k1c/PostpassSchedulingOracle.ml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/mppa_k1c/PostpassSchedulingOracle.ml b/mppa_k1c/PostpassSchedulingOracle.ml index 39a14727..9067f8e1 100644 --- a/mppa_k1c/PostpassSchedulingOracle.ml +++ b/mppa_k1c/PostpassSchedulingOracle.ml @@ -872,8 +872,11 @@ let smart_schedule bb = Printf.eprintf "In regards to this group of instructions:\n"; print_bb stderr bb; Printf.eprintf "Postpass scheduling could not complete: %s\n%s" msg stack; + failwith "Invalid schedule" + (* Printf.eprintf "Issuing one instruction per bundle instead\n\n"; dumb_schedule bb + *) end in bundles @ (f lbb) in f lbb |