diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-05-11 06:02:13 +0200 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-05-11 06:02:13 +0200 |
| commit | d8d22519bff9414f973a1310cb32eb60e6695796 (patch) | |
| tree | 54536b71fa366642f30e4a1ab90f219cdff97b12 /mppa_k1c/PostpassSchedulingOracle.ml | |
| parent | 295058286407ec6c4182f2b12b27608fc7d28f95 (diff) | |
| download | compcert-kvx-d8d22519bff9414f973a1310cb32eb60e6695796.tar.gz compcert-kvx-d8d22519bff9414f973a1310cb32eb60e6695796.zip | |
begin generating Prevsub etc. from Oxxx to Pxxx
Diffstat (limited to 'mppa_k1c/PostpassSchedulingOracle.ml')
| -rw-r--r-- | mppa_k1c/PostpassSchedulingOracle.ml | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/mppa_k1c/PostpassSchedulingOracle.ml b/mppa_k1c/PostpassSchedulingOracle.ml index 9b22cd01..9dc1ab44 100644 --- a/mppa_k1c/PostpassSchedulingOracle.ml +++ b/mppa_k1c/PostpassSchedulingOracle.ml @@ -63,7 +63,7 @@ let arith_rrr_str = function | Paddw -> "Paddw" | Paddxw _ -> "Paddxw" | Psubw -> "Psubw" - | Psubxw _ -> "Psubxw" + | Prevsubxw _ -> "Psubxw" | Pmulw -> "Pmulw" | Pandw -> "Pandw" | Pnandw -> "Pnandw" @@ -80,7 +80,7 @@ let arith_rrr_str = function | Paddl -> "Paddl" | Paddxl _ -> "Paddxl" | Psubl -> "Psubl" - | Psubxl _ -> "Psubxl" + | Prevsubxl _ -> "Psubxl" | Pandl -> "Pandl" | Pnandl -> "Pnandl" | Porl -> "Porl" @@ -105,8 +105,8 @@ let arith_rri32_str = function | Pcompiw it -> "Pcompiw" | Paddiw -> "Paddiw" | Paddxiw _ -> "Paddxiw" - | Psubiw -> "Psubiw" - | Psubxiw _ -> "Psubxiw" + | Prevsubiw -> "Psubiw" + | Prevsubxiw _ -> "Psubxiw" | Pmuliw -> "Pmuliw" | Pandiw -> "Pandiw" | Pnandiw -> "Pnandiw" @@ -129,9 +129,9 @@ let arith_rri32_str = function let arith_rri64_str = function | Pcompil it -> "Pcompil" | Paddil -> "Paddil" - | Psubil -> "Psubil" + | Prevsubil -> "Psubil" | Paddxil _ -> "Paddxil" - | Psubxil _ -> "Psubxil" + | Prevsubxil _ -> "Psubxil" | Pmulil -> "Pmulil" | Pandil -> "Pandil" | Pnandil -> "Pnandil" |