diff options
Diffstat (limited to 'mppa_k1c/PostpassSchedulingOracle.ml')
| -rw-r--r-- | mppa_k1c/PostpassSchedulingOracle.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/mppa_k1c/PostpassSchedulingOracle.ml b/mppa_k1c/PostpassSchedulingOracle.ml index 6f37412b..b01b7e54 100644 --- a/mppa_k1c/PostpassSchedulingOracle.ml +++ b/mppa_k1c/PostpassSchedulingOracle.ml @@ -129,6 +129,7 @@ let arith_arrr_str = function | Pmaddw -> "Pmaddw" | Pmaddl -> "Pmaddl" | Pcmove _ -> "Pcmove" + | Pcmoveu _ -> "Pcmoveu" let arith_ri32_str = "Pmake" @@ -488,7 +489,7 @@ let ab_inst_to_real = function | "Pfixedudrzz" -> Fixedudz | "Pfixeddrzz_i32" -> Fixeddz | "Pfixedudrzz_i32" -> Fixedudz - | "Pcmove" -> Cmoved + | "Pcmove" | "Pcmoveu" -> Cmoved | "Plb" -> Lbs | "Plbu" -> Lbz |