src/test/mir-opt/simple-match/32bit/rustc.match_bool.mir_map.0.mir


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49

// MIR for `match_bool` 0 mir_map

fn match_bool(_1: bool) -> usize {
    debug x => _1;                       // in scope 0 at $DIR/simple-match.rs:5:15: 5:16
    let mut _0: usize;                   // return place in scope 0 at $DIR/simple-match.rs:5:27: 5:32

    bb0: {
        FakeRead(ForMatchedPlace, _1);   // scope 0 at $DIR/simple-match.rs:6:11: 6:12
        switchInt(_1) -> [false: bb3, otherwise: bb2]; // scope 0 at $DIR/simple-match.rs:7:9: 7:13
    }

    bb1 (cleanup): {
        resume;                          // scope 0 at $DIR/simple-match.rs:5:1: 10:2
    }

    bb2: {
        falseEdges -> [real: bb4, imaginary: bb3]; // scope 0 at $DIR/simple-match.rs:7:9: 7:13
    }

    bb3: {
        _0 = const 20usize;              // scope 0 at $DIR/simple-match.rs:8:14: 8:16
                                         // ty::Const
                                         // + ty: usize
                                         // + val: Value(Scalar(0x00000014))
                                         // mir::Constant
                                         // + span: $DIR/simple-match.rs:8:14: 8:16
                                         // + literal: Const { ty: usize, val: Value(Scalar(0x00000014)) }
        goto -> bb5;                     // scope 0 at $DIR/simple-match.rs:6:5: 9:6
    }

    bb4: {
        _0 = const 10usize;              // scope 0 at $DIR/simple-match.rs:7:17: 7:19
                                         // ty::Const
                                         // + ty: usize
                                         // + val: Value(Scalar(0x0000000a))
                                         // mir::Constant
                                         // + span: $DIR/simple-match.rs:7:17: 7:19
                                         // + literal: Const { ty: usize, val: Value(Scalar(0x0000000a)) }
        goto -> bb5;                     // scope 0 at $DIR/simple-match.rs:6:5: 9:6
    }

    bb5: {
        goto -> bb6;                     // scope 0 at $DIR/simple-match.rs:10:2: 10:2
    }

    bb6: {
        return;                          // scope 0 at $DIR/simple-match.rs:10:2: 10:2
    }
}