diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-04-05 06:03:21 +0200 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-04-05 06:03:21 +0200 |
commit | 53b6eb437c7988b44e881c7b7a9df2e735ded0ea (patch) | |
tree | ffe451f96a6942088356246e8530fd0d9160cb7e /mppa_k1c/PostpassSchedulingOracle.ml | |
parent | b27d386185527d1ee9d0bb77ebe3bacffc2bf05a (diff) | |
download | compcert-kvx-53b6eb437c7988b44e881c7b7a9df2e735ded0ea.tar.gz compcert-kvx-53b6eb437c7988b44e881c7b7a9df2e735ded0ea.zip |
select cmpu
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 |