//@ unit-test: DataflowConstProp

// EMIT_MIR if.main.DataflowConstProp.diff
// CHECK-LABEL: fn main(
fn main() {
    // CHECK: debug b => [[b:_.*]];
    // CHECK: debug c => [[c:_.*]];
    // CHECK: debug d => [[d:_.*]];
    // CHECK: debug e => [[e:_.*]];

    let a = 1;

    // CHECK: switchInt(const true) -> [0: {{bb.*}}, otherwise: {{bb.*}}];
    // CHECK: [[b]] = const 2_i32;
    let b = if a == 1 { 2 } else { 3 };

    // CHECK: [[c]] = const 3_i32;
    let c = b + 1;

    // CHECK: switchInt(const true) -> [0: {{bb.*}}, otherwise: {{bb.*}}];
    // CHECK: [[d]] = const 1_i32;
    let d = if a == 1 { a } else { a + 1 };

    // CHECK: [[e]] = const 2_i32;
    let e = d + 1;
}