rust/src/test/mir-opt/building/enum_cast.boo.built.after.mir at a1672ad5b82755b94c0a72038f50b4ba8c25fe81 · ouz-a/rust · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
// MIR for `boo` after built

fn boo(_1: Boo) -> usize {
    debug boo => _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: Boo;                         // in scope 0 at $DIR/enum_cast.rs:+1:5: +1:8
    let mut _3: u8;                      // in scope 0 at $DIR/enum_cast.rs:+1:5: +1:8
    let mut _4: bool;                    // in scope 0 at $DIR/enum_cast.rs:+1:5: +1:17
    let mut _5: bool;                    // in scope 0 at $DIR/enum_cast.rs:+1:5: +1:17

    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
        _4 = Ge(const 1_u8, _3);         // scope 0 at $DIR/enum_cast.rs:+1:5: +1:17
        assume(_4);                      // scope 0 at $DIR/enum_cast.rs:+1:5: +1:17
        _5 = Le(const 0_u8, _3);         // scope 0 at $DIR/enum_cast.rs:+1:5: +1:17
        assume(_5);                      // scope 0 at $DIR/enum_cast.rs:+1:5: +1:17
        _0 = move _3 as usize (IntToInt); // 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
    }
}