diff --git a/llvm/lib/Target/AArch64/AArch64SMEInstrInfo.td b/llvm/lib/Target/AArch64/AArch64SMEInstrInfo.td
--- a/llvm/lib/Target/AArch64/AArch64SMEInstrInfo.td
+++ b/llvm/lib/Target/AArch64/AArch64SMEInstrInfo.td
@@ -429,8 +429,18 @@
 
 defm FDOT_VG2_M2ZZI      : sme2_dot_array_vg2_index_HToS<"fdot", 0b1001>;
 defm FDOT_VG4_M4ZZI      : sme2_dot_array_vg4_index_HtoS<"fdot", 0b1001>;
+defm FDOT_VG2_M2ZZ   : sme2_fp_dot_array_vg2_single<"fdot", 0b0>;
+defm FDOT_VG4_M4ZZ   : sme2_fp_dot_array_vg4_single<"fdot", 0b0>;
+defm FDOT_VG2_M2Z2Z  : sme2_fp_dot_array_vg2_multi<"fdot",  0b0>;
+defm FDOT_VG4_M4Z4Z  : sme2_fp_dot_array_vg4_multi<"fdot",  0b0>;
+
 defm BFDOT_VG2_M2ZZI     : sme2_dot_array_vg2_index_HToS<"bfdot", 0b1011>;
 defm BFDOT_VG4_M4ZZI     : sme2_dot_array_vg4_index_HtoS<"bfdot", 0b1011>;
+defm BFDOT_VG2_M2ZZ  : sme2_fp_dot_array_vg2_single<"bfdot", 0b1>;
+defm BFDOT_VG4_M4ZZ  : sme2_fp_dot_array_vg4_single<"bfdot", 0b1>;
+defm BFDOT_VG2_M2Z2Z : sme2_fp_dot_array_vg2_multi<"bfdot",  0b1>;
+defm BFDOT_VG4_M4Z4Z : sme2_fp_dot_array_vg4_multi<"bfdot",  0b1>;
+
 defm BFVDOT_VG2_M2ZZI    : sme2_dot_array_vg2_index_HToS<"bfvdot", 0b0011>;
 defm FVDOT_VG2_M2ZZI     : sme2_dot_array_vg2_index_HToS<"fvdot",  0b0001>;
 
diff --git a/llvm/lib/Target/AArch64/SMEInstrFormats.td b/llvm/lib/Target/AArch64/SMEInstrFormats.td
--- a/llvm/lib/Target/AArch64/SMEInstrFormats.td
+++ b/llvm/lib/Target/AArch64/SMEInstrFormats.td
@@ -2239,3 +2239,89 @@
   def : InstAlias<mnemonic # "\t$ZAda[$Rv, $imm3], $Zn, $Zm$i1",
         (!cast<Instruction>(NAME # _D) MatrixOp64:$ZAda,  MatrixIndexGPR32Op8_11:$Rv, sme_elm_idx0_7:$imm3, ZZZZ_h_mul_r:$Zn, ZPR4b16:$Zm, VectorIndexD:$i1), 0>;
 }
+
+class sme2_fp_dot_array_vg24_single<bit vg4, bit op,
+                                    RegisterOperand multi_vector_ty,
+                                    string mnemonic, string vg_acronym>
+    : I<(outs MatrixOp32:$ZAda),
+        (ins MatrixOp32:$_ZAda, MatrixIndexGPR32Op8_11:$Rv, sme_elm_idx0_7:$imm3, multi_vector_ty:$Zn, ZPR4b16:$Zm),
+        mnemonic, "\t$ZAda[$Rv, $imm3, " # vg_acronym # "], $Zn, $Zm",
+        "", []>, Sched<[]> {
+  bits<4> Zm;
+  bits<2> Rv;
+  bits<5> Zn;
+  bits<3> imm3;
+  let Inst{31-21} = 0b11000001001;
+  let Inst{20}    = vg4;
+  let Inst{19-16} = Zm;
+  let Inst{15}    = 0b0;
+  let Inst{14-13} = Rv;
+  let Inst{12-10} = 0b100;
+  let Inst{9-5}   = Zn;
+  let Inst{4}     = op;
+  let Inst{3}     = 0b0;
+  let Inst{2-0}   = imm3;
+
+  let Constraints = "$ZAda = $_ZAda";
+}
+
+multiclass sme2_fp_dot_array_vg2_single<string mnemonic, bit op>{
+  def NAME : sme2_fp_dot_array_vg24_single<0b0, op, ZZ_h, mnemonic, "vgx2">;
+
+  def : InstAlias<mnemonic # "\t$ZAda[$Rv, $imm3], $Zn, $Zm",
+                 (!cast<Instruction>(NAME) MatrixOp32:$ZAda, MatrixIndexGPR32Op8_11:$Rv, sme_elm_idx0_7:$imm3, ZZ_h:$Zn, ZPR4b16:$Zm), 0>;
+}
+
+multiclass sme2_fp_dot_array_vg4_single<string mnemonic, bit op>{
+  def NAME : sme2_fp_dot_array_vg24_single<0b1, op, ZZZZ_h, mnemonic, "vgx4">;
+
+  def : InstAlias<mnemonic # "\t$ZAda[$Rv, $imm3], $Zn, $Zm",
+                 (!cast<Instruction>(NAME) MatrixOp32:$ZAda,  MatrixIndexGPR32Op8_11:$Rv, sme_elm_idx0_7:$imm3, ZZZZ_h:$Zn, ZPR4b16:$Zm), 0>;
+}
+
+class sme2_fp_dot_array_vg24_multi<bit op, RegisterOperand multi_vector_ty,
+                                   string mnemonic, string vg_acronym>
+    : I<(outs MatrixOp32:$ZAda),
+        (ins MatrixOp32:$_ZAda, MatrixIndexGPR32Op8_11:$Rv, sme_elm_idx0_7:$imm3, multi_vector_ty:$Zn, multi_vector_ty:$Zm),
+        mnemonic, "\t$ZAda[$Rv, $imm3, " # vg_acronym # "], $Zn, $Zm",
+        "", []>, Sched<[]> {
+  bits<2> Rv;
+  bits<3> imm3;
+  let Inst{31-21} = 0b11000001101;
+  let Inst{15}    = 0b0;
+  let Inst{14-13} = Rv;
+  let Inst{12-10} = 0b100;
+  let Inst{5}     = 0b0;
+  let Inst{4}     =  op;
+  let Inst{3}     = 0b0;
+  let Inst{2-0}   = imm3;
+
+  let Constraints = "$ZAda = $_ZAda";
+}
+
+multiclass sme2_fp_dot_array_vg2_multi<string mnemonic, bit op> {
+  def NAME : sme2_fp_dot_array_vg24_multi<op, ZZ_h_mul_r, mnemonic, "vgx2">{
+    bits<4> Zm;
+    bits<4> Zn;
+    let Inst{20-17} = Zm;
+    let Inst{16}    = 0b0;
+    let Inst{9-6}   = Zn;
+  }
+
+  def : InstAlias<mnemonic # "\t$ZAda[$Rv, $imm3], $Zn, $Zm",
+                 (!cast<Instruction>(NAME) MatrixOp32:$ZAda,  MatrixIndexGPR32Op8_11:$Rv, sme_elm_idx0_7:$imm3, ZZ_h_mul_r:$Zn, ZZ_h_mul_r:$Zm), 0>;
+}
+
+multiclass sme2_fp_dot_array_vg4_multi<string mnemonic, bit op> {
+  def NAME : sme2_fp_dot_array_vg24_multi<op, ZZZZ_h_mul_r, mnemonic, "vgx4">{
+    bits<3> Zm;
+    bits<3> Zn;
+    let Inst{20-18} = Zm;
+    let Inst{17-16} = 0b01;
+    let Inst{9-7}   = Zn;
+    let Inst{6}     = 0b0;
+  }
+
+  def : InstAlias<mnemonic # "\t$ZAda[$Rv, $imm3], $Zn, $Zm",
+                 (!cast<Instruction>(NAME) MatrixOp32:$ZAda,  MatrixIndexGPR32Op8_11:$Rv, sme_elm_idx0_7:$imm3, ZZZZ_h_mul_r:$Zn, ZZZZ_h_mul_r:$Zm), 0>;
+}
diff --git a/llvm/test/MC/AArch64/SME2/bfdot-diagnostics.s b/llvm/test/MC/AArch64/SME2/bfdot-diagnostics.s
--- a/llvm/test/MC/AArch64/SME2/bfdot-diagnostics.s
+++ b/llvm/test/MC/AArch64/SME2/bfdot-diagnostics.s
@@ -8,9 +8,32 @@
 // CHECK-NEXT: bfdot za.s[w8, 0, vgx2], {z0.h-z2.h}, z0.h[0]
 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
 
+bfdot za.s[w8, 0, vgx4], {z1.h-z5.h}, z0.h
+// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid number of vectors
+// CHECK-NEXT: bfdot za.s[w8, 0, vgx4], {z1.h-z5.h}, z0.h
+// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
+
+bfdot za.s[w8, 0, vgx2], {z0.h-z1.h}, {z3.h-z4.h}
+// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: Invalid vector list, expected list with 2 consecutive SVE vectors, where the first vector is a multiple of 2 and with matching element types
+// CHECK-NEXT: bfdot za.s[w8, 0, vgx2], {z0.h-z1.h}, {z3.h-z4.h}
+// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
+
+// --------------------------------------------------------------------------//
+// Invalid single vector register
+
+bfdot za.s[w8, 0, vgx4], {z0.h-z3.h}, z16.h
+// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: Invalid restricted vector register, expected z0.h..z15.h
+// CHECK-NEXT: bfdot za.s[w8, 0, vgx4], {z0.h-z3.h}, z16.h
+// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
+
 // --------------------------------------------------------------------------//
 // Invalid vector select register
 
+bfdot za.s[w7, 0, vgx2], {z0.h-z1.h}, {z3.h-z4.h}
+// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: operand must be a register in range [w8, w11]
+// CHECK-NEXT: bfdot za.s[w7, 0, vgx2], {z0.h-z1.h}, {z3.h-z4.h}
+// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
+
 bfdot za.s[w12, 0, vgx4], {z0.h-z3.h}, z0.h[0]
 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: operand must be a register in range [w8, w11]
 // CHECK-NEXT: bfdot za.s[w12, 0, vgx4], {z0.h-z3.h}, z0.h[0]
@@ -29,6 +52,10 @@
 // CHECK-NEXT: bfdot za.s[w8, 8, vgx4], {z0.h-z3.h}, z0.h[0]
 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
 
+bfdot za.s[w8, -1, vgx2], {z0.h-z1.h}, {z3.h-z4.h}
+// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: immediate must be an integer in range [0, 7].
+// CHECK-NEXT: bfdot za.s[w8, -1, vgx2], {z0.h-z1.h}, {z3.h-z4.h}
+// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
 
 // --------------------------------------------------------------------------//
 // Invalid Register Suffix
diff --git a/llvm/test/MC/AArch64/SME2/bfdot.s b/llvm/test/MC/AArch64/SME2/bfdot.s
--- a/llvm/test/MC/AArch64/SME2/bfdot.s
+++ b/llvm/test/MC/AArch64/SME2/bfdot.s
@@ -12,6 +12,151 @@
 // RUN:        | FileCheck %s --check-prefixes=CHECK-ENCODING,CHECK-INST
 
 
+bfdot   za.s[w8, 0, vgx2], {z0.h, z1.h}, z0.h  // 11000001-00100000-00010000-00010000
+// CHECK-INST: bfdot   za.s[w8, 0, vgx2], { z0.h, z1.h }, z0.h
+// CHECK-ENCODING: [0x10,0x10,0x20,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1201010 <unknown>
+
+bfdot   za.s[w8, 0], {z0.h, z1.h}, z0.h  // 11000001-00100000-00010000-00010000
+// CHECK-INST: bfdot   za.s[w8, 0, vgx2], { z0.h, z1.h }, z0.h
+// CHECK-ENCODING: [0x10,0x10,0x20,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1201010 <unknown>
+
+bfdot   za.s[w10, 5, vgx2], {z10.h, z11.h}, z5.h  // 11000001-00100101-01010001-01010101
+// CHECK-INST: bfdot   za.s[w10, 5, vgx2], { z10.h, z11.h }, z5.h
+// CHECK-ENCODING: [0x55,0x51,0x25,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1255155 <unknown>
+
+bfdot   za.s[w10, 5], {z10.h, z11.h}, z5.h  // 11000001-00100101-01010001-01010101
+// CHECK-INST: bfdot   za.s[w10, 5, vgx2], { z10.h, z11.h }, z5.h
+// CHECK-ENCODING: [0x55,0x51,0x25,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1255155 <unknown>
+
+bfdot   za.s[w11, 7, vgx2], {z13.h, z14.h}, z8.h  // 11000001-00101000-01110001-10110111
+// CHECK-INST: bfdot   za.s[w11, 7, vgx2], { z13.h, z14.h }, z8.h
+// CHECK-ENCODING: [0xb7,0x71,0x28,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c12871b7 <unknown>
+
+bfdot   za.s[w11, 7], {z13.h, z14.h}, z8.h  // 11000001-00101000-01110001-10110111
+// CHECK-INST: bfdot   za.s[w11, 7, vgx2], { z13.h, z14.h }, z8.h
+// CHECK-ENCODING: [0xb7,0x71,0x28,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c12871b7 <unknown>
+
+bfdot   za.s[w11, 7, vgx2], {z31.h, z0.h}, z15.h  // 11000001-00101111-01110011-11110111
+// CHECK-INST: bfdot   za.s[w11, 7, vgx2], { z31.h, z0.h }, z15.h
+// CHECK-ENCODING: [0xf7,0x73,0x2f,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c12f73f7 <unknown>
+
+bfdot   za.s[w11, 7], {z31.h, z0.h}, z15.h  // 11000001-00101111-01110011-11110111
+// CHECK-INST: bfdot   za.s[w11, 7, vgx2], { z31.h, z0.h }, z15.h
+// CHECK-ENCODING: [0xf7,0x73,0x2f,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c12f73f7 <unknown>
+
+bfdot   za.s[w8, 5, vgx2], {z17.h, z18.h}, z0.h  // 11000001-00100000-00010010-00110101
+// CHECK-INST: bfdot   za.s[w8, 5, vgx2], { z17.h, z18.h }, z0.h
+// CHECK-ENCODING: [0x35,0x12,0x20,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1201235 <unknown>
+
+bfdot   za.s[w8, 5], {z17.h, z18.h}, z0.h  // 11000001-00100000-00010010-00110101
+// CHECK-INST: bfdot   za.s[w8, 5, vgx2], { z17.h, z18.h }, z0.h
+// CHECK-ENCODING: [0x35,0x12,0x20,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1201235 <unknown>
+
+bfdot   za.s[w8, 1, vgx2], {z1.h, z2.h}, z14.h  // 11000001-00101110-00010000-00110001
+// CHECK-INST: bfdot   za.s[w8, 1, vgx2], { z1.h, z2.h }, z14.h
+// CHECK-ENCODING: [0x31,0x10,0x2e,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c12e1031 <unknown>
+
+bfdot   za.s[w8, 1], {z1.h, z2.h}, z14.h  // 11000001-00101110-00010000-00110001
+// CHECK-INST: bfdot   za.s[w8, 1, vgx2], { z1.h, z2.h }, z14.h
+// CHECK-ENCODING: [0x31,0x10,0x2e,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c12e1031 <unknown>
+
+bfdot   za.s[w10, 0, vgx2], {z19.h, z20.h}, z4.h  // 11000001-00100100-01010010-01110000
+// CHECK-INST: bfdot   za.s[w10, 0, vgx2], { z19.h, z20.h }, z4.h
+// CHECK-ENCODING: [0x70,0x52,0x24,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1245270 <unknown>
+
+bfdot   za.s[w10, 0], {z19.h, z20.h}, z4.h  // 11000001-00100100-01010010-01110000
+// CHECK-INST: bfdot   za.s[w10, 0, vgx2], { z19.h, z20.h }, z4.h
+// CHECK-ENCODING: [0x70,0x52,0x24,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1245270 <unknown>
+
+bfdot   za.s[w8, 0, vgx2], {z12.h, z13.h}, z2.h  // 11000001-00100010-00010001-10010000
+// CHECK-INST: bfdot   za.s[w8, 0, vgx2], { z12.h, z13.h }, z2.h
+// CHECK-ENCODING: [0x90,0x11,0x22,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1221190 <unknown>
+
+bfdot   za.s[w8, 0], {z12.h, z13.h}, z2.h  // 11000001-00100010-00010001-10010000
+// CHECK-INST: bfdot   za.s[w8, 0, vgx2], { z12.h, z13.h }, z2.h
+// CHECK-ENCODING: [0x90,0x11,0x22,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1221190 <unknown>
+
+bfdot   za.s[w10, 1, vgx2], {z1.h, z2.h}, z10.h  // 11000001-00101010-01010000-00110001
+// CHECK-INST: bfdot   za.s[w10, 1, vgx2], { z1.h, z2.h }, z10.h
+// CHECK-ENCODING: [0x31,0x50,0x2a,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c12a5031 <unknown>
+
+bfdot   za.s[w10, 1], {z1.h, z2.h}, z10.h  // 11000001-00101010-01010000-00110001
+// CHECK-INST: bfdot   za.s[w10, 1, vgx2], { z1.h, z2.h }, z10.h
+// CHECK-ENCODING: [0x31,0x50,0x2a,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c12a5031 <unknown>
+
+bfdot   za.s[w8, 5, vgx2], {z22.h, z23.h}, z14.h  // 11000001-00101110-00010010-11010101
+// CHECK-INST: bfdot   za.s[w8, 5, vgx2], { z22.h, z23.h }, z14.h
+// CHECK-ENCODING: [0xd5,0x12,0x2e,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c12e12d5 <unknown>
+
+bfdot   za.s[w8, 5], {z22.h, z23.h}, z14.h  // 11000001-00101110-00010010-11010101
+// CHECK-INST: bfdot   za.s[w8, 5, vgx2], { z22.h, z23.h }, z14.h
+// CHECK-ENCODING: [0xd5,0x12,0x2e,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c12e12d5 <unknown>
+
+bfdot   za.s[w11, 2, vgx2], {z9.h, z10.h}, z1.h  // 11000001-00100001-01110001-00110010
+// CHECK-INST: bfdot   za.s[w11, 2, vgx2], { z9.h, z10.h }, z1.h
+// CHECK-ENCODING: [0x32,0x71,0x21,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1217132 <unknown>
+
+bfdot   za.s[w11, 2], {z9.h, z10.h}, z1.h  // 11000001-00100001-01110001-00110010
+// CHECK-INST: bfdot   za.s[w11, 2, vgx2], { z9.h, z10.h }, z1.h
+// CHECK-ENCODING: [0x32,0x71,0x21,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1217132 <unknown>
+
+bfdot   za.s[w9, 7, vgx2], {z12.h, z13.h}, z11.h  // 11000001-00101011-00110001-10010111
+// CHECK-INST: bfdot   za.s[w9, 7, vgx2], { z12.h, z13.h }, z11.h
+// CHECK-ENCODING: [0x97,0x31,0x2b,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c12b3197 <unknown>
+
+bfdot   za.s[w9, 7], {z12.h, z13.h}, z11.h  // 11000001-00101011-00110001-10010111
+// CHECK-INST: bfdot   za.s[w9, 7, vgx2], { z12.h, z13.h }, z11.h
+// CHECK-ENCODING: [0x97,0x31,0x2b,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c12b3197 <unknown>
+
+
 bfdot   za.s[w8, 0, vgx2], {z0.h, z1.h}, z0.h[0]  // 11000001-01010000-00010000-00011000
 // CHECK-INST: bfdot   za.s[w8, 0, vgx2], { z0.h, z1.h }, z0.h[0]
 // CHECK-ENCODING: [0x18,0x10,0x50,0xc1]
@@ -157,6 +302,296 @@
 // CHECK-UNKNOWN: c15b399f <unknown>
 
 
+bfdot   za.s[w8, 0, vgx2], {z0.h, z1.h}, {z0.h, z1.h}  // 11000001-10100000-00010000-00010000
+// CHECK-INST: bfdot   za.s[w8, 0, vgx2], { z0.h, z1.h }, { z0.h, z1.h }
+// CHECK-ENCODING: [0x10,0x10,0xa0,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1a01010 <unknown>
+
+bfdot   za.s[w8, 0], {z0.h, z1.h}, {z0.h, z1.h}  // 11000001-10100000-00010000-00010000
+// CHECK-INST: bfdot   za.s[w8, 0, vgx2], { z0.h, z1.h }, { z0.h, z1.h }
+// CHECK-ENCODING: [0x10,0x10,0xa0,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1a01010 <unknown>
+
+bfdot   za.s[w10, 5, vgx2], {z10.h, z11.h}, {z20.h, z21.h}  // 11000001-10110100-01010001-01010101
+// CHECK-INST: bfdot   za.s[w10, 5, vgx2], { z10.h, z11.h }, { z20.h, z21.h }
+// CHECK-ENCODING: [0x55,0x51,0xb4,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1b45155 <unknown>
+
+bfdot   za.s[w10, 5], {z10.h, z11.h}, {z20.h, z21.h}  // 11000001-10110100-01010001-01010101
+// CHECK-INST: bfdot   za.s[w10, 5, vgx2], { z10.h, z11.h }, { z20.h, z21.h }
+// CHECK-ENCODING: [0x55,0x51,0xb4,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1b45155 <unknown>
+
+bfdot   za.s[w11, 7, vgx2], {z12.h, z13.h}, {z8.h, z9.h}  // 11000001-10101000-01110001-10010111
+// CHECK-INST: bfdot   za.s[w11, 7, vgx2], { z12.h, z13.h }, { z8.h, z9.h }
+// CHECK-ENCODING: [0x97,0x71,0xa8,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1a87197 <unknown>
+
+bfdot   za.s[w11, 7], {z12.h, z13.h}, {z8.h, z9.h}  // 11000001-10101000-01110001-10010111
+// CHECK-INST: bfdot   za.s[w11, 7, vgx2], { z12.h, z13.h }, { z8.h, z9.h }
+// CHECK-ENCODING: [0x97,0x71,0xa8,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1a87197 <unknown>
+
+bfdot   za.s[w11, 7, vgx2], {z30.h, z31.h}, {z30.h, z31.h}  // 11000001-10111110-01110011-11010111
+// CHECK-INST: bfdot   za.s[w11, 7, vgx2], { z30.h, z31.h }, { z30.h, z31.h }
+// CHECK-ENCODING: [0xd7,0x73,0xbe,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1be73d7 <unknown>
+
+bfdot   za.s[w11, 7], {z30.h, z31.h}, {z30.h, z31.h}  // 11000001-10111110-01110011-11010111
+// CHECK-INST: bfdot   za.s[w11, 7, vgx2], { z30.h, z31.h }, { z30.h, z31.h }
+// CHECK-ENCODING: [0xd7,0x73,0xbe,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1be73d7 <unknown>
+
+bfdot   za.s[w8, 5, vgx2], {z16.h, z17.h}, {z16.h, z17.h}  // 11000001-10110000-00010010-00010101
+// CHECK-INST: bfdot   za.s[w8, 5, vgx2], { z16.h, z17.h }, { z16.h, z17.h }
+// CHECK-ENCODING: [0x15,0x12,0xb0,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1b01215 <unknown>
+
+bfdot   za.s[w8, 5], {z16.h, z17.h}, {z16.h, z17.h}  // 11000001-10110000-00010010-00010101
+// CHECK-INST: bfdot   za.s[w8, 5, vgx2], { z16.h, z17.h }, { z16.h, z17.h }
+// CHECK-ENCODING: [0x15,0x12,0xb0,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1b01215 <unknown>
+
+bfdot   za.s[w8, 1, vgx2], {z0.h, z1.h}, {z30.h, z31.h}  // 11000001-10111110-00010000-00010001
+// CHECK-INST: bfdot   za.s[w8, 1, vgx2], { z0.h, z1.h }, { z30.h, z31.h }
+// CHECK-ENCODING: [0x11,0x10,0xbe,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1be1011 <unknown>
+
+bfdot   za.s[w8, 1], {z0.h, z1.h}, {z30.h, z31.h}  // 11000001-10111110-00010000-00010001
+// CHECK-INST: bfdot   za.s[w8, 1, vgx2], { z0.h, z1.h }, { z30.h, z31.h }
+// CHECK-ENCODING: [0x11,0x10,0xbe,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1be1011 <unknown>
+
+bfdot   za.s[w10, 0, vgx2], {z18.h, z19.h}, {z20.h, z21.h}  // 11000001-10110100-01010010-01010000
+// CHECK-INST: bfdot   za.s[w10, 0, vgx2], { z18.h, z19.h }, { z20.h, z21.h }
+// CHECK-ENCODING: [0x50,0x52,0xb4,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1b45250 <unknown>
+
+bfdot   za.s[w10, 0], {z18.h, z19.h}, {z20.h, z21.h}  // 11000001-10110100-01010010-01010000
+// CHECK-INST: bfdot   za.s[w10, 0, vgx2], { z18.h, z19.h }, { z20.h, z21.h }
+// CHECK-ENCODING: [0x50,0x52,0xb4,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1b45250 <unknown>
+
+bfdot   za.s[w8, 0, vgx2], {z12.h, z13.h}, {z2.h, z3.h}  // 11000001-10100010-00010001-10010000
+// CHECK-INST: bfdot   za.s[w8, 0, vgx2], { z12.h, z13.h }, { z2.h, z3.h }
+// CHECK-ENCODING: [0x90,0x11,0xa2,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1a21190 <unknown>
+
+bfdot   za.s[w8, 0], {z12.h, z13.h}, {z2.h, z3.h}  // 11000001-10100010-00010001-10010000
+// CHECK-INST: bfdot   za.s[w8, 0, vgx2], { z12.h, z13.h }, { z2.h, z3.h }
+// CHECK-ENCODING: [0x90,0x11,0xa2,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1a21190 <unknown>
+
+bfdot   za.s[w10, 1, vgx2], {z0.h, z1.h}, {z26.h, z27.h}  // 11000001-10111010-01010000-00010001
+// CHECK-INST: bfdot   za.s[w10, 1, vgx2], { z0.h, z1.h }, { z26.h, z27.h }
+// CHECK-ENCODING: [0x11,0x50,0xba,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1ba5011 <unknown>
+
+bfdot   za.s[w10, 1], {z0.h, z1.h}, {z26.h, z27.h}  // 11000001-10111010-01010000-00010001
+// CHECK-INST: bfdot   za.s[w10, 1, vgx2], { z0.h, z1.h }, { z26.h, z27.h }
+// CHECK-ENCODING: [0x11,0x50,0xba,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1ba5011 <unknown>
+
+bfdot   za.s[w8, 5, vgx2], {z22.h, z23.h}, {z30.h, z31.h}  // 11000001-10111110-00010010-11010101
+// CHECK-INST: bfdot   za.s[w8, 5, vgx2], { z22.h, z23.h }, { z30.h, z31.h }
+// CHECK-ENCODING: [0xd5,0x12,0xbe,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1be12d5 <unknown>
+
+bfdot   za.s[w8, 5], {z22.h, z23.h}, {z30.h, z31.h}  // 11000001-10111110-00010010-11010101
+// CHECK-INST: bfdot   za.s[w8, 5, vgx2], { z22.h, z23.h }, { z30.h, z31.h }
+// CHECK-ENCODING: [0xd5,0x12,0xbe,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1be12d5 <unknown>
+
+bfdot   za.s[w11, 2, vgx2], {z8.h, z9.h}, {z0.h, z1.h}  // 11000001-10100000-01110001-00010010
+// CHECK-INST: bfdot   za.s[w11, 2, vgx2], { z8.h, z9.h }, { z0.h, z1.h }
+// CHECK-ENCODING: [0x12,0x71,0xa0,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1a07112 <unknown>
+
+bfdot   za.s[w11, 2], {z8.h, z9.h}, {z0.h, z1.h}  // 11000001-10100000-01110001-00010010
+// CHECK-INST: bfdot   za.s[w11, 2, vgx2], { z8.h, z9.h }, { z0.h, z1.h }
+// CHECK-ENCODING: [0x12,0x71,0xa0,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1a07112 <unknown>
+
+bfdot   za.s[w9, 7, vgx2], {z12.h, z13.h}, {z10.h, z11.h}  // 11000001-10101010-00110001-10010111
+// CHECK-INST: bfdot   za.s[w9, 7, vgx2], { z12.h, z13.h }, { z10.h, z11.h }
+// CHECK-ENCODING: [0x97,0x31,0xaa,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1aa3197 <unknown>
+
+bfdot   za.s[w9, 7], {z12.h, z13.h}, {z10.h, z11.h}  // 11000001-10101010-00110001-10010111
+// CHECK-INST: bfdot   za.s[w9, 7, vgx2], { z12.h, z13.h }, { z10.h, z11.h }
+// CHECK-ENCODING: [0x97,0x31,0xaa,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1aa3197 <unknown>
+
+
+bfdot   za.s[w8, 0, vgx4], {z0.h - z3.h}, z0.h  // 11000001-00110000-00010000-00010000
+// CHECK-INST: bfdot   za.s[w8, 0, vgx4], { z0.h - z3.h }, z0.h
+// CHECK-ENCODING: [0x10,0x10,0x30,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1301010 <unknown>
+
+bfdot   za.s[w8, 0], {z0.h - z3.h}, z0.h  // 11000001-00110000-00010000-00010000
+// CHECK-INST: bfdot   za.s[w8, 0, vgx4], { z0.h - z3.h }, z0.h
+// CHECK-ENCODING: [0x10,0x10,0x30,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1301010 <unknown>
+
+bfdot   za.s[w10, 5, vgx4], {z10.h - z13.h}, z5.h  // 11000001-00110101-01010001-01010101
+// CHECK-INST: bfdot   za.s[w10, 5, vgx4], { z10.h - z13.h }, z5.h
+// CHECK-ENCODING: [0x55,0x51,0x35,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1355155 <unknown>
+
+bfdot   za.s[w10, 5], {z10.h - z13.h}, z5.h  // 11000001-00110101-01010001-01010101
+// CHECK-INST: bfdot   za.s[w10, 5, vgx4], { z10.h - z13.h }, z5.h
+// CHECK-ENCODING: [0x55,0x51,0x35,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1355155 <unknown>
+
+bfdot   za.s[w11, 7, vgx4], {z13.h - z16.h}, z8.h  // 11000001-00111000-01110001-10110111
+// CHECK-INST: bfdot   za.s[w11, 7, vgx4], { z13.h - z16.h }, z8.h
+// CHECK-ENCODING: [0xb7,0x71,0x38,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c13871b7 <unknown>
+
+bfdot   za.s[w11, 7], {z13.h - z16.h}, z8.h  // 11000001-00111000-01110001-10110111
+// CHECK-INST: bfdot   za.s[w11, 7, vgx4], { z13.h - z16.h }, z8.h
+// CHECK-ENCODING: [0xb7,0x71,0x38,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c13871b7 <unknown>
+
+bfdot   za.s[w11, 7, vgx4], {z31.h - z2.h}, z15.h  // 11000001-00111111-01110011-11110111
+// CHECK-INST: bfdot   za.s[w11, 7, vgx4], {  z31.h, z0.h, z1.h, z2.h }, z15.h
+// CHECK-ENCODING: [0xf7,0x73,0x3f,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c13f73f7 <unknown>
+
+bfdot   za.s[w11, 7], {z31.h - z2.h}, z15.h  // 11000001-00111111-01110011-11110111
+// CHECK-INST: bfdot   za.s[w11, 7, vgx4], {  z31.h, z0.h, z1.h, z2.h }, z15.h
+// CHECK-ENCODING: [0xf7,0x73,0x3f,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c13f73f7 <unknown>
+
+bfdot   za.s[w8, 5, vgx4], {z17.h - z20.h}, z0.h  // 11000001-00110000-00010010-00110101
+// CHECK-INST: bfdot   za.s[w8, 5, vgx4], { z17.h - z20.h }, z0.h
+// CHECK-ENCODING: [0x35,0x12,0x30,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1301235 <unknown>
+
+bfdot   za.s[w8, 5], {z17.h - z20.h}, z0.h  // 11000001-00110000-00010010-00110101
+// CHECK-INST: bfdot   za.s[w8, 5, vgx4], { z17.h - z20.h }, z0.h
+// CHECK-ENCODING: [0x35,0x12,0x30,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1301235 <unknown>
+
+bfdot   za.s[w8, 1, vgx4], {z1.h - z4.h}, z14.h  // 11000001-00111110-00010000-00110001
+// CHECK-INST: bfdot   za.s[w8, 1, vgx4], { z1.h - z4.h }, z14.h
+// CHECK-ENCODING: [0x31,0x10,0x3e,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c13e1031 <unknown>
+
+bfdot   za.s[w8, 1], {z1.h - z4.h}, z14.h  // 11000001-00111110-00010000-00110001
+// CHECK-INST: bfdot   za.s[w8, 1, vgx4], { z1.h - z4.h }, z14.h
+// CHECK-ENCODING: [0x31,0x10,0x3e,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c13e1031 <unknown>
+
+bfdot   za.s[w10, 0, vgx4], {z19.h - z22.h}, z4.h  // 11000001-00110100-01010010-01110000
+// CHECK-INST: bfdot   za.s[w10, 0, vgx4], { z19.h - z22.h }, z4.h
+// CHECK-ENCODING: [0x70,0x52,0x34,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1345270 <unknown>
+
+bfdot   za.s[w10, 0], {z19.h - z22.h}, z4.h  // 11000001-00110100-01010010-01110000
+// CHECK-INST: bfdot   za.s[w10, 0, vgx4], { z19.h - z22.h }, z4.h
+// CHECK-ENCODING: [0x70,0x52,0x34,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1345270 <unknown>
+
+bfdot   za.s[w8, 0, vgx4], {z12.h - z15.h}, z2.h  // 11000001-00110010-00010001-10010000
+// CHECK-INST: bfdot   za.s[w8, 0, vgx4], { z12.h - z15.h }, z2.h
+// CHECK-ENCODING: [0x90,0x11,0x32,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1321190 <unknown>
+
+bfdot   za.s[w8, 0], {z12.h - z15.h}, z2.h  // 11000001-00110010-00010001-10010000
+// CHECK-INST: bfdot   za.s[w8, 0, vgx4], { z12.h - z15.h }, z2.h
+// CHECK-ENCODING: [0x90,0x11,0x32,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1321190 <unknown>
+
+bfdot   za.s[w10, 1, vgx4], {z1.h - z4.h}, z10.h  // 11000001-00111010-01010000-00110001
+// CHECK-INST: bfdot   za.s[w10, 1, vgx4], { z1.h - z4.h }, z10.h
+// CHECK-ENCODING: [0x31,0x50,0x3a,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c13a5031 <unknown>
+
+bfdot   za.s[w10, 1], {z1.h - z4.h}, z10.h  // 11000001-00111010-01010000-00110001
+// CHECK-INST: bfdot   za.s[w10, 1, vgx4], { z1.h - z4.h }, z10.h
+// CHECK-ENCODING: [0x31,0x50,0x3a,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c13a5031 <unknown>
+
+bfdot   za.s[w8, 5, vgx4], {z22.h - z25.h}, z14.h  // 11000001-00111110-00010010-11010101
+// CHECK-INST: bfdot   za.s[w8, 5, vgx4], { z22.h - z25.h }, z14.h
+// CHECK-ENCODING: [0xd5,0x12,0x3e,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c13e12d5 <unknown>
+
+bfdot   za.s[w8, 5], {z22.h - z25.h}, z14.h  // 11000001-00111110-00010010-11010101
+// CHECK-INST: bfdot   za.s[w8, 5, vgx4], { z22.h - z25.h }, z14.h
+// CHECK-ENCODING: [0xd5,0x12,0x3e,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c13e12d5 <unknown>
+
+bfdot   za.s[w11, 2, vgx4], {z9.h - z12.h}, z1.h  // 11000001-00110001-01110001-00110010
+// CHECK-INST: bfdot   za.s[w11, 2, vgx4], { z9.h - z12.h }, z1.h
+// CHECK-ENCODING: [0x32,0x71,0x31,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1317132 <unknown>
+
+bfdot   za.s[w11, 2], {z9.h - z12.h}, z1.h  // 11000001-00110001-01110001-00110010
+// CHECK-INST: bfdot   za.s[w11, 2, vgx4], { z9.h - z12.h }, z1.h
+// CHECK-ENCODING: [0x32,0x71,0x31,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1317132 <unknown>
+
+bfdot   za.s[w9, 7, vgx4], {z12.h - z15.h}, z11.h  // 11000001-00111011-00110001-10010111
+// CHECK-INST: bfdot   za.s[w9, 7, vgx4], { z12.h - z15.h }, z11.h
+// CHECK-ENCODING: [0x97,0x31,0x3b,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c13b3197 <unknown>
+
+bfdot   za.s[w9, 7], {z12.h - z15.h}, z11.h  // 11000001-00111011-00110001-10010111
+// CHECK-INST: bfdot   za.s[w9, 7, vgx4], { z12.h - z15.h }, z11.h
+// CHECK-ENCODING: [0x97,0x31,0x3b,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c13b3197 <unknown>
+
+
 bfdot   za.s[w8, 0, vgx4], {z0.h - z3.h}, z0.h[0]  // 11000001-01010000-10010000-00011000
 // CHECK-INST: bfdot   za.s[w8, 0, vgx4], { z0.h - z3.h }, z0.h[0]
 // CHECK-ENCODING: [0x18,0x90,0x50,0xc1]
@@ -301,3 +736,148 @@
 // CHECK-ERROR: instruction requires: sme2
 // CHECK-UNKNOWN: c15bb99f <unknown>
 
+
+bfdot   za.s[w8, 0, vgx4], {z0.h - z3.h}, {z0.h - z3.h}  // 11000001-10100001-00010000-00010000
+// CHECK-INST: bfdot   za.s[w8, 0, vgx4], { z0.h - z3.h }, { z0.h - z3.h }
+// CHECK-ENCODING: [0x10,0x10,0xa1,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1a11010 <unknown>
+
+bfdot   za.s[w8, 0], {z0.h - z3.h}, {z0.h - z3.h}  // 11000001-10100001-00010000-00010000
+// CHECK-INST: bfdot   za.s[w8, 0, vgx4], { z0.h - z3.h }, { z0.h - z3.h }
+// CHECK-ENCODING: [0x10,0x10,0xa1,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1a11010 <unknown>
+
+bfdot   za.s[w10, 5, vgx4], {z8.h - z11.h}, {z20.h - z23.h}  // 11000001-10110101-01010001-00010101
+// CHECK-INST: bfdot   za.s[w10, 5, vgx4], { z8.h - z11.h }, { z20.h - z23.h }
+// CHECK-ENCODING: [0x15,0x51,0xb5,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1b55115 <unknown>
+
+bfdot   za.s[w10, 5], {z8.h - z11.h}, {z20.h - z23.h}  // 11000001-10110101-01010001-00010101
+// CHECK-INST: bfdot   za.s[w10, 5, vgx4], { z8.h - z11.h }, { z20.h - z23.h }
+// CHECK-ENCODING: [0x15,0x51,0xb5,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1b55115 <unknown>
+
+bfdot   za.s[w11, 7, vgx4], {z12.h - z15.h}, {z8.h - z11.h}  // 11000001-10101001-01110001-10010111
+// CHECK-INST: bfdot   za.s[w11, 7, vgx4], { z12.h - z15.h }, { z8.h - z11.h }
+// CHECK-ENCODING: [0x97,0x71,0xa9,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1a97197 <unknown>
+
+bfdot   za.s[w11, 7], {z12.h - z15.h}, {z8.h - z11.h}  // 11000001-10101001-01110001-10010111
+// CHECK-INST: bfdot   za.s[w11, 7, vgx4], { z12.h - z15.h }, { z8.h - z11.h }
+// CHECK-ENCODING: [0x97,0x71,0xa9,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1a97197 <unknown>
+
+bfdot   za.s[w11, 7, vgx4], {z28.h - z31.h}, {z28.h - z31.h}  // 11000001-10111101-01110011-10010111
+// CHECK-INST: bfdot   za.s[w11, 7, vgx4], { z28.h - z31.h }, { z28.h - z31.h }
+// CHECK-ENCODING: [0x97,0x73,0xbd,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1bd7397 <unknown>
+
+bfdot   za.s[w11, 7], {z28.h - z31.h}, {z28.h - z31.h}  // 11000001-10111101-01110011-10010111
+// CHECK-INST: bfdot   za.s[w11, 7, vgx4], { z28.h - z31.h }, { z28.h - z31.h }
+// CHECK-ENCODING: [0x97,0x73,0xbd,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1bd7397 <unknown>
+
+bfdot   za.s[w8, 5, vgx4], {z16.h - z19.h}, {z16.h - z19.h}  // 11000001-10110001-00010010-00010101
+// CHECK-INST: bfdot   za.s[w8, 5, vgx4], { z16.h - z19.h }, { z16.h - z19.h }
+// CHECK-ENCODING: [0x15,0x12,0xb1,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1b11215 <unknown>
+
+bfdot   za.s[w8, 5], {z16.h - z19.h}, {z16.h - z19.h}  // 11000001-10110001-00010010-00010101
+// CHECK-INST: bfdot   za.s[w8, 5, vgx4], { z16.h - z19.h }, { z16.h - z19.h }
+// CHECK-ENCODING: [0x15,0x12,0xb1,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1b11215 <unknown>
+
+bfdot   za.s[w8, 1, vgx4], {z0.h - z3.h}, {z28.h - z31.h}  // 11000001-10111101-00010000-00010001
+// CHECK-INST: bfdot   za.s[w8, 1, vgx4], { z0.h - z3.h }, { z28.h - z31.h }
+// CHECK-ENCODING: [0x11,0x10,0xbd,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1bd1011 <unknown>
+
+bfdot   za.s[w8, 1], {z0.h - z3.h}, {z28.h - z31.h}  // 11000001-10111101-00010000-00010001
+// CHECK-INST: bfdot   za.s[w8, 1, vgx4], { z0.h - z3.h }, { z28.h - z31.h }
+// CHECK-ENCODING: [0x11,0x10,0xbd,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1bd1011 <unknown>
+
+bfdot   za.s[w10, 0, vgx4], {z16.h - z19.h}, {z20.h - z23.h}  // 11000001-10110101-01010010-00010000
+// CHECK-INST: bfdot   za.s[w10, 0, vgx4], { z16.h - z19.h }, { z20.h - z23.h }
+// CHECK-ENCODING: [0x10,0x52,0xb5,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1b55210 <unknown>
+
+bfdot   za.s[w10, 0], {z16.h - z19.h}, {z20.h - z23.h}  // 11000001-10110101-01010010-00010000
+// CHECK-INST: bfdot   za.s[w10, 0, vgx4], { z16.h - z19.h }, { z20.h - z23.h }
+// CHECK-ENCODING: [0x10,0x52,0xb5,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1b55210 <unknown>
+
+bfdot   za.s[w8, 0, vgx4], {z12.h - z15.h}, {z0.h - z3.h}  // 11000001-10100001-00010001-10010000
+// CHECK-INST: bfdot   za.s[w8, 0, vgx4], { z12.h - z15.h }, { z0.h - z3.h }
+// CHECK-ENCODING: [0x90,0x11,0xa1,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1a11190 <unknown>
+
+bfdot   za.s[w8, 0], {z12.h - z15.h}, {z0.h - z3.h}  // 11000001-10100001-00010001-10010000
+// CHECK-INST: bfdot   za.s[w8, 0, vgx4], { z12.h - z15.h }, { z0.h - z3.h }
+// CHECK-ENCODING: [0x90,0x11,0xa1,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1a11190 <unknown>
+
+bfdot   za.s[w10, 1, vgx4], {z0.h - z3.h}, {z24.h - z27.h}  // 11000001-10111001-01010000-00010001
+// CHECK-INST: bfdot   za.s[w10, 1, vgx4], { z0.h - z3.h }, { z24.h - z27.h }
+// CHECK-ENCODING: [0x11,0x50,0xb9,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1b95011 <unknown>
+
+bfdot   za.s[w10, 1], {z0.h - z3.h}, {z24.h - z27.h}  // 11000001-10111001-01010000-00010001
+// CHECK-INST: bfdot   za.s[w10, 1, vgx4], { z0.h - z3.h }, { z24.h - z27.h }
+// CHECK-ENCODING: [0x11,0x50,0xb9,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1b95011 <unknown>
+
+bfdot   za.s[w8, 5, vgx4], {z20.h - z23.h}, {z28.h - z31.h}  // 11000001-10111101-00010010-10010101
+// CHECK-INST: bfdot   za.s[w8, 5, vgx4], { z20.h - z23.h }, { z28.h - z31.h }
+// CHECK-ENCODING: [0x95,0x12,0xbd,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1bd1295 <unknown>
+
+bfdot   za.s[w8, 5], {z20.h - z23.h}, {z28.h - z31.h}  // 11000001-10111101-00010010-10010101
+// CHECK-INST: bfdot   za.s[w8, 5, vgx4], { z20.h - z23.h }, { z28.h - z31.h }
+// CHECK-ENCODING: [0x95,0x12,0xbd,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1bd1295 <unknown>
+
+bfdot   za.s[w11, 2, vgx4], {z8.h - z11.h}, {z0.h - z3.h}  // 11000001-10100001-01110001-00010010
+// CHECK-INST: bfdot   za.s[w11, 2, vgx4], { z8.h - z11.h }, { z0.h - z3.h }
+// CHECK-ENCODING: [0x12,0x71,0xa1,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1a17112 <unknown>
+
+bfdot   za.s[w11, 2], {z8.h - z11.h}, {z0.h - z3.h}  // 11000001-10100001-01110001-00010010
+// CHECK-INST: bfdot   za.s[w11, 2, vgx4], { z8.h - z11.h }, { z0.h - z3.h }
+// CHECK-ENCODING: [0x12,0x71,0xa1,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1a17112 <unknown>
+
+bfdot   za.s[w9, 7, vgx4], {z12.h - z15.h}, {z8.h - z11.h}  // 11000001-10101001-00110001-10010111
+// CHECK-INST: bfdot   za.s[w9, 7, vgx4], { z12.h - z15.h }, { z8.h - z11.h }
+// CHECK-ENCODING: [0x97,0x31,0xa9,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1a93197 <unknown>
+
+bfdot   za.s[w9, 7], {z12.h - z15.h}, {z8.h - z11.h}  // 11000001-10101001-00110001-10010111
+// CHECK-INST: bfdot   za.s[w9, 7, vgx4], { z12.h - z15.h }, { z8.h - z11.h }
+// CHECK-ENCODING: [0x97,0x31,0xa9,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1a93197 <unknown>
+
diff --git a/llvm/test/MC/AArch64/SME2/fdot.s b/llvm/test/MC/AArch64/SME2/fdot.s
--- a/llvm/test/MC/AArch64/SME2/fdot.s
+++ b/llvm/test/MC/AArch64/SME2/fdot.s
@@ -12,6 +12,151 @@
 // RUN:        | FileCheck %s --check-prefixes=CHECK-ENCODING,CHECK-INST
 
 
+fdot    za.s[w8, 0, vgx2], {z0.h, z1.h}, z0.h  // 11000001-00100000-00010000-00000000
+// CHECK-INST: fdot    za.s[w8, 0, vgx2], { z0.h, z1.h }, z0.h
+// CHECK-ENCODING: [0x00,0x10,0x20,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1201000 <unknown>
+
+fdot    za.s[w8, 0], {z0.h, z1.h}, z0.h  // 11000001-00100000-00010000-00000000
+// CHECK-INST: fdot    za.s[w8, 0, vgx2], { z0.h, z1.h }, z0.h
+// CHECK-ENCODING: [0x00,0x10,0x20,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1201000 <unknown>
+
+fdot    za.s[w10, 5, vgx2], {z10.h, z11.h}, z5.h  // 11000001-00100101-01010001-01000101
+// CHECK-INST: fdot    za.s[w10, 5, vgx2], { z10.h, z11.h }, z5.h
+// CHECK-ENCODING: [0x45,0x51,0x25,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1255145 <unknown>
+
+fdot    za.s[w10, 5], {z10.h, z11.h}, z5.h  // 11000001-00100101-01010001-01000101
+// CHECK-INST: fdot    za.s[w10, 5, vgx2], { z10.h, z11.h }, z5.h
+// CHECK-ENCODING: [0x45,0x51,0x25,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1255145 <unknown>
+
+fdot    za.s[w11, 7, vgx2], {z13.h, z14.h}, z8.h  // 11000001-00101000-01110001-10100111
+// CHECK-INST: fdot    za.s[w11, 7, vgx2], { z13.h, z14.h }, z8.h
+// CHECK-ENCODING: [0xa7,0x71,0x28,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c12871a7 <unknown>
+
+fdot    za.s[w11, 7], {z13.h, z14.h}, z8.h  // 11000001-00101000-01110001-10100111
+// CHECK-INST: fdot    za.s[w11, 7, vgx2], { z13.h, z14.h }, z8.h
+// CHECK-ENCODING: [0xa7,0x71,0x28,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c12871a7 <unknown>
+
+fdot    za.s[w11, 7, vgx2], {z31.h, z0.h}, z15.h  // 11000001-00101111-01110011-11100111
+// CHECK-INST: fdot    za.s[w11, 7, vgx2], { z31.h, z0.h }, z15.h
+// CHECK-ENCODING: [0xe7,0x73,0x2f,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c12f73e7 <unknown>
+
+fdot    za.s[w11, 7], {z31.h, z0.h}, z15.h  // 11000001-00101111-01110011-11100111
+// CHECK-INST: fdot    za.s[w11, 7, vgx2], { z31.h, z0.h }, z15.h
+// CHECK-ENCODING: [0xe7,0x73,0x2f,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c12f73e7 <unknown>
+
+fdot    za.s[w8, 5, vgx2], {z17.h, z18.h}, z0.h  // 11000001-00100000-00010010-00100101
+// CHECK-INST: fdot    za.s[w8, 5, vgx2], { z17.h, z18.h }, z0.h
+// CHECK-ENCODING: [0x25,0x12,0x20,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1201225 <unknown>
+
+fdot    za.s[w8, 5], {z17.h, z18.h}, z0.h  // 11000001-00100000-00010010-00100101
+// CHECK-INST: fdot    za.s[w8, 5, vgx2], { z17.h, z18.h }, z0.h
+// CHECK-ENCODING: [0x25,0x12,0x20,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1201225 <unknown>
+
+fdot    za.s[w8, 1, vgx2], {z1.h, z2.h}, z14.h  // 11000001-00101110-00010000-00100001
+// CHECK-INST: fdot    za.s[w8, 1, vgx2], { z1.h, z2.h }, z14.h
+// CHECK-ENCODING: [0x21,0x10,0x2e,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c12e1021 <unknown>
+
+fdot    za.s[w8, 1], {z1.h, z2.h}, z14.h  // 11000001-00101110-00010000-00100001
+// CHECK-INST: fdot    za.s[w8, 1, vgx2], { z1.h, z2.h }, z14.h
+// CHECK-ENCODING: [0x21,0x10,0x2e,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c12e1021 <unknown>
+
+fdot    za.s[w10, 0, vgx2], {z19.h, z20.h}, z4.h  // 11000001-00100100-01010010-01100000
+// CHECK-INST: fdot    za.s[w10, 0, vgx2], { z19.h, z20.h }, z4.h
+// CHECK-ENCODING: [0x60,0x52,0x24,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1245260 <unknown>
+
+fdot    za.s[w10, 0], {z19.h, z20.h}, z4.h  // 11000001-00100100-01010010-01100000
+// CHECK-INST: fdot    za.s[w10, 0, vgx2], { z19.h, z20.h }, z4.h
+// CHECK-ENCODING: [0x60,0x52,0x24,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1245260 <unknown>
+
+fdot    za.s[w8, 0, vgx2], {z12.h, z13.h}, z2.h  // 11000001-00100010-00010001-10000000
+// CHECK-INST: fdot    za.s[w8, 0, vgx2], { z12.h, z13.h }, z2.h
+// CHECK-ENCODING: [0x80,0x11,0x22,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1221180 <unknown>
+
+fdot    za.s[w8, 0], {z12.h, z13.h}, z2.h  // 11000001-00100010-00010001-10000000
+// CHECK-INST: fdot    za.s[w8, 0, vgx2], { z12.h, z13.h }, z2.h
+// CHECK-ENCODING: [0x80,0x11,0x22,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1221180 <unknown>
+
+fdot    za.s[w10, 1, vgx2], {z1.h, z2.h}, z10.h  // 11000001-00101010-01010000-00100001
+// CHECK-INST: fdot    za.s[w10, 1, vgx2], { z1.h, z2.h }, z10.h
+// CHECK-ENCODING: [0x21,0x50,0x2a,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c12a5021 <unknown>
+
+fdot    za.s[w10, 1], {z1.h, z2.h}, z10.h  // 11000001-00101010-01010000-00100001
+// CHECK-INST: fdot    za.s[w10, 1, vgx2], { z1.h, z2.h }, z10.h
+// CHECK-ENCODING: [0x21,0x50,0x2a,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c12a5021 <unknown>
+
+fdot    za.s[w8, 5, vgx2], {z22.h, z23.h}, z14.h  // 11000001-00101110-00010010-11000101
+// CHECK-INST: fdot    za.s[w8, 5, vgx2], { z22.h, z23.h }, z14.h
+// CHECK-ENCODING: [0xc5,0x12,0x2e,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c12e12c5 <unknown>
+
+fdot    za.s[w8, 5], {z22.h, z23.h}, z14.h  // 11000001-00101110-00010010-11000101
+// CHECK-INST: fdot    za.s[w8, 5, vgx2], { z22.h, z23.h }, z14.h
+// CHECK-ENCODING: [0xc5,0x12,0x2e,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c12e12c5 <unknown>
+
+fdot    za.s[w11, 2, vgx2], {z9.h, z10.h}, z1.h  // 11000001-00100001-01110001-00100010
+// CHECK-INST: fdot    za.s[w11, 2, vgx2], { z9.h, z10.h }, z1.h
+// CHECK-ENCODING: [0x22,0x71,0x21,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1217122 <unknown>
+
+fdot    za.s[w11, 2], {z9.h, z10.h}, z1.h  // 11000001-00100001-01110001-00100010
+// CHECK-INST: fdot    za.s[w11, 2, vgx2], { z9.h, z10.h }, z1.h
+// CHECK-ENCODING: [0x22,0x71,0x21,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1217122 <unknown>
+
+fdot    za.s[w9, 7, vgx2], {z12.h, z13.h}, z11.h  // 11000001-00101011-00110001-10000111
+// CHECK-INST: fdot    za.s[w9, 7, vgx2], { z12.h, z13.h }, z11.h
+// CHECK-ENCODING: [0x87,0x31,0x2b,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c12b3187 <unknown>
+
+fdot    za.s[w9, 7], {z12.h, z13.h}, z11.h  // 11000001-00101011-00110001-10000111
+// CHECK-INST: fdot    za.s[w9, 7, vgx2], { z12.h, z13.h }, z11.h
+// CHECK-ENCODING: [0x87,0x31,0x2b,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c12b3187 <unknown>
+
+
 fdot    za.s[w8, 0, vgx2], {z0.h, z1.h}, z0.h[0]  // 11000001-01010000-00010000-00001000
 // CHECK-INST: fdot    za.s[w8, 0, vgx2], { z0.h, z1.h }, z0.h[0]
 // CHECK-ENCODING: [0x08,0x10,0x50,0xc1]
@@ -157,6 +302,296 @@
 // CHECK-UNKNOWN: c15b398f <unknown>
 
 
+fdot    za.s[w8, 0, vgx2], {z0.h, z1.h}, {z0.h, z1.h}  // 11000001-10100000-00010000-00000000
+// CHECK-INST: fdot    za.s[w8, 0, vgx2], { z0.h, z1.h }, { z0.h, z1.h }
+// CHECK-ENCODING: [0x00,0x10,0xa0,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1a01000 <unknown>
+
+fdot    za.s[w8, 0], {z0.h, z1.h}, {z0.h, z1.h}  // 11000001-10100000-00010000-00000000
+// CHECK-INST: fdot    za.s[w8, 0, vgx2], { z0.h, z1.h }, { z0.h, z1.h }
+// CHECK-ENCODING: [0x00,0x10,0xa0,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1a01000 <unknown>
+
+fdot    za.s[w10, 5, vgx2], {z10.h, z11.h}, {z20.h, z21.h}  // 11000001-10110100-01010001-01000101
+// CHECK-INST: fdot    za.s[w10, 5, vgx2], { z10.h, z11.h }, { z20.h, z21.h }
+// CHECK-ENCODING: [0x45,0x51,0xb4,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1b45145 <unknown>
+
+fdot    za.s[w10, 5], {z10.h, z11.h}, {z20.h, z21.h}  // 11000001-10110100-01010001-01000101
+// CHECK-INST: fdot    za.s[w10, 5, vgx2], { z10.h, z11.h }, { z20.h, z21.h }
+// CHECK-ENCODING: [0x45,0x51,0xb4,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1b45145 <unknown>
+
+fdot    za.s[w11, 7, vgx2], {z12.h, z13.h}, {z8.h, z9.h}  // 11000001-10101000-01110001-10000111
+// CHECK-INST: fdot    za.s[w11, 7, vgx2], { z12.h, z13.h }, { z8.h, z9.h }
+// CHECK-ENCODING: [0x87,0x71,0xa8,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1a87187 <unknown>
+
+fdot    za.s[w11, 7], {z12.h, z13.h}, {z8.h, z9.h}  // 11000001-10101000-01110001-10000111
+// CHECK-INST: fdot    za.s[w11, 7, vgx2], { z12.h, z13.h }, { z8.h, z9.h }
+// CHECK-ENCODING: [0x87,0x71,0xa8,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1a87187 <unknown>
+
+fdot    za.s[w11, 7, vgx2], {z30.h, z31.h}, {z30.h, z31.h}  // 11000001-10111110-01110011-11000111
+// CHECK-INST: fdot    za.s[w11, 7, vgx2], { z30.h, z31.h }, { z30.h, z31.h }
+// CHECK-ENCODING: [0xc7,0x73,0xbe,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1be73c7 <unknown>
+
+fdot    za.s[w11, 7], {z30.h, z31.h}, {z30.h, z31.h}  // 11000001-10111110-01110011-11000111
+// CHECK-INST: fdot    za.s[w11, 7, vgx2], { z30.h, z31.h }, { z30.h, z31.h }
+// CHECK-ENCODING: [0xc7,0x73,0xbe,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1be73c7 <unknown>
+
+fdot    za.s[w8, 5, vgx2], {z16.h, z17.h}, {z16.h, z17.h}  // 11000001-10110000-00010010-00000101
+// CHECK-INST: fdot    za.s[w8, 5, vgx2], { z16.h, z17.h }, { z16.h, z17.h }
+// CHECK-ENCODING: [0x05,0x12,0xb0,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1b01205 <unknown>
+
+fdot    za.s[w8, 5], {z16.h, z17.h}, {z16.h, z17.h}  // 11000001-10110000-00010010-00000101
+// CHECK-INST: fdot    za.s[w8, 5, vgx2], { z16.h, z17.h }, { z16.h, z17.h }
+// CHECK-ENCODING: [0x05,0x12,0xb0,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1b01205 <unknown>
+
+fdot    za.s[w8, 1, vgx2], {z0.h, z1.h}, {z30.h, z31.h}  // 11000001-10111110-00010000-00000001
+// CHECK-INST: fdot    za.s[w8, 1, vgx2], { z0.h, z1.h }, { z30.h, z31.h }
+// CHECK-ENCODING: [0x01,0x10,0xbe,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1be1001 <unknown>
+
+fdot    za.s[w8, 1], {z0.h, z1.h}, {z30.h, z31.h}  // 11000001-10111110-00010000-00000001
+// CHECK-INST: fdot    za.s[w8, 1, vgx2], { z0.h, z1.h }, { z30.h, z31.h }
+// CHECK-ENCODING: [0x01,0x10,0xbe,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1be1001 <unknown>
+
+fdot    za.s[w10, 0, vgx2], {z18.h, z19.h}, {z20.h, z21.h}  // 11000001-10110100-01010010-01000000
+// CHECK-INST: fdot    za.s[w10, 0, vgx2], { z18.h, z19.h }, { z20.h, z21.h }
+// CHECK-ENCODING: [0x40,0x52,0xb4,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1b45240 <unknown>
+
+fdot    za.s[w10, 0], {z18.h, z19.h}, {z20.h, z21.h}  // 11000001-10110100-01010010-01000000
+// CHECK-INST: fdot    za.s[w10, 0, vgx2], { z18.h, z19.h }, { z20.h, z21.h }
+// CHECK-ENCODING: [0x40,0x52,0xb4,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1b45240 <unknown>
+
+fdot    za.s[w8, 0, vgx2], {z12.h, z13.h}, {z2.h, z3.h}  // 11000001-10100010-00010001-10000000
+// CHECK-INST: fdot    za.s[w8, 0, vgx2], { z12.h, z13.h }, { z2.h, z3.h }
+// CHECK-ENCODING: [0x80,0x11,0xa2,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1a21180 <unknown>
+
+fdot    za.s[w8, 0], {z12.h, z13.h}, {z2.h, z3.h}  // 11000001-10100010-00010001-10000000
+// CHECK-INST: fdot    za.s[w8, 0, vgx2], { z12.h, z13.h }, { z2.h, z3.h }
+// CHECK-ENCODING: [0x80,0x11,0xa2,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1a21180 <unknown>
+
+fdot    za.s[w10, 1, vgx2], {z0.h, z1.h}, {z26.h, z27.h}  // 11000001-10111010-01010000-00000001
+// CHECK-INST: fdot    za.s[w10, 1, vgx2], { z0.h, z1.h }, { z26.h, z27.h }
+// CHECK-ENCODING: [0x01,0x50,0xba,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1ba5001 <unknown>
+
+fdot    za.s[w10, 1], {z0.h, z1.h}, {z26.h, z27.h}  // 11000001-10111010-01010000-00000001
+// CHECK-INST: fdot    za.s[w10, 1, vgx2], { z0.h, z1.h }, { z26.h, z27.h }
+// CHECK-ENCODING: [0x01,0x50,0xba,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1ba5001 <unknown>
+
+fdot    za.s[w8, 5, vgx2], {z22.h, z23.h}, {z30.h, z31.h}  // 11000001-10111110-00010010-11000101
+// CHECK-INST: fdot    za.s[w8, 5, vgx2], { z22.h, z23.h }, { z30.h, z31.h }
+// CHECK-ENCODING: [0xc5,0x12,0xbe,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1be12c5 <unknown>
+
+fdot    za.s[w8, 5], {z22.h, z23.h}, {z30.h, z31.h}  // 11000001-10111110-00010010-11000101
+// CHECK-INST: fdot    za.s[w8, 5, vgx2], { z22.h, z23.h }, { z30.h, z31.h }
+// CHECK-ENCODING: [0xc5,0x12,0xbe,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1be12c5 <unknown>
+
+fdot    za.s[w11, 2, vgx2], {z8.h, z9.h}, {z0.h, z1.h}  // 11000001-10100000-01110001-00000010
+// CHECK-INST: fdot    za.s[w11, 2, vgx2], { z8.h, z9.h }, { z0.h, z1.h }
+// CHECK-ENCODING: [0x02,0x71,0xa0,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1a07102 <unknown>
+
+fdot    za.s[w11, 2], {z8.h, z9.h}, {z0.h, z1.h}  // 11000001-10100000-01110001-00000010
+// CHECK-INST: fdot    za.s[w11, 2, vgx2], { z8.h, z9.h }, { z0.h, z1.h }
+// CHECK-ENCODING: [0x02,0x71,0xa0,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1a07102 <unknown>
+
+fdot    za.s[w9, 7, vgx2], {z12.h, z13.h}, {z10.h, z11.h}  // 11000001-10101010-00110001-10000111
+// CHECK-INST: fdot    za.s[w9, 7, vgx2], { z12.h, z13.h }, { z10.h, z11.h }
+// CHECK-ENCODING: [0x87,0x31,0xaa,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1aa3187 <unknown>
+
+fdot    za.s[w9, 7], {z12.h, z13.h}, {z10.h, z11.h}  // 11000001-10101010-00110001-10000111
+// CHECK-INST: fdot    za.s[w9, 7, vgx2], { z12.h, z13.h }, { z10.h, z11.h }
+// CHECK-ENCODING: [0x87,0x31,0xaa,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1aa3187 <unknown>
+
+
+fdot    za.s[w8, 0, vgx4], {z0.h - z3.h}, z0.h  // 11000001-00110000-00010000-00000000
+// CHECK-INST: fdot    za.s[w8, 0, vgx4], { z0.h - z3.h }, z0.h
+// CHECK-ENCODING: [0x00,0x10,0x30,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1301000 <unknown>
+
+fdot    za.s[w8, 0], {z0.h - z3.h}, z0.h  // 11000001-00110000-00010000-00000000
+// CHECK-INST: fdot    za.s[w8, 0, vgx4], { z0.h - z3.h }, z0.h
+// CHECK-ENCODING: [0x00,0x10,0x30,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1301000 <unknown>
+
+fdot    za.s[w10, 5, vgx4], {z10.h - z13.h}, z5.h  // 11000001-00110101-01010001-01000101
+// CHECK-INST: fdot    za.s[w10, 5, vgx4], { z10.h - z13.h }, z5.h
+// CHECK-ENCODING: [0x45,0x51,0x35,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1355145 <unknown>
+
+fdot    za.s[w10, 5], {z10.h - z13.h}, z5.h  // 11000001-00110101-01010001-01000101
+// CHECK-INST: fdot    za.s[w10, 5, vgx4], { z10.h - z13.h }, z5.h
+// CHECK-ENCODING: [0x45,0x51,0x35,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1355145 <unknown>
+
+fdot    za.s[w11, 7, vgx4], {z13.h - z16.h}, z8.h  // 11000001-00111000-01110001-10100111
+// CHECK-INST: fdot    za.s[w11, 7, vgx4], { z13.h - z16.h }, z8.h
+// CHECK-ENCODING: [0xa7,0x71,0x38,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c13871a7 <unknown>
+
+fdot    za.s[w11, 7], {z13.h - z16.h}, z8.h  // 11000001-00111000-01110001-10100111
+// CHECK-INST: fdot    za.s[w11, 7, vgx4], { z13.h - z16.h }, z8.h
+// CHECK-ENCODING: [0xa7,0x71,0x38,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c13871a7 <unknown>
+
+fdot    za.s[w11, 7, vgx4], {z31.h - z2.h}, z15.h  // 11000001-00111111-01110011-11100111
+// CHECK-INST: fdot    za.s[w11, 7, vgx4], { z31.h, z0.h, z1.h, z2.h }, z15.h
+// CHECK-ENCODING: [0xe7,0x73,0x3f,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c13f73e7 <unknown>
+
+fdot    za.s[w11, 7], {z31.h - z2.h}, z15.h  // 11000001-00111111-01110011-11100111
+// CHECK-INST: fdot    za.s[w11, 7, vgx4], { z31.h, z0.h, z1.h, z2.h }, z15.h
+// CHECK-ENCODING: [0xe7,0x73,0x3f,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c13f73e7 <unknown>
+
+fdot    za.s[w8, 5, vgx4], {z17.h - z20.h}, z0.h  // 11000001-00110000-00010010-00100101
+// CHECK-INST: fdot    za.s[w8, 5, vgx4], { z17.h - z20.h }, z0.h
+// CHECK-ENCODING: [0x25,0x12,0x30,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1301225 <unknown>
+
+fdot    za.s[w8, 5], {z17.h - z20.h}, z0.h  // 11000001-00110000-00010010-00100101
+// CHECK-INST: fdot    za.s[w8, 5, vgx4], { z17.h - z20.h }, z0.h
+// CHECK-ENCODING: [0x25,0x12,0x30,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1301225 <unknown>
+
+fdot    za.s[w8, 1, vgx4], {z1.h - z4.h}, z14.h  // 11000001-00111110-00010000-00100001
+// CHECK-INST: fdot    za.s[w8, 1, vgx4], { z1.h - z4.h }, z14.h
+// CHECK-ENCODING: [0x21,0x10,0x3e,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c13e1021 <unknown>
+
+fdot    za.s[w8, 1], {z1.h - z4.h}, z14.h  // 11000001-00111110-00010000-00100001
+// CHECK-INST: fdot    za.s[w8, 1, vgx4], { z1.h - z4.h }, z14.h
+// CHECK-ENCODING: [0x21,0x10,0x3e,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c13e1021 <unknown>
+
+fdot    za.s[w10, 0, vgx4], {z19.h - z22.h}, z4.h  // 11000001-00110100-01010010-01100000
+// CHECK-INST: fdot    za.s[w10, 0, vgx4], { z19.h - z22.h }, z4.h
+// CHECK-ENCODING: [0x60,0x52,0x34,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1345260 <unknown>
+
+fdot    za.s[w10, 0], {z19.h - z22.h}, z4.h  // 11000001-00110100-01010010-01100000
+// CHECK-INST: fdot    za.s[w10, 0, vgx4], { z19.h - z22.h }, z4.h
+// CHECK-ENCODING: [0x60,0x52,0x34,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1345260 <unknown>
+
+fdot    za.s[w8, 0, vgx4], {z12.h - z15.h}, z2.h  // 11000001-00110010-00010001-10000000
+// CHECK-INST: fdot    za.s[w8, 0, vgx4], { z12.h - z15.h }, z2.h
+// CHECK-ENCODING: [0x80,0x11,0x32,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1321180 <unknown>
+
+fdot    za.s[w8, 0], {z12.h - z15.h}, z2.h  // 11000001-00110010-00010001-10000000
+// CHECK-INST: fdot    za.s[w8, 0, vgx4], { z12.h - z15.h }, z2.h
+// CHECK-ENCODING: [0x80,0x11,0x32,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1321180 <unknown>
+
+fdot    za.s[w10, 1, vgx4], {z1.h - z4.h}, z10.h  // 11000001-00111010-01010000-00100001
+// CHECK-INST: fdot    za.s[w10, 1, vgx4], { z1.h - z4.h }, z10.h
+// CHECK-ENCODING: [0x21,0x50,0x3a,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c13a5021 <unknown>
+
+fdot    za.s[w10, 1], {z1.h - z4.h}, z10.h  // 11000001-00111010-01010000-00100001
+// CHECK-INST: fdot    za.s[w10, 1, vgx4], { z1.h - z4.h }, z10.h
+// CHECK-ENCODING: [0x21,0x50,0x3a,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c13a5021 <unknown>
+
+fdot    za.s[w8, 5, vgx4], {z22.h - z25.h}, z14.h  // 11000001-00111110-00010010-11000101
+// CHECK-INST: fdot    za.s[w8, 5, vgx4], { z22.h - z25.h }, z14.h
+// CHECK-ENCODING: [0xc5,0x12,0x3e,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c13e12c5 <unknown>
+
+fdot    za.s[w8, 5], {z22.h - z25.h}, z14.h  // 11000001-00111110-00010010-11000101
+// CHECK-INST: fdot    za.s[w8, 5, vgx4], { z22.h - z25.h }, z14.h
+// CHECK-ENCODING: [0xc5,0x12,0x3e,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c13e12c5 <unknown>
+
+fdot    za.s[w11, 2, vgx4], {z9.h - z12.h}, z1.h  // 11000001-00110001-01110001-00100010
+// CHECK-INST: fdot    za.s[w11, 2, vgx4], { z9.h - z12.h }, z1.h
+// CHECK-ENCODING: [0x22,0x71,0x31,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1317122 <unknown>
+
+fdot    za.s[w11, 2], {z9.h - z12.h}, z1.h  // 11000001-00110001-01110001-00100010
+// CHECK-INST: fdot    za.s[w11, 2, vgx4], { z9.h - z12.h }, z1.h
+// CHECK-ENCODING: [0x22,0x71,0x31,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1317122 <unknown>
+
+fdot    za.s[w9, 7, vgx4], {z12.h - z15.h}, z11.h  // 11000001-00111011-00110001-10000111
+// CHECK-INST: fdot    za.s[w9, 7, vgx4], { z12.h - z15.h }, z11.h
+// CHECK-ENCODING: [0x87,0x31,0x3b,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c13b3187 <unknown>
+
+fdot    za.s[w9, 7], {z12.h - z15.h}, z11.h  // 11000001-00111011-00110001-10000111
+// CHECK-INST: fdot    za.s[w9, 7, vgx4], { z12.h - z15.h }, z11.h
+// CHECK-ENCODING: [0x87,0x31,0x3b,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c13b3187 <unknown>
+
+
 fdot    za.s[w8, 0, vgx4], {z0.h - z3.h}, z0.h[0]  // 11000001-01010000-10010000-00001000
 // CHECK-INST: fdot    za.s[w8, 0, vgx4], { z0.h - z3.h }, z0.h[0]
 // CHECK-ENCODING: [0x08,0x90,0x50,0xc1]
@@ -301,3 +736,148 @@
 // CHECK-ERROR: instruction requires: sme2
 // CHECK-UNKNOWN: c15bb98f <unknown>
 
+
+fdot    za.s[w8, 0, vgx4], {z0.h - z3.h}, {z0.h - z3.h}  // 11000001-10100001-00010000-00000000
+// CHECK-INST: fdot    za.s[w8, 0, vgx4], { z0.h - z3.h }, { z0.h - z3.h }
+// CHECK-ENCODING: [0x00,0x10,0xa1,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1a11000 <unknown>
+
+fdot    za.s[w8, 0], {z0.h - z3.h}, {z0.h - z3.h}  // 11000001-10100001-00010000-00000000
+// CHECK-INST: fdot    za.s[w8, 0, vgx4], { z0.h - z3.h }, { z0.h - z3.h }
+// CHECK-ENCODING: [0x00,0x10,0xa1,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1a11000 <unknown>
+
+fdot    za.s[w10, 5, vgx4], {z8.h - z11.h}, {z20.h - z23.h}  // 11000001-10110101-01010001-00000101
+// CHECK-INST: fdot    za.s[w10, 5, vgx4], { z8.h - z11.h }, { z20.h - z23.h }
+// CHECK-ENCODING: [0x05,0x51,0xb5,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1b55105 <unknown>
+
+fdot    za.s[w10, 5], {z8.h - z11.h}, {z20.h - z23.h}  // 11000001-10110101-01010001-00000101
+// CHECK-INST: fdot    za.s[w10, 5, vgx4], { z8.h - z11.h }, { z20.h - z23.h }
+// CHECK-ENCODING: [0x05,0x51,0xb5,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1b55105 <unknown>
+
+fdot    za.s[w11, 7, vgx4], {z12.h - z15.h}, {z8.h - z11.h}  // 11000001-10101001-01110001-10000111
+// CHECK-INST: fdot    za.s[w11, 7, vgx4], { z12.h - z15.h }, { z8.h - z11.h }
+// CHECK-ENCODING: [0x87,0x71,0xa9,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1a97187 <unknown>
+
+fdot    za.s[w11, 7], {z12.h - z15.h}, {z8.h - z11.h}  // 11000001-10101001-01110001-10000111
+// CHECK-INST: fdot    za.s[w11, 7, vgx4], { z12.h - z15.h }, { z8.h - z11.h }
+// CHECK-ENCODING: [0x87,0x71,0xa9,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1a97187 <unknown>
+
+fdot    za.s[w11, 7, vgx4], {z28.h - z31.h}, {z28.h - z31.h}  // 11000001-10111101-01110011-10000111
+// CHECK-INST: fdot    za.s[w11, 7, vgx4], { z28.h - z31.h }, { z28.h - z31.h }
+// CHECK-ENCODING: [0x87,0x73,0xbd,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1bd7387 <unknown>
+
+fdot    za.s[w11, 7], {z28.h - z31.h}, {z28.h - z31.h}  // 11000001-10111101-01110011-10000111
+// CHECK-INST: fdot    za.s[w11, 7, vgx4], { z28.h - z31.h }, { z28.h - z31.h }
+// CHECK-ENCODING: [0x87,0x73,0xbd,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1bd7387 <unknown>
+
+fdot    za.s[w8, 5, vgx4], {z16.h - z19.h}, {z16.h - z19.h}  // 11000001-10110001-00010010-00000101
+// CHECK-INST: fdot    za.s[w8, 5, vgx4], { z16.h - z19.h }, { z16.h - z19.h }
+// CHECK-ENCODING: [0x05,0x12,0xb1,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1b11205 <unknown>
+
+fdot    za.s[w8, 5], {z16.h - z19.h}, {z16.h - z19.h}  // 11000001-10110001-00010010-00000101
+// CHECK-INST: fdot    za.s[w8, 5, vgx4], { z16.h - z19.h }, { z16.h - z19.h }
+// CHECK-ENCODING: [0x05,0x12,0xb1,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1b11205 <unknown>
+
+fdot    za.s[w8, 1, vgx4], {z0.h - z3.h}, {z28.h - z31.h}  // 11000001-10111101-00010000-00000001
+// CHECK-INST: fdot    za.s[w8, 1, vgx4], { z0.h - z3.h }, { z28.h - z31.h }
+// CHECK-ENCODING: [0x01,0x10,0xbd,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1bd1001 <unknown>
+
+fdot    za.s[w8, 1], {z0.h - z3.h}, {z28.h - z31.h}  // 11000001-10111101-00010000-00000001
+// CHECK-INST: fdot    za.s[w8, 1, vgx4], { z0.h - z3.h }, { z28.h - z31.h }
+// CHECK-ENCODING: [0x01,0x10,0xbd,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1bd1001 <unknown>
+
+fdot    za.s[w10, 0, vgx4], {z16.h - z19.h}, {z20.h - z23.h}  // 11000001-10110101-01010010-00000000
+// CHECK-INST: fdot    za.s[w10, 0, vgx4], { z16.h - z19.h }, { z20.h - z23.h }
+// CHECK-ENCODING: [0x00,0x52,0xb5,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1b55200 <unknown>
+
+fdot    za.s[w10, 0], {z16.h - z19.h}, {z20.h - z23.h}  // 11000001-10110101-01010010-00000000
+// CHECK-INST: fdot    za.s[w10, 0, vgx4], { z16.h - z19.h }, { z20.h - z23.h }
+// CHECK-ENCODING: [0x00,0x52,0xb5,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1b55200 <unknown>
+
+fdot    za.s[w8, 0, vgx4], {z12.h - z15.h}, {z0.h - z3.h}  // 11000001-10100001-00010001-10000000
+// CHECK-INST: fdot    za.s[w8, 0, vgx4], { z12.h - z15.h }, { z0.h - z3.h }
+// CHECK-ENCODING: [0x80,0x11,0xa1,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1a11180 <unknown>
+
+fdot    za.s[w8, 0], {z12.h - z15.h}, {z0.h - z3.h}  // 11000001-10100001-00010001-10000000
+// CHECK-INST: fdot    za.s[w8, 0, vgx4], { z12.h - z15.h }, { z0.h - z3.h }
+// CHECK-ENCODING: [0x80,0x11,0xa1,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1a11180 <unknown>
+
+fdot    za.s[w10, 1, vgx4], {z0.h - z3.h}, {z24.h - z27.h}  // 11000001-10111001-01010000-00000001
+// CHECK-INST: fdot    za.s[w10, 1, vgx4], { z0.h - z3.h }, { z24.h - z27.h }
+// CHECK-ENCODING: [0x01,0x50,0xb9,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1b95001 <unknown>
+
+fdot    za.s[w10, 1], {z0.h - z3.h}, {z24.h - z27.h}  // 11000001-10111001-01010000-00000001
+// CHECK-INST: fdot    za.s[w10, 1, vgx4], { z0.h - z3.h }, { z24.h - z27.h }
+// CHECK-ENCODING: [0x01,0x50,0xb9,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1b95001 <unknown>
+
+fdot    za.s[w8, 5, vgx4], {z20.h - z23.h}, {z28.h - z31.h}  // 11000001-10111101-00010010-10000101
+// CHECK-INST: fdot    za.s[w8, 5, vgx4], { z20.h - z23.h }, { z28.h - z31.h }
+// CHECK-ENCODING: [0x85,0x12,0xbd,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1bd1285 <unknown>
+
+fdot    za.s[w8, 5], {z20.h - z23.h}, {z28.h - z31.h}  // 11000001-10111101-00010010-10000101
+// CHECK-INST: fdot    za.s[w8, 5, vgx4], { z20.h - z23.h }, { z28.h - z31.h }
+// CHECK-ENCODING: [0x85,0x12,0xbd,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1bd1285 <unknown>
+
+fdot    za.s[w11, 2, vgx4], {z8.h - z11.h}, {z0.h - z3.h}  // 11000001-10100001-01110001-00000010
+// CHECK-INST: fdot    za.s[w11, 2, vgx4], { z8.h - z11.h }, { z0.h - z3.h }
+// CHECK-ENCODING: [0x02,0x71,0xa1,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1a17102 <unknown>
+
+fdot    za.s[w11, 2], {z8.h - z11.h}, {z0.h - z3.h}  // 11000001-10100001-01110001-00000010
+// CHECK-INST: fdot    za.s[w11, 2, vgx4], { z8.h - z11.h }, { z0.h - z3.h }
+// CHECK-ENCODING: [0x02,0x71,0xa1,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1a17102 <unknown>
+
+fdot    za.s[w9, 7, vgx4], {z12.h - z15.h}, {z8.h - z11.h}  // 11000001-10101001-00110001-10000111
+// CHECK-INST: fdot    za.s[w9, 7, vgx4], { z12.h - z15.h }, { z8.h - z11.h }
+// CHECK-ENCODING: [0x87,0x31,0xa9,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1a93187 <unknown>
+
+fdot    za.s[w9, 7], {z12.h - z15.h}, {z8.h - z11.h}  // 11000001-10101001-00110001-10000111
+// CHECK-INST: fdot    za.s[w9, 7, vgx4], { z12.h - z15.h }, { z8.h - z11.h }
+// CHECK-ENCODING: [0x87,0x31,0xa9,0xc1]
+// CHECK-ERROR: instruction requires: sme2
+// CHECK-UNKNOWN: c1a93187 <unknown>
+