diff options
author | Justus Fasse <justus.fasse@etu.univ-grenoble-alpes.fr> | 2021-07-19 11:28:32 +0200 |
---|---|---|
committer | Justus Fasse <justus.fasse@etu.univ-grenoble-alpes.fr> | 2021-07-19 11:28:32 +0200 |
commit | d745fec71e260f85e9740ffeb433d0dbf4e765ef (patch) | |
tree | 43f63ddf0569d7a2d134e5268c9d458201bb280a | |
parent | 3c8541d8cb7998ef4cd792b243dbf7358b4ee3ba (diff) | |
download | compcert-kvx-d745fec71e260f85e9740ffeb433d0dbf4e765ef.tar.gz compcert-kvx-d745fec71e260f85e9740ffeb433d0dbf4e765ef.zip |
Fix compilation error
TODO: review changes to scheduling heuristic
-rw-r--r-- | driver/Driver.ml | 3 | ||||
-rw-r--r-- | scheduling/MyRTLpathScheduleraux.ml | 3 |
2 files changed, 4 insertions, 2 deletions
diff --git a/driver/Driver.ml b/driver/Driver.ml index 60de1630..a2801ee1 100644 --- a/driver/Driver.ml +++ b/driver/Driver.ml @@ -442,8 +442,7 @@ let cmdline_actions = @ [ Exact "-funrollbody", Integer (fun n -> option_funrollbody := n) ] @ [ Exact "-flooprotate", Integer (fun n -> option_flooprotate := n) ] @ [ Exact "-flift-if", Integer (fun n -> option_fliftif := n) ] - @ f_opt "prepass-past-side-exits" option_prepass_past_side_exits - @ f_opt_str "prepass-past-side-exits" option_prepass_past_side_exits option_prepass_past_side_exits_sched + @ f_opt_str "prepass-past-side-exits" "move_stores" option_prepass_past_side_exits option_prepass_past_side_exits_sched @ f_opt "tracelinearize" option_ftracelinearize @ f_opt_str "prepass" "regpress" option_fprepass option_fprepass_sched @ f_opt_str "postpass" "list" option_fpostpass option_fpostpass_sched diff --git a/scheduling/MyRTLpathScheduleraux.ml b/scheduling/MyRTLpathScheduleraux.ml index 5227d24d..f8366c9f 100644 --- a/scheduling/MyRTLpathScheduleraux.ml +++ b/scheduling/MyRTLpathScheduleraux.ml @@ -569,6 +569,9 @@ let ideal_schedule' sb code ~next_free_reg = let problem = { InstructionScheduler.max_latency = -1 + ; live_regs_entry = RTLpathScheduleraux.get_live_regs_entry fake_sb fake_code + ; typing = fake_sb.typing + ; reference_counting = Some (RTLpathScheduleraux.reference_counting fake_seqa fake_sb.s_output_regs fake_sb.typing) ; resource_bounds = opweights.PrepassSchedulingOracleDeps.pipelined_resource_bounds ; instruction_usages = Array.map (PrepassSchedulingOracle.resources_of_instruction opweights) (Array.map fst seqa) ; latency_constraints = fake_deps } |