[AArch64][SVE2] Add the SVE2.1 while predicate-as-counter instructions

This patch adds the assembly/disassembly for the following predicate-as-counter instructions: whilelt: While incrementing signed scalar less than scalar whilele: While incrementing signed scalar less than or equal to scalar whilegt: While incrementing signed scalar greater than scalar whilege: While incrementing signed scalar greater than or equal to scalar whilelo: While incrementing unsigned scalar lower than scalar whilels: While incrementing unsigned scalar lower or same as scalar whilehs: While decrementing unsigned scalar higher or same as scalar whilehi: While decrementing unsigned scalar higher than scalar The reference can be found here: https://developer.arm.com/documentation/ddi0602/2022-09 Differential Revision: https://reviews.llvm.org/D136750
llvm · Nov 1, 2022 · bfd1395 · bfd1395
1 parent d421080
commit bfd1395
Show file tree

Hide file tree

Showing 18 changed files with 1,163 additions and 0 deletions.
diff --git a/llvm/lib/Target/AArch64/AArch64SVEInstrInfo.td b/llvm/lib/Target/AArch64/AArch64SVEInstrInfo.td
@@ -3671,4 +3671,13 @@ defm STNT1B_4Z_IMM : sve2p1_mem_cst_si_4z<"stnt1b", 0b00, 0b1, ZZZZ_b_mul_r>;
 defm STNT1H_4Z_IMM : sve2p1_mem_cst_si_4z<"stnt1h", 0b01, 0b1, ZZZZ_h_mul_r>;
 defm STNT1W_4Z_IMM : sve2p1_mem_cst_si_4z<"stnt1w", 0b10, 0b1, ZZZZ_s_mul_r>;
 defm STNT1D_4Z_IMM : sve2p1_mem_cst_si_4z<"stnt1d", 0b11, 0b1, ZZZZ_d_mul_r>;
+
+defm WHILEGE_CXX  : sve2p1_int_while_rr_pn<"whilege", 0b000>;
+defm WHILEGT_CXX  : sve2p1_int_while_rr_pn<"whilegt", 0b001>;
+defm WHILELT_CXX  : sve2p1_int_while_rr_pn<"whilelt", 0b010>;
+defm WHILELE_CXX  : sve2p1_int_while_rr_pn<"whilele", 0b011>;
+defm WHILEHS_CXX  : sve2p1_int_while_rr_pn<"whilehs", 0b100>;
+defm WHILEHI_CXX  : sve2p1_int_while_rr_pn<"whilehi", 0b101>;
+defm WHILELO_CXX  : sve2p1_int_while_rr_pn<"whilelo", 0b110>;
+defm WHILELS_CXX  : sve2p1_int_while_rr_pn<"whilels", 0b111>;
 } // End HasSVE2p1_or_HasSME2
diff --git a/llvm/lib/Target/AArch64/SVEInstrFormats.td b/llvm/lib/Target/AArch64/SVEInstrFormats.td
@@ -9058,3 +9058,37 @@ multiclass sve2p1_pcount_pn<string mnemonic, bits<3> opc> {
   def _S : sve2p1_pcount_pn<mnemonic, opc, 0b10, PNR32>;
   def _D : sve2p1_pcount_pn<mnemonic, opc, 0b11, PNR64>;
 }
