[AArch64][SVE] Asm: Support for predicated unary operations.

The patch includes support for the following instructions:

       ABS z0.h, p0/m, z0.h
       NEG z0.h, p0/m, z0.h

  (S|U)XTB z0.h, p0/m, z0.h
  (S|U)XTB z0.s, p0/m, z0.s
  (S|U)XTB z0.d, p0/m, z0.d

  (S|U)XTH z0.s, p0/m, z0.s
  (S|U)XTH z0.d, p0/m, z0.d

  (S|U)XTW z0.d, p0/m, z0.d

llvm-svn: 336204

13 files changed, 500 insertions, 0 deletions

diff --git a/llvm/test/MC/AArch64/SVE/abs-diagnostics.s b/llvm/test/MC/AArch64/SVE/abs-diagnostics.s
new file mode 100644
index 00000000000..d3f99e61c92
--- /dev/null
+++ b/llvm/test/MC/AArch64/SVE/abs-diagnostics.s
@@ -0,0 +1,36 @@
+// RUN: not llvm-mc -triple=aarch64 -show-encoding -mattr=+sve  2>&1 < %s| FileCheck %s
+
+// Element size specifiers should match.
+abs z0.h, p0/m, z0.b
+// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid element width
+// CHECK-NEXT: abs z0.h, p0/m, z0.b
+// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
+
+// Missing predicate suffix
+abs z29.d, p7, z29.d
+// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid operand
+// CHECK-NEXT: abs z29.d, p7, z29.d
+// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
+
+// --------------------------------------------------------------------------//
+// error: restricted predicate has range [0, 7].
+
+abs z0.b, p8/m, z0.b
+// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: restricted predicate has range [0, 7].
+// CHECK-NEXT: abs z0.b, p8/m, z0.b
+// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
+
+abs z0.h, p8/m, z0.h
+// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: restricted predicate has range [0, 7].
+// CHECK-NEXT: abs z0.h, p8/m, z0.h
+// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
+
+abs z0.s, p8/m, z0.s
+// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: restricted predicate has range [0, 7].
+// CHECK-NEXT: abs z0.s, p8/m, z0.s
+// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
+
+abs z0.d, p8/m, z0.d
+// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: restricted predicate has range [0, 7].
+// CHECK-NEXT: abs z0.d, p8/m, z0.d
+// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
diff --git a/llvm/test/MC/AArch64/SVE/abs.s b/llvm/test/MC/AArch64/SVE/abs.s
new file mode 100644
index 00000000000..6341c4f4885
--- /dev/null
+++ b/llvm/test/MC/AArch64/SVE/abs.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
+
+abs     z0.b, p0/m, z0.b
+// CHECK-INST: abs     z0.b, p0/m, z0.b
+// CHECK-ENCODING: [0x00,0xa0,0x16,0x04]
+// CHECK-ERROR: instruction requires: sve
+// CHECK-UNKNOWN: 00 a0 16 04 <unknown>
+
+abs     z0.h, p0/m, z0.h
+// CHECK-INST: abs     z0.h, p0/m, z0.h
+// CHECK-ENCODING: [0x00,0xa0,0x56,0x04]
+// CHECK-ERROR: instruction requires: sve
+// CHECK-UNKNOWN: 00 a0 56 04 <unknown>
+
+abs     z0.s, p0/m, z0.s
+// CHECK-INST: abs     z0.s, p0/m, z0.s
+// CHECK-ENCODING: [0x00,0xa0,0x96,0x04]
+// CHECK-ERROR: instruction requires: sve
+// CHECK-UNKNOWN: 00 a0 96 04 <unknown>
+
+abs     z0.d, p0/m, z0.d
+// CHECK-INST: abs     z0.d, p0/m, z0.d
+// CHECK-ENCODING: [0x00,0xa0,0xd6,0x04]
+// CHECK-ERROR: instruction requires: sve
+// CHECK-UNKNOWN: 00 a0 d6 04 <unknown>
+
+abs     z31.b, p7/m, z31.b
+// CHECK-INST: abs     z31.b, p7/m, z31.b
+// CHECK-ENCODING: [0xff,0xbf,0x16,0x04]
+// CHECK-ERROR: instruction requires: sve
+// CHECK-UNKNOWN: ff bf 16 04 <unknown>
+
+abs     z31.h, p7/m, z31.h
+// CHECK-INST: abs     z31.h, p7/m, z31.h
+// CHECK-ENCODING: [0xff,0xbf,0x56,0x04]
+// CHECK-ERROR: instruction requires: sve
+// CHECK-UNKNOWN: ff bf 56 04 <unknown>
+
+abs     z31.s, p7/m, z31.s
+// CHECK-INST: abs     z31.s, p7/m, z31.s
+// CHECK-ENCODING: [0xff,0xbf,0x96,0x04]
+// CHECK-ERROR: instruction requires: sve
+// CHECK-UNKNOWN: ff bf 96 04 <unknown>
+
+abs     z31.d, p7/m, z31.d
+// CHECK-INST: abs     z31.d, p7/m, z31.d
+// CHECK-ENCODING: [0xff,0xbf,0xd6,0x04]
+// CHECK-ERROR: instruction requires: sve
+// CHECK-UNKNOWN: ff bf d6 04 <unknown>
diff --git a/llvm/test/MC/AArch64/SVE/neg-diagnostics.s b/llvm/test/MC/AArch64/SVE/neg-diagnostics.s
new file mode 100644
index 00000000000..34381ef38a0
--- /dev/null
+++ b/llvm/test/MC/AArch64/SVE/neg-diagnostics.s
@@ -0,0 +1,36 @@
+// RUN: not llvm-mc -triple=aarch64 -show-encoding -mattr=+sve  2>&1 < %s| FileCheck %s
+
+// Element size specifiers should match.
+neg z0.h, p0/m, z0.b
+// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid element width
+// CHECK-NEXT: neg z0.h, p0/m, z0.b
+// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
+
+// Missing predicate suffix
+neg z29.d, p7, z29.d
+// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid operand
+// CHECK-NEXT: neg z29.d, p7, z29.d
+// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
+
+// --------------------------------------------------------------------------//
+// error: restricted predicate has range [0, 7].
+
+neg z0.b, p8/m, z0.b
+// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: restricted predicate has range [0, 7].
+// CHECK-NEXT: neg z0.b, p8/m, z0.b
+// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
+
+neg z0.h, p8/m, z0.h
+// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: restricted predicate has range [0, 7].
+// CHECK-NEXT: neg z0.h, p8/m, z0.h
+// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
+
+neg z0.s, p8/m, z0.s
+// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: restricted predicate has range [0, 7].
+// CHECK-NEXT: neg z0.s, p8/m, z0.s
+// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
+
+neg z0.d, p8/m, z0.d
+// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: restricted predicate has range [0, 7].
+// CHECK-NEXT: neg z0.d, p8/m, z0.d
+// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
diff --git a/llvm/test/MC/AArch64/SVE/neg.s b/llvm/test/MC/AArch64/SVE/neg.s
new file mode 100644
index 00000000000..3ad4abf463c
--- /dev/null
+++ b/llvm/test/MC/AArch64/SVE/neg.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
+
+neg     z0.b, p0/m, z0.b
+// CHECK-INST: neg     z0.b, p0/m, z0.b
+// CHECK-ENCODING: [0x00,0xa0,0x17,0x04]
+// CHECK-ERROR: instruction requires: sve
+// CHECK-UNKNOWN: 00 a0 17 04 <unknown>
+
+neg     z0.h, p0/m, z0.h
+// CHECK-INST: neg     z0.h, p0/m, z0.h
+// CHECK-ENCODING: [0x00,0xa0,0x57,0x04]
+// CHECK-ERROR: instruction requires: sve
+// CHECK-UNKNOWN: 00 a0 57 04 <unknown>
+
+neg     z0.s, p0/m, z0.s
+// CHECK-INST: neg     z0.s, p0/m, z0.s
+// CHECK-ENCODING: [0x00,0xa0,0x97,0x04]
+// CHECK-ERROR: instruction requires: sve
+// CHECK-UNKNOWN: 00 a0 97 04 <unknown>
+
+neg     z0.d, p0/m, z0.d
+// CHECK-INST: neg     z0.d, p0/m, z0.d
+// CHECK-ENCODING: [0x00,0xa0,0xd7,0x04]
+// CHECK-ERROR: instruction requires: sve
+// CHECK-UNKNOWN: 00 a0 d7 04 <unknown>
+
+neg     z31.b, p7/m, z31.b
+// CHECK-INST: neg     z31.b, p7/m, z31.b
+// CHECK-ENCODING: [0xff,0xbf,0x17,0x04]
+// CHECK-ERROR: instruction requires: sve
+// CHECK-UNKNOWN: ff bf 17 04 <unknown>
+
+neg     z31.h, p7/m, z31.h
+// CHECK-INST: neg     z31.h, p7/m, z31.h
+// CHECK-ENCODING: [0xff,0xbf,0x57,0x04]
+// CHECK-ERROR: instruction requires: sve
+// CHECK-UNKNOWN: ff bf 57 04 <unknown>
+
+neg     z31.s, p7/m, z31.s
+// CHECK-INST: neg     z31.s, p7/m, z31.s
+// CHECK-ENCODING: [0xff,0xbf,0x97,0x04]
+// CHECK-ERROR: instruction requires: sve
+// CHECK-UNKNOWN: ff bf 97 04 <unknown>
+
+neg     z31.d, p7/m, z31.d
+// CHECK-INST: neg     z31.d, p7/m, z31.d
+// CHECK-ENCODING: [0xff,0xbf,0xd7,0x04]
+// CHECK-ERROR: instruction requires: sve
+// CHECK-UNKNOWN: ff bf d7 04 <unknown>
diff --git a/llvm/test/MC/AArch64/SVE/sxtb-diagnostics.s b/llvm/test/MC/AArch64/SVE/sxtb-diagnostics.s
new file mode 100644
index 00000000000..4b951e0ea4a
--- /dev/null
+++ b/llvm/test/MC/AArch64/SVE/sxtb-diagnostics.s
@@ -0,0 +1,41 @@
+// RUN: not llvm-mc -triple=aarch64 -show-encoding -mattr=+sve  2>&1 < %s| FileCheck %s
+
+// Element size specifiers should match.
+sxtb z0.d, p0/m, z0.s
+// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid element width
+// CHECK-NEXT: sxtb z0.d, p0/m, z0.s
+// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
+
+// Missing predicate suffix
+sxtb z29.d, p7, z29.d
+// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid operand
+// CHECK-NEXT: sxtb z29.d, p7, z29.d
+// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
+
+
+// --------------------------------------------------------------------------//
+// Unsupported element widths
+
+sxtb z0.b, p0/m, z0.b
+// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid element width
+// CHECK-NEXT: sxtb z0.b, p0/m, z0.b
+// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
+
+
+// --------------------------------------------------------------------------//
+// error: restricted predicate has range [0, 7].
+
+sxtb z0.h, p8/m, z0.h
+// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: restricted predicate has range [0, 7].
+// CHECK-NEXT: sxtb z0.h, p8/m, z0.h
+// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
+
+sxtb z0.s, p8/m, z0.s
+// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: restricted predicate has range [0, 7].
+// CHECK-NEXT: sxtb z0.s, p8/m, z0.s
+// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
+
+sxtb z0.d, p8/m, z0.d
+// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: restricted predicate has range [0, 7].
+// CHECK-NEXT: sxtb z0.d, p8/m, z0.d
+// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
diff --git a/llvm/test/MC/AArch64/SVE/sxtb.s b/llvm/test/MC/AArch64/SVE/sxtb.s
new file mode 100644
index 00000000000..fe8a699e60e
--- /dev/null
+++ b/llvm/test/MC/AArch64/SVE/sxtb.s
@@ -0,0 +1,44 @@
+// 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
+
+sxtb    z0.h, p0/m, z0.h
+// CHECK-INST: sxtb    z0.h, p0/m, z0.h
+// CHECK-ENCODING: [0x00,0xa0,0x50,0x04]
+// CHECK-ERROR: instruction requires: sve
+// CHECK-UNKNOWN: 00 a0 50 04 <unknown>
+
+sxtb    z0.s, p0/m, z0.s
+// CHECK-INST: sxtb    z0.s, p0/m, z0.s
+// CHECK-ENCODING: [0x00,0xa0,0x90,0x04]
+// CHECK-ERROR: instruction requires: sve
+// CHECK-UNKNOWN: 00 a0 90 04 <unknown>
+
+sxtb    z0.d, p0/m, z0.d
+// CHECK-INST: sxtb    z0.d, p0/m, z0.d
+// CHECK-ENCODING: [0x00,0xa0,0xd0,0x04]
+// CHECK-ERROR: instruction requires: sve
+// CHECK-UNKNOWN: 00 a0 d0 04 <unknown>
+
+sxtb    z31.h, p7/m, z31.h
+// CHECK-INST: sxtb    z31.h, p7/m, z31.h
+// CHECK-ENCODING: [0xff,0xbf,0x50,0x04]
+// CHECK-ERROR: instruction requires: sve
+// CHECK-UNKNOWN: ff bf 50 04 <unknown>
+
+sxtb    z31.s, p7/m, z31.s
+// CHECK-INST: sxtb    z31.s, p7/m, z31.s
+// CHECK-ENCODING: [0xff,0xbf,0x90,0x04]
+// CHECK-ERROR: instruction requires: sve
+// CHECK-UNKNOWN: ff bf 90 04 <unknown>
+
+sxtb    z31.d, p7/m, z31.d
+// CHECK-INST: sxtb    z31.d, p7/m, z31.d
+// CHECK-ENCODING: [0xff,0xbf,0xd0,0x04]
+// CHECK-ERROR: instruction requires: sve
+// CHECK-UNKNOWN: ff bf d0 04 <unknown>
diff --git a/llvm/test/MC/AArch64/SVE/sxth-diagnostics.s b/llvm/test/MC/AArch64/SVE/sxth-diagnostics.s
new file mode 100644
index 00000000000..63e22a386fc
--- /dev/null
+++ b/llvm/test/MC/AArch64/SVE/sxth-diagnostics.s
@@ -0,0 +1,41 @@
+// RUN: not llvm-mc -triple=aarch64 -show-encoding -mattr=+sve  2>&1 < %s| FileCheck %s
+
+// Element size specifiers should match.
+sxth z0.d, p0/m, z0.s
+// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid element width
+// CHECK-NEXT: sxth z0.d, p0/m, z0.s
+// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
+
+// Missing predicate suffix
+sxth z29.d, p7, z29.d
+// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid operand
+// CHECK-NEXT: sxth z29.d, p7, z29.d
+// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
+
+
+// --------------------------------------------------------------------------//
+// Unsupported element widths
+
+sxth z0.b, p0/m, z0.b
+// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid element width
+// CHECK-NEXT: sxth z0.b, p0/m, z0.b
+// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
+
+sxth z0.h, p0/m, z0.h
+// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid element width
+// CHECK-NEXT: sxth z0.h, p0/m, z0.h
+// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
+
+
+// --------------------------------------------------------------------------//
+// error: restricted predicate has range [0, 7].
+
+sxth z0.s, p8/m, z0.s
+// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: restricted predicate has range [0, 7].
+// CHECK-NEXT: sxth z0.s, p8/m, z0.s
+// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
+
+sxth z0.d, p8/m, z0.d
+// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: restricted predicate has range [0, 7].
+// CHECK-NEXT: sxth z0.d, p8/m, z0.d
+// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
diff --git a/llvm/test/MC/AArch64/SVE/sxth.s b/llvm/test/MC/AArch64/SVE/sxth.s
new file mode 100644
index 00000000000..138bfa43c6c
--- /dev/null
+++ b/llvm/test/MC/AArch64/SVE/sxth.s
@@ -0,0 +1,32 @@
+// 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
+
+sxth    z0.s, p0/m, z0.s
+// CHECK-INST: sxth    z0.s, p0/m, z0.s
+// CHECK-ENCODING: [0x00,0xa0,0x92,0x04]
+// CHECK-ERROR: instruction requires: sve
+// CHECK-UNKNOWN: 00 a0 92 04 <unknown>
+
+sxth    z0.d, p0/m, z0.d
+// CHECK-INST: sxth    z0.d, p0/m, z0.d
+// CHECK-ENCODING: [0x00,0xa0,0xd2,0x04]
+// CHECK-ERROR: instruction requires: sve
+// CHECK-UNKNOWN: 00 a0 d2 04 <unknown>
+
+sxth    z31.s, p7/m, z31.s
+// CHECK-INST: sxth    z31.s, p7/m, z31.s
+// CHECK-ENCODING: [0xff,0xbf,0x92,0x04]
+// CHECK-ERROR: instruction requires: sve
+// CHECK-UNKNOWN: ff bf 92 04 <unknown>
+
+sxth    z31.d, p7/m, z31.d
+// CHECK-INST: sxth    z31.d, p7/m, z31.d
+// CHECK-ENCODING: [0xff,0xbf,0xd2,0x04]
+// CHECK-ERROR: instruction requires: sve
+// CHECK-UNKNOWN: ff bf d2 04 <unknown>
diff --git a/llvm/test/MC/AArch64/SVE/sxtw-diagnostics.s b/llvm/test/MC/AArch64/SVE/sxtw-diagnostics.s
new file mode 100644
index 00000000000..33825a3f67a
--- /dev/null
+++ b/llvm/test/MC/AArch64/SVE/sxtw-diagnostics.s
@@ -0,0 +1,42 @@
+// RUN: not llvm-mc -triple=aarch64 -show-encoding -mattr=+sve  2>&1 < %s| FileCheck %s
+
+// Element size specifiers should match.
+sxtw z0.d, p0/m, z0.s
+// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid element width
+// CHECK-NEXT: sxtw z0.d, p0/m, z0.s
+// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
+
+// Missing predicate suffix
+sxtw z29.d, p7, z29.d
+// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid operand
+// CHECK-NEXT: sxtw z29.d, p7, z29.d
+// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
+
+
+// --------------------------------------------------------------------------//
+// Unsupported element widths
+
+sxtw z0.b, p0/m, z0.b
+// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid element width
+// CHECK-NEXT: sxtw z0.b, p0/m, z0.b
+// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
+
+sxtw z0.h, p0/m, z0.h
+// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid element width
+// CHECK-NEXT: sxtw z0.h, p0/m, z0.h
+// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
+
+sxtw z0.s, p0/m, z0.s
+// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid element width
+// CHECK-NEXT: sxtw z0.s, p0/m, z0.s
+// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
+
+
+// --------------------------------------------------------------------------//
+// error: restricted predicate has range [0, 7].
+
+sxtw z0.d, p8/m, z0.d
+// CHECK: [[@LINE-1]]:{{[0-9]+}}: error: restricted predicate has range [0, 7].
+// CHECK-NEXT: sxtw z0.d, p8/m, z0.d
+// CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
+
diff --git a/llvm/test/MC/AArch64/SVE/sxtw.s b/llvm/test/MC/AArch64/SVE/sxtw.s
new file mode 100644
index 00000000000..ef7b4e9bafb
--- /dev/null
+++ b/llvm/test/MC/AArch64/SVE/sxtw.s
@@ -0,0 +1,20 @@
+// 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
+
+sxtw    z0.d, p0/m, z0.d
+// CHECK-INST: sxtw    z0.d, p0/m, z0.d
+// CHECK-ENCODING: [0x00,0xa0,0xd4,0x04]
+// CHECK-ERROR: instruction requires: sve
+// CHECK-UNKNOWN: 00 a0 d4 04 <unknown>
+
+sxtw    z31.d, p7/m, z31.d
+// CHECK-INST: sxtw    z31.d, p7/m, z31.d
+// CHECK-ENCODING: [0xff,0xbf,0xd4,0x04]
+// CHECK-ERROR: instruction requires: sve
+// CHECK-UNKNOWN: ff bf d4 04 <unknown>
diff --git a/llvm/test/MC/AArch64/SVE/uxtb.s b/llvm/test/MC/AArch64/SVE/uxtb.s
new file mode 100644
index 00000000000..5c1e01620e9
--- /dev/null
+++ b/llvm/test/MC/AArch64/SVE/uxtb.s
@@ -0,0 +1,44 @@
+// 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
+
+uxtb    z0.h, p0/m, z0.h
+// CHECK-INST: uxtb    z0.h, p0/m, z0.h
+// CHECK-ENCODING: [0x00,0xa0,0x51,0x04]
+// CHECK-ERROR: instruction requires: sve
+// CHECK-UNKNOWN: 00 a0 51 04 <unknown>
+
+uxtb    z0.s, p0/m, z0.s
+// CHECK-INST: uxtb    z0.s, p0/m, z0.s
+// CHECK-ENCODING: [0x00,0xa0,0x91,0x04]
+// CHECK-ERROR: instruction requires: sve
+// CHECK-UNKNOWN: 00 a0 91 04 <unknown>
+
+uxtb    z0.d, p0/m, z0.d
+// CHECK-INST: uxtb    z0.d, p0/m, z0.d
+// CHECK-ENCODING: [0x00,0xa0,0xd1,0x04]
+// CHECK-ERROR: instruction requires: sve
+// CHECK-UNKNOWN: 00 a0 d1 04 <unknown>
+
+uxtb    z31.h, p7/m, z31.h
+// CHECK-INST: uxtb    z31.h, p7/m, z31.h
+// CHECK-ENCODING: [0xff,0xbf,0x51,0x04]
+// CHECK-ERROR: instruction requires: sve
+// CHECK-UNKNOWN: ff bf 51 04 <unknown>
+
+uxtb    z31.s, p7/m, z31.s
+// CHECK-INST: uxtb    z31.s, p7/m, z31.s
+// CHECK-ENCODING: [0xff,0xbf,0x91,0x04]
+// CHECK-ERROR: instruction requires: sve
+// CHECK-UNKNOWN: ff bf 91 04 <unknown>
+
+uxtb    z31.d, p7/m, z31.d
+// CHECK-INST: uxtb    z31.d, p7/m, z31.d
+// CHECK-ENCODING: [0xff,0xbf,0xd1,0x04]
+// CHECK-ERROR: instruction requires: sve
+// CHECK-UNKNOWN: ff bf d1 04 <unknown>
diff --git a/llvm/test/MC/AArch64/SVE/uxth.s b/llvm/test/MC/AArch64/SVE/uxth.s
new file mode 100644
index 00000000000..9244fa8c960
--- /dev/null
+++ b/llvm/test/MC/AArch64/SVE/uxth.s
@@ -0,0 +1,32 @@
+// 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
+
+uxth    z0.s, p0/m, z0.s
+// CHECK-INST: uxth    z0.s, p0/m, z0.s
+// CHECK-ENCODING: [0x00,0xa0,0x93,0x04]
+// CHECK-ERROR: instruction requires: sve
+// CHECK-UNKNOWN: 00 a0 93 04 <unknown>
+
+uxth    z0.d, p0/m, z0.d
+// CHECK-INST: uxth    z0.d, p0/m, z0.d
+// CHECK-ENCODING: [0x00,0xa0,0xd3,0x04]
+// CHECK-ERROR: instruction requires: sve
+// CHECK-UNKNOWN: 00 a0 d3 04 <unknown>
+
+uxth    z31.s, p7/m, z31.s
+// CHECK-INST: uxth    z31.s, p7/m, z31.s
+// CHECK-ENCODING: [0xff,0xbf,0x93,0x04]
+// CHECK-ERROR: instruction requires: sve
+// CHECK-UNKNOWN: ff bf 93 04 <unknown>
+
+uxth    z31.d, p7/m, z31.d
+// CHECK-INST: uxth    z31.d, p7/m, z31.d
+// CHECK-ENCODING: [0xff,0xbf,0xd3,0x04]
+// CHECK-ERROR: instruction requires: sve
+// CHECK-UNKNOWN: ff bf d3 04 <unknown>
diff --git a/llvm/test/MC/AArch64/SVE/uxtw.s b/llvm/test/MC/AArch64/SVE/uxtw.s
new file mode 100644
index 00000000000..e2dbdbcb0b3
--- /dev/null
+++ b/llvm/test/MC/AArch64/SVE/uxtw.s
@@ -0,0 +1,20 @@
+// 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
+
+uxtw    z0.d, p0/m, z0.d
+// CHECK-INST: uxtw    z0.d, p0/m, z0.d
+// CHECK-ENCODING: [0x00,0xa0,0xd5,0x04]
+// CHECK-ERROR: instruction requires: sve
+// CHECK-UNKNOWN: 00 a0 d5 04 <unknown>
+
+uxtw    z31.d, p7/m, z31.d
+// CHECK-INST: uxtw    z31.d, p7/m, z31.d
+// CHECK-ENCODING: [0xff,0xbf,0xd5,0x04]
+// CHECK-ERROR: instruction requires: sve
+// CHECK-UNKNOWN: ff bf d5 04 <unknown>