[AArch64][SVE] Asm: Support for LAST(A|B) and CLAST(A|B) instructions.

The LASTB and LASTA instructions extract the last active element,
or element after the last active, from the source vector.

The added variants are:

  Scalar:
  last(a|b)  w0, p0, z0.b
  last(a|b)  w0, p0, z0.h
  last(a|b)  w0, p0, z0.s
  last(a|b)  x0, p0, z0.d

  SIMD & FP Scalar:
  last(a|b)  b0, p0, z0.b
  last(a|b)  h0, p0, z0.h
  last(a|b)  s0, p0, z0.s
  last(a|b)  d0, p0, z0.d

The CLASTB and CLASTA conditionally extract the last or element after
the last active element from the source vector.

The added variants are:

  Scalar:
  clast(a|b)  w0, p0, w0, z0.b
  clast(a|b)  w0, p0, w0, z0.h
  clast(a|b)  w0, p0, w0, z0.s
  clast(a|b)  x0, p0, x0, z0.d

  SIMD & FP Scalar:
  clast(a|b)  b0, p0, b0, z0.b
  clast(a|b)  h0, p0, h0, z0.h
  clast(a|b)  s0, p0, s0, z0.s
  clast(a|b)  d0, p0, d0, z0.d

  Vector:
  clast(a|b)  z0.b, p0, z0.b, z1.b
  clast(a|b)  z0.h, p0, z0.h, z1.h
  clast(a|b)  z0.s, p0, z0.s, z1.s
  clast(a|b)  z0.d, p0, z0.d, z1.d

Please refer to the architecture specification for more details on
the semantics of the added instructions.

llvm-svn: 336783

8 files changed, 538 insertions, 0 deletions

