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/Asmblockdeps.v | |
| 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/Asmblockdeps.v')
| -rw-r--r-- | mppa_k1c/Asmblockdeps.v | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/mppa_k1c/Asmblockdeps.v b/mppa_k1c/Asmblockdeps.v index 82062fab..616ec6db 100644 --- a/mppa_k1c/Asmblockdeps.v +++ b/mppa_k1c/Asmblockdeps.v @@ -1412,7 +1412,7 @@ Definition string_of_name_rrr (n: arith_name_rrr): pstring := | Paddw => "Paddw" | Paddxw _ => "Paddxw" | Psubw => "Psubw" - | Psubxw _ => "Psubxw" + | Prevsubxw _ => "Prevsubxw" | Pmulw => "Pmulw" | Pandw => "Pandw" | Pnandw => "Pnandw" @@ -1429,7 +1429,7 @@ Definition string_of_name_rrr (n: arith_name_rrr): pstring := | Paddl => "Paddl" | Paddxl _ => "Paddxl" | Psubl => "Psubl" - | Psubxl _ => "Psubxl" + | Prevsubxl _ => "Prevsubxl" | Pandl => "Pandl" | Pnandl => "Pnandl" | Porl => "Porl" @@ -1455,9 +1455,9 @@ Definition string_of_name_rri32 (n: arith_name_rri32): pstring := match n with Pcompiw _ => "Pcompiw" | Paddiw => "Paddiw" - | Psubiw => "Psubiw" | Paddxiw _ => "Paddxiw" - | Psubxiw _ => "Psubxiw" + | Prevsubiw => "Prevsubiw" + | Prevsubxiw _ => "Prevsubxiw" | Pmuliw => "Pmuliw" | Pandiw => "Pandiw" | Pnandiw => "Pnandiw" @@ -1482,9 +1482,9 @@ Definition string_of_name_rri64 (n: arith_name_rri64): pstring := match n with Pcompil _ => "Pcompil" | Paddil => "Paddil" - | Psubil => "Psubil" + | Prevsubil => "Prevsubil" | Paddxil _ => "Paddxil" - | Psubxil _ => "Psubxil" + | Prevsubxil _ => "Prevsubxil" | Pmulil => "Pmulil" | Pandil => "Pandil" | Pnandil => "Pnandil" |