codegen: update array-immediate-param-noundef test

Author: jieyouxu

tests/codegen/array-immediate-param-noundef.rs

@@ -3,95 +3,94 @@
 // - `!arg.layout.is_unsized() && size <= Pointer(AddressSpace::DATA).size(cx)`
 // - optimizations are turned on.
 //
-// ignore-tidy-linelength
 //@ only-64bit (presence of noundef depends on pointer width)
 //@ compile-flags: -C no-prepopulate-passes -O
 #![crate_type = "lib"]
 
-// CHECK: define noundef i64 @replace_short_array_u64x1(ptr {{.*}}, i64 noundef %{{.*}})
+// CHECK: define noundef i64 @short_array_u64x1(i64 noundef %{{.*}})
 #[no_mangle]
-pub fn replace_short_array_u64x1(r: &mut [u64; 1], v: [u64; 1]) -> [u64; 1] {
-    std::mem::replace(r, v)
+pub fn short_array_u64x1(v: [u64; 1]) -> [u64; 1] {
+    v
 }
 
-// CHECK: define noundef i32 @replace_short_array_u32x1(ptr {{.*}}, i32 noundef %{{.*}})
+// CHECK: define noundef i32 @short_array_u32x1(i32 noundef %{{.*}})
 #[no_mangle]
-pub fn replace_short_array_u32x1(r: &mut [u32; 1], v: [u32; 1]) -> [u32; 1] {
-    std::mem::replace(r, v)
+pub fn short_array_u32x1(v: [u32; 1]) -> [u32; 1] {
+    v
 }
 
-// CHECK: define noundef i64 @replace_short_array_u32x2(ptr {{.*}}, i64 noundef %{{.*}})
+// CHECK: define noundef i64 @short_array_u32x2(i64 noundef %{{.*}})
 #[no_mangle]
-pub fn replace_short_array_u32x2(r: &mut [u32; 2], v: [u32; 2]) -> [u32; 2] {
-    std::mem::replace(r, v)
+pub fn short_array_u32x2(v: [u32; 2]) -> [u32; 2] {
+    v
 }
 
-// CHECK: define noundef i16 @replace_short_array_u16x1(ptr {{.*}}, i16 noundef %{{.*}})
+// CHECK: define noundef i16 @short_array_u16x1(i16 noundef %{{.*}})
 #[no_mangle]
-pub fn replace_short_array_u16x1(r: &mut [u16; 1], v: [u16; 1]) -> [u16; 1] {
-    std::mem::replace(r, v)
+pub fn short_array_u16x1(v: [u16; 1]) -> [u16; 1] {
+    v
 }
 
-// CHECK: define noundef i32 @replace_short_array_u16x2(ptr {{.*}}, i32 noundef %{{.*}})
+// CHECK: define noundef i32 @short_array_u16x2(i32 noundef %{{.*}})
 #[no_mangle]
-pub fn replace_short_array_u16x2(r: &mut [u16; 2], v: [u16; 2]) -> [u16; 2] {
-    std::mem::replace(r, v)
+pub fn short_array_u16x2(v: [u16; 2]) -> [u16; 2] {
+    v
 }
 
-// CHECK: define noundef i48 @replace_short_array_u16x3(ptr {{.*}}, i48 noundef %{{.*}})
+// CHECK: define noundef i48 @short_array_u16x3(i48 noundef %{{.*}})
 #[no_mangle]
-pub fn replace_short_array_u16x3(r: &mut [u16; 3], v: [u16; 3]) -> [u16; 3] {
-    std::mem::replace(r, v)
+pub fn short_array_u16x3(v: [u16; 3]) -> [u16; 3] {
+    v
 }
 
-// CHECK: define noundef i64 @replace_short_array_u16x4(ptr {{.*}}, i64 noundef %{{.*}})
+// CHECK: define noundef i64 @short_array_u16x4(i64 noundef %{{.*}})
 #[no_mangle]
-pub fn replace_short_array_u16x4(r: &mut [u16; 4], v: [u16; 4]) -> [u16; 4] {
-    std::mem::replace(r, v)
+pub fn short_array_u16x4(v: [u16; 4]) -> [u16; 4] {
+    v
 }
 
-// CHECK: define noundef i8 @replace_short_array_u8x1(ptr {{.*}}, i8 noundef %{{.*}})
+// CHECK: define noundef i8 @short_array_u8x1(i8 noundef %{{.*}})
 #[no_mangle]
-pub fn replace_short_array_u8x1(r: &mut [u8; 1], v: [u8; 1]) -> [u8; 1] {
-    std::mem::replace(r, v)
+pub fn short_array_u8x1(v: [u8; 1]) -> [u8; 1] {
+    v
 }
 
-// CHECK: define noundef i16 @replace_short_array_u8x2(ptr {{.*}}, i16 noundef %{{.*}})
+// CHECK: define noundef i16 @short_array_u8x2(i16 noundef %{{.*}})
 #[no_mangle]
-pub fn replace_short_array_u8x2(r: &mut [u8; 2], v: [u8; 2]) -> [u8; 2] {
-    std::mem::replace(r, v)
+pub fn short_array_u8x2(v: [u8; 2]) -> [u8; 2] {
+    v
 }
 
-// CHECK: define noundef i24 @replace_short_array_u8x3(ptr {{.*}}, i24 noundef %{{.*}})
+// CHECK: define noundef i24 @short_array_u8x3(i24 noundef %{{.*}})
 #[no_mangle]
-pub fn replace_short_array_u8x3(r: &mut [u8; 3], v: [u8; 3]) -> [u8; 3] {
-    std::mem::replace(r, v)
+pub fn short_array_u8x3(v: [u8; 3]) -> [u8; 3] {
+    v
 }
 
-// CHECK: define noundef i64 @replace_short_array_u8x8(ptr {{.*}}, i64 noundef %{{.*}})
+// CHECK: define noundef i64 @short_array_u8x8(i64 noundef %{{.*}})
 #[no_mangle]
-pub fn replace_short_array_u8x8(r: &mut [u8; 8], v: [u8; 8]) -> [u8; 8] {
-    std::mem::replace(r, v)
+pub fn short_array_u8x8(v: [u8; 8]) -> [u8; 8] {
+    v
 }
 
 #[repr(transparent)]
 pub struct Foo([u8; 4]);
 
-// CHECK: define noundef i32 @replace_repr_transparent_struct_short_array(ptr {{.*}}, i32 noundef %{{.*}})
+// CHECK: define noundef i32 @repr_transparent_struct_short_array(i32 noundef %{{.*}})
 #[no_mangle]
-pub fn replace_repr_transparent_struct_short_array(r: &mut Foo, v: Foo) -> Foo {
-    std::mem::replace(r, v)
+pub fn repr_transparent_struct_short_array(v: Foo) -> Foo {
+    v
 }
 
 #[repr(transparent)]
 pub enum Bar {
-    Default([u8; 4])
+    Default([u8; 4]),
 }
 
-// CHECK: define noundef i32 @replace_repr_transparent_enum_short_array(ptr {{.*}}, i32 noundef %{{.*}})
+// CHECK: define noundef i32 @repr_transparent_enum_short_array(i32 noundef %{{.*}})
 #[no_mangle]
-pub fn replace_repr_transparent_enum_short_array(r: &mut Bar, v: Bar) -> Bar {
-    std::mem::replace(r, v)
+pub fn repr_transparent_enum_short_array(v: Bar) -> Bar {
+    v
 }
 
 #[repr(transparent)]
@@ -103,8 +102,24 @@ pub struct Uwu(Owo);
 #[repr(transparent)]
 pub struct Oowoo(Uwu);
 
-// CHECK: define noundef i32 @replace_repr_transparent_nested_struct_short_array(ptr {{.*}}, i32 noundef %{{.*}})
+// CHECK: define noundef i32 @repr_transparent_nested_struct_short_array(i32 noundef %{{.*}})
 #[no_mangle]
-pub fn replace_repr_transparent_nested_struct_short_array(r: &mut Oowoo, v: Oowoo) -> Oowoo {
-    std::mem::replace(r, v)
+pub fn repr_transparent_nested_struct_short_array(v: Oowoo) -> Oowoo {
+    v
+}
+
+// # Negative examples
+
+// This inner struct is *not* `#[repr(transparent)]`, so we must not emit `noundef` for the outer
+// struct.
+pub struct NotTransparent([u8; 4]);
+
+#[repr(transparent)]
+pub struct Transparent(NotTransparent);
+
+// CHECK-LABEL: not_all_transparent_nested_struct_short_array
+// CHECK-NOT: noundef
+#[no_mangle]
+pub fn not_all_transparent_nested_struct_short_array(v: Transparent) -> Transparent {
+    v
 }