// skip-filecheck
// unit-test: CopyProp

#![feature(custom_mir, core_intrinsics)]
#![allow(unused_assignments)]
extern crate core;
use core::intrinsics::mir::*;

#[custom_mir(dialect = "analysis", phase = "post-cleanup")]
fn f(c: bool) -> bool {
    mir!(
        let a: bool;
        let b: bool;
        { Goto(bb1) }
        bb1 = { b = c; match b { false => bb3, _ => bb2 }}
        // This assignment to `a` does not dominate the use in `bb3`.
        // It should not be replaced by `b`.
        bb2 = { a = b; c = false; Goto(bb1) }
        bb3 = { RET = a; Return() }
    )
}

fn main() {
    assert_eq!(true, f(true));
}

// EMIT_MIR non_dominate.f.CopyProp.diff