about summary refs log tree commit diff
path: root/tests/ui/mir/mir_codegen_ssa.rs
blob: bf01edcbaa84462c39bbfd737fe510c803d081f0 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
//@ build-pass
//@ compile-flags: --crate-type=lib
#![feature(custom_mir, core_intrinsics)]
use std::intrinsics::mir::*;

#[custom_mir(dialect = "runtime", phase = "optimized")]
pub fn f(a: u32) -> u32 {
    mir!(
        let x: u32;
        {
            // Previously code generation failed with ICE "use of .. before def ..." because the
            // definition of x was incorrectly identified as dominating the use of x located in the
            // same statement:
            x = x + a;
            RET = x;
            Return()
        }
    )
}