tests/mir-opt/const_prop/overwrite_with_const_with_params.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26

//@ test-mir-pass: GVN
//@ compile-flags: -O

// Regression test for https://github.com/rust-lang/rust/issues/118328

#![allow(unused_assignments)]

struct SizeOfConst<T>(std::marker::PhantomData<T>);
impl<T> SizeOfConst<T> {
    const SIZE: usize = std::mem::size_of::<T>();
}

// EMIT_MIR overwrite_with_const_with_params.size_of.GVN.diff
fn size_of<T>() -> usize {
    // CHECK-LABEL: fn size_of(
    // CHECK: _1 = const 0_usize;
    // CHECK-NEXT: _1 = const SizeOfConst::<T>::SIZE;
    // CHECK-NEXT: _0 = copy _1;
    let mut a = 0;
    a = SizeOfConst::<T>::SIZE;
    a
}

fn main() {
    assert_eq!(size_of::<u32>(), std::mem::size_of::<u32>());
}