diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2019-01-17 17:39:40 +0100 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2019-01-17 17:39:40 +0100 |
commit | c953ce47894f58f3fc88c0f93e6bcac9ad0301ac (patch) | |
tree | 99dbb67ef0217cbc16821c35728c97b4201b1e26 /mppa_k1c/PostpassSchedulingOracle.ml | |
parent | 3039952eeba967a60bcca13b231cee7021f72daf (diff) | |
download | compcert-kvx-c953ce47894f58f3fc88c0f93e6bcac9ad0301ac.tar.gz compcert-kvx-c953ce47894f58f3fc88c0f93e6bcac9ad0301ac.zip |
Minor bug fixes
Diffstat (limited to 'mppa_k1c/PostpassSchedulingOracle.ml')
-rw-r--r-- | mppa_k1c/PostpassSchedulingOracle.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/mppa_k1c/PostpassSchedulingOracle.ml b/mppa_k1c/PostpassSchedulingOracle.ml index 4291316a..19d4d962 100644 --- a/mppa_k1c/PostpassSchedulingOracle.ml +++ b/mppa_k1c/PostpassSchedulingOracle.ml @@ -356,9 +356,9 @@ let ab_inst_to_real = function | "Psllw" | "Pslliw" -> Sllw | "Pslll" | "Psllil" -> Slld | "Pxorw" | "Pxoriw" -> Xorw - | "Pxord" | "Pxoril" -> Xord + | "Pxorl" | "Pxoril" -> Xord | "Pmake" | "Pmakel" | "Ploadsymbol" -> Make - | "Pnop" | "Pcvtwl2w" -> Nop + | "Pnop" | "Pcvtw2l" -> Nop | "Plb" -> Lbs | "Plbu" -> Lbz |