aarch64: Add support for SVE ADDPT, SUBPT, MADPT, MLAPT instructions

The following instructions are added in this patch:

- ADDPT (predicated): Add checked pointer vectors (predicated).
- ADDPT (unpredicated): Add checked pointer vectors (unpredicated).
- SUBPT (predicated): Subtract checked pointer vectors (predicated).
- SUBPT (unpredicated): Subtract checked pointer vectors (unpredicated).
- MADPT: Multiply-add checked pointer vectors, writing multiplicand
- MLAPT: Multiply-add checked pointer vectors, writing addend

These instructions are part of Checked Pointer Arithmetic extension
and are enabled when both CPA and SVE are enabled. To achieve this,
both flag "+sve" and "+cpa" should be active.

This patch adds assembler and disassembler support for these instructions
with relevant checks. Tests are included as well.

Regression tested on the aarch64-none-linux-gnu target and no regressions
have been found.

9 files changed, 311 insertions, 2 deletions

diff --git a/gas/testsuite/gas/aarch64/cpa-addsub-bad.l b/gas/testsuite/gas/aarch64/cpa-addsub-bad.l
index f5e8967..c0c671b 100644
--- a/gas/testsuite/gas/aarch64/cpa-addsub-bad.l
+++ b/gas/testsuite/gas/aarch64/cpa-addsub-bad.l
@@ -5,7 +5,7 @@
 .*: Error: only 'LSL' shift is permitted at operand 3 -- `addpt x5,x8,x0,asr#6'
 .*: Error: shift amount out of range 0 to 7 at operand 3 -- `addpt x5,x8,x0,lsl#9'
 .*: Error: expected an integer or zero register at operand 3 -- `addpt x5,x8,sp,lsl#5'
-.*: Error: expected an integer or stack pointer register at operand 1 -- `addpt xzr,x8,x0,lsl#3'
+.*: Error: unexpected register type at operand 1 -- `addpt xzr,x8,x0,lsl#3'
 
 .*: Error: operand mismatch -- `subpt w5,w8,w0'
 .*: Info:\s+did you mean this\?
@@ -13,7 +13,7 @@
 .*: Error: only 'LSL' shift is permitted at operand 3 -- `subpt x5,x8,x0,asr#6'
 .*: Error: shift amount out of range 0 to 7 at operand 3 -- `subpt x5,x8,x0,lsl#9'
 .*: Error: expected an integer or zero register at operand 3 -- `subpt x5,x8,sp,lsl#5'
-.*: Error: expected an integer or stack pointer register at operand 1 -- `subpt xzr,x8,x0,lsl#3'
+.*: Error: unexpected register type at operand 1 -- `subpt xzr,x8,x0,lsl#3'
 
 .*: Error: operand mismatch -- `maddpt w1,x2,x3,x4'
 .*: Info:\s+did you mean this\?
