summaryrefslogtreecommitdiffstats
path: root/tests/mir-opt/copy-prop/dead_stores_better.rs
blob: 87b916fd3ff84a984644b24eaae3571aed5bd918 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
// ignore-wasm32 compiled with panic=abort by default
// This is a copy of the `dead_stores_79191` test, except that we turn on DSE. This demonstrates
// that that pass enables this one to do more optimizations.

// unit-test: CopyProp
// compile-flags: -Zmir-enable-passes=+DeadStoreElimination

fn id<T>(x: T) -> T {
    x
}

// EMIT_MIR dead_stores_better.f.CopyProp.after.mir
pub fn f(mut a: usize) -> usize {
    let b = a;
    a = 5;
    a = b;
    id(a)
}

fn main() {
    f(0);
}