diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2019-06-05 14:14:36 +0200 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2019-06-05 14:14:36 +0200 |
commit | 45844ce2210b58ddc29a2bcd55e3e0ddbe208ed0 (patch) | |
tree | f3510dee7f5f80a6d56eb9b6e661ec391d59af2b /mppa_k1c/PostpassSchedulingOracle.ml | |
parent | 72288298ea871d30db6693a65fe0ac2236a045c1 (diff) | |
download | compcert-kvx-45844ce2210b58ddc29a2bcd55e3e0ddbe208ed0.tar.gz compcert-kvx-45844ce2210b58ddc29a2bcd55e3e0ddbe208ed0.zip |
Fix for #134 Pjumptable not recognized
Diffstat (limited to 'mppa_k1c/PostpassSchedulingOracle.ml')
-rw-r--r-- | mppa_k1c/PostpassSchedulingOracle.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mppa_k1c/PostpassSchedulingOracle.ml b/mppa_k1c/PostpassSchedulingOracle.ml index 3924000b..2fc561ee 100644 --- a/mppa_k1c/PostpassSchedulingOracle.ml +++ b/mppa_k1c/PostpassSchedulingOracle.ml @@ -291,7 +291,7 @@ let ctl_flow_rec = function | Pj_l lbl -> { inst = "Pj_l"; write_locs = []; read_locs = []; imm = None ; is_control = true} | Pcb (bt, rs, lbl) -> { inst = "Pcb"; write_locs = []; read_locs = [Reg (IR rs)]; imm = None ; is_control = true} | Pcbu (bt, rs, lbl) -> { inst = "Pcbu"; write_locs = []; read_locs = [Reg (IR rs)]; imm = None ; is_control = true} - | Pjumptable (r, _) -> { inst = "Pjumptable"; write_locs = [Reg (IR GPR62); Reg (IR GPR63)]; read_locs = [Reg (IR r)]; imm = None ; is_control = true} + | Pjumptable (r, _) -> raise OpaqueInstruction (* { inst = "Pjumptable"; write_locs = [Reg (IR GPR62); Reg (IR GPR63)]; read_locs = [Reg (IR r)]; imm = None ; is_control = true} *) let control_rec i = match i with |