summaryrefslogtreecommitdiffstats
path: root/tests/mir-opt/building/async_await.a-{closure#0}.generator_resume.0.mir
blob: accb504c088ef83a59712586f62a954d1e2084c4 (plain)
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
// MIR for `a::{closure#0}` 0 generator_resume
/* generator_layout = GeneratorLayout {
    field_tys: {},
    variant_fields: {
        Unresumed(0): [],
        Returned (1): [],
        Panicked (2): [],
    },
    storage_conflicts: BitMatrix(0x0) {},
} */

fn a::{closure#0}(_1: Pin<&mut [async fn body@$DIR/async_await.rs:11:14: 11:16]>, _2: &mut Context<'_>) -> Poll<()> {
    debug _task_context => _4;           // in scope 0 at $DIR/async_await.rs:+0:14: +0:16
    let mut _0: std::task::Poll<()>;     // return place in scope 0 at $DIR/async_await.rs:+0:14: +0:16
    let mut _3: ();                      // in scope 0 at $DIR/async_await.rs:+0:14: +0:16
    let mut _4: &mut std::task::Context<'_>; // in scope 0 at $DIR/async_await.rs:+0:14: +0:16
    let mut _5: u32;                     // in scope 0 at $DIR/async_await.rs:+0:14: +0:16

    bb0: {
        _5 = discriminant((*(_1.0: &mut [async fn body@$DIR/async_await.rs:11:14: 11:16]))); // scope 0 at $DIR/async_await.rs:+0:14: +0:16
        switchInt(move _5) -> [0: bb1, 1: bb2, otherwise: bb3]; // scope 0 at $DIR/async_await.rs:+0:14: +0:16
    }

    bb1: {
        _4 = move _2;                    // scope 0 at $DIR/async_await.rs:+0:14: +0:16
        _3 = const ();                   // scope 0 at $DIR/async_await.rs:+0:14: +0:16
        _0 = Poll::<()>::Ready(move _3); // scope 0 at $DIR/async_await.rs:+0:16: +0:16
        discriminant((*(_1.0: &mut [async fn body@$DIR/async_await.rs:11:14: 11:16]))) = 1; // scope 0 at $DIR/async_await.rs:+0:16: +0:16
        return;                          // scope 0 at $DIR/async_await.rs:+0:16: +0:16
    }

    bb2: {
        assert(const false, "`async fn` resumed after completion") -> bb2; // scope 0 at $DIR/async_await.rs:+0:14: +0:16
    }

    bb3: {
        unreachable;                     // scope 0 at $DIR/async_await.rs:+0:14: +0:16
    }
}