diff options
author | Léo Gourdin <leo.gourdin@lilo.org> | 2021-07-27 17:28:16 +0200 |
---|---|---|
committer | Léo Gourdin <leo.gourdin@lilo.org> | 2021-07-27 17:28:16 +0200 |
commit | 77ee161826e24e87f801cbbeb797fb3a4a4a0fe9 (patch) | |
tree | d514007d85f01b6ec790164475c305aaac4c681e /scheduling | |
parent | 9d0f2d9c1e0420af476cd4dbf1df43891e51615c (diff) | |
download | compcert-kvx-77ee161826e24e87f801cbbeb797fb3a4a4a0fe9.tar.gz compcert-kvx-77ee161826e24e87f801cbbeb797fb3a4a4a0fe9.zip |
test ci2
Diffstat (limited to 'scheduling')
-rw-r--r-- | scheduling/BTLScheduleraux.ml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/scheduling/BTLScheduleraux.ml b/scheduling/BTLScheduleraux.ml index 268ee7a5..5ebc4144 100644 --- a/scheduling/BTLScheduleraux.ml +++ b/scheduling/BTLScheduleraux.ml @@ -71,7 +71,7 @@ let apply_schedule bseq olast positions = let fmap n = find_array positions n in let seq = (Array.init (Array.length positions) (fun i -> i)) in let fseq = Array.map fmap seq in - debug_flag := true; + (*debug_flag := true;*) Array.iter (fun i -> debug "%d " i) positions; debug "\n"; Array.iter (fun i -> debug "%d " i) fseq; @@ -92,7 +92,7 @@ let apply_schedule bseq olast positions = let set_new = Hashtbl.find cbs_above_new n' in if SI.subset set_old set_new then bseq_new.(n') <- Bload (AST.TRAP, a, b, c, d, e) - else assert !config.has_non_trapping_loads + else (Printf.eprintf "\nTEST_GOURDINL_OK\n"; assert !config.has_non_trapping_loads) | _ -> ()) bseq; let ibl = Array.to_list bseq_new in @@ -101,7 +101,7 @@ let apply_schedule bseq olast positions = | [ ib ] -> ( match olast with Some last -> Bseq (ib, last) | None -> ib) | ib1 :: ib2 :: k -> Bseq (ib1, build_iblock (ib2 :: k)) in - debug_flag := false; + (*debug_flag := false;*) build_iblock ibl let schedule_blk n ibf btl = |