diff options
| author | Cyril SIX <cyril.six@kalray.eu> | 2019-02-15 10:45:38 +0100 |
|---|---|---|
| committer | Cyril SIX <cyril.six@kalray.eu> | 2019-02-15 10:45:38 +0100 |
| commit | 72504f5f53110f997c998352e916ad6c4434c76d (patch) | |
| tree | 1ad63c52c9c1e0c3235b6bac27800c5ef42b8798 /mppa_k1c/PostpassSchedulingOracle.ml | |
| parent | 15ba214895b64f04c840b020e0263fbd3e45924c (diff) | |
| download | compcert-kvx-72504f5f53110f997c998352e916ad6c4434c76d.tar.gz compcert-kvx-72504f5f53110f997c998352e916ad6c4434c76d.zip | |
FIX axiom to be realized issue
Diffstat (limited to 'mppa_k1c/PostpassSchedulingOracle.ml')
| -rw-r--r-- | mppa_k1c/PostpassSchedulingOracle.ml | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/mppa_k1c/PostpassSchedulingOracle.ml b/mppa_k1c/PostpassSchedulingOracle.ml index 9126d230..f5742cc2 100644 --- a/mppa_k1c/PostpassSchedulingOracle.ml +++ b/mppa_k1c/PostpassSchedulingOracle.ml @@ -700,3 +700,11 @@ let schedule bb = if debug then (eprintf "###############################\n"; Printf.eprintf "SCHEDULING\n"; print_bb stderr 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 |