Sve/Scatter test: Add Debug.Assert for array length (#116158)

* Add Debug.Assert for array length

* review feedback

Author: kunalspathak

src/tests/JIT/HardwareIntrinsics/Arm/Shared/SveGatherVectorFirstFaultingVectorBases.template

@@ -135,6 +135,7 @@ namespace JIT.HardwareIntrinsics.Arm
                     {Op2BaseType} baseAddrToValidate = (({Op2BaseType})baseArrayPtr + (sizeof({RetBaseType}) * inArray2[i]));
 
                     // Make sure we got the correct base pointers.
+                    Debug.Assert((int)inArray2[i] < (int)baseArray.Length, $"Index {inArray2[i]} exceeds array length {baseArray.Length}");
                     Debug.Assert(*(({RetBaseType}*)baseAddrToValidate) == baseArray[inArray2[i]]);
 
                     inArray2[i] = baseAddrToValidate;
@@ -157,6 +158,7 @@ namespace JIT.HardwareIntrinsics.Arm
                         {Op2BaseType} baseAddrToValidate = (({Op2BaseType})baseArrayPtr + (sizeof({RetBaseType}) * inArray2Ffr[i]));
 
                         // Make sure we got the correct base pointers.
+                        Debug.Assert((int)inArray2Ffr[i] < (int)baseArray.Length, $"Index {inArray2Ffr[i]} exceeds array length {baseArray.Length}");
                         Debug.Assert(*(({RetBaseType}*)baseAddrToValidate) == baseArray[inArray2Ffr[i]]);
 
                         inArray2Ffr[i] = baseAddrToValidate;
@@ -207,7 +209,7 @@ namespace JIT.HardwareIntrinsics.Arm
                 {
                     {Op2BaseType} baseAddrToValidate = (({Op2BaseType})_dataTable.baseArrayPtr + (sizeof({RetBaseType}) * _data2[i]));
 
-                    // Make sure we got the correct base pointers.
+                    // Make sure we got the correct base pointers.     
                     Debug.Assert(*(({RetBaseType}*)baseAddrToValidate) == (({RetBaseType}*)_dataTable.baseArrayPtr)[_data2[i]]);
 
                     _data2[i] = baseAddrToValidate;

src/tests/JIT/HardwareIntrinsics/Arm/Shared/SveGatherVectorVectorBases.template

@@ -124,6 +124,7 @@ namespace JIT.HardwareIntrinsics.Arm
                     {Op2BaseType} baseAddrToValidate = (({Op2BaseType})baseArrayPtr + (sizeof({RetBaseType}) * inArray2[i]));
 
                     // Make sure we got the correct base pointers.
+                    Debug.Assert((int)inArray2[i] < (int)baseArray.Length, $"Index {inArray2[i]} exceeds array length {baseArray.Length}");
                     Debug.Assert(*(({RetBaseType}*)baseAddrToValidate) == baseArray[inArray2[i]]);
 
                     inArray2[i] = baseAddrToValidate;
@@ -172,7 +173,7 @@ namespace JIT.HardwareIntrinsics.Arm
                 {
                     {Op2BaseType} baseAddrToValidate = (({Op2BaseType})_dataTable.baseArrayPtr + (sizeof({RetBaseType}) * _data2[i]));
 
-                    // Make sure we got the correct base pointers.
+                    // Make sure we got the correct base pointers.           
                     Debug.Assert(*(({RetBaseType}*)baseAddrToValidate) == (({RetBaseType}*)_dataTable.baseArrayPtr)[_data2[i]]);
 
                     _data2[i] = baseAddrToValidate;

src/tests/JIT/HardwareIntrinsics/Arm/Shared/SveScatterVectorBases.template

@@ -120,6 +120,7 @@ namespace JIT.HardwareIntrinsics.Arm._Sve
                     {Op2BaseType} baseAddrToValidate = (({Op2BaseType})outArrayPtr + (sizeof({Op2BaseType}) * inAddress[i]));
 
                     // Make sure we got the correct base pointers.
+                    Debug.Assert((int)inAddress[i] < (int)outArray.Length, $"Index {inAddress[i]} exceeds array length {outArray.Length}");
                     Debug.Assert(*(({Op1BaseType}*)baseAddrToValidate) == outArray[inAddress[i]]);
 
                     inAddress[i] = baseAddrToValidate;
@@ -193,7 +194,7 @@ namespace JIT.HardwareIntrinsics.Arm._Sve
                 {
                     {Op2BaseType} baseAddrToValidate = (({Op2BaseType})_dataTable.outArrayPtr + (sizeof({Op2BaseType}) * _addressArr[i]));
 
-                    // Make sure we got the correct base pointers.
+                    // Make sure we got the correct base pointers.                   
                     Debug.Assert(*(({Op1BaseType}*)baseAddrToValidate) == (({Op1BaseType}*)_dataTable.outArrayPtr)[_addressArr[i]]);
 
                     _addressArr[i] = baseAddrToValidate;