From 86d2b0555ee09d648c8d7373b0a9a4acdcb344e0 Mon Sep 17 00:00:00 2001
From: Léo Gourdin <leo.gourdin@univ-grenoble-alpes.fr>
Date: Fri, 6 Nov 2020 12:05:53 +0100
Subject: Preparing the repo for debugging postpass and executing tests

---
 aarch64/PostpassSchedulingOracle.ml | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'aarch64/PostpassSchedulingOracle.ml')

diff --git a/aarch64/PostpassSchedulingOracle.ml b/aarch64/PostpassSchedulingOracle.ml
index a2e15139..831080d5 100644
--- a/aarch64/PostpassSchedulingOracle.ml
+++ b/aarch64/PostpassSchedulingOracle.ml
@@ -17,7 +17,7 @@ open Asmblock
 open OpWeightsAsm
 open InstructionScheduler
 
-let debug = false
+let debug = true
 
 (**
  * Extracting infos from Asm instructions
@@ -890,11 +890,11 @@ let smart_schedule bb =
   pack_result bb'
 
 let bblock_schedule bb =
-  if debug then (
+  let identity_mode = not !Clflags.option_fpostpass in
+  if (debug && not identity_mode) then (
     Printf.eprintf "###############################\n";
     Printf.eprintf "SCHEDULING\n" );
-  (*if Compopts.optim_postpass () then smart_schedule bb else dumb_schedule bb*)
-  smart_schedule bb
+  if identity_mode then pack_result bb else smart_schedule bb
 
 (** Called schedule function from Coq *)
 
-- 
cgit