diff --git a/gas/testsuite/gas/aarch64/cpa-sve-bad.d b/gas/testsuite/gas/aarch64/cpa-sve-bad.d
new file mode 100644
index 0000000..0abecd5
--- /dev/null
+++ b/gas/testsuite/gas/aarch64/cpa-sve-bad.d
@@ -0,0 +1,4 @@
+#name: Incorrect input test for CPA+SVE instructions.
+#as: -march=armv8-a+sve+cpa
+#source: cpa-sve-bad.s
+#error_output: cpa-sve-bad.l
diff --git a/gas/testsuite/gas/aarch64/cpa-sve-bad.l b/gas/testsuite/gas/aarch64/cpa-sve-bad.l
new file mode 100644
index 0000000..d7e3250
--- /dev/null
+++ b/gas/testsuite/gas/aarch64/cpa-sve-bad.l
@@ -0,0 +1,92 @@
+.*: Assembler messages:
+
+.*: Error: operand mismatch -- `addpt z0.b,p0/m,z0.b,z0.b'
+.*: Info:\s+did you mean this\?
+.*: Info:\s+addpt z0.d, p0/m, z0.d, z0.d
+.*: Error: operand 3 must be the same register as operand 1 -- `addpt z0.d,p0/m,z1.d,z0.d'
+.*: Error: operand mismatch -- `addpt z0.d,p0/m,z0.d,z0.s'
+.*: Info:\s+did you mean this\?
+.*: Info:\s+addpt z0.d, p0/m, z0.d, z0.d
+.*: Error: operand mismatch -- `addpt z0.h,p0/m,z0.h,z0.d'
+.*: Info:\s+did you mean this\?
+.*: Info:\s+addpt z0.d, p0/m, z0.d, z0.d
+.*: Error: expected an integer or stack pointer register at operand 2 -- `addpt x1,p0/m,z0.d,z0.d'
+.*: Error: expected an SVE vector or predicate register at operand 2 -- `addpt z0.d,x1,z0.d,z0.d'
+.*: Error: expected an SVE vector register at operand 3 -- `addpt z0.d,p0/m,x1,z0.d'
+.*: Error: expected an SVE vector register at operand 4 -- `addpt z0.d,p0/m,z0.d,x1'
+
+.*: Error: operand mismatch -- `subpt z0.b,p0/m,z0.b,z0.b'
+.*: Info:\s+did you mean this\?
+.*: Info:\s+subpt z0.d, p0/m, z0.d, z0.d
+.*: Error: operand 3 must be the same register as operand 1 -- `subpt z0.d,p0/m,z1.d,z0.d'
+.*: Error: operand mismatch -- `subpt z0.d,p0/m,z0.d,z0.s'
+.*: Info:\s+did you mean this\?
+.*: Info:\s+subpt z0.d, p0/m, z0.d, z0.d
+.*: Error: operand mismatch -- `subpt z0.h,p0/m,z0.h,z0.d'
+.*: Info:\s+did you mean this\?
+.*: Info:\s+subpt z0.d, p0/m, z0.d, z0.d
+.*: Error: expected an integer or stack pointer register at operand 2 -- `subpt x1,p0/m,z0.d,z0.d'
+.*: Error: expected an SVE vector or predicate register at operand 2 -- `subpt z0.d,x1,z0.d,z0.d'
+.*: Error: expected an SVE vector register at operand 3 -- `subpt z0.d,p0/m,x1,z0.d'
+.*: Error: expected an SVE vector register at operand 4 -- `subpt z0.d,p0/m,z0.d,x1'
+
+.*: Error: operand mismatch -- `addpt z0.b,z0.b,z0.b'
+.*: Info:\s+did you mean this\?
+.*: Info:\s+addpt z0.d, z0.d, z0.d
+.*: Error: operand mismatch -- `addpt z0.h,z0.h,z0.h'
+.*: Info:\s+did you mean this\?
+.*: Info:\s+addpt z0.d, z0.d, z0.d
+.*: Error: operand mismatch -- `addpt z0.s,z0.s,z0.s'
+.*: Info:\s+did you mean this\?
+.*: Info:\s+addpt z0.d, z0.d, z0.d
+.*: Error: expected an integer or stack pointer register at operand 2 -- `addpt x15,z0.d,z0.d'
+.*: Error: expected an SVE vector or predicate register at operand 2 -- `addpt z0.d,x15,z0.d'
+.*: Error: expected an SVE vector register at operand 3 -- `addpt z0.d,z0.d,x15'
+
+.*: Error: operand mismatch -- `subpt z0.b,z0.b,z0.b'
+.*: Info:\s+did you mean this\?
+.*: Info:\s+subpt z0.d, z0.d, z0.d
+.*: Error: operand mismatch -- `subpt z0.h,z0.h,z0.h'
+.*: Info:\s+did you mean this\?
+.*: Info:\s+subpt z0.d, z0.d, z0.d
+.*: Error: operand mismatch -- `subpt z0.s,z0.s,z0.s'
+.*: Info:\s+did you mean this\?
+.*: Info:\s+subpt z0.d, z0.d, z0.d
+.*: Error: expected an integer or stack pointer register at operand 2 -- `subpt x9,z0.d,z0.d'
+.*: Error: expected an SVE vector or predicate register at operand 2 -- `subpt z0.d,x9,z0.d'
+.*: Error: expected an SVE vector register at operand 3 -- `subpt z0.d,z0.d,x9'
+
+.*: Error: expected an SVE vector register at operand 2 -- `madpt z0.d,p0/m,z0.d,z0.d'
+.*: Error: operand mismatch -- `madpt z10.b,z20.b,z30.b'
+.*: Info:\s+did you mean this\?
+.*: Info:\s+madpt z10.d, z20.d, z30.d
+.*: Error: operand mismatch -- `madpt z20.h,z20.h,z30.h'
+.*: Info:\s+did you mean this\?
+.*: Info:\s+madpt z20.d, z20.d, z30.d
+.*: Error: operand mismatch -- `madpt z20.s,z20.s,z30.s'
+.*: Info:\s+did you mean this\?
+.*: Info:\s+madpt z20.d, z20.d, z30.d
+.*: Error: expected an SVE vector register at operand 1 -- `madpt w9,z0.d,z0.d'
+.*: Error: expected an SVE vector register at operand 2 -- `madpt z0.d,w9,z0.d'
+.*: Error: expected an SVE vector register at operand 3 -- `madpt z0.d,z0.d,w9'
+
+.*: Error: expected an SVE vector register at operand 2 -- `mlapt z0.d,p3/m,z0.d,z0.d'
+.*: Error: operand mismatch -- `mlapt z10.b,z20.b,z30.b'
+.*: Info:\s+did you mean this\?
+.*: Info:\s+mlapt z10.d, z20.d, z30.d
+.*: Error: operand mismatch -- `mlapt z20.h,z20.h,z30.h'
+.*: Info:\s+did you mean this\?
+.*: Info:\s+mlapt z20.d, z20.d, z30.d
+.*: Error: operand mismatch -- `mlapt z20.s,z20.s,z30.s'
+.*: Info:\s+did you mean this\?
+.*: Info:\s+mlapt z20.d, z20.d, z30.d
+.*: Error: expected an SVE vector register at operand 1 -- `mlapt w7,z0.d,z0.d'
+.*: Error: expected an SVE vector register at operand 2 -- `mlapt z0.d,w7,z0.d'
+.*: Error: expected an SVE vector register at operand 3 -- `mlapt z0.d,z0.d,w7'
+
+.*: Warning: output register of preceding `movprfx' expected as output at operand 1 -- `addpt z1.d,p0/m,z1.d,z2.d'
+.*: Warning: predicate register differs from that in preceding `movprfx' at operand 2 -- `addpt z1.d,p3/m,z1.d,z2.d'
+.*: Warning: output register of preceding `movprfx' expected as output at operand 1 -- `subpt z1.d,p0/m,z1.d,z2.d'
+.*: Warning: predicate register differs from that in preceding `movprfx' at operand 2 -- `subpt z1.d,p3/m,z1.d,z2.d'
+.*: Warning: predicated instruction expected after `movprfx' -- `madpt z10.d,z20.d,z30.d'
+.*: Warning: predicated instruction expected after `movprfx' -- `mlapt z10.d,z20.d,z30.d'
diff --git a/gas/testsuite/gas/aarch64/cpa-sve-bad.s b/gas/testsuite/gas/aarch64/cpa-sve-bad.s
new file mode 100644
index 0000000..e5d33c5
--- /dev/null
+++ b/gas/testsuite/gas/aarch64/cpa-sve-bad.s
@@ -0,0 +1,67 @@
+/* General incorrect input tests for CPA+SVE instructions.  */
+
+addpt   z0.b, p0/m, z0.b, z0.b
+addpt   z0.d, p0/m, z1.d, z0.d
+addpt   z0.d, p0/m, z0.d, z0.s
+addpt   z0.h, p0/m, z0.h, z0.d
+addpt   x1, p0/m, z0.d, z0.d
+addpt   z0.d, x1, z0.d, z0.d
+addpt   z0.d, p0/m, x1, z0.d
+addpt   z0.d, p0/m, z0.d, x1
+
+subpt   z0.b, p0/m, z0.b, z0.b
+subpt   z0.d, p0/m, z1.d, z0.d
+subpt   z0.d, p0/m, z0.d, z0.s
+subpt   z0.h, p0/m, z0.h, z0.d
+subpt   x1, p0/m, z0.d, z0.d
+subpt   z0.d, x1, z0.d, z0.d
+subpt   z0.d, p0/m, x1, z0.d
+subpt   z0.d, p0/m, z0.d, x1
+
+addpt   z0.b, z0.b, z0.b
+addpt   z0.h, z0.h, z0.h
+addpt   z0.s, z0.s, z0.s
+addpt   x15, z0.d, z0.d
+addpt   z0.d, x15, z0.d
+addpt   z0.d, z0.d, x15
+
+subpt   z0.b, z0.b, z0.b
+subpt   z0.h, z0.h, z0.h
+subpt   z0.s, z0.s, z0.s
+subpt   x9, z0.d, z0.d
+subpt   z0.d, x9, z0.d
+subpt   z0.d, z0.d, x9
+
+madpt   z0.d, p0/m, z0.d, z0.d
+madpt   z10.b, z20.b, z30.b
+madpt   z20.h, z20.h, z30.h
+madpt   z20.s, z20.s, z30.s
+madpt   w9, z0.d, z0.d
+madpt   z0.d, w9, z0.d
+madpt   z0.d, z0.d, w9
+
+mlapt   z0.d, p3/m, z0.d, z0.d
+mlapt   z10.b, z20.b, z30.b
+mlapt   z20.h, z20.h, z30.h
+mlapt   z20.s, z20.s, z30.s
+mlapt   w7, z0.d, z0.d
+mlapt   z0.d, w7, z0.d
+mlapt   z0.d, z0.d, w7
+
+/* MOVPRFX incorrect tests for CPA+SVE instructions.  */
+
+movprfx z2, z10
+addpt   z1.d, p0/m, z1.d, z2.d
+movprfx z1.d, p4/m, z10.d
+addpt   z1.d, p3/m, z1.d, z2.d
+
+movprfx z2, z10
+subpt   z1.d, p0/m, z1.d, z2.d
+movprfx z1.d, p4/m, z10.d
+subpt   z1.d, p3/m, z1.d, z2.d
+
+movprfx z10.d, p4/m, z11.d
+madpt   z10.d, z20.d, z30.d
+
+movprfx z10.d, p4/m, z11.d
+mlapt   z10.d, z20.d, z30.d
diff --git a/gas/testsuite/gas/aarch64/cpa-sve-neg.d b/gas/testsuite/gas/aarch64/cpa-sve-neg.d
new file mode 100644
index 0000000..cf295fe
--- /dev/null
+++ b/gas/testsuite/gas/aarch64/cpa-sve-neg.d
@@ -0,0 +1,7 @@
+#name: Negative tests for CPA+SVE instructions.
+#as: -march=armv8-a
+#as: -march=armv8-a+sve
+#as: -march=armv8-a+cpa
+#as: -march=armv9-a
+#source: cpa-sve-neg.s
+#error_output: cpa-sve-neg.l
diff --git a/gas/testsuite/gas/aarch64/cpa-sve-neg.l b/gas/testsuite/gas/aarch64/cpa-sve-neg.l
new file mode 100644
index 0000000..ed86649
--- /dev/null
+++ b/gas/testsuite/gas/aarch64/cpa-sve-neg.l
@@ -0,0 +1,7 @@
+.*: Assembler messages:
+.*: Error: selected processor does not support `addpt z0.d,p0/m,z0.d,z0.d'
+.*: Error: selected processor does not support `subpt z0.d,p0/m,z0.d,z0.d'
+.*: Error: selected processor does not support `addpt z0.d,z0.d,z0.d'
+.*: Error: selected processor does not support `subpt z0.d,z0.d,z0.d'
+.*: Error: selected processor does not support `madpt z0.d,z0.d,z0.d'
+.*: Error: selected processor does not support `mlapt z0.d,z0.d,z0.d'
diff --git a/gas/testsuite/gas/aarch64/cpa-sve-neg.s b/gas/testsuite/gas/aarch64/cpa-sve-neg.s
new file mode 100644
index 0000000..ab7a7b9
--- /dev/null
+++ b/gas/testsuite/gas/aarch64/cpa-sve-neg.s
@@ -0,0 +1,6 @@
+addpt   z0.d, p0/m, z0.d, z0.d
+subpt   z0.d, p0/m, z0.d, z0.d
+addpt   z0.d, z0.d, z0.d
+subpt   z0.d, z0.d, z0.d
+madpt   z0.d, z0.d, z0.d
+mlapt   z0.d, z0.d, z0.d
diff --git a/gas/testsuite/gas/aarch64/cpa-sve.d b/gas/testsuite/gas/aarch64/cpa-sve.d
new file mode 100644
index 0000000..e2bf48a
--- /dev/null
+++ b/gas/testsuite/gas/aarch64/cpa-sve.d
@@ -0,0 +1,66 @@
+#name: Tests for CPA+SVE instructions.
+#as: -march=armv8-a+sve+cpa
+#objdump: -dr
+
+[^:]+:     file format .*
+
+
+[^:]+:
+
+[^:]+:
+.*:	04c40000 	addpt	z0.d, p0/m, z0.d, z0.d
+.*:	04c4001f 	addpt	z31.d, p0/m, z31.d, z0.d
+.*:	04c41c00 	addpt	z0.d, p7/m, z0.d, z0.d
+.*:	04c403e0 	addpt	z0.d, p0/m, z0.d, z31.d
+.*:	04c41fff 	addpt	z31.d, p7/m, z31.d, z31.d
+.*:	04c41229 	addpt	z9.d, p4/m, z9.d, z17.d
+
+.*:	04c50000 	subpt	z0.d, p0/m, z0.d, z0.d
+.*:	04c5001f 	subpt	z31.d, p0/m, z31.d, z0.d
+.*:	04c51c00 	subpt	z0.d, p7/m, z0.d, z0.d
+.*:	04c503e0 	subpt	z0.d, p0/m, z0.d, z31.d
+.*:	04c51fff 	subpt	z31.d, p7/m, z31.d, z31.d
+.*:	04c50c5c 	subpt	z28.d, p3/m, z28.d, z2.d
+
+.*:	04e00800 	addpt	z0.d, z0.d, z0.d
+.*:	04e0081f 	addpt	z31.d, z0.d, z0.d
+.*:	04e00be0 	addpt	z0.d, z31.d, z0.d
+.*:	04ff0800 	addpt	z0.d, z0.d, z31.d
+.*:	04ff0bff 	addpt	z31.d, z31.d, z31.d
+.*:	04e90acd 	addpt	z13.d, z22.d, z9.d
+
+.*:	04e00c00 	subpt	z0.d, z0.d, z0.d
+.*:	04e00c1f 	subpt	z31.d, z0.d, z0.d
+.*:	04e00fe0 	subpt	z0.d, z31.d, z0.d
+.*:	04ff0c00 	subpt	z0.d, z0.d, z31.d
+.*:	04ff0fff 	subpt	z31.d, z31.d, z31.d
+.*:	04f00d3e 	subpt	z30.d, z9.d, z16.d
+
+.*:	44c0d800 	madpt	z0.d, z0.d, z0.d
+.*:	44c0d81f 	madpt	z31.d, z0.d, z0.d
+.*:	44dfd800 	madpt	z0.d, z31.d, z0.d
+.*:	44c0dbe0 	madpt	z0.d, z0.d, z31.d
+.*:	44dfdbff 	madpt	z31.d, z31.d, z31.d
+.*:	44cbdb44 	madpt	z4.d, z11.d, z26.d
+
+.*:	44c0d000 	mlapt	z0.d, z0.d, z0.d
+.*:	44c0d01f 	mlapt	z31.d, z0.d, z0.d
+.*:	44c0d3e0 	mlapt	z0.d, z31.d, z0.d
+.*:	44dfd000 	mlapt	z0.d, z0.d, z31.d
+.*:	44dfd3ff 	mlapt	z31.d, z31.d, z31.d
+.*:	44c6d26a 	mlapt	z10.d, z19.d, z6.d
+
+.*:	0420bd41 	movprfx	z1, z10
+.*:	04c40041 	addpt	z1.d, p0/m, z1.d, z2.d
+.*:	04d13141 	movprfx	z1.d, p4/m, z10.d
+.*:	04c41041 	addpt	z1.d, p4/m, z1.d, z2.d
+
+.*:	0420bc01 	movprfx	z1, z0
+.*:	04c50041 	subpt	z1.d, p0/m, z1.d, z2.d
+.*:	04d13141 	movprfx	z1.d, p4/m, z10.d
+.*:	04c51041 	subpt	z1.d, p4/m, z1.d, z2.d
+
+.*:	0420bc01 	movprfx	z1, z0
+.*:	44c2d861 	madpt	z1.d, z2.d, z3.d
+.*:	0420bc01 	movprfx	z1, z0
+.*:	44c3d041 	mlapt	z1.d, z2.d, z3.d
diff --git a/gas/testsuite/gas/aarch64/cpa-sve.s b/gas/testsuite/gas/aarch64/cpa-sve.s
new file mode 100644
index 0000000..6550306
--- /dev/null
+++ b/gas/testsuite/gas/aarch64/cpa-sve.s
@@ -0,0 +1,60 @@
+/* General tests for CPA+SVE instructions.  */
+
+addpt   z0.d, p0/m, z0.d, z0.d
+addpt   z31.d, p0/m, z31.d, z0.d
+addpt   z0.d, p7/m, z0.d, z0.d
+addpt   z0.d, p0/m, z0.d, z31.d
+addpt   z31.d, p7/m, z31.d, z31.d
+addpt   z9.d, p4/m, z9.d, z17.d
+
+subpt   z0.d, p0/m, z0.d, z0.d
+subpt   z31.d, p0/m, z31.d, z0.d
+subpt   z0.d, p7/m, z0.d, z0.d
+subpt   z0.d, p0/m, z0.d, z31.d
+subpt   z31.d, p7/m, z31.d, z31.d
+subpt   z28.d, p3/m, z28.d, z2.d
+
+addpt   z0.d, z0.d, z0.d
+addpt   z31.d, z0.d, z0.d
+addpt   z0.d, z31.d, z0.d
+addpt   z0.d, z0.d, z31.d
+addpt   z31.d, z31.d, z31.d
+addpt   z13.d, z22.d, z9.d
+
+subpt   z0.d, z0.d, z0.d
+subpt   z31.d, z0.d, z0.d
+subpt   z0.d, z31.d, z0.d
+subpt   z0.d, z0.d, z31.d
+subpt   z31.d, z31.d, z31.d
+subpt   z30.d, z9.d, z16.d
+
+madpt   z0.d, z0.d, z0.d
+madpt   z31.d, z0.d, z0.d
+madpt   z0.d, z31.d, z0.d
+madpt   z0.d, z0.d, z31.d
+madpt   z31.d, z31.d, z31.d
+madpt   z4.d, z11.d, z26.d
+
+mlapt   z0.d, z0.d, z0.d
+mlapt   z31.d, z0.d, z0.d
+mlapt   z0.d, z31.d, z0.d
+mlapt   z0.d, z0.d, z31.d
+mlapt   z31.d, z31.d, z31.d
+mlapt   z10.d, z19.d, z6.d
+
+/* MOVPRFX tests for CPA+SVE instructions.  */
+
+movprfx z1, z10
+addpt   z1.d, p0/m, z1.d, z2.d
+movprfx z1.d, p4/m, z10.d
+addpt   z1.d, p4/m, z1.d, z2.d
+
+movprfx z1, z0
+subpt   z1.d, p0/m, z1.d, z2.d
+movprfx z1.d, p4/m, z10.d
+subpt   z1.d, p4/m, z1.d, z2.d
+
+movprfx z1, z0
+madpt   z1.d, z2.d, z3.d
+movprfx z1, z0
+mlapt   z1.d, z2.d, z3.d