tests/mir-opt/retag.main-{closure#0}.SimplifyCfg-elaborate-drops.after.mir


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

// MIR for `main::{closure#0}` after SimplifyCfg-elaborate-drops

fn main::{closure#0}(_1: &[closure@main::{closure#0}], _2: &i32) -> &i32 {
    debug x => _2;                       // in scope 0 at $DIR/retag.rs:+0:32: +0:33
    let mut _0: &i32;                    // return place in scope 0 at $DIR/retag.rs:+0:44: +0:48
    let _3: &i32;                        // in scope 0 at $DIR/retag.rs:+1:13: +1:15
    scope 1 {
        debug _y => _3;                  // in scope 1 at $DIR/retag.rs:+1:13: +1:15
    }

    bb0: {
        Retag([fn entry] _1);            // scope 0 at $DIR/retag.rs:+0:31: +3:6
        Retag([fn entry] _2);            // scope 0 at $DIR/retag.rs:+0:32: +0:33
        StorageLive(_3);                 // scope 0 at $DIR/retag.rs:+1:13: +1:15
        _3 = _2;                         // scope 0 at $DIR/retag.rs:+1:18: +1:19
        Retag(_3);                       // scope 0 at $DIR/retag.rs:+1:18: +1:19
        _0 = &(*_2);                     // scope 1 at $DIR/retag.rs:+2:9: +2:10
        StorageDead(_3);                 // scope 0 at $DIR/retag.rs:+3:5: +3:6
        return;                          // scope 0 at $DIR/retag.rs:+3:6: +3:6
    }
}