diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-04-29 11:45:16 +0200 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-04-29 11:45:16 +0200 |
commit | 5c42545efcde8cda26a64f13ee6a1524fb17bc69 (patch) | |
tree | 6a3ad96b613e811959fbcfca06f154ae5f7c8285 | |
parent | ec99800447f584e31523345469cee96977266327 (diff) | |
download | compcert-kvx-5c42545efcde8cda26a64f13ee6a1524fb17bc69.tar.gz compcert-kvx-5c42545efcde8cda26a64f13ee6a1524fb17bc69.zip |
forgot in oracle
-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 5f016e53..af40d4d1 100644 --- a/mppa_k1c/PostpassSchedulingOracle.ml +++ b/mppa_k1c/PostpassSchedulingOracle.ml @@ -473,6 +473,8 @@ let ab_inst_to_real = function | "Psubl" | "Pnegl" -> Sbfd | "Psraw" | "Psraiw" -> Sraw | "Psral" | "Psrail" -> Srad + | "Psrxw" | "Psrxiw" -> Srsw + | "Psrxl" | "Psrxil" -> Srsd | "Psrlw" | "Psrliw" -> Srlw | "Psrll" | "Psrlil" -> Srld | "Psllw" | "Pslliw" -> Sllw |