Add support for COMPACT/EXPAND and FIRSTP/LASTP intrinsics

All these instructions are available under features FEAT_SVE2p2 or FEAT_SME2p2.

COMPACT: Copy Active vector elements to lower-numbered elements (Byte/Halfword variants)
EXPAND: Copy lower-numbered vector elements to Active elements (Byte/Halfword/Word/Doubleword variants)
FIRSTP: Scalar index of first true predicate element (predicated) (Byte/Halfword/Word/Doubleword variants)
LASTP: Scalar index of last true predicate element (predicated) (Byte/Halfword/Word/Doubleword variants)

Author: amilendra

main/acle.md

@@ -470,6 +470,10 @@ Armv8.4-A [[ARMARMv84]](#ARMARMv84). Support is added for the Dot Product intrin
 * Added support for 16-bit floating point matrix multiply-add widening intrinsics.
 * Added support for Brain 16-bit floating-point vector multiplication intrinsics.
 * Added support for FEAT_SVE_AES2, FEAT_SSVE_AES intrinsics.
+* Added [**Beta**](#current-status-and-anticipated-changes)
+  support for SVE2.2 (FEAT_SVE2p2)
+* Added [**Beta**](#current-status-and-anticipated-changes)
+  support for SME2.2 (FEAT_SME2p2).
 
 ### References
 
@@ -1983,6 +1987,10 @@ are available. This implies that `__ARM_FEATURE_SVE` is nonzero.
  are available and if the associated [ACLE features]
 (#sme-language-extensions-and-intrinsics) are supported.
 
+`__ARM_FEATURE_SVE2p2` is defined to 1 if the FEAT_SVE2p2 instructions
+ are available and if the associated [ACLE features]
+(#sme-language-extensions-and-intrinsics) are supported.
+
 #### NEON-SVE Bridge macro
 
 `__ARM_NEON_SVE_BRIDGE` is defined to 1 if the [`<arm_neon_sve_bridge.h>`](#arm_neon_sve_bridge.h)
@@ -2005,6 +2013,7 @@ of SME has an associated preprocessor macro, given in the table below:
 | FEAT_SME    | __ARM_FEATURE_SME          |
 | FEAT_SME2   | __ARM_FEATURE_SME2         |
 | FEAT_SME2p1 | __ARM_FEATURE_SME2p1       |
+| FEAT_SME2p2 | __ARM_FEATURE_SME2p2       |
 
 Each macro is defined if there is hardware support for the associated
 architecture feature and if all of the [ACLE
@@ -2710,6 +2719,7 @@ be found in [[BA]](#BA).
 | [`__ARM_FEATURE_SVE2_SM3`](#sm3-extension)                                                                                                              | SVE2 support for the SM3 cryptographic extension (FEAT_SVE_SM3)                                     | 1           |
 | [`__ARM_FEATURE_SVE2_SM4`](#sm4-extension)                                                                                                              | SVE2 support for the SM4 cryptographic extension (FEAT_SVE_SM4)                                     | 1           |
 | [`__ARM_FEATURE_SVE2p1`](#sve2)                                                                                                                         | SVE version 2.1 (FEAT_SVE2p1)
+| [`__ARM_FEATURE_SVE2p2`](#sve2)                                                                                                                         | SVE version 2.2 (FEAT_SVE2p2)
 | [`__ARM_FEATURE_SYSREG128`](#bit-system-registers)                                                                                                      | Support for 128-bit system registers (FEAT_SYSREG128)                                              | 1           |
 | [`__ARM_FEATURE_UNALIGNED`](#unaligned-access-supported-in-hardware)                                                                                    | Hardware support for unaligned access                                                              | 1           |
 | [`__ARM_FP`](#hardware-floating-point)                                                                                                                  | Hardware floating-point                                                                            | 1           |
@@ -13549,6 +13559,63 @@ While (resulting in predicate tuple)
   svboolx2_t svwhilelt_b8[_s64]_x2(int64_t rn, int64_t rm);
 ```
 
+### SVE2.2 and SME2.2 instruction intrinsics
+
+The functions in this section are defined by either the header file
+ [`<arm_sve.h>`](#arm_sve.h) or [`<arm_sme.h>`](#arm_sme.h)
+when `__ARM_FEATURE_SVE2p2` or `__ARM_FEATURE_SME2p2` is defined, respectively.
+
+These intrinsics can only be called from non-streaming code if
+`__ARM_FEATURE_SVE2p2` is defined. They can only be called from streaming code
+if the appropriate SME feature macro is defined (see previous paragraph).
+They can only be called from streaming-compatible code if they could be called
+from both non-streaming code and streaming code.
+
+#### COMPACT
+
+Copy active vector elements to lower-numbered elements.
+
+``` c
+  // Variants are available for:
+  // _s8, _s16, _u16, _mf8, _bf16, _f16
+  svuint8_t svcompact[_u8](svbool_t pg, svuint8_t zn);
+
+  ```
+
+#### EXPAND
+
+Copy lower-numbered vector elements to Active elements.
+
+``` c
+  // Variants are available for:
+  // _s8, _s16, _u16, _s32, _u32, _s64, _u64
+  // _mf8, _bf16, _f16, _f32, _f64
+  svuint8_t svexpand[_u8](svbool_t pg, svuint8_t zn);
+
+  ```
+
+#### FIRSTP
+
+Scalar index of first true predicate element (predicated).
+
+``` c
+  // Variants are available for:
+  // _b16, _b32, _b64
+  svbool_t svfirstp[_b8](svbool_t pg, svbool_t op);
+
+  ```
+
+#### LASTP
+
+Scalar index of last true predicate element (predicated)
+
+``` c
+  // Variants are available for:
+  // _b16, _b32, _b64
+  svbool_t svlastp[_b8](svbool_t pg, svbool_t op);
+
+  ```
+
 
 ### SME2 maximum and minimum absolute value