@@ -31,7 +31,7 @@ extern "rust-intrinsic" {
3131// CHECK-LABEL: @bitmask_int
3232#[ no_mangle]
3333pub unsafe fn bitmask_int ( x : i32x2 ) -> u8 {
34- // CHECK: [[A:%[0-9]+]] = lshr <2 x i32> %{{x|1}}, <i32 31, i32 31>
34+ // CHECK: [[A:%[0-9]+]] = lshr <2 x i32> %{{x|1}}, {{ <i32 31, i32 31>|splat \(i32 31\)}}
3535 // CHECK: [[B:%[0-9]+]] = trunc <2 x i32> [[A]] to <2 x i1>
3636 // CHECK: [[C:%[0-9]+]] = bitcast <2 x i1> [[B]] to i2
3737 // CHECK: %{{[0-9]+}} = zext i2 [[C]] to i8
@@ -41,7 +41,7 @@ pub unsafe fn bitmask_int(x: i32x2) -> u8 {
4141// CHECK-LABEL: @bitmask_uint
4242#[ no_mangle]
4343pub unsafe fn bitmask_uint ( x : u32x2 ) -> u8 {
44- // CHECK: [[A:%[0-9]+]] = lshr <2 x i32> %{{x|1}}, <i32 31, i32 31>
44+ // CHECK: [[A:%[0-9]+]] = lshr <2 x i32> %{{x|1}}, {{ <i32 31, i32 31>|splat \(i32 31\)}}
4545 // CHECK: [[B:%[0-9]+]] = trunc <2 x i32> [[A]] to <2 x i1>
4646 // CHECK: [[C:%[0-9]+]] = bitcast <2 x i1> [[B]] to i2
4747 // CHECK: %{{[0-9]+}} = zext i2 [[C]] to i8
@@ -51,7 +51,7 @@ pub unsafe fn bitmask_uint(x: u32x2) -> u8 {
5151// CHECK-LABEL: @bitmask_int16
5252#[ no_mangle]
5353pub unsafe fn bitmask_int16 ( x : i8x16 ) -> u16 {
54- // CHECK: [[A:%[0-9]+]] = lshr <16 x i8> %{{x|1|2}}, <i8 7, i8 7, i8 7, i8 7, i8 7, i8 7, i8 7, i8 7, i8 7, i8 7, i8 7, i8 7, i8 7, i8 7, i8 7, i8 7>
54+ // CHECK: [[A:%[0-9]+]] = lshr <16 x i8> %{{x|1|2}}, {{ <i8 7, i8 7, i8 7, i8 7, i8 7, i8 7, i8 7, i8 7, i8 7, i8 7, i8 7, i8 7, i8 7, i8 7, i8 7, i8 7>|splat \(i8 7\)}}
5555 // CHECK: [[B:%[0-9]+]] = trunc <16 x i8> [[A]] to <16 x i1>
5656 // CHECK: %{{[0-9]+}} = bitcast <16 x i1> [[B]] to i16
5757 // CHECK-NOT: zext
0 commit comments