+
+
+class sve2p1_int_while_rr_pn<string mnemonic, bits<2> sz, bits<3> opc,
+                             PNRP8to15RegOp pnrty>
+    : I<(outs pnrty:$PNd), (ins GPR64:$Rn, GPR64:$Rm, sve_vec_len_specifier_enum:$vl),
+        mnemonic, "\t$PNd, $Rn, $Rm, $vl",
+        "", []>, Sched<[]> {
+  bits<3> PNd;
+  bits<5> Rn;
+  bits<1> vl;
+  bits<5> Rm;
+  let Inst{31-24} = 0b00100101;
+  let Inst{23-22} = sz;
+  let Inst{21}    = 0b1;
+  let Inst{20-16} = Rm;
+  let Inst{15-14} = 0b01;
+  let Inst{13}    = vl;
+  let Inst{12}    = 0b0;
+  let Inst{11-10} = opc{2-1};
+  let Inst{9-5}   = Rn;
+  let Inst{4}     = 0b1;
+  let Inst{3}     = opc{0};
+  let Inst{2-0}   = PNd;
+
+  let Defs = [NZCV];
+}
+
+
+multiclass sve2p1_int_while_rr_pn<string mnemonic, bits<3> opc> {
+ def _B : sve2p1_int_while_rr_pn<mnemonic, 0b00, opc, PNR8_p8to15>;
+ def _H : sve2p1_int_while_rr_pn<mnemonic, 0b01, opc, PNR16_p8to15>;
+ def _S : sve2p1_int_while_rr_pn<mnemonic, 0b10, opc, PNR32_p8to15>;
+ def _D : sve2p1_int_while_rr_pn<mnemonic, 0b11, opc, PNR64_p8to15>;
+}
diff --git a/llvm/test/MC/AArch64/SVE2p1/whilege-diagnostics.s b/llvm/test/MC/AArch64/SVE2p1/whilege-diagnostics.s
@@ -0,0 +1,30 @@
+// RUN: not llvm-mc -triple=aarch64 -show-encoding -mattr=+sve2p1 2>&1 < %s | FileCheck %s
+
+// --------------------------------------------------------------------------//
+// Invalid Pattern
+
+whilege pn8.b, x0, x0, vlx1
+// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid operand
+// CHECK-NEXT: whilege pn8.b, x0, x0, vlx1
+// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
+
+whilege pn8.b, x0, x0
+// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: too few operands for instruction
+// CHECK-NEXT: whilege pn8.b, x0, x0
+// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
+
+// --------------------------------------------------------------------------//
+// Invalid use of predicate without suffix
+
+whilege pn8, x0, x0, vlx2
+// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: Invalid predicate register, expected PN in range pn8..pn15 with element suffix.
+// CHECK-NEXT: whilege pn8, x0, x0, vlx2
+// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
+
+// --------------------------------------------------------------------------//
+// Out of range Predicate register
+
+whilege pn7.b, x0, x0, vlx2
+// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: Invalid predicate register, expected PN in range pn8..pn15 with element suffix.
+// CHECK-NEXT: whilege pn7.b, x0, x0, vlx2
+// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
diff --git a/llvm/test/MC/AArch64/SVE2p1/whilege.s b/llvm/test/MC/AArch64/SVE2p1/whilege.s
@@ -0,0 +1,110 @@
+// RUN: llvm-mc -triple=aarch64 -show-encoding -mattr=+sme2 < %s \
+// RUN:        | FileCheck %s --check-prefixes=CHECK-ENCODING,CHECK-INST
+// RUN: llvm-mc -triple=aarch64 -show-encoding -mattr=+sve2p1 < %s \
+// RUN:        | FileCheck %s --check-prefixes=CHECK-ENCODING,CHECK-INST
+// RUN: not llvm-mc -triple=aarch64 -show-encoding < %s 2>&1 \
+// RUN:        | FileCheck %s --check-prefix=CHECK-ERROR
+// RUN: llvm-mc -triple=aarch64 -filetype=obj -mattr=+sme2 < %s \
+// RUN:        | llvm-objdump -d --mattr=+sme2 - | FileCheck %s --check-prefix=CHECK-INST
+// RUN: llvm-mc -triple=aarch64 -filetype=obj -mattr=+sme2 < %s \
+// RUN:        | llvm-objdump -d - | FileCheck %s --check-prefix=CHECK-UNKNOWN
+// RUN: llvm-mc -triple=aarch64 -show-encoding -mattr=+sme2 < %s \
+// RUN:        | sed '/.text/d' | sed 's/.*encoding: //g' \
+// RUN:        | llvm-mc -triple=aarch64 -mattr=+sme2 -disassemble -show-encoding \
+// RUN:        | FileCheck %s --check-prefixes=CHECK-ENCODING,CHECK-INST
+
+whilege pn8.h, x0, x0, vlx2  // 00100101-01100000-01000000-00010000
+// CHECK-INST: whilege pn8.h, x0, x0, vlx2
+// CHECK-ENCODING: [0x10,0x40,0x60,0x25]
+// CHECK-ERROR: instruction requires: sme2 or sve2p1
+// CHECK-UNKNOWN: 25604010 <unknown>
+
+whilege pn13.h, x10, x21, vlx2  // 00100101-01110101-01000001-01010101
+// CHECK-INST: whilege pn13.h, x10, x21, vlx2
+// CHECK-ENCODING: [0x55,0x41,0x75,0x25]
+// CHECK-ERROR: instruction requires: sme2 or sve2p1
+// CHECK-UNKNOWN: 25754155 <unknown>
+
+whilege pn15.h, x13, x8, vlx4  // 00100101-01101000-01100001-10110111
+// CHECK-INST: whilege pn15.h, x13, x8, vlx4
+// CHECK-ENCODING: [0xb7,0x61,0x68,0x25]
+// CHECK-ERROR: instruction requires: sme2 or sve2p1
+// CHECK-UNKNOWN: 256861b7 <unknown>
+
+whilege pn15.h, xzr, xzr, vlx4  // 00100101-01111111-01100011-11110111
+// CHECK-INST: whilege pn15.h, xzr, xzr, vlx4
+// CHECK-ENCODING: [0xf7,0x63,0x7f,0x25]
+// CHECK-ERROR: instruction requires: sme2 or sve2p1
+// CHECK-UNKNOWN: 257f63f7 <unknown>
+
+whilege pn8.s, x0, x0, vlx2  // 00100101-10100000-01000000-00010000
+// CHECK-INST: whilege pn8.s, x0, x0, vlx2
+// CHECK-ENCODING: [0x10,0x40,0xa0,0x25]
+// CHECK-ERROR: instruction requires: sme2 or sve2p1
+// CHECK-UNKNOWN: 25a04010 <unknown>
+
+whilege pn13.s, x10, x21, vlx2  // 00100101-10110101-01000001-01010101
+// CHECK-INST: whilege pn13.s, x10, x21, vlx2
+// CHECK-ENCODING: [0x55,0x41,0xb5,0x25]
+// CHECK-ERROR: instruction requires: sme2 or sve2p1
+// CHECK-UNKNOWN: 25b54155 <unknown>
+
+whilege pn15.s, x13, x8, vlx4  // 00100101-10101000-01100001-10110111
+// CHECK-INST: whilege pn15.s, x13, x8, vlx4
+// CHECK-ENCODING: [0xb7,0x61,0xa8,0x25]
+// CHECK-ERROR: instruction requires: sme2 or sve2p1
+// CHECK-UNKNOWN: 25a861b7 <unknown>
+
+whilege pn15.s, xzr, xzr, vlx4  // 00100101-10111111-01100011-11110111
+// CHECK-INST: whilege pn15.s, xzr, xzr, vlx4
+// CHECK-ENCODING: [0xf7,0x63,0xbf,0x25]
+// CHECK-ERROR: instruction requires: sme2 or sve2p1
+// CHECK-UNKNOWN: 25bf63f7 <unknown>
+
+whilege pn8.d, x0, x0, vlx2  // 00100101-11100000-01000000-00010000
+// CHECK-INST: whilege pn8.d, x0, x0, vlx2
+// CHECK-ENCODING: [0x10,0x40,0xe0,0x25]
+// CHECK-ERROR: instruction requires: sme2 or sve2p1
+// CHECK-UNKNOWN: 25e04010 <unknown>
+
+whilege pn13.d, x10, x21, vlx2  // 00100101-11110101-01000001-01010101
+// CHECK-INST: whilege pn13.d, x10, x21, vlx2
+// CHECK-ENCODING: [0x55,0x41,0xf5,0x25]
+// CHECK-ERROR: instruction requires: sme2 or sve2p1
+// CHECK-UNKNOWN: 25f54155 <unknown>
+
+whilege pn15.d, x13, x8, vlx4  // 00100101-11101000-01100001-10110111
+// CHECK-INST: whilege pn15.d, x13, x8, vlx4
+// CHECK-ENCODING: [0xb7,0x61,0xe8,0x25]
+// CHECK-ERROR: instruction requires: sme2 or sve2p1
+// CHECK-UNKNOWN: 25e861b7 <unknown>
+
+whilege pn15.d, xzr, xzr, vlx4  // 00100101-11111111-01100011-11110111
+// CHECK-INST: whilege pn15.d, xzr, xzr, vlx4
+// CHECK-ENCODING: [0xf7,0x63,0xff,0x25]
+// CHECK-ERROR: instruction requires: sme2 or sve2p1
+// CHECK-UNKNOWN: 25ff63f7 <unknown>
+
+whilege pn8.b, x0, x0, vlx2  // 00100101-00100000-01000000-00010000
+// CHECK-INST: whilege pn8.b, x0, x0, vlx2
+// CHECK-ENCODING: [0x10,0x40,0x20,0x25]
+// CHECK-ERROR: instruction requires: sme2 or sve2p1
+// CHECK-UNKNOWN: 25204010 <unknown>
+
+whilege pn13.b, x10, x21, vlx2  // 00100101-00110101-01000001-01010101
+// CHECK-INST: whilege pn13.b, x10, x21, vlx2
+// CHECK-ENCODING: [0x55,0x41,0x35,0x25]
+// CHECK-ERROR: instruction requires: sme2 or sve2p1
+// CHECK-UNKNOWN: 25354155 <unknown>
+
+whilege pn15.b, x13, x8, vlx4  // 00100101-00101000-01100001-10110111
+// CHECK-INST: whilege pn15.b, x13, x8, vlx4
+// CHECK-ENCODING: [0xb7,0x61,0x28,0x25]
+// CHECK-ERROR: instruction requires: sme2 or sve2p1
+// CHECK-UNKNOWN: 252861b7 <unknown>
+
+whilege pn15.b, xzr, xzr, vlx4  // 00100101-00111111-01100011-11110111
+// CHECK-INST: whilege pn15.b, xzr, xzr, vlx4
+// CHECK-ENCODING: [0xf7,0x63,0x3f,0x25]
+// CHECK-ERROR: instruction requires: sme2 or sve2p1
+// CHECK-UNKNOWN: 253f63f7 <unknown>
diff --git a/llvm/test/MC/AArch64/SVE2p1/whilegt-diagnostics.s b/llvm/test/MC/AArch64/SVE2p1/whilegt-diagnostics.s
@@ -0,0 +1,30 @@
+// RUN: not llvm-mc -triple=aarch64 -show-encoding -mattr=+sve2p1 2>&1 < %s | FileCheck %s
+
+// --------------------------------------------------------------------------//
+// Invalid Pattern
+
+whilegt pn8.b, x0, x0, vlx1
+// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid operand
+// CHECK-NEXT: whilegt pn8.b, x0, x0, vlx1
+// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
+
+whilegt pn8.b, x0, x0
+// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: too few operands for instruction
+// CHECK-NEXT: whilegt pn8.b, x0, x0
+// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
+
+// --------------------------------------------------------------------------//
+// Invalid use of predicate without suffix
+
+whilegt pn8, x0, x0, vlx2
+// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: Invalid predicate register, expected PN in range pn8..pn15 with element suffix.
+// CHECK-NEXT: whilegt pn8, x0, x0, vlx2
+// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
+
+// --------------------------------------------------------------------------//
+// Out of range Predicate register
+
+whilegt pn7.b, x0, x0, vlx2
+// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: Invalid predicate register, expected PN in range pn8..pn15 with element suffix.
+// CHECK-NEXT: whilegt pn7.b, x0, x0, vlx2
+// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
diff --git a/llvm/test/MC/AArch64/SVE2p1/whilegt.s b/llvm/test/MC/AArch64/SVE2p1/whilegt.s
@@ -0,0 +1,110 @@
+// RUN: llvm-mc -triple=aarch64 -show-encoding -mattr=+sme2 < %s \
+// RUN:        | FileCheck %s --check-prefixes=CHECK-ENCODING,CHECK-INST
+// RUN: llvm-mc -triple=aarch64 -show-encoding -mattr=+sve2p1 < %s \
+// RUN:        | FileCheck %s --check-prefixes=CHECK-ENCODING,CHECK-INST
+// RUN: not llvm-mc -triple=aarch64 -show-encoding < %s 2>&1 \
+// RUN:        | FileCheck %s --check-prefix=CHECK-ERROR
+// RUN: llvm-mc -triple=aarch64 -filetype=obj -mattr=+sme2 < %s \
+// RUN:        | llvm-objdump -d --mattr=+sme2 - | FileCheck %s --check-prefix=CHECK-INST
+// RUN: llvm-mc -triple=aarch64 -filetype=obj -mattr=+sme2 < %s \
+// RUN:        | llvm-objdump -d - | FileCheck %s --check-prefix=CHECK-UNKNOWN
+// RUN: llvm-mc -triple=aarch64 -show-encoding -mattr=+sme2 < %s \
+// RUN:        | sed '/.text/d' | sed 's/.*encoding: //g' \
+// RUN:        | llvm-mc -triple=aarch64 -mattr=+sme2 -disassemble -show-encoding \
+// RUN:        | FileCheck %s --check-prefixes=CHECK-ENCODING,CHECK-INST
+
+whilegt pn8.h, x0, x0, vlx2  // 00100101-01100000-01000000-00011000
+// CHECK-INST: whilegt pn8.h, x0, x0, vlx2
+// CHECK-ENCODING: [0x18,0x40,0x60,0x25]
+// CHECK-ERROR: instruction requires: sme2 or sve2p1
+// CHECK-UNKNOWN: 25604018 <unknown>
+
+whilegt pn13.h, x10, x21, vlx2  // 00100101-01110101-01000001-01011101
+// CHECK-INST: whilegt pn13.h, x10, x21, vlx2
+// CHECK-ENCODING: [0x5d,0x41,0x75,0x25]
+// CHECK-ERROR: instruction requires: sme2 or sve2p1
+// CHECK-UNKNOWN: 2575415d <unknown>
+
+whilegt pn15.h, x13, x8, vlx4  // 00100101-01101000-01100001-10111111
+// CHECK-INST: whilegt pn15.h, x13, x8, vlx4
+// CHECK-ENCODING: [0xbf,0x61,0x68,0x25]
+// CHECK-ERROR: instruction requires: sme2 or sve2p1
+// CHECK-UNKNOWN: 256861bf <unknown>
+
+whilegt pn15.h, xzr, xzr, vlx4  // 00100101-01111111-01100011-11111111
+// CHECK-INST: whilegt pn15.h, xzr, xzr, vlx4
+// CHECK-ENCODING: [0xff,0x63,0x7f,0x25]
+// CHECK-ERROR: instruction requires: sme2 or sve2p1
+// CHECK-UNKNOWN: 257f63ff <unknown>
+
+whilegt pn8.s, x0, x0, vlx2  // 00100101-10100000-01000000-00011000
+// CHECK-INST: whilegt pn8.s, x0, x0, vlx2
+// CHECK-ENCODING: [0x18,0x40,0xa0,0x25]
+// CHECK-ERROR: instruction requires: sme2 or sve2p1
+// CHECK-UNKNOWN: 25a04018 <unknown>
+
+whilegt pn13.s, x10, x21, vlx2  // 00100101-10110101-01000001-01011101
+// CHECK-INST: whilegt pn13.s, x10, x21, vlx2
+// CHECK-ENCODING: [0x5d,0x41,0xb5,0x25]
+// CHECK-ERROR: instruction requires: sme2 or sve2p1
+// CHECK-UNKNOWN: 25b5415d <unknown>
+
+whilegt pn15.s, x13, x8, vlx4  // 00100101-10101000-01100001-10111111
+// CHECK-INST: whilegt pn15.s, x13, x8, vlx4
+// CHECK-ENCODING: [0xbf,0x61,0xa8,0x25]
+// CHECK-ERROR: instruction requires: sme2 or sve2p1
+// CHECK-UNKNOWN: 25a861bf <unknown>
+
+whilegt pn15.s, xzr, xzr, vlx4  // 00100101-10111111-01100011-11111111
+// CHECK-INST: whilegt pn15.s, xzr, xzr, vlx4
+// CHECK-ENCODING: [0xff,0x63,0xbf,0x25]
+// CHECK-ERROR: instruction requires: sme2 or sve2p1
+// CHECK-UNKNOWN: 25bf63ff <unknown>
+
+whilegt pn8.d, x0, x0, vlx2  // 00100101-11100000-01000000-00011000
+// CHECK-INST: whilegt pn8.d, x0, x0, vlx2
+// CHECK-ENCODING: [0x18,0x40,0xe0,0x25]
+// CHECK-ERROR: instruction requires: sme2 or sve2p1
+// CHECK-UNKNOWN: 25e04018 <unknown>
+
+whilegt pn13.d, x10, x21, vlx2  // 00100101-11110101-01000001-01011101
+// CHECK-INST: whilegt pn13.d, x10, x21, vlx2
+// CHECK-ENCODING: [0x5d,0x41,0xf5,0x25]
+// CHECK-ERROR: instruction requires: sme2 or sve2p1
+// CHECK-UNKNOWN: 25f5415d <unknown>
+
+whilegt pn15.d, x13, x8, vlx4  // 00100101-11101000-01100001-10111111
+// CHECK-INST: whilegt pn15.d, x13, x8, vlx4
+// CHECK-ENCODING: [0xbf,0x61,0xe8,0x25]
+// CHECK-ERROR: instruction requires: sme2 or sve2p1
+// CHECK-UNKNOWN: 25e861bf <unknown>
+
+whilegt pn15.d, xzr, xzr, vlx4  // 00100101-11111111-01100011-11111111
+// CHECK-INST: whilegt pn15.d, xzr, xzr, vlx4
+// CHECK-ENCODING: [0xff,0x63,0xff,0x25]
+// CHECK-ERROR: instruction requires: sme2 or sve2p1
+// CHECK-UNKNOWN: 25ff63ff <unknown>
+
+whilegt pn8.b, x0, x0, vlx2  // 00100101-00100000-01000000-00011000
+// CHECK-INST: whilegt pn8.b, x0, x0, vlx2
+// CHECK-ENCODING: [0x18,0x40,0x20,0x25]
+// CHECK-ERROR: instruction requires: sme2 or sve2p1
+// CHECK-UNKNOWN: 25204018 <unknown>
+
+whilegt pn13.b, x10, x21, vlx2  // 00100101-00110101-01000001-01011101
+// CHECK-INST: whilegt pn13.b, x10, x21, vlx2
+// CHECK-ENCODING: [0x5d,0x41,0x35,0x25]
+// CHECK-ERROR: instruction requires: sme2 or sve2p1
+// CHECK-UNKNOWN: 2535415d <unknown>
+
+whilegt pn15.b, x13, x8, vlx4  // 00100101-00101000-01100001-10111111
+// CHECK-INST: whilegt pn15.b, x13, x8, vlx4
+// CHECK-ENCODING: [0xbf,0x61,0x28,0x25]
+// CHECK-ERROR: instruction requires: sme2 or sve2p1
+// CHECK-UNKNOWN: 252861bf <unknown>
+
+whilegt pn15.b, xzr, xzr, vlx4  // 00100101-00111111-01100011-11111111
+// CHECK-INST: whilegt pn15.b, xzr, xzr, vlx4
+// CHECK-ENCODING: [0xff,0x63,0x3f,0x25]
+// CHECK-ERROR: instruction requires: sme2 or sve2p1
+// CHECK-UNKNOWN: 253f63ff <unknown>
diff --git a/llvm/test/MC/AArch64/SVE2p1/whilehi-diagnostics.s b/llvm/test/MC/AArch64/SVE2p1/whilehi-diagnostics.s
@@ -0,0 +1,30 @@
+// RUN: not llvm-mc -triple=aarch64 -show-encoding -mattr=+sve2p1 2>&1 < %s | FileCheck %s
+
+// --------------------------------------------------------------------------//
+// Invalid Pattern
+
+whilehi pn8.b, x0, x0, vlx1
+// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid operand
+// CHECK-NEXT: whilehi pn8.b, x0, x0, vlx1
+// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
+
+whilehi pn8.b, x0, x0
+// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: too few operands for instruction
+// CHECK-NEXT: whilehi pn8.b, x0, x0
+// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
+
+// --------------------------------------------------------------------------//
+// Invalid use of predicate without suffix
+
+whilehi pn8, x0, x0, vlx2
+// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: Invalid predicate register, expected PN in range pn8..pn15 with element suffix.
+// CHECK-NEXT: whilehi pn8, x0, x0, vlx2
+// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
+
+// --------------------------------------------------------------------------//
+// Out of range Predicate register
+
+whilehi pn7.b, x0, x0, vlx2
+// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: Invalid predicate register, expected PN in range pn8..pn15 with element suffix.
+// CHECK-NEXT: whilehi pn7.b, x0, x0, vlx2
+// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}: