mirror of https://github.com/rust-lang/rust.git
91 lines
3.5 KiB
Plaintext
91 lines
3.5 KiB
Plaintext
// WARNING: This is highly experimental output it's intended for stable-mir developers only.
|
|
// If you find a bug or want to improve the output open a issue at https://github.com/rust-lang/project-stable-mir.
|
|
fn foo() -> () {
|
|
let mut _0: ();
|
|
let _1: i32;
|
|
let _2: {async closure@$DIR/async-closure.rs:9:13: 9:21};
|
|
let mut _3: &i32;
|
|
debug y => _1;
|
|
debug x => _2;
|
|
bb0: {
|
|
_1 = 0_i32;
|
|
_3 = &_1;
|
|
_2 = {coroutine-closure@$DIR/async-closure.rs:9:13: 9:21}(move _3);
|
|
return;
|
|
}
|
|
}
|
|
fn foo::{closure#0}(_1: &{async closure@$DIR/async-closure.rs:9:13: 9:21}) -> {async closure body@$DIR/async-closure.rs:9:22: 11:6} {
|
|
let mut _0: {async closure body@$DIR/async-closure.rs:9:22: 11:6};
|
|
let mut _2: &i32;
|
|
debug y => (*((*_1).0: &i32));
|
|
bb0: {
|
|
_2 = CopyForDeref(((*_1).0: &i32));
|
|
_0 = {coroutine@$DIR/async-closure.rs:9:22: 11:6}(_2);
|
|
return;
|
|
}
|
|
}
|
|
fn foo::{closure#0}::{closure#0}(_1: Pin<&mut {async closure body@$DIR/async-closure.rs:9:22: 11:6}>, _2: &mut Context<'_>) -> Poll<()> {
|
|
let mut _0: Poll<()>;
|
|
let _3: i32;
|
|
let mut _4: &i32;
|
|
let mut _5: u32;
|
|
let mut _6: &mut {async closure body@$DIR/async-closure.rs:9:22: 11:6};
|
|
let mut _7: &mut {async closure body@$DIR/async-closure.rs:9:22: 11:6};
|
|
let mut _8: &mut {async closure body@$DIR/async-closure.rs:9:22: 11:6};
|
|
debug _task_context => _2;
|
|
debug y => (*((*(_1.0: &mut {async closure body@$DIR/async-closure.rs:9:22: 11:6})).0: &i32));
|
|
debug y => _3;
|
|
bb0: {
|
|
_6 = CopyForDeref((_1.0: &mut {async closure body@$DIR/async-closure.rs:9:22: 11:6}));
|
|
_5 = discriminant((*_6));
|
|
switchInt(move _5) -> [0: bb1, 1: bb2, otherwise: bb3];
|
|
}
|
|
bb1: {
|
|
_7 = CopyForDeref((_1.0: &mut {async closure body@$DIR/async-closure.rs:9:22: 11:6}));
|
|
_4 = CopyForDeref(((*_7).0: &i32));
|
|
_3 = (*_4);
|
|
_0 = std::task::Poll::Ready(());
|
|
_8 = CopyForDeref((_1.0: &mut {async closure body@$DIR/async-closure.rs:9:22: 11:6}));
|
|
discriminant((*_8) = 1;
|
|
return;
|
|
}
|
|
bb2: {
|
|
assert(false, `async fn` resumed after completion) -> [success: bb2, unwind unreachable];
|
|
}
|
|
bb3: {
|
|
unreachable;
|
|
}
|
|
}
|
|
fn foo::{closure#0}::{closure#1}(_1: Pin<&mut {async closure body@$DIR/async-closure.rs:9:22: 11:6}>, _2: &mut Context<'_>) -> Poll<()> {
|
|
let mut _0: Poll<()>;
|
|
let _3: i32;
|
|
let mut _4: &i32;
|
|
let mut _5: u32;
|
|
let mut _6: &mut {async closure body@$DIR/async-closure.rs:9:22: 11:6};
|
|
let mut _7: &mut {async closure body@$DIR/async-closure.rs:9:22: 11:6};
|
|
let mut _8: &mut {async closure body@$DIR/async-closure.rs:9:22: 11:6};
|
|
debug _task_context => _2;
|
|
debug y => (*((*(_1.0: &mut {async closure body@$DIR/async-closure.rs:9:22: 11:6})).0: &i32));
|
|
debug y => _3;
|
|
bb0: {
|
|
_6 = CopyForDeref((_1.0: &mut {async closure body@$DIR/async-closure.rs:9:22: 11:6}));
|
|
_5 = discriminant((*_6));
|
|
switchInt(move _5) -> [0: bb1, 1: bb2, otherwise: bb3];
|
|
}
|
|
bb1: {
|
|
_7 = CopyForDeref((_1.0: &mut {async closure body@$DIR/async-closure.rs:9:22: 11:6}));
|
|
_4 = CopyForDeref(((*_7).0: &i32));
|
|
_3 = (*_4);
|
|
_0 = std::task::Poll::Ready(());
|
|
_8 = CopyForDeref((_1.0: &mut {async closure body@$DIR/async-closure.rs:9:22: 11:6}));
|
|
discriminant((*_8) = 1;
|
|
return;
|
|
}
|
|
bb2: {
|
|
assert(false, `async fn` resumed after completion) -> [success: bb2, unwind unreachable];
|
|
}
|
|
bb3: {
|
|
unreachable;
|
|
}
|
|
}
|