From 72504f5f53110f997c998352e916ad6c4434c76d Mon Sep 17 00:00:00 2001
From: Cyril SIX <cyril.six@kalray.eu>
Date: Fri, 15 Feb 2019 10:45:38 +0100
Subject: FIX axiom to be realized issue

---
 mppa_k1c/PostpassSchedulingOracle.ml | 8 ++++++++
 1 file changed, 8 insertions(+)

(limited to 'mppa_k1c/PostpassSchedulingOracle.ml')

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
-- 
cgit