diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-03-19 20:41:23 +0100 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-03-19 20:41:23 +0100 |
| commit | ae571e2467e977f03044d750568f6528d8d64e43 (patch) | |
| tree | 8e9d2a1f19662c18fa2f8df8a0d8c77d91158e5d /mppa_k1c/Asmblockdeps.v | |
| parent | f2e7e95f6e113edbcb80618a0f3b4c15caa6f5cd (diff) | |
| download | compcert-kvx-ae571e2467e977f03044d750568f6528d8d64e43.tar.gz compcert-kvx-ae571e2467e977f03044d750568f6528d8d64e43.zip | |
mul immediate begin
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 e05f92a7..f50b7d4a 100644 --- a/mppa_k1c/Asmblockdeps.v +++ b/mppa_k1c/Asmblockdeps.v @@ -1382,6 +1382,7 @@ Definition string_of_name_rri32 (n: arith_name_rri32): pstring := match n with Pcompiw _ => "Pcompiw" | Paddiw => "Paddiw" + | Pmuliw => "Pmuliw" | Pandiw => "Pandiw" | Pnandiw => "Pnandiw" | Poriw => "Poriw" @@ -1403,6 +1404,7 @@ Definition string_of_name_rri64 (n: arith_name_rri64): pstring := match n with Pcompil _ => "Pcompil" | Paddil => "Paddil" + | Pmulil => "Pmulil" | Pandil => "Pandil" | Pnandil => "Pnandil" | Poril => "Poril" |