s390x: Reflect ppno -> prno renaming in opcode checker

After consequently renaming ppno to prno, the tool s390-check-opcodes.pl
complains:

  *** opcode prno is implemented but CSV file does not say so
  *** opcode ppno is not implemented but CSV file says so
  *** opcode ppno is not handled by the decoder

Fix this by renaming to "prno" in s390-opcodes.csv as well and declaring
"ppno" instead of "prno" as an alias in s390-check-opcodes.pl.

diff --git a/auxprogs/s390-check-opcodes.pl b/auxprogs/s390-check-opcodes.pl
index 474bb3a7e8a36a1e4938af8c3d3471ae7447663c..bd1abc80573f0ea8463ea7d77fe28060b23e6591 100755 (executable)
--- a/auxprogs/s390-check-opcodes.pl
+++ b/auxprogs/s390-check-opcodes.pl
@@ -175,7 +175,7 @@ my @extended_mnemonics = (      # Base mnemonic(s)
     "wftci[sdx]b",
     "wfsq*[sdx]b",
     "vl(ed|de)",
-    "prno"                      # ppno
+    "ppno"                      # prno
     );
 
 # Compile excluded mnemonics into one regular expression to optimize

diff --git a/docs/internals/s390-opcodes.csv b/docs/internals/s390-opcodes.csv
index e2d69fc996f4a152b6feb10e6d1e129602ab1ed3..931d8987cbc323101bff16190ee52ece9502e30b 100644 (file)
--- a/docs/internals/s390-opcodes.csv
+++ b/docs/internals/s390-opcodes.csv
@@ -1343,7 +1343,7 @@ lochi,"load halfword immediate on condition into 32 bit gpr",implemented,z13
 verllvh,"vector element rotate left logical reg halfword",implemented,z13
 cpdt,"convert from long dfp to packed","not implemented",z13
 vrepb,"vector replicate byte","implemented",z13
-ppno,"perform pseudorandom number operation",implemented,z13
+prno,"perform random number operation",implemented,z13
 irbm,"insert reference bits multiple",N/A,"privileged instruction",arch12
 tpei,"test pending external interruption",N/A,"privileged instruction",arch12
 vfeef,"vector find element equal word","implemented",z13