diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2019-07-18 17:32:46 +0200 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2019-07-18 17:32:46 +0200 |
commit | c57baa03fa83d1295a3ba622986a02bd2fa6476f (patch) | |
tree | 5585d7a12b441f1fcd2cfcd22873da1d58fb382c /mppa_k1c/PostpassSchedulingOracle.ml | |
parent | d697fd077a83d572975c8305baa1f35edca9a05a (diff) | |
download | compcert-kvx-c57baa03fa83d1295a3ba622986a02bd2fa6476f.tar.gz compcert-kvx-c57baa03fa83d1295a3ba622986a02bd2fa6476f.zip |
Removing a hidden FIXME that hopefully didn't have any impact..
Diffstat (limited to 'mppa_k1c/PostpassSchedulingOracle.ml')
-rw-r--r-- | mppa_k1c/PostpassSchedulingOracle.ml | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/mppa_k1c/PostpassSchedulingOracle.ml b/mppa_k1c/PostpassSchedulingOracle.ml index af66bdb6..895f9f40 100644 --- a/mppa_k1c/PostpassSchedulingOracle.ml +++ b/mppa_k1c/PostpassSchedulingOracle.ml @@ -912,10 +912,3 @@ let schedule bb = (* print_problem (build_problem bb); *) if Compopts.optim_postpass () then smart_schedule bb else dumb_schedule bb -(** FIXME - Fix for PostpassScheduling WIP *) - -type bblock' = int - -let trans_block bb = 1 - -let bblock_equivb' bb1 bb2 = true |