diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2019-02-12 15:10:20 +0100 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2019-02-12 15:10:20 +0100 |
commit | 40bc8bf185c5cd3c5620cf4fe24ebcc9511c79fb (patch) | |
tree | 24d61f0ca190e6416bdd9081f51ae36ee4403de0 /mppa_k1c/PostpassSchedulingOracle.ml | |
parent | 1f38df638dfd4ae2aa85467cc28f6b4fa1da03b1 (diff) | |
download | compcert-kvx-40bc8bf185c5cd3c5620cf4fe24ebcc9511c79fb.tar.gz compcert-kvx-40bc8bf185c5cd3c5620cf4fe24ebcc9511c79fb.zip |
Added Ofloatconst and Osingleconst (not integrated in scheduler yet)
Diffstat (limited to 'mppa_k1c/PostpassSchedulingOracle.ml')
-rw-r--r-- | mppa_k1c/PostpassSchedulingOracle.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/mppa_k1c/PostpassSchedulingOracle.ml b/mppa_k1c/PostpassSchedulingOracle.ml index 040e9e8d..614af7f5 100644 --- a/mppa_k1c/PostpassSchedulingOracle.ml +++ b/mppa_k1c/PostpassSchedulingOracle.ml @@ -127,6 +127,8 @@ let arith_rec i = | PArithRRR (i, rd, rs1, rs2) -> arith_rrr_rec i (IR rd) (IR rs1) (IR rs2) | PArithRI32 (rd, imm32) -> { inst = arith_ri32_str; write_locs = [Reg (IR rd)]; read_locs = []; imm = (Some (I32 imm32)) ; is_control = false} | PArithRI64 (rd, imm64) -> { inst = arith_ri64_str; write_locs = [Reg (IR rd)]; read_locs = []; imm = (Some (I64 imm64)) ; is_control = false} + | PArithRF32 (rd, f) -> raise OpaqueInstruction (* FIXME - complete later *) + | PArithRF64 (rd, f) -> raise OpaqueInstruction | PArithRR (i, rd, rs) -> arith_rr_rec i (IR rd) (IR rs) | PArithR (i, rd) -> arith_r_rec i (IR rd) |