diff --git a/llvm/test/MC/AArch64/SVE/clasta-diagnostics.s b/llvm/test/MC/AArch64/SVE/clasta-diagnostics.s
new file mode 100644
index 00000000000..cfc1db15b2c
--- /dev/null
+++ b/llvm/test/MC/AArch64/SVE/clasta-diagnostics.s
@@ -0,0 +1,79 @@
+// RUN: not llvm-mc -triple=aarch64 -show-encoding -mattr=+sve  2>&1 < %s| FileCheck %s
+
+
+// ------------------------------------------------------------------------- //
+// Invalid predicate
+
+clasta   w0, p8, w0, z31.b
+// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: restricted predicate has range [0, 7].
+// CHECK-NEXT: clasta   w0, p8, w0, z31.b
+// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
+
+
+// ------------------------------------------------------------------------- //
+// Invalid element width
+
+clasta   w0, p7, x0, z31.b
+// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid operand
+// CHECK-NEXT: clasta   w0, p7, x0, z31.b
+// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
+
+clasta   x0, p7, x0, z31.b
+// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid element width
+// CHECK-NEXT: clasta   x0, p7, x0, z31.b
+// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
+
+clasta   x0, p7, x0, z31.h
+// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid element width
+// CHECK-NEXT: clasta   x0, p7, x0, z31.h
+// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
+
+clasta   x0, p7, x0, z31.s
+// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid element width
+// CHECK-NEXT: clasta   x0, p7, x0, z31.s
+// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
+
+clasta   w0, p7, w0, z31.d
+// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid element width
+// CHECK-NEXT: clasta   w0, p7, w0, z31.d
+// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
+
+clasta   b0, p7, b0, z31.h
+// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid element width
+// CHECK-NEXT: clasta   b0, p7, b0, z31.h
+// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
+
+clasta   h0, p7, h0, z31.s
+// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid element width
+// CHECK-NEXT: clasta   h0, p7, h0, z31.s
+// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
+
+clasta   s0, p7, s0, z31.d
+// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid element width
+// CHECK-NEXT: clasta   s0, p7, s0, z31.d
+// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
+
+clasta   d0, p7, d0, z31.b
+// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid element width
+// CHECK-NEXT: clasta   d0, p7, d0, z31.b
+// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
+
+clasta   z0.b, p7, z0.b, z31.h
+// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid element width
+// CHECK-NEXT: clasta   z0.b, p7, z0.b, z31.h
+// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
+
+clasta   z0.h, p7, z0.h, z31.s
+// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid element width
+// CHECK-NEXT: clasta   z0.h, p7, z0.h, z31.s
+// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
+
+clasta   z0.s, p7, z0.s, z31.d
+// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid element width
+// CHECK-NEXT: clasta   z0.s, p7, z0.s, z31.d
+// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
+
+clasta   z0.d, p7, z0.d, z31.b
+// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid element width
+// CHECK-NEXT: clasta   z0.d, p7, z0.d, z31.b
+// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
diff --git a/llvm/test/MC/AArch64/SVE/clasta.s b/llvm/test/MC/AArch64/SVE/clasta.s
new file mode 100644
index 00000000000..3e120310298
--- /dev/null
+++ b/llvm/test/MC/AArch64/SVE/clasta.s
@@ -0,0 +1,80 @@
+// RUN: llvm-mc -triple=aarch64 -show-encoding -mattr=+sve < %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=+sve < %s \
+// RUN:        | llvm-objdump -d -mattr=+sve - | FileCheck %s --check-prefix=CHECK-INST
+// RUN: llvm-mc -triple=aarch64 -filetype=obj -mattr=+sve < %s \
+// RUN:        | llvm-objdump -d - | FileCheck %s --check-prefix=CHECK-UNKNOWN
+
+clasta   w0, p7, w0, z31.b
+// CHECK-INST: clasta	w0, p7, w0, z31.b
+// CHECK-ENCODING: [0xe0,0xbf,0x30,0x05]
+// CHECK-ERROR: instruction requires: sve
+// CHECK-UNKNOWN: e0 bf 30 05 <unknown>
+
+clasta   w0, p7, w0, z31.h
+// CHECK-INST: clasta	w0, p7, w0, z31.h
+// CHECK-ENCODING: [0xe0,0xbf,0x70,0x05]
+// CHECK-ERROR: instruction requires: sve
+// CHECK-UNKNOWN: e0 bf 70 05 <unknown>
+
+clasta   w0, p7, w0, z31.s
+// CHECK-INST: clasta	w0, p7, w0, z31.s
+// CHECK-ENCODING: [0xe0,0xbf,0xb0,0x05]
+// CHECK-ERROR: instruction requires: sve
+// CHECK-UNKNOWN: e0 bf b0 05 <unknown>
+
+clasta   x0, p7, x0, z31.d
+// CHECK-INST: clasta	x0, p7, x0, z31.d
+// CHECK-ENCODING: [0xe0,0xbf,0xf0,0x05]
+// CHECK-ERROR: instruction requires: sve
+// CHECK-UNKNOWN: e0 bf f0 05 <unknown>
+
+clasta   b0, p7, b0, z31.b
+// CHECK-INST: clasta	b0, p7, b0, z31.b
+// CHECK-ENCODING: [0xe0,0x9f,0x2a,0x05]
+// CHECK-ERROR: instruction requires: sve
+// CHECK-UNKNOWN: e0 9f 2a 05 <unknown>
+
+clasta   h0, p7, h0, z31.h
+// CHECK-INST: clasta	h0, p7, h0, z31.h
+// CHECK-ENCODING: [0xe0,0x9f,0x6a,0x05]
+// CHECK-ERROR: instruction requires: sve
+// CHECK-UNKNOWN: e0 9f 6a 05 <unknown>
+
+clasta   s0, p7, s0, z31.s
+// CHECK-INST: clasta	s0, p7, s0, z31.s
+// CHECK-ENCODING: [0xe0,0x9f,0xaa,0x05]
+// CHECK-ERROR: instruction requires: sve
+// CHECK-UNKNOWN: e0 9f aa 05 <unknown>
+
+clasta   d0, p7, d0, z31.d
+// CHECK-INST: clasta	d0, p7, d0, z31.d
+// CHECK-ENCODING: [0xe0,0x9f,0xea,0x05]
+// CHECK-ERROR: instruction requires: sve
+// CHECK-UNKNOWN: e0 9f ea 05 <unknown>
+
+clasta   z0.b, p7, z0.b, z31.b
+// CHECK-INST: clasta	z0.b, p7, z0.b, z31.b
+// CHECK-ENCODING: [0xe0,0x9f,0x28,0x05]
+// CHECK-ERROR: instruction requires: sve
+// CHECK-UNKNOWN: e0 9f 28 05 <unknown>
+
+clasta   z0.h, p7, z0.h, z31.h
+// CHECK-INST: clasta	z0.h, p7, z0.h, z31.h
+// CHECK-ENCODING: [0xe0,0x9f,0x68,0x05]
+// CHECK-ERROR: instruction requires: sve
+// CHECK-UNKNOWN: e0 9f 68 05 <unknown>
+
+clasta   z0.s, p7, z0.s, z31.s
+// CHECK-INST: clasta	z0.s, p7, z0.s, z31.s
+// CHECK-ENCODING: [0xe0,0x9f,0xa8,0x05]
+// CHECK-ERROR: instruction requires: sve
+// CHECK-UNKNOWN: e0 9f a8 05 <unknown>
+
+clasta   z0.d, p7, z0.d, z31.d
+// CHECK-INST: clasta	z0.d, p7, z0.d, z31.d
+// CHECK-ENCODING: [0xe0,0x9f,0xe8,0x05]
+// CHECK-ERROR: instruction requires: sve
+// CHECK-UNKNOWN: e0 9f e8 05 <unknown>
diff --git a/llvm/test/MC/AArch64/SVE/clastb-diagnostics.s b/llvm/test/MC/AArch64/SVE/clastb-diagnostics.s
new file mode 100644
index 00000000000..62f696458c3
--- /dev/null
+++ b/llvm/test/MC/AArch64/SVE/clastb-diagnostics.s
@@ -0,0 +1,79 @@
+// RUN: not llvm-mc -triple=aarch64 -show-encoding -mattr=+sve  2>&1 < %s| FileCheck %s
+
+
+// ------------------------------------------------------------------------- //
+// Invalid predicate
+
+clastb   w0, p8, w0, z31.b
+// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: restricted predicate has range [0, 7].
+// CHECK-NEXT: clastb   w0, p8, w0, z31.b
+// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
+
+
+// ------------------------------------------------------------------------- //
+// Invalid element width
+
+clastb   w0, p7, x0, z31.b
+// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid operand
+// CHECK-NEXT: clastb   w0, p7, x0, z31.b
+// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
+
+clastb   x0, p7, x0, z31.b
+// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid element width
+// CHECK-NEXT: clastb   x0, p7, x0, z31.b
+// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
+
+clastb   x0, p7, x0, z31.h
+// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid element width
+// CHECK-NEXT: clastb   x0, p7, x0, z31.h
+// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
+
+clastb   x0, p7, x0, z31.s
+// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid element width
+// CHECK-NEXT: clastb   x0, p7, x0, z31.s
+// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
+
+clastb   w0, p7, w0, z31.d
+// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid element width
+// CHECK-NEXT: clastb   w0, p7, w0, z31.d
+// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
+
+clastb   b0, p7, b0, z31.h
+// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid element width
+// CHECK-NEXT: clastb   b0, p7, b0, z31.h
+// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
+
+clastb   h0, p7, h0, z31.s
+// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid element width
+// CHECK-NEXT: clastb   h0, p7, h0, z31.s
+// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
+
+clastb   s0, p7, s0, z31.d
+// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid element width
+// CHECK-NEXT: clastb   s0, p7, s0, z31.d
+// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
+
+clastb   d0, p7, d0, z31.b
+// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid element width
+// CHECK-NEXT: clastb   d0, p7, d0, z31.b
+// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
+
+clastb   z0.b, p7, z0.b, z31.h
+// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid element width
+// CHECK-NEXT: clastb   z0.b, p7, z0.b, z31.h
+// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
+
+clastb   z0.h, p7, z0.h, z31.s
+// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid element width
+// CHECK-NEXT: clastb   z0.h, p7, z0.h, z31.s
+// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
+
+clastb   z0.s, p7, z0.s, z31.d
+// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid element width
+// CHECK-NEXT: clastb   z0.s, p7, z0.s, z31.d
+// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
+
+clastb   z0.d, p7, z0.d, z31.b
+// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid element width
+// CHECK-NEXT: clastb   z0.d, p7, z0.d, z31.b
+// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
diff --git a/llvm/test/MC/AArch64/SVE/clastb.s b/llvm/test/MC/AArch64/SVE/clastb.s
new file mode 100644
index 00000000000..654ab1133e7
--- /dev/null
+++ b/llvm/test/MC/AArch64/SVE/clastb.s
@@ -0,0 +1,80 @@
+// RUN: llvm-mc -triple=aarch64 -show-encoding -mattr=+sve < %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=+sve < %s \
+// RUN:        | llvm-objdump -d -mattr=+sve - | FileCheck %s --check-prefix=CHECK-INST
+// RUN: llvm-mc -triple=aarch64 -filetype=obj -mattr=+sve < %s \
+// RUN:        | llvm-objdump -d - | FileCheck %s --check-prefix=CHECK-UNKNOWN
+
+clastb   w0, p7, w0, z31.b
+// CHECK-INST: clastb	w0, p7, w0, z31.b
+// CHECK-ENCODING: [0xe0,0xbf,0x31,0x05]
+// CHECK-ERROR: instruction requires: sve
+// CHECK-UNKNOWN: e0 bf 31 05 <unknown>
+
+clastb   w0, p7, w0, z31.h
+// CHECK-INST: clastb	w0, p7, w0, z31.h
+// CHECK-ENCODING: [0xe0,0xbf,0x71,0x05]
+// CHECK-ERROR: instruction requires: sve
+// CHECK-UNKNOWN: e0 bf 71 05 <unknown>
+
+clastb   w0, p7, w0, z31.s
+// CHECK-INST: clastb	w0, p7, w0, z31.s
+// CHECK-ENCODING: [0xe0,0xbf,0xb1,0x05]
+// CHECK-ERROR: instruction requires: sve
+// CHECK-UNKNOWN: e0 bf b1 05 <unknown>
+
+clastb   x0, p7, x0, z31.d
+// CHECK-INST: clastb	x0, p7, x0, z31.d
+// CHECK-ENCODING: [0xe0,0xbf,0xf1,0x05]
+// CHECK-ERROR: instruction requires: sve
+// CHECK-UNKNOWN: e0 bf f1 05 <unknown>
+
+clastb   b0, p7, b0, z31.b
+// CHECK-INST: clastb	b0, p7, b0, z31.b
+// CHECK-ENCODING: [0xe0,0x9f,0x2b,0x05]
+// CHECK-ERROR: instruction requires: sve
+// CHECK-UNKNOWN: e0 9f 2b 05 <unknown>
+
+clastb   h0, p7, h0, z31.h
+// CHECK-INST: clastb	h0, p7, h0, z31.h
+// CHECK-ENCODING: [0xe0,0x9f,0x6b,0x05]
+// CHECK-ERROR: instruction requires: sve
+// CHECK-UNKNOWN: e0 9f 6b 05 <unknown>
+
+clastb   s0, p7, s0, z31.s
+// CHECK-INST: clastb	s0, p7, s0, z31.s
+// CHECK-ENCODING: [0xe0,0x9f,0xab,0x05]
+// CHECK-ERROR: instruction requires: sve
+// CHECK-UNKNOWN: e0 9f ab 05 <unknown>
+
+clastb   d0, p7, d0, z31.d
+// CHECK-INST: clastb	d0, p7, d0, z31.d
+// CHECK-ENCODING: [0xe0,0x9f,0xeb,0x05]
+// CHECK-ERROR: instruction requires: sve
+// CHECK-UNKNOWN: e0 9f eb 05 <unknown>
+
+clastb   z0.b, p7, z0.b, z31.b
+// CHECK-INST: clastb	z0.b, p7, z0.b, z31.b
+// CHECK-ENCODING: [0xe0,0x9f,0x29,0x05]
+// CHECK-ERROR: instruction requires: sve
+// CHECK-UNKNOWN: e0 9f 29 05 <unknown>
+
+clastb   z0.h, p7, z0.h, z31.h
+// CHECK-INST: clastb	z0.h, p7, z0.h, z31.h
+// CHECK-ENCODING: [0xe0,0x9f,0x69,0x05]
+// CHECK-ERROR: instruction requires: sve
+// CHECK-UNKNOWN: e0 9f 69 05 <unknown>
+
+clastb   z0.s, p7, z0.s, z31.s
+// CHECK-INST: clastb	z0.s, p7, z0.s, z31.s
+// CHECK-ENCODING: [0xe0,0x9f,0xa9,0x05]
+// CHECK-ERROR: instruction requires: sve
+// CHECK-UNKNOWN: e0 9f a9 05 <unknown>
+
+clastb   z0.d, p7, z0.d, z31.d
+// CHECK-INST: clastb	z0.d, p7, z0.d, z31.d
+// CHECK-ENCODING: [0xe0,0x9f,0xe9,0x05]
+// CHECK-ERROR: instruction requires: sve
+// CHECK-UNKNOWN: e0 9f e9 05 <unknown>
diff --git a/llvm/test/MC/AArch64/SVE/lasta-diagnostics.s b/llvm/test/MC/AArch64/SVE/lasta-diagnostics.s
new file mode 100644
index 00000000000..dd8155521f5
--- /dev/null
+++ b/llvm/test/MC/AArch64/SVE/lasta-diagnostics.s
@@ -0,0 +1,54 @@
+// RUN: not llvm-mc -triple=aarch64 -show-encoding -mattr=+sve  2>&1 < %s| FileCheck %s
+
+
+// ------------------------------------------------------------------------- //
+// Invalid predicate
+
+lasta   w0, p8, z31.b
+// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: restricted predicate has range [0, 7].
+// CHECK-NEXT: lasta   w0, p8, z31.b
+// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
+
+
+// ------------------------------------------------------------------------- //
+// Invalid element width
+
+lasta   x0, p7, z31.b
+// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid element width
+// CHECK-NEXT: lasta   x0, p7, z31.b
+// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
+
+lasta   x0, p7, z31.h
+// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid element width
+// CHECK-NEXT: lasta   x0, p7, z31.h
+// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
+
+lasta   x0, p7, z31.s
+// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid element width
+// CHECK-NEXT: lasta   x0, p7, z31.s
+// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
+
+lasta   w0, p7, z31.d
+// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid element width
+// CHECK-NEXT: lasta   w0, p7, z31.d
+// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
+
+lasta   b0, p7, z31.h
+// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid element width
+// CHECK-NEXT: lasta   b0, p7, z31.h
+// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
+
+lasta   h0, p7, z31.s
+// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid element width
+// CHECK-NEXT: lasta   h0, p7, z31.s
+// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
+
+lasta   s0, p7, z31.d
+// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid element width
+// CHECK-NEXT: lasta   s0, p7, z31.d
+// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
+
+lasta   d0, p7, z31.b
+// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid element width
+// CHECK-NEXT: lasta   d0, p7, z31.b
+// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
diff --git a/llvm/test/MC/AArch64/SVE/lasta.s b/llvm/test/MC/AArch64/SVE/lasta.s
new file mode 100644
index 00000000000..7d17ab2a961
--- /dev/null
+++ b/llvm/test/MC/AArch64/SVE/lasta.s
@@ -0,0 +1,56 @@
+// RUN: llvm-mc -triple=aarch64 -show-encoding -mattr=+sve < %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=+sve < %s \
+// RUN:        | llvm-objdump -d -mattr=+sve - | FileCheck %s --check-prefix=CHECK-INST
+// RUN: llvm-mc -triple=aarch64 -filetype=obj -mattr=+sve < %s \
+// RUN:        | llvm-objdump -d - | FileCheck %s --check-prefix=CHECK-UNKNOWN
+
+lasta   w0, p7, z31.b
+// CHECK-INST: lasta	w0, p7, z31.b
+// CHECK-ENCODING: [0xe0,0xbf,0x20,0x05]
+// CHECK-ERROR: instruction requires: sve
+// CHECK-UNKNOWN: e0 bf 20 05 <unknown>
+
+lasta   w0, p7, z31.h
+// CHECK-INST: lasta	w0, p7, z31.h
+// CHECK-ENCODING: [0xe0,0xbf,0x60,0x05]
+// CHECK-ERROR: instruction requires: sve
+// CHECK-UNKNOWN: e0 bf 60 05 <unknown>
+
+lasta   w0, p7, z31.s
+// CHECK-INST: lasta	w0, p7, z31.s
+// CHECK-ENCODING: [0xe0,0xbf,0xa0,0x05]
+// CHECK-ERROR: instruction requires: sve
+// CHECK-UNKNOWN: e0 bf a0 05 <unknown>
+
+lasta   x0, p7, z31.d
+// CHECK-INST: lasta	x0, p7, z31.d
+// CHECK-ENCODING: [0xe0,0xbf,0xe0,0x05]
+// CHECK-ERROR: instruction requires: sve
+// CHECK-UNKNOWN: e0 bf e0 05 <unknown>
+
+lasta   b0, p7, z31.b
+// CHECK-INST: lasta	b0, p7, z31.b
+// CHECK-ENCODING: [0xe0,0x9f,0x22,0x05]
+// CHECK-ERROR: instruction requires: sve
+// CHECK-UNKNOWN: e0 9f 22 05 <unknown>
+
+lasta   h0, p7, z31.h
+// CHECK-INST: lasta	h0, p7, z31.h
+// CHECK-ENCODING: [0xe0,0x9f,0x62,0x05]
+// CHECK-ERROR: instruction requires: sve
+// CHECK-UNKNOWN: e0 9f 62 05 <unknown>
+
+lasta   s0, p7, z31.s
+// CHECK-INST: lasta	s0, p7, z31.s
+// CHECK-ENCODING: [0xe0,0x9f,0xa2,0x05]
+// CHECK-ERROR: instruction requires: sve
+// CHECK-UNKNOWN: e0 9f a2 05 <unknown>
+
+lasta   d0, p7, z31.d
+// CHECK-INST: lasta	d0, p7, z31.d
+// CHECK-ENCODING: [0xe0,0x9f,0xe2,0x05]
+// CHECK-ERROR: instruction requires: sve
+// CHECK-UNKNOWN: e0 9f e2 05 <unknown>
diff --git a/llvm/test/MC/AArch64/SVE/lastb-diagnostics.s b/llvm/test/MC/AArch64/SVE/lastb-diagnostics.s
new file mode 100644
index 00000000000..ed92c76cadf
--- /dev/null
+++ b/llvm/test/MC/AArch64/SVE/lastb-diagnostics.s
@@ -0,0 +1,54 @@
+// RUN: not llvm-mc -triple=aarch64 -show-encoding -mattr=+sve  2>&1 < %s| FileCheck %s
+
+
+// ------------------------------------------------------------------------- //
+// Invalid predicate
+
+lastb   w0, p8, z31.b
+// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: restricted predicate has range [0, 7].
+// CHECK-NEXT: lastb   w0, p8, z31.b
+// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
+
+
+// ------------------------------------------------------------------------- //
+// Invalid element width
+
+lastb   x0, p7, z31.b
+// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid element width
+// CHECK-NEXT: lastb   x0, p7, z31.b
+// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
+
+lastb   x0, p7, z31.h
+// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid element width
+// CHECK-NEXT: lastb   x0, p7, z31.h
+// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
+
+lastb   x0, p7, z31.s
+// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid element width
+// CHECK-NEXT: lastb   x0, p7, z31.s
+// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
+
+lastb   w0, p7, z31.d
+// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid element width
+// CHECK-NEXT: lastb   w0, p7, z31.d
+// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
+
+lastb   b0, p7, z31.h
+// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid element width
+// CHECK-NEXT: lastb   b0, p7, z31.h
+// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
+
+lastb   h0, p7, z31.s
+// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid element width
+// CHECK-NEXT: lastb   h0, p7, z31.s
+// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
+
+lastb   s0, p7, z31.d
+// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid element width
+// CHECK-NEXT: lastb   s0, p7, z31.d
+// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
+
+lastb   d0, p7, z31.b
+// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid element width
+// CHECK-NEXT: lastb   d0, p7, z31.b
+// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
diff --git a/llvm/test/MC/AArch64/SVE/lastb.s b/llvm/test/MC/AArch64/SVE/lastb.s
new file mode 100644
index 00000000000..2589d669678
--- /dev/null
+++ b/llvm/test/MC/AArch64/SVE/lastb.s
@@ -0,0 +1,56 @@
+// RUN: llvm-mc -triple=aarch64 -show-encoding -mattr=+sve < %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=+sve < %s \
+// RUN:        | llvm-objdump -d -mattr=+sve - | FileCheck %s --check-prefix=CHECK-INST
+// RUN: llvm-mc -triple=aarch64 -filetype=obj -mattr=+sve < %s \
+// RUN:        | llvm-objdump -d - | FileCheck %s --check-prefix=CHECK-UNKNOWN
+
+lastb   w0, p7, z31.b
+// CHECK-INST: lastb	w0, p7, z31.b
+// CHECK-ENCODING: [0xe0,0xbf,0x21,0x05]
+// CHECK-ERROR: instruction requires: sve
+// CHECK-UNKNOWN: e0 bf 21 05 <unknown>
+
+lastb   w0, p7, z31.h
+// CHECK-INST: lastb	w0, p7, z31.h
+// CHECK-ENCODING: [0xe0,0xbf,0x61,0x05]
+// CHECK-ERROR: instruction requires: sve
+// CHECK-UNKNOWN: e0 bf 61 05 <unknown>
+
+lastb   w0, p7, z31.s
+// CHECK-INST: lastb	w0, p7, z31.s
+// CHECK-ENCODING: [0xe0,0xbf,0xa1,0x05]
+// CHECK-ERROR: instruction requires: sve
+// CHECK-UNKNOWN: e0 bf a1 05 <unknown>
+
+lastb   x0, p7, z31.d
+// CHECK-INST: lastb	x0, p7, z31.d
+// CHECK-ENCODING: [0xe0,0xbf,0xe1,0x05]
+// CHECK-ERROR: instruction requires: sve
+// CHECK-UNKNOWN: e0 bf e1 05 <unknown>
+
+lastb   b0, p7, z31.b
+// CHECK-INST: lastb	b0, p7, z31.b
+// CHECK-ENCODING: [0xe0,0x9f,0x23,0x05]
+// CHECK-ERROR: instruction requires: sve
+// CHECK-UNKNOWN: e0 9f 23 05 <unknown>
+
+lastb   h0, p7, z31.h
+// CHECK-INST: lastb	h0, p7, z31.h
+// CHECK-ENCODING: [0xe0,0x9f,0x63,0x05]
+// CHECK-ERROR: instruction requires: sve
+// CHECK-UNKNOWN: e0 9f 63 05 <unknown>
+
+lastb   s0, p7, z31.s
+// CHECK-INST: lastb	s0, p7, z31.s
+// CHECK-ENCODING: [0xe0,0x9f,0xa3,0x05]
+// CHECK-ERROR: instruction requires: sve
+// CHECK-UNKNOWN: e0 9f a3 05 <unknown>
+
+lastb   d0, p7, z31.d
+// CHECK-INST: lastb	d0, p7, z31.d
+// CHECK-ENCODING: [0xe0,0x9f,0xe3,0x05]
+// CHECK-ERROR: instruction requires: sve
+// CHECK-UNKNOWN: e0 9f e3 05 <unknown>