also test simd_select_bitmask on arrays for less than 8 elements

RalfJung · RalfJung · commit 56f50d53d10b · 2023-12-03T14:42:41.000+01:00
diff --git a/src/tools/miri/tests/pass/portable-simd.rs b/src/tools/miri/tests/pass/portable-simd.rs
@@ -266,7 +266,12 @@ fn simd_mask() {
         }
     }
 
-    // This used to cause an ICE.
+    // This used to cause an ICE. It exercises simd_select_bitmask with an array as input.
+    let bitmask = u8x4::from_array([0b00001101, 0, 0, 0]);
+    assert_eq!(
+        mask32x4::from_bitmask_vector(bitmask),
+        mask32x4::from_array([true, false, true, true]),
+    );
     let bitmask = u8x8::from_array([0b01000101, 0, 0, 0, 0, 0, 0, 0]);
     assert_eq!(
         mask32x8::from_bitmask_vector(bitmask),

Original file line number	Diff line number	Diff line change
`@@ -266,7 +266,12 @@ fn simd_mask() {`
`266`	`266`	`}`
`267`	`267`	`}`
`268`	`268`
`269`		`- // This used to cause an ICE.`
	`269`	`+ // This used to cause an ICE. It exercises simd_select_bitmask with an array as input.`
	`270`	`+ let bitmask = u8x4::from_array([0b00001101, 0, 0, 0]);`
	`271`	`+ assert_eq!(`
	`272`	`+ mask32x4::from_bitmask_vector(bitmask),`
	`273`	`+ mask32x4::from_array([true, false, true, true]),`
	`274`	`+ );`
`270`	`275`	`let bitmask = u8x8::from_array([0b01000101, 0, 0, 0, 0, 0, 0, 0]);`
`271`	`276`	`assert_eq!(`
`272`	`277`	`mask32x8::from_bitmask_vector(bitmask),`