diff options
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" |