diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-03-19 21:50:25 +0100 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-03-19 21:50:25 +0100 |
| commit | 2af07d6a328f73a32bc2c768e3108dd3db393ed1 (patch) | |
| tree | 5b4d068c82b0b7153b71e5ed72cf38829a910ea9 /mppa_k1c/PostpassSchedulingOracle.ml | |
| parent | 9adb576998f3b2017db5c062b459449e1721579a (diff) | |
| download | compcert-kvx-2af07d6a328f73a32bc2c768e3108dd3db393ed1.tar.gz compcert-kvx-2af07d6a328f73a32bc2c768e3108dd3db393ed1.zip | |
mul+madd immediate
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 e1948a03..f4732ee4 100644 --- a/mppa_k1c/PostpassSchedulingOracle.ml +++ b/mppa_k1c/PostpassSchedulingOracle.ml @@ -453,7 +453,7 @@ let ab_inst_to_real = function | "Psrll" | "Psrlil" -> Srld | "Psllw" | "Pslliw" -> Sllw | "Proriw" -> Rorw - | "Pmaddw" -> Maddw + | "Pmaddw" | "Pmaddiw" -> Maddw | "Pslll" | "Psllil" -> Slld | "Pxorw" | "Pxoriw" -> Xorw | "Pnxorw" | "Pnxoriw" -> Nxorw |