diff options
| author | Léo Gourdin <leo.gourdin@lilo.org> | 2021-07-27 17:07:48 +0200 |
|---|---|---|
| committer | Léo Gourdin <leo.gourdin@lilo.org> | 2021-07-27 17:07:48 +0200 |
| commit | 9d0f2d9c1e0420af476cd4dbf1df43891e51615c (patch) | |
| tree | 19797c11672bbd322893c348a2450eb56615a3dd /scheduling | |
| parent | b3e47d62f708777248e5c630abd3afa8ddfdefc4 (diff) | |
| parent | 70ed73cba9347b398c509488051ae54d193eb875 (diff) | |
| download | compcert-kvx-9d0f2d9c1e0420af476cd4dbf1df43891e51615c.tar.gz compcert-kvx-9d0f2d9c1e0420af476cd4dbf1df43891e51615c.zip | |
Merge branch 'BTL-SEimpl' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into BTL-SEimpl
Diffstat (limited to 'scheduling')
| -rw-r--r-- | scheduling/BTLScheduleraux.ml | 26 |
1 files changed, 14 insertions, 12 deletions
diff --git a/scheduling/BTLScheduleraux.ml b/scheduling/BTLScheduleraux.ml index ebd4089b..268ee7a5 100644 --- a/scheduling/BTLScheduleraux.ml +++ b/scheduling/BTLScheduleraux.ml @@ -105,18 +105,20 @@ let apply_schedule bseq olast positions = build_iblock ibl let schedule_blk n ibf btl = - let bseq, olast = flatten_blk_basics ibf in - match schedule_sequence bseq btl with - | Some positions -> - debug "%d," (p2i n); - Array.iter (fun p -> debug "%d " p) positions; - debug "\n"; - let new_ib = apply_schedule bseq olast positions in - let new_ibf = - { entry = new_ib; binfo = ibf.binfo; input_regs = ibf.input_regs } - in - PTree.set n new_ibf btl - | None -> btl + if not !Clflags.option_fprepass then btl + else + let bseq, olast = flatten_blk_basics ibf in + match schedule_sequence bseq btl with + | Some positions -> + debug "%d," (p2i n); + Array.iter (fun p -> debug "%d " p) positions; + debug "\n"; + let new_ib = apply_schedule bseq olast positions in + let new_ibf = + { entry = new_ib; binfo = ibf.binfo; input_regs = ibf.input_regs } + in + PTree.set n new_ibf btl + | None -> btl let turn_all_loads_nontrap n ibf btl = if not !config.has_non_trapping_loads then btl |