diff options
Diffstat (limited to 'mppa_k1c/Asmblockdeps.v')
-rw-r--r-- | mppa_k1c/Asmblockdeps.v | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/mppa_k1c/Asmblockdeps.v b/mppa_k1c/Asmblockdeps.v index 19fca6c1..499b0d66 100644 --- a/mppa_k1c/Asmblockdeps.v +++ b/mppa_k1c/Asmblockdeps.v @@ -1300,6 +1300,7 @@ Definition string_of_name_rrr (n: arith_name_rrr): pstring := | Psubw => "Psubw" | Pmulw => "Pmulw" | Pandw => "Pandw" + | Pnandw => "Pnandw" | Porw => "Porw" | Pxorw => "Pxorw" | Psraw => "Psraw" @@ -1327,6 +1328,7 @@ Definition string_of_name_rri32 (n: arith_name_rri32): pstring := Pcompiw _ => "Pcompiw" | Paddiw => "Paddiw" | Pandiw => "Pandiw" + | Pnandiw => "Pnandiw" | Poriw => "Poriw" | Pxoriw => "Pxoriw" | Psraiw => "Psraiw" |