rust/src/test/mir-opt/enum_cast.foo.mir_map.0.mir at 731bbc854db4bd6dbf5a2e277e4ea1230d1e4c68 · cuviper/rust · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
// MIR for `foo` 0 mir_map

fn foo(_1: Foo) -> usize {
    debug foo => _1;                     // in scope 0 at $DIR/enum_cast.rs:+0:8: +0:11
    let mut _0: usize;                   // return place in scope 0 at $DIR/enum_cast.rs:+0:21: +0:26
    let _2: Foo;                         // in scope 0 at $DIR/enum_cast.rs:+1:5: +1:8
    let mut _3: isize;                   // in scope 0 at $DIR/enum_cast.rs:+1:5: +1:8

    bb0: {
        StorageLive(_2);                 // scope 0 at $DIR/enum_cast.rs:+1:5: +1:8
        _2 = move _1;                    // scope 0 at $DIR/enum_cast.rs:+1:5: +1:8
        _3 = discriminant(_2);           // scope 0 at $DIR/enum_cast.rs:+1:5: +1:17
        _0 = move _3 as usize (Misc);    // scope 0 at $DIR/enum_cast.rs:+1:5: +1:17
        StorageDead(_2);                 // scope 0 at $DIR/enum_cast.rs:+1:16: +1:17
        return;                          // scope 0 at $DIR/enum_cast.rs:+2:2: +2:2
    }
}