Skip to content

Instantly share code, notes, and snippets.

@Nemo157

Nemo157/foo.rs Secret

Last active March 12, 2019 02:34
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save Nemo157/5ad6014e20094d1193620be0e2c60695 to your computer and use it in GitHub Desktop.
Save Nemo157/5ad6014e20094d1193620be0e2c60695 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
foo.rs
#![feature(generators, generator_trait)]
use std::ops::Generator;
struct Foo([u8; 1024]);
impl Drop for Foo {
fn drop(&mut self) {}
}
fn simple() -> impl Generator<Yield = (), Return = ()> {
static || {
let first = Foo([0; 1024]);
let _second = first;
yield;
}
}
fn complex() -> impl Generator<Yield = (), Return = ()> {
static || {
let first = Foo([0; 1024]);
{ foo(); fn foo() {} }
let _second = first;
yield;
}
}
fn main() {
dbg!(std::mem::size_of_val(&simple()));
dbg!(std::mem::size_of_val(&complex()));
}
Raw
mir.dot
digraph {
node [shape=plaintext];
bb0 -> bb2 [label="return", weight=10];
bb0 -> bb12 [label="unwind", constraint=true];
bb2 -> bb4 [label="resume", weight=10];
bb2 -> bb6 [label="drop", constraint=true];
bb3 -> bb1 [weight=10];
bb4 -> bb9 [label="return", weight=1];
bb4 -> bb12 [label="unwind", constraint=true];
bb5 -> bb1 [weight=10];
bb6 -> bb7 [label="return", weight=1];
bb6 -> bb5 [label="unwind", constraint=true];
bb7 -> bb8 [label="return", weight=1];
bb7 -> bb1 [label="unwind", constraint=true];
bb9 -> bb10 [label="return", weight=1];
bb9 -> bb1 [label="unwind", constraint=true];
bb11 -> bb3 [weight=10];
bb12 -> bb3 [label="false"];
bb12 -> bb11 [label="otherwise"];
bb0 [label=<
<table border="0" cellborder="1" cellspacing="0">
<tr><td>first_drop_flag = true<br />first = Foo([0; 1024])<br />foo()</td></tr>
<tr><td>{self, first, first_drop_flag}</td></tr>
</table>
>]
bb1 [label=<
<table border="0" cellborder="1" cellspacing="0">
<tr><td>resume</td></tr>
<tr><td>{}</td></tr>
</table>
>]
bb2 [label=<
<table border="0" cellborder="1" cellspacing="0">
<tr><td>first_drop_flag = false<br />_second = first<br />suspend</td></tr>
<tr><td>{self, first, _second, first_drop_flag}</td></tr>
</table>
>]
bb3 [label=<
<table border="0" cellborder="1" cellspacing="0">
<tr><td>drop(self)</td></tr>
<tr><td>{}</td></tr>
</table>
>]
bb4 [label=<
<table border="0" cellborder="1" cellspacing="0">
<tr><td>drop(_second)</td></tr>
<tr><td>{self, first, first_drop_flag}</td></tr>
</table>
>]
bb5 [label=<
<table border="0" cellborder="1" cellspacing="0">
<tr><td>drop(self)</td></tr>
<tr><td>{}</td></tr>
</table>
>]
bb6 [label=<
<table border="0" cellborder="1" cellspacing="0">
<tr><td>drop(_second)</td></tr>
<tr><td>{self}</td></tr>
</table>
>]
bb7 [label=<
<table border="0" cellborder="1" cellspacing="0">
<tr><td>drop(self)</td></tr>
<tr><td>{}</td></tr>
</table>
>]
bb8 [label=<
<table border="0" cellborder="1" cellspacing="0">
<tr><td>generator_drop</td></tr>
<tr><td>{}</td></tr>
</table>
>]
bb9 [label=<
<table border="0" cellborder="1" cellspacing="0">
<tr><td>first_drop_flag = false<br />drop(self)</td></tr>
<tr><td>{}</td></tr>
</table>
>]
bb10 [label=<
<table border="0" cellborder="1" cellspacing="0">
<tr><td>return</td></tr>
<tr><td>{}</td></tr>
</table>
>]
bb11 [label=<
<table border="0" cellborder="1" cellspacing="0">
<tr><td>first_drop_flag = false<br />drop(first)</td></tr>
<tr><td>{self}</td></tr>
</table>
>]
bb12 [label=<
<table border="0" cellborder="1" cellspacing="0">
<tr><td>switchInt(first_drop_flag)</td></tr>
<tr><td>{self, first}</td></tr>
</table>
>]
}
Raw
rustc.complex-{{closure}}.-------.generator_drop.0.mir
// MIR for `complex::{{closure}}`
// source = MirSource { instance: Item(DefId(0/1:16 ~ foo[317d]::complex[0]::{{closure}}[0])), promoted: None }
// pass_name = generator_drop
// disambiguator = 0
// generator_layout = GeneratorLayout { fields: [LocalDecl { mutability: Not, is_user_variable: Some(Set(Var(VarBindingForm { binding_mode: BindByValue(MutImmutable), opt_ty_info: None, opt_match_place: Some((None, foo.rs:21:21: 21:35)), pat_span: foo.rs:21:13: 21:18 }))), internal: false, is_block_tail: None, ty: Foo, user_ty: UserTypeProjections { contents: [] }, name: Some(first), source_info: SourceInfo { span: foo.rs:21:13: 21:18, scope: scope[2] }, visibility_scope: scope[1] }, LocalDecl { mutability: Not, is_user_variable: Some(Set(Var(VarBindingForm { binding_mode: BindByValue(MutImmutable), opt_ty_info: None, opt_match_place: Some((None, foo.rs:23:23: 23:28)), pat_span: foo.rs:23:13: 23:20 }))), internal: false, is_block_tail: None, ty: Foo, user_ty: UserTypeProjections { contents: [] }, name: Some(_second), source_info: SourceInfo { span: foo.rs:23:13: 23:20, scope: scope[4] }, visibility_scope: scope[3] }, LocalDecl { mutability: Mut, is_user_variable: None, internal: true, is_block_tail: None, ty: bool, user_ty: UserTypeProjections { contents: [] }, name: None, source_info: SourceInfo { span: foo.rs:25:5: 25:6, scope: scope[0] }, visibility_scope: scope[0] }] }
fn complex::{{closure}}(_1: *mut [static generator@foo.rs:20:5: 25:6 {Foo, ()}]) -> () {
let mut _0: (); // return place
scope 1 {
scope 3 {
}
scope 4 {
}
}
scope 2 {
}
let mut _2: ();
let mut _3: [u8; 1024];
let mut _4: ();
let mut _5: ();
let mut _6: ();
let mut _7: ();
let mut _8: ();
let mut _9: ();
let mut _10: ();
bb0: {
switchInt(((*_1).0: u32)) -> [0u32: bb7, 3u32: bb11, otherwise: bb12]; // bb0[0]: scope 0 at foo.rs:20:5: 25:6
}
bb1: { // cleanup
resume; // bb1[0]: scope 0 at foo.rs:20:5: 25:6
}
bb2: { // cleanup
goto -> bb8; // bb2[0]: scope 0 at foo.rs:25:5: 25:6
}
bb3: {
drop(((*_1).2: Foo)) -> [return: bb4, unwind: bb2]; // bb3[0]: scope 1 at foo.rs:25:5: 25:6
}
bb4: {
goto -> bb9; // bb4[0]: scope 0 at foo.rs:25:5: 25:6
}
bb5: {
return; // bb5[0]: scope 0 at foo.rs:20:5: 25:6
}
bb6: {
return; // bb6[0]: scope 0 at foo.rs:20:5: 25:6
}
bb7: {
goto -> bb10; // bb7[0]: scope 0 at foo.rs:20:5: 25:6
}
bb8: { // cleanup
goto -> bb1; // bb8[0]: scope 0 at foo.rs:25:5: 25:6
}
bb9: {
goto -> bb5; // bb9[0]: scope 0 at foo.rs:25:5: 25:6
}
bb10: { // cleanup
goto -> bb6; // bb10[0]: scope 0 at foo.rs:20:5: 25:6
}
bb11: {
StorageLive(_8); // bb11[0]: scope 0 at foo.rs:20:5: 25:6
goto -> bb3; // bb11[1]: scope 0 at foo.rs:20:5: 25:6
}
bb12: {
return; // bb12[0]: scope 0 at foo.rs:20:5: 25:6
}
}
Raw
rustc.complex-{{closure}}.-------.generator_post-transform.0.mir
// MIR for `complex::{{closure}}`
// source = MirSource { instance: Item(DefId(0/1:16 ~ foo[317d]::complex[0]::{{closure}}[0])), promoted: None }
// pass_name = generator_post-transform
// disambiguator = 0
// generator_layout = GeneratorLayout { fields: [LocalDecl { mutability: Not, is_user_variable: Some(Set(Var(VarBindingForm { binding_mode: BindByValue(MutImmutable), opt_ty_info: None, opt_match_place: Some((None, foo.rs:21:21: 21:35)), pat_span: foo.rs:21:13: 21:18 }))), internal: false, is_block_tail: None, ty: Foo, user_ty: UserTypeProjections { contents: [] }, name: Some(first), source_info: SourceInfo { span: foo.rs:21:13: 21:18, scope: scope[2] }, visibility_scope: scope[1] }, LocalDecl { mutability: Not, is_user_variable: Some(Set(Var(VarBindingForm { binding_mode: BindByValue(MutImmutable), opt_ty_info: None, opt_match_place: Some((None, foo.rs:23:23: 23:28)), pat_span: foo.rs:23:13: 23:20 }))), internal: false, is_block_tail: None, ty: Foo, user_ty: UserTypeProjections { contents: [] }, name: Some(_second), source_info: SourceInfo { span: foo.rs:23:13: 23:20, scope: scope[4] }, visibility_scope: scope[3] }, LocalDecl { mutability: Mut, is_user_variable: None, internal: true, is_block_tail: None, ty: bool, user_ty: UserTypeProjections { contents: [] }, name: None, source_info: SourceInfo { span: foo.rs:25:5: 25:6, scope: scope[0] }, visibility_scope: scope[0] }] }
fn complex::{{closure}}(_1: [static generator@foo.rs:20:5: 25:6 {Foo, ()}]) -> std::ops::GeneratorState<(), ()> {
let mut _0: std::ops::GeneratorState<(), ()>; // return place
scope 1 {
scope 3 {
}
scope 4 {
}
}
scope 2 {
}
let mut _2: ();
let mut _3: [u8; 1024];
let mut _4: ();
let mut _5: ();
let mut _6: ();
let mut _7: ();
let mut _8: ();
let mut _9: ();
let mut _10: ();
bb0: {
(_1.3: bool) = const false; // bb0[0]: scope 0 at foo.rs:21:13: 21:18
// ty::Const
// + ty: bool
// + val: Scalar(Bits { size: 1, bits: 0 })
// mir::Constant
// + span: foo.rs:21:13: 21:18
// + ty: bool
// + literal: Evaluated(Const { ty: bool, val: Scalar(Bits { size: 1, bits: 0 }) })
nop; // bb0[1]: scope 0 at foo.rs:21:13: 21:18
StorageLive(_3); // bb0[2]: scope 0 at foo.rs:21:25: 21:34
_3 = [const 0u8; 1024]; // bb0[3]: scope 0 at foo.rs:21:25: 21:34
// ty::Const
// + ty: u8
// + val: Scalar(Bits { size: 1, bits: 0 })
// mir::Constant
// + span: foo.rs:21:26: 21:27
// + ty: u8
// + literal: Evaluated(Const { ty: u8, val: Scalar(Bits { size: 1, bits: 0 }) })
(_1.3: bool) = const true; // bb0[4]: scope 0 at foo.rs:21:21: 21:35
// ty::Const
// + ty: bool
// + val: Scalar(Bits { size: 1, bits: 1 })
// mir::Constant
// + span: foo.rs:21:21: 21:35
// + ty: bool
// + literal: Evaluated(Const { ty: bool, val: Scalar(Bits { size: 1, bits: 1 }) })
(_1.1: Foo) = Foo(move _3,); // bb0[5]: scope 0 at foo.rs:21:21: 21:35
StorageDead(_3); // bb0[6]: scope 0 at foo.rs:21:34: 21:35
_5 = const complex::{{closure}}::foo() -> [return: bb2, unwind: bb12]; // bb0[7]: scope 1 at foo.rs:22:11: 22:16
// ty::Const
// + ty: fn() {complex::{{closure}}::foo}
// + val: Scalar(Bits { size: 0, bits: 0 })
// mir::Constant
// + span: foo.rs:22:11: 22:14
// + ty: fn() {complex::{{closure}}::foo}
// + literal: Evaluated(Const { ty: fn() {complex::{{closure}}::foo}, val: Scalar(Bits { size: 0, bits: 0 }) })
}
bb1: { // cleanup
resume; // bb1[0]: scope 0 at foo.rs:20:5: 25:6
}
bb2: {
_4 = (); // bb2[0]: scope 1 at foo.rs:22:9: 22:31
nop; // bb2[1]: scope 1 at foo.rs:23:13: 23:20
(_1.3: bool) = const false; // bb2[2]: scope 1 at foo.rs:23:23: 23:28
// ty::Const
// + ty: bool
// + val: Scalar(Bits { size: 1, bits: 0 })
// mir::Constant
// + span: foo.rs:23:23: 23:28
// + ty: bool
// + literal: Evaluated(Const { ty: bool, val: Scalar(Bits { size: 1, bits: 0 }) })
(_1.2: Foo) = move (_1.1: Foo); // bb2[3]: scope 1 at foo.rs:23:23: 23:28
StorageLive(_8); // bb2[4]: scope 3 at foo.rs:24:9: 24:14
_8 = (); // bb2[5]: scope 3 at foo.rs:24:9: 24:14
_0 = std::ops::GeneratorState<(), ()>::Yielded(move _8,); // bb2[6]: scope 3 at foo.rs:24:9: 24:14
(_1.0: u32) = const 3u32; // bb2[7]: scope 3 at foo.rs:24:9: 24:14
// ty::Const
// + ty: u32
// + val: Scalar(Bits { size: 4, bits: 3 })
// mir::Constant
// + span: foo.rs:24:9: 24:14
// + ty: u32
// + literal: Evaluated(Const { ty: u32, val: Scalar(Bits { size: 4, bits: 3 }) })
return; // bb2[8]: scope 3 at foo.rs:24:9: 24:14
}
bb3: { // cleanup
goto -> bb15; // bb3[0]: scope 0 at foo.rs:25:5: 25:6
}
bb4: {
_7 = (); // bb4[0]: scope 3 at foo.rs:24:9: 24:14
StorageDead(_8); // bb4[1]: scope 3 at foo.rs:24:13: 24:14
_10 = (); // bb4[2]: scope 0 at foo.rs:20:15: 25:6
drop((_1.2: Foo)) -> [return: bb9, unwind: bb12]; // bb4[3]: scope 1 at foo.rs:25:5: 25:6
}
bb5: { // cleanup
goto -> bb16; // bb5[0]: scope 0 at foo.rs:25:5: 25:6
}
bb6: {
drop((_1.2: Foo)) -> [return: bb7, unwind: bb5]; // bb6[0]: scope 1 at foo.rs:25:5: 25:6
}
bb7: {
goto -> bb17; // bb7[0]: scope 0 at foo.rs:25:5: 25:6
}
bb8: {
generator_drop; // bb8[0]: scope 0 at foo.rs:20:5: 25:6
}
bb9: {
nop; // bb9[0]: scope 1 at foo.rs:25:5: 25:6
(_1.3: bool) = const false; // bb9[1]: scope 0 at foo.rs:25:5: 25:6
// ty::Const
// + ty: bool
// + val: Scalar(Bits { size: 1, bits: 0 })
// mir::Constant
// + span: foo.rs:25:5: 25:6
// + ty: bool
// + literal: Evaluated(Const { ty: bool, val: Scalar(Bits { size: 1, bits: 0 }) })
nop; // bb9[2]: scope 0 at foo.rs:25:5: 25:6
goto -> bb19; // bb9[3]: scope 0 at foo.rs:25:5: 25:6
}
bb10: {
_0 = std::ops::GeneratorState<(), ()>::Complete(move _10,); // bb10[0]: scope 0 at foo.rs:25:6: 25:6
(_1.0: u32) = const 1u32; // bb10[1]: scope 0 at foo.rs:25:6: 25:6
// ty::Const
// + ty: u32
// + val: Scalar(Bits { size: 4, bits: 1 })
// mir::Constant
// + span: foo.rs:25:6: 25:6
// + ty: u32
// + literal: Evaluated(Const { ty: u32, val: Scalar(Bits { size: 4, bits: 1 }) })
return; // bb10[2]: scope 0 at foo.rs:25:6: 25:6
}
bb11: { // cleanup
(_1.3: bool) = const false; // bb11[0]: scope 0 at foo.rs:25:5: 25:6
// ty::Const
// + ty: bool
// + val: Scalar(Bits { size: 1, bits: 0 })
// mir::Constant
// + span: foo.rs:25:5: 25:6
// + ty: bool
// + literal: Evaluated(Const { ty: bool, val: Scalar(Bits { size: 1, bits: 0 }) })
drop((_1.1: Foo)) -> bb3; // bb11[1]: scope 0 at foo.rs:25:5: 25:6
}
bb12: { // cleanup
switchInt((_1.3: bool)) -> [false: bb3, otherwise: bb11]; // bb12[0]: scope 0 at foo.rs:25:5: 25:6
}
bb13: {
return; // bb13[0]: scope 0 at foo.rs:20:5: 25:6
}
bb14: {
goto -> bb21; // bb14[0]: scope 0 at foo.rs:20:5: 25:6
}
bb15: { // cleanup
goto -> bb1; // bb15[0]: scope 0 at foo.rs:25:5: 25:6
}
bb16: { // cleanup
goto -> bb1; // bb16[0]: scope 0 at foo.rs:25:5: 25:6
}
bb17: {
goto -> bb8; // bb17[0]: scope 0 at foo.rs:25:5: 25:6
}
bb18: { // cleanup
goto -> bb1; // bb18[0]: scope 0 at foo.rs:25:5: 25:6
}
bb19: {
goto -> bb10; // bb19[0]: scope 0 at foo.rs:25:5: 25:6
}
bb20: { // cleanup
goto -> bb1; // bb20[0]: scope 0 at foo.rs:25:5: 25:6
}
bb21: { // cleanup
goto -> bb13; // bb21[0]: scope 0 at foo.rs:20:5: 25:6
}
}
Raw
rustc.complex-{{closure}}.-------.generator_pre-elab.0.mir
// MIR for `complex::{{closure}}`
// source = MirSource { instance: Item(DefId(0/1:16 ~ foo[317d]::complex[0]::{{closure}}[0])), promoted: None }
// pass_name = generator_pre-elab
// disambiguator = 0
// generator_layout = GeneratorLayout { fields: [LocalDecl { mutability: Not, is_user_variable: Some(Set(Var(VarBindingForm { binding_mode: BindByValue(MutImmutable), opt_ty_info: None, opt_match_place: Some((None, foo.rs:21:21: 21:35)), pat_span: foo.rs:21:13: 21:18 }))), internal: false, is_block_tail: None, ty: Foo, user_ty: UserTypeProjections { contents: [] }, name: Some(first), source_info: SourceInfo { span: foo.rs:21:13: 21:18, scope: scope[2] }, visibility_scope: scope[1] }, LocalDecl { mutability: Not, is_user_variable: Some(Set(Var(VarBindingForm { binding_mode: BindByValue(MutImmutable), opt_ty_info: None, opt_match_place: Some((None, foo.rs:23:23: 23:28)), pat_span: foo.rs:23:13: 23:20 }))), internal: false, is_block_tail: None, ty: Foo, user_ty: UserTypeProjections { contents: [] }, name: Some(_second), source_info: SourceInfo { span: foo.rs:23:13: 23:20, scope: scope[4] }, visibility_scope: scope[3] }, LocalDecl { mutability: Mut, is_user_variable: None, internal: true, is_block_tail: None, ty: bool, user_ty: UserTypeProjections { contents: [] }, name: None, source_info: SourceInfo { span: foo.rs:25:5: 25:6, scope: scope[0] }, visibility_scope: scope[0] }] }
fn complex::{{closure}}(_1: [static generator@foo.rs:20:5: 25:6 {Foo, ()}]) -> std::ops::GeneratorState<(), ()> {
let mut _0: std::ops::GeneratorState<(), ()>; // return place
scope 1 {
scope 3 {
}
scope 4 {
}
}
scope 2 {
}
let mut _2: ();
let mut _3: [u8; 1024];
let mut _4: ();
let mut _5: ();
let mut _6: ();
let mut _7: ();
let mut _8: ();
let mut _9: ();
let mut _10: ();
bb0: {
(_1.3: bool) = const false; // bb0[0]: scope 0 at foo.rs:21:13: 21:18
// ty::Const
// + ty: bool
// + val: Scalar(Bits { size: 1, bits: 0 })
// mir::Constant
// + span: foo.rs:21:13: 21:18
// + ty: bool
// + literal: Evaluated(Const { ty: bool, val: Scalar(Bits { size: 1, bits: 0 }) })
nop; // bb0[1]: scope 0 at foo.rs:21:13: 21:18
StorageLive(_3); // bb0[2]: scope 0 at foo.rs:21:25: 21:34
_3 = [const 0u8; 1024]; // bb0[3]: scope 0 at foo.rs:21:25: 21:34
// ty::Const
// + ty: u8
// + val: Scalar(Bits { size: 1, bits: 0 })
// mir::Constant
// + span: foo.rs:21:26: 21:27
// + ty: u8
// + literal: Evaluated(Const { ty: u8, val: Scalar(Bits { size: 1, bits: 0 }) })
(_1.3: bool) = const true; // bb0[4]: scope 0 at foo.rs:21:21: 21:35
// ty::Const
// + ty: bool
// + val: Scalar(Bits { size: 1, bits: 1 })
// mir::Constant
// + span: foo.rs:21:21: 21:35
// + ty: bool
// + literal: Evaluated(Const { ty: bool, val: Scalar(Bits { size: 1, bits: 1 }) })
(_1.1: Foo) = Foo(move _3,); // bb0[5]: scope 0 at foo.rs:21:21: 21:35
StorageDead(_3); // bb0[6]: scope 0 at foo.rs:21:34: 21:35
_5 = const complex::{{closure}}::foo() -> [return: bb2, unwind: bb12]; // bb0[7]: scope 1 at foo.rs:22:11: 22:16
// ty::Const
// + ty: fn() {complex::{{closure}}::foo}
// + val: Scalar(Bits { size: 0, bits: 0 })
// mir::Constant
// + span: foo.rs:22:11: 22:14
// + ty: fn() {complex::{{closure}}::foo}
// + literal: Evaluated(Const { ty: fn() {complex::{{closure}}::foo}, val: Scalar(Bits { size: 0, bits: 0 }) })
}
bb1: { // cleanup
resume; // bb1[0]: scope 0 at foo.rs:20:5: 25:6
}
bb2: {
_4 = (); // bb2[0]: scope 1 at foo.rs:22:9: 22:31
nop; // bb2[1]: scope 1 at foo.rs:23:13: 23:20
(_1.3: bool) = const false; // bb2[2]: scope 1 at foo.rs:23:23: 23:28
// ty::Const
// + ty: bool
// + val: Scalar(Bits { size: 1, bits: 0 })
// mir::Constant
// + span: foo.rs:23:23: 23:28
// + ty: bool
// + literal: Evaluated(Const { ty: bool, val: Scalar(Bits { size: 1, bits: 0 }) })
(_1.2: Foo) = move (_1.1: Foo); // bb2[3]: scope 1 at foo.rs:23:23: 23:28
StorageLive(_8); // bb2[4]: scope 3 at foo.rs:24:9: 24:14
_8 = (); // bb2[5]: scope 3 at foo.rs:24:9: 24:14
_0 = std::ops::GeneratorState<(), ()>::Yielded(move _8,); // bb2[6]: scope 3 at foo.rs:24:9: 24:14
(_1.0: u32) = const 3u32; // bb2[7]: scope 3 at foo.rs:24:9: 24:14
// ty::Const
// + ty: u32
// + val: Scalar(Bits { size: 4, bits: 3 })
// mir::Constant
// + span: foo.rs:24:9: 24:14
// + ty: u32
// + literal: Evaluated(Const { ty: u32, val: Scalar(Bits { size: 4, bits: 3 }) })
return; // bb2[8]: scope 3 at foo.rs:24:9: 24:14
}
bb3: { // cleanup
drop(_1) -> bb1; // bb3[0]: scope 0 at foo.rs:25:5: 25:6
}
bb4: {
_7 = (); // bb4[0]: scope 3 at foo.rs:24:9: 24:14
StorageDead(_8); // bb4[1]: scope 3 at foo.rs:24:13: 24:14
_10 = (); // bb4[2]: scope 0 at foo.rs:20:15: 25:6
drop((_1.2: Foo)) -> [return: bb9, unwind: bb12]; // bb4[3]: scope 1 at foo.rs:25:5: 25:6
}
bb5: { // cleanup
drop(_1) -> bb1; // bb5[0]: scope 0 at foo.rs:25:5: 25:6
}
bb6: {
drop((_1.2: Foo)) -> [return: bb7, unwind: bb5]; // bb6[0]: scope 1 at foo.rs:25:5: 25:6
}
bb7: {
drop(_1) -> [return: bb8, unwind: bb1]; // bb7[0]: scope 0 at foo.rs:25:5: 25:6
}
bb8: {
generator_drop; // bb8[0]: scope 0 at foo.rs:20:5: 25:6
}
bb9: {
nop; // bb9[0]: scope 1 at foo.rs:25:5: 25:6
(_1.3: bool) = const false; // bb9[1]: scope 0 at foo.rs:25:5: 25:6
// ty::Const
// + ty: bool
// + val: Scalar(Bits { size: 1, bits: 0 })
// mir::Constant
// + span: foo.rs:25:5: 25:6
// + ty: bool
// + literal: Evaluated(Const { ty: bool, val: Scalar(Bits { size: 1, bits: 0 }) })
nop; // bb9[2]: scope 0 at foo.rs:25:5: 25:6
drop(_1) -> [return: bb10, unwind: bb1]; // bb9[3]: scope 0 at foo.rs:25:5: 25:6
}
bb10: {
_0 = std::ops::GeneratorState<(), ()>::Complete(move _10,); // bb10[0]: scope 0 at foo.rs:25:6: 25:6
(_1.0: u32) = const 1u32; // bb10[1]: scope 0 at foo.rs:25:6: 25:6
// ty::Const
// + ty: u32
// + val: Scalar(Bits { size: 4, bits: 1 })
// mir::Constant
// + span: foo.rs:25:6: 25:6
// + ty: u32
// + literal: Evaluated(Const { ty: u32, val: Scalar(Bits { size: 4, bits: 1 }) })
return; // bb10[2]: scope 0 at foo.rs:25:6: 25:6
}
bb11: { // cleanup
(_1.3: bool) = const false; // bb11[0]: scope 0 at foo.rs:25:5: 25:6
// ty::Const
// + ty: bool
// + val: Scalar(Bits { size: 1, bits: 0 })
// mir::Constant
// + span: foo.rs:25:5: 25:6
// + ty: bool
// + literal: Evaluated(Const { ty: bool, val: Scalar(Bits { size: 1, bits: 0 }) })
drop((_1.1: Foo)) -> bb3; // bb11[1]: scope 0 at foo.rs:25:5: 25:6
}
bb12: { // cleanup
switchInt((_1.3: bool)) -> [false: bb3, otherwise: bb11]; // bb12[0]: scope 0 at foo.rs:25:5: 25:6
}
bb13: {
return; // bb13[0]: scope 0 at foo.rs:20:5: 25:6
}
bb14: {
drop(_1) -> bb13; // bb14[0]: scope 0 at foo.rs:20:5: 25:6
}
}
Raw
rustc.complex-{{closure}}.-------.generator_resume.0.mir
// MIR for `complex::{{closure}}`
// source = MirSource { instance: Item(DefId(0/1:16 ~ foo[317d]::complex[0]::{{closure}}[0])), promoted: None }
// pass_name = generator_resume
// disambiguator = 0
// generator_layout = GeneratorLayout { fields: [LocalDecl { mutability: Not, is_user_variable: Some(Set(Var(VarBindingForm { binding_mode: BindByValue(MutImmutable), opt_ty_info: None, opt_match_place: Some((None, foo.rs:21:21: 21:35)), pat_span: foo.rs:21:13: 21:18 }))), internal: false, is_block_tail: None, ty: Foo, user_ty: UserTypeProjections { contents: [] }, name: Some(first), source_info: SourceInfo { span: foo.rs:21:13: 21:18, scope: scope[2] }, visibility_scope: scope[1] }, LocalDecl { mutability: Not, is_user_variable: Some(Set(Var(VarBindingForm { binding_mode: BindByValue(MutImmutable), opt_ty_info: None, opt_match_place: Some((None, foo.rs:23:23: 23:28)), pat_span: foo.rs:23:13: 23:20 }))), internal: false, is_block_tail: None, ty: Foo, user_ty: UserTypeProjections { contents: [] }, name: Some(_second), source_info: SourceInfo { span: foo.rs:23:13: 23:20, scope: scope[4] }, visibility_scope: scope[3] }, LocalDecl { mutability: Mut, is_user_variable: None, internal: true, is_block_tail: None, ty: bool, user_ty: UserTypeProjections { contents: [] }, name: None, source_info: SourceInfo { span: foo.rs:25:5: 25:6, scope: scope[0] }, visibility_scope: scope[0] }] }
fn complex::{{closure}}(_1: std::pin::Pin<&mut [static generator@foo.rs:20:5: 25:6 {Foo, ()}]>) -> std::ops::GeneratorState<(), ()> {
let mut _0: std::ops::GeneratorState<(), ()>; // return place
scope 1 {
scope 3 {
}
scope 4 {
}
}
scope 2 {
}
let mut _2: ();
let mut _3: [u8; 1024];
let mut _4: ();
let mut _5: ();
let mut _6: ();
let mut _7: ();
let mut _8: ();
let mut _9: ();
let mut _10: ();
bb0: {
switchInt(((*(_1.0: &mut [static generator@foo.rs:20:5: 25:6 {Foo, ()}])).0: u32)) -> [0u32: bb1, 1u32: bb13, 2u32: bb14, 3u32: bb12, otherwise: bb15]; // bb0[0]: scope 0 at foo.rs:20:5: 25:6
}
bb1: {
((*(_1.0: &mut [static generator@foo.rs:20:5: 25:6 {Foo, ()}])).3: bool) = const false; // bb1[0]: scope 0 at foo.rs:21:13: 21:18
// ty::Const
// + ty: bool
// + val: Scalar(Bits { size: 1, bits: 0 })
// mir::Constant
// + span: foo.rs:21:13: 21:18
// + ty: bool
// + literal: Evaluated(Const { ty: bool, val: Scalar(Bits { size: 1, bits: 0 }) })
nop; // bb1[1]: scope 0 at foo.rs:21:13: 21:18
StorageLive(_3); // bb1[2]: scope 0 at foo.rs:21:25: 21:34
_3 = [const 0u8; 1024]; // bb1[3]: scope 0 at foo.rs:21:25: 21:34
// ty::Const
// + ty: u8
// + val: Scalar(Bits { size: 1, bits: 0 })
// mir::Constant
// + span: foo.rs:21:26: 21:27
// + ty: u8
// + literal: Evaluated(Const { ty: u8, val: Scalar(Bits { size: 1, bits: 0 }) })
((*(_1.0: &mut [static generator@foo.rs:20:5: 25:6 {Foo, ()}])).3: bool) = const true; // bb1[4]: scope 0 at foo.rs:21:21: 21:35
// ty::Const
// + ty: bool
// + val: Scalar(Bits { size: 1, bits: 1 })
// mir::Constant
// + span: foo.rs:21:21: 21:35
// + ty: bool
// + literal: Evaluated(Const { ty: bool, val: Scalar(Bits { size: 1, bits: 1 }) })
((*(_1.0: &mut [static generator@foo.rs:20:5: 25:6 {Foo, ()}])).1: Foo) = Foo(move _3,); // bb1[5]: scope 0 at foo.rs:21:21: 21:35
StorageDead(_3); // bb1[6]: scope 0 at foo.rs:21:34: 21:35
_5 = const complex::{{closure}}::foo() -> [return: bb3, unwind: bb9]; // bb1[7]: scope 1 at foo.rs:22:11: 22:16
// ty::Const
// + ty: fn() {complex::{{closure}}::foo}
// + val: Scalar(Bits { size: 0, bits: 0 })
// mir::Constant
// + span: foo.rs:22:11: 22:14
// + ty: fn() {complex::{{closure}}::foo}
// + literal: Evaluated(Const { ty: fn() {complex::{{closure}}::foo}, val: Scalar(Bits { size: 0, bits: 0 }) })
}
bb2: { // cleanup
((*(_1.0: &mut [static generator@foo.rs:20:5: 25:6 {Foo, ()}])).0: u32) = const 1u32; // bb2[0]: scope 0 at foo.rs:20:5: 25:6
// ty::Const
// + ty: u32
// + val: Scalar(Bits { size: 4, bits: 1 })
// mir::Constant
// + span: foo.rs:20:5: 25:6
// + ty: u32
// + literal: Evaluated(Const { ty: u32, val: Scalar(Bits { size: 4, bits: 1 }) })
resume; // bb2[1]: scope 0 at foo.rs:20:5: 25:6
}
bb3: {
_4 = (); // bb3[0]: scope 1 at foo.rs:22:9: 22:31
nop; // bb3[1]: scope 1 at foo.rs:23:13: 23:20
((*(_1.0: &mut [static generator@foo.rs:20:5: 25:6 {Foo, ()}])).3: bool) = const false; // bb3[2]: scope 1 at foo.rs:23:23: 23:28
// ty::Const
// + ty: bool
// + val: Scalar(Bits { size: 1, bits: 0 })
// mir::Constant
// + span: foo.rs:23:23: 23:28
// + ty: bool
// + literal: Evaluated(Const { ty: bool, val: Scalar(Bits { size: 1, bits: 0 }) })
((*(_1.0: &mut [static generator@foo.rs:20:5: 25:6 {Foo, ()}])).2: Foo) = move ((*(_1.0: &mut [static generator@foo.rs:20:5: 25:6 {Foo, ()}])).1: Foo); // bb3[3]: scope 1 at foo.rs:23:23: 23:28
StorageLive(_8); // bb3[4]: scope 3 at foo.rs:24:9: 24:14
_8 = (); // bb3[5]: scope 3 at foo.rs:24:9: 24:14
_0 = std::ops::GeneratorState<(), ()>::Yielded(move _8,); // bb3[6]: scope 3 at foo.rs:24:9: 24:14
((*(_1.0: &mut [static generator@foo.rs:20:5: 25:6 {Foo, ()}])).0: u32) = const 3u32; // bb3[7]: scope 3 at foo.rs:24:9: 24:14
// ty::Const
// + ty: u32
// + val: Scalar(Bits { size: 4, bits: 3 })
// mir::Constant
// + span: foo.rs:24:9: 24:14
// + ty: u32
// + literal: Evaluated(Const { ty: u32, val: Scalar(Bits { size: 4, bits: 3 }) })
return; // bb3[8]: scope 3 at foo.rs:24:9: 24:14
}
bb4: { // cleanup
goto -> bb10; // bb4[0]: scope 0 at foo.rs:25:5: 25:6
}
bb5: {
_7 = (); // bb5[0]: scope 3 at foo.rs:24:9: 24:14
StorageDead(_8); // bb5[1]: scope 3 at foo.rs:24:13: 24:14
_10 = (); // bb5[2]: scope 0 at foo.rs:20:15: 25:6
drop(((*(_1.0: &mut [static generator@foo.rs:20:5: 25:6 {Foo, ()}])).2: Foo)) -> [return: bb6, unwind: bb9]; // bb5[3]: scope 1 at foo.rs:25:5: 25:6
}
bb6: {
nop; // bb6[0]: scope 1 at foo.rs:25:5: 25:6
((*(_1.0: &mut [static generator@foo.rs:20:5: 25:6 {Foo, ()}])).3: bool) = const false; // bb6[1]: scope 0 at foo.rs:25:5: 25:6
// ty::Const
// + ty: bool
// + val: Scalar(Bits { size: 1, bits: 0 })
// mir::Constant
// + span: foo.rs:25:5: 25:6
// + ty: bool
// + literal: Evaluated(Const { ty: bool, val: Scalar(Bits { size: 1, bits: 0 }) })
nop; // bb6[2]: scope 0 at foo.rs:25:5: 25:6
goto -> bb11; // bb6[3]: scope 0 at foo.rs:25:5: 25:6
}
bb7: {
_0 = std::ops::GeneratorState<(), ()>::Complete(move _10,); // bb7[0]: scope 0 at foo.rs:25:6: 25:6
((*(_1.0: &mut [static generator@foo.rs:20:5: 25:6 {Foo, ()}])).0: u32) = const 1u32; // bb7[1]: scope 0 at foo.rs:25:6: 25:6
// ty::Const
// + ty: u32
// + val: Scalar(Bits { size: 4, bits: 1 })
// mir::Constant
// + span: foo.rs:25:6: 25:6
// + ty: u32
// + literal: Evaluated(Const { ty: u32, val: Scalar(Bits { size: 4, bits: 1 }) })
return; // bb7[2]: scope 0 at foo.rs:25:6: 25:6
}
bb8: { // cleanup
((*(_1.0: &mut [static generator@foo.rs:20:5: 25:6 {Foo, ()}])).3: bool) = const false; // bb8[0]: scope 0 at foo.rs:25:5: 25:6
// ty::Const
// + ty: bool
// + val: Scalar(Bits { size: 1, bits: 0 })
// mir::Constant
// + span: foo.rs:25:5: 25:6
// + ty: bool
// + literal: Evaluated(Const { ty: bool, val: Scalar(Bits { size: 1, bits: 0 }) })
drop(((*(_1.0: &mut [static generator@foo.rs:20:5: 25:6 {Foo, ()}])).1: Foo)) -> bb4; // bb8[1]: scope 0 at foo.rs:25:5: 25:6
}
bb9: { // cleanup
switchInt(((*(_1.0: &mut [static generator@foo.rs:20:5: 25:6 {Foo, ()}])).3: bool)) -> [false: bb4, otherwise: bb8]; // bb9[0]: scope 0 at foo.rs:25:5: 25:6
}
bb10: { // cleanup
goto -> bb2; // bb10[0]: scope 0 at foo.rs:25:5: 25:6
}
bb11: {
goto -> bb7; // bb11[0]: scope 0 at foo.rs:25:5: 25:6
}
bb12: {
StorageLive(_8); // bb12[0]: scope 0 at foo.rs:20:5: 25:6
goto -> bb5; // bb12[1]: scope 0 at foo.rs:20:5: 25:6
}
bb13: {
assert(const false, "generator resumed after completion") -> bb13; // bb13[0]: scope 0 at foo.rs:20:5: 25:6
// ty::Const
// + ty: bool
// + val: Scalar(Bits { size: 1, bits: 0 })
// mir::Constant
// + span: foo.rs:20:5: 25:6
// + ty: bool
// + literal: Evaluated(Const { ty: bool, val: Scalar(Bits { size: 1, bits: 0 }) })
}
bb14: {
assert(const false, "generator resumed after panicking") -> bb14; // bb14[0]: scope 0 at foo.rs:20:5: 25:6
// ty::Const
// + ty: bool
// + val: Scalar(Bits { size: 1, bits: 0 })
// mir::Constant
// + span: foo.rs:20:5: 25:6
// + ty: bool
// + literal: Evaluated(Const { ty: bool, val: Scalar(Bits { size: 1, bits: 0 }) })
}
bb15: {
unreachable; // bb15[0]: scope 0 at foo.rs:20:5: 25:6
}
}
Raw
rustc.node102generator_liveness-liveness.mir
// MIR local liveness analysis for `complex::{{closure}}`
// source = MirSource { instance: Item(DefId(0/1:16 ~ foo[317d]::complex[0]::{{closure}}[0])), promoted: None }
// pass_name = generator_liveness
fn complex::{{closure}}(_1: [static generator@foo.rs:20:5: 25:6 {Foo, ()}]) -> std::ops::GeneratorState<(), ()>
yields ()
{
let mut _0: std::ops::GeneratorState<(), ()>; // return place
scope 1 {
scope 3 {
}
scope 4 {
let _6: Foo; // "_second" in scope 4 at foo.rs:23:13: 23:20
}
}
scope 2 {
let _2: Foo; // "first" in scope 2 at foo.rs:21:13: 21:18
}
let mut _3: [u8; 1024];
let mut _4: ();
let mut _5: ();
let mut _7: ();
let mut _8: ();
let mut _9: bool;
let mut _10: ();
bb0: {
_9 = const false; // bb0[0]: scope 0 at foo.rs:21:13: 21:18
// ty::Const
// + ty: bool
// + val: Scalar(Bits { size: 1, bits: 0 })
// mir::Constant
// + span: foo.rs:21:13: 21:18
// + ty: bool
// + literal: Evaluated(Const { ty: bool, val: Scalar(Bits { size: 1, bits: 0 }) })
StorageLive(_2); // bb0[1]: scope 0 at foo.rs:21:13: 21:18
StorageLive(_3); // bb0[2]: scope 0 at foo.rs:21:25: 21:34
_3 = [const 0u8; 1024]; // bb0[3]: scope 0 at foo.rs:21:25: 21:34
// ty::Const
// + ty: u8
// + val: Scalar(Bits { size: 1, bits: 0 })
// mir::Constant
// + span: foo.rs:21:26: 21:27
// + ty: u8
// + literal: Evaluated(Const { ty: u8, val: Scalar(Bits { size: 1, bits: 0 }) })
_9 = const true; // bb0[4]: scope 0 at foo.rs:21:21: 21:35
// ty::Const
// + ty: bool
// + val: Scalar(Bits { size: 1, bits: 1 })
// mir::Constant
// + span: foo.rs:21:21: 21:35
// + ty: bool
// + literal: Evaluated(Const { ty: bool, val: Scalar(Bits { size: 1, bits: 1 }) })
_2 = Foo(move _3,); // bb0[5]: scope 0 at foo.rs:21:21: 21:35
StorageDead(_3); // bb0[6]: scope 0 at foo.rs:21:34: 21:35
_5 = const complex::{{closure}}::foo() -> [return: bb2, unwind: bb12]; // bb0[7]: scope 1 at foo.rs:22:11: 22:16
// ty::Const
// + ty: fn() {complex::{{closure}}::foo}
// + val: Scalar(Bits { size: 0, bits: 0 })
// mir::Constant
// + span: foo.rs:22:11: 22:14
// + ty: fn() {complex::{{closure}}::foo}
// + literal: Evaluated(Const { ty: fn() {complex::{{closure}}::foo}, val: Scalar(Bits { size: 0, bits: 0 }) })
}
{_1, _2, _9}
bb1: { // cleanup
resume; // bb1[0]: scope 0 at foo.rs:20:5: 25:6
}
{}
bb2: {
_4 = (); // bb2[0]: scope 1 at foo.rs:22:9: 22:31
StorageLive(_6); // bb2[1]: scope 1 at foo.rs:23:13: 23:20
_9 = const false; // bb2[2]: scope 1 at foo.rs:23:23: 23:28
// ty::Const
// + ty: bool
// + val: Scalar(Bits { size: 1, bits: 0 })
// mir::Constant
// + span: foo.rs:23:23: 23:28
// + ty: bool
// + literal: Evaluated(Const { ty: bool, val: Scalar(Bits { size: 1, bits: 0 }) })
_6 = move _2; // bb2[3]: scope 1 at foo.rs:23:23: 23:28
StorageLive(_8); // bb2[4]: scope 3 at foo.rs:24:9: 24:14
_8 = (); // bb2[5]: scope 3 at foo.rs:24:9: 24:14
_1 = suspend(move _8) -> [resume: bb4, drop: bb6]; // bb2[6]: scope 3 at foo.rs:24:9: 24:14
}
{_1, _2, _6, _9}
bb3: { // cleanup
drop(_1) -> bb1; // bb3[0]: scope 0 at foo.rs:25:5: 25:6
}
{}
bb4: {
_7 = (); // bb4[0]: scope 3 at foo.rs:24:9: 24:14
StorageDead(_8); // bb4[1]: scope 3 at foo.rs:24:13: 24:14
_10 = (); // bb4[2]: scope 0 at foo.rs:20:15: 25:6
drop(_6) -> [return: bb9, unwind: bb12]; // bb4[3]: scope 1 at foo.rs:25:5: 25:6
}
{_1, _2, _9}
bb5: { // cleanup
drop(_1) -> bb1; // bb5[0]: scope 0 at foo.rs:25:5: 25:6
}
{}
bb6: {
drop(_6) -> [return: bb7, unwind: bb5]; // bb6[0]: scope 1 at foo.rs:25:5: 25:6
}
{_1}
bb7: {
drop(_1) -> [return: bb8, unwind: bb1]; // bb7[0]: scope 0 at foo.rs:25:5: 25:6
}
{}
bb8: {
generator_drop; // bb8[0]: scope 0 at foo.rs:20:5: 25:6
}
{}
bb9: {
StorageDead(_6); // bb9[0]: scope 1 at foo.rs:25:5: 25:6
_9 = const false; // bb9[1]: scope 0 at foo.rs:25:5: 25:6
// ty::Const
// + ty: bool
// + val: Scalar(Bits { size: 1, bits: 0 })
// mir::Constant
// + span: foo.rs:25:5: 25:6
// + ty: bool
// + literal: Evaluated(Const { ty: bool, val: Scalar(Bits { size: 1, bits: 0 }) })
StorageDead(_2); // bb9[2]: scope 0 at foo.rs:25:5: 25:6
drop(_1) -> [return: bb10, unwind: bb1]; // bb9[3]: scope 0 at foo.rs:25:5: 25:6
}
{}
bb10: {
return; // bb10[0]: scope 0 at foo.rs:25:6: 25:6
}
{}
bb11: { // cleanup
_9 = const false; // bb11[0]: scope 0 at foo.rs:25:5: 25:6
// ty::Const
// + ty: bool
// + val: Scalar(Bits { size: 1, bits: 0 })
// mir::Constant
// + span: foo.rs:25:5: 25:6
// + ty: bool
// + literal: Evaluated(Const { ty: bool, val: Scalar(Bits { size: 1, bits: 0 }) })
drop(_2) -> bb3; // bb11[1]: scope 0 at foo.rs:25:5: 25:6
}
{_1}
bb12: { // cleanup
switchInt(_9) -> [false: bb3, otherwise: bb11]; // bb12[0]: scope 0 at foo.rs:25:5: 25:6
}
{_1, _2}
}
Raw
rustc.simple-{{closure}}.-------.generator_drop.0.mir
// MIR for `simple::{{closure}}`
// source = MirSource { instance: Item(DefId(0/1:13 ~ foo[317d]::simple[0]::{{closure}}[0])), promoted: None }
// pass_name = generator_drop
// disambiguator = 0
// generator_layout = GeneratorLayout { fields: [LocalDecl { mutability: Not, is_user_variable: Some(Set(Var(VarBindingForm { binding_mode: BindByValue(MutImmutable), opt_ty_info: None, opt_match_place: Some((None, foo.rs:14:23: 14:28)), pat_span: foo.rs:14:13: 14:20 }))), internal: false, is_block_tail: None, ty: Foo, user_ty: UserTypeProjections { contents: [] }, name: Some(_second), source_info: SourceInfo { span: foo.rs:14:13: 14:20, scope: scope[4] }, visibility_scope: scope[3] }] }
fn simple::{{closure}}(_1: *mut [static generator@foo.rs:12:5: 16:6 {Foo, ()}]) -> () {
let mut _0: (); // return place
scope 1 {
scope 3 {
}
scope 4 {
}
}
scope 2 {
let _2: Foo; // "first" in scope 2 at foo.rs:13:13: 13:18
}
let mut _3: [u8; 1024];
let mut _4: ();
let mut _5: ();
let mut _6: ();
let mut _7: ();
bb0: {
switchInt(((*_1).0: u32)) -> [0u32: bb7, 3u32: bb11, otherwise: bb12]; // bb0[0]: scope 0 at foo.rs:12:5: 16:6
}
bb1: { // cleanup
resume; // bb1[0]: scope 0 at foo.rs:12:5: 16:6
}
bb2: { // cleanup
goto -> bb8; // bb2[0]: scope 0 at foo.rs:16:5: 16:6
}
bb3: {
drop(((*_1).1: Foo)) -> [return: bb4, unwind: bb2]; // bb3[0]: scope 1 at foo.rs:16:5: 16:6
}
bb4: {
goto -> bb9; // bb4[0]: scope 0 at foo.rs:16:5: 16:6
}
bb5: {
return; // bb5[0]: scope 0 at foo.rs:12:5: 16:6
}
bb6: {
return; // bb6[0]: scope 0 at foo.rs:12:5: 16:6
}
bb7: {
goto -> bb10; // bb7[0]: scope 0 at foo.rs:12:5: 16:6
}
bb8: { // cleanup
goto -> bb1; // bb8[0]: scope 0 at foo.rs:16:5: 16:6
}
bb9: {
goto -> bb5; // bb9[0]: scope 0 at foo.rs:16:5: 16:6
}
bb10: { // cleanup
goto -> bb6; // bb10[0]: scope 0 at foo.rs:12:5: 16:6
}
bb11: {
StorageLive(_2); // bb11[0]: scope 0 at foo.rs:12:5: 16:6
StorageLive(_6); // bb11[1]: scope 0 at foo.rs:12:5: 16:6
goto -> bb3; // bb11[2]: scope 0 at foo.rs:12:5: 16:6
}
bb12: {
return; // bb12[0]: scope 0 at foo.rs:12:5: 16:6
}
}
Raw
rustc.simple-{{closure}}.-------.generator_post-transform.0.mir
// MIR for `simple::{{closure}}`
// source = MirSource { instance: Item(DefId(0/1:13 ~ foo[317d]::simple[0]::{{closure}}[0])), promoted: None }
// pass_name = generator_post-transform
// disambiguator = 0
// generator_layout = GeneratorLayout { fields: [LocalDecl { mutability: Not, is_user_variable: Some(Set(Var(VarBindingForm { binding_mode: BindByValue(MutImmutable), opt_ty_info: None, opt_match_place: Some((None, foo.rs:14:23: 14:28)), pat_span: foo.rs:14:13: 14:20 }))), internal: false, is_block_tail: None, ty: Foo, user_ty: UserTypeProjections { contents: [] }, name: Some(_second), source_info: SourceInfo { span: foo.rs:14:13: 14:20, scope: scope[4] }, visibility_scope: scope[3] }] }
fn simple::{{closure}}(_1: [static generator@foo.rs:12:5: 16:6 {Foo, ()}]) -> std::ops::GeneratorState<(), ()> {
let mut _0: std::ops::GeneratorState<(), ()>; // return place
scope 1 {
scope 3 {
}
scope 4 {
}
}
scope 2 {
let _2: Foo; // "first" in scope 2 at foo.rs:13:13: 13:18
}
let mut _3: [u8; 1024];
let mut _4: ();
let mut _5: ();
let mut _6: ();
let mut _7: ();
bb0: {
StorageLive(_2); // bb0[0]: scope 0 at foo.rs:13:13: 13:18
StorageLive(_3); // bb0[1]: scope 0 at foo.rs:13:25: 13:34
_3 = [const 0u8; 1024]; // bb0[2]: scope 0 at foo.rs:13:25: 13:34
// ty::Const
// + ty: u8
// + val: Scalar(Bits { size: 1, bits: 0 })
// mir::Constant
// + span: foo.rs:13:26: 13:27
// + ty: u8
// + literal: Evaluated(Const { ty: u8, val: Scalar(Bits { size: 1, bits: 0 }) })
_2 = Foo(move _3,); // bb0[3]: scope 0 at foo.rs:13:21: 13:35
StorageDead(_3); // bb0[4]: scope 0 at foo.rs:13:34: 13:35
nop; // bb0[5]: scope 1 at foo.rs:14:13: 14:20
(_1.1: Foo) = move _2; // bb0[6]: scope 1 at foo.rs:14:23: 14:28
StorageLive(_6); // bb0[7]: scope 3 at foo.rs:15:9: 15:14
_6 = (); // bb0[8]: scope 3 at foo.rs:15:9: 15:14
_0 = std::ops::GeneratorState<(), ()>::Yielded(move _6,); // bb0[9]: scope 3 at foo.rs:15:9: 15:14
(_1.0: u32) = const 3u32; // bb0[10]: scope 3 at foo.rs:15:9: 15:14
// ty::Const
// + ty: u32
// + val: Scalar(Bits { size: 4, bits: 3 })
// mir::Constant
// + span: foo.rs:15:9: 15:14
// + ty: u32
// + literal: Evaluated(Const { ty: u32, val: Scalar(Bits { size: 4, bits: 3 }) })
return; // bb0[11]: scope 3 at foo.rs:15:9: 15:14
}
bb1: { // cleanup
resume; // bb1[0]: scope 0 at foo.rs:12:5: 16:6
}
bb2: {
_5 = (); // bb2[0]: scope 3 at foo.rs:15:9: 15:14
StorageDead(_6); // bb2[1]: scope 3 at foo.rs:15:13: 15:14
_7 = (); // bb2[2]: scope 0 at foo.rs:12:15: 16:6
drop((_1.1: Foo)) -> [return: bb8, unwind: bb7]; // bb2[3]: scope 1 at foo.rs:16:5: 16:6
}
bb3: { // cleanup
goto -> bb12; // bb3[0]: scope 0 at foo.rs:16:5: 16:6
}
bb4: {
drop((_1.1: Foo)) -> [return: bb5, unwind: bb3]; // bb4[0]: scope 1 at foo.rs:16:5: 16:6
}
bb5: {
goto -> bb13; // bb5[0]: scope 0 at foo.rs:16:5: 16:6
}
bb6: {
generator_drop; // bb6[0]: scope 0 at foo.rs:12:5: 16:6
}
bb7: { // cleanup
goto -> bb15; // bb7[0]: scope 0 at foo.rs:16:5: 16:6
}
bb8: {
nop; // bb8[0]: scope 1 at foo.rs:16:5: 16:6
StorageDead(_2); // bb8[1]: scope 0 at foo.rs:16:5: 16:6
goto -> bb16; // bb8[2]: scope 0 at foo.rs:16:5: 16:6
}
bb9: {
_0 = std::ops::GeneratorState<(), ()>::Complete(move _7,); // bb9[0]: scope 0 at foo.rs:16:6: 16:6
(_1.0: u32) = const 1u32; // bb9[1]: scope 0 at foo.rs:16:6: 16:6
// ty::Const
// + ty: u32
// + val: Scalar(Bits { size: 4, bits: 1 })
// mir::Constant
// + span: foo.rs:16:6: 16:6
// + ty: u32
// + literal: Evaluated(Const { ty: u32, val: Scalar(Bits { size: 4, bits: 1 }) })
return; // bb9[2]: scope 0 at foo.rs:16:6: 16:6
}
bb10: {
return; // bb10[0]: scope 0 at foo.rs:12:5: 16:6
}
bb11: {
goto -> bb18; // bb11[0]: scope 0 at foo.rs:12:5: 16:6
}
bb12: { // cleanup
goto -> bb1; // bb12[0]: scope 0 at foo.rs:16:5: 16:6
}
bb13: {
goto -> bb6; // bb13[0]: scope 0 at foo.rs:16:5: 16:6
}
bb14: { // cleanup
goto -> bb1; // bb14[0]: scope 0 at foo.rs:16:5: 16:6
}
bb15: { // cleanup
goto -> bb1; // bb15[0]: scope 0 at foo.rs:16:5: 16:6
}
bb16: {
goto -> bb9; // bb16[0]: scope 0 at foo.rs:16:5: 16:6
}
bb17: { // cleanup
goto -> bb1; // bb17[0]: scope 0 at foo.rs:16:5: 16:6
}
bb18: { // cleanup
goto -> bb10; // bb18[0]: scope 0 at foo.rs:12:5: 16:6
}
}
Raw
rustc.simple-{{closure}}.-------.generator_pre-elab.0.mir
// MIR for `simple::{{closure}}`
// source = MirSource { instance: Item(DefId(0/1:13 ~ foo[317d]::simple[0]::{{closure}}[0])), promoted: None }
// pass_name = generator_pre-elab
// disambiguator = 0
// generator_layout = GeneratorLayout { fields: [LocalDecl { mutability: Not, is_user_variable: Some(Set(Var(VarBindingForm { binding_mode: BindByValue(MutImmutable), opt_ty_info: None, opt_match_place: Some((None, foo.rs:14:23: 14:28)), pat_span: foo.rs:14:13: 14:20 }))), internal: false, is_block_tail: None, ty: Foo, user_ty: UserTypeProjections { contents: [] }, name: Some(_second), source_info: SourceInfo { span: foo.rs:14:13: 14:20, scope: scope[4] }, visibility_scope: scope[3] }] }
fn simple::{{closure}}(_1: [static generator@foo.rs:12:5: 16:6 {Foo, ()}]) -> std::ops::GeneratorState<(), ()> {
let mut _0: std::ops::GeneratorState<(), ()>; // return place
scope 1 {
scope 3 {
}
scope 4 {
}
}
scope 2 {
let _2: Foo; // "first" in scope 2 at foo.rs:13:13: 13:18
}
let mut _3: [u8; 1024];
let mut _4: ();
let mut _5: ();
let mut _6: ();
let mut _7: ();
bb0: {
StorageLive(_2); // bb0[0]: scope 0 at foo.rs:13:13: 13:18
StorageLive(_3); // bb0[1]: scope 0 at foo.rs:13:25: 13:34
_3 = [const 0u8; 1024]; // bb0[2]: scope 0 at foo.rs:13:25: 13:34
// ty::Const
// + ty: u8
// + val: Scalar(Bits { size: 1, bits: 0 })
// mir::Constant
// + span: foo.rs:13:26: 13:27
// + ty: u8
// + literal: Evaluated(Const { ty: u8, val: Scalar(Bits { size: 1, bits: 0 }) })
_2 = Foo(move _3,); // bb0[3]: scope 0 at foo.rs:13:21: 13:35
StorageDead(_3); // bb0[4]: scope 0 at foo.rs:13:34: 13:35
nop; // bb0[5]: scope 1 at foo.rs:14:13: 14:20
(_1.1: Foo) = move _2; // bb0[6]: scope 1 at foo.rs:14:23: 14:28
StorageLive(_6); // bb0[7]: scope 3 at foo.rs:15:9: 15:14
_6 = (); // bb0[8]: scope 3 at foo.rs:15:9: 15:14
_0 = std::ops::GeneratorState<(), ()>::Yielded(move _6,); // bb0[9]: scope 3 at foo.rs:15:9: 15:14
(_1.0: u32) = const 3u32; // bb0[10]: scope 3 at foo.rs:15:9: 15:14
// ty::Const
// + ty: u32
// + val: Scalar(Bits { size: 4, bits: 3 })
// mir::Constant
// + span: foo.rs:15:9: 15:14
// + ty: u32
// + literal: Evaluated(Const { ty: u32, val: Scalar(Bits { size: 4, bits: 3 }) })
return; // bb0[11]: scope 3 at foo.rs:15:9: 15:14
}
bb1: { // cleanup
resume; // bb1[0]: scope 0 at foo.rs:12:5: 16:6
}
bb2: {
_5 = (); // bb2[0]: scope 3 at foo.rs:15:9: 15:14
StorageDead(_6); // bb2[1]: scope 3 at foo.rs:15:13: 15:14
_7 = (); // bb2[2]: scope 0 at foo.rs:12:15: 16:6
drop((_1.1: Foo)) -> [return: bb8, unwind: bb7]; // bb2[3]: scope 1 at foo.rs:16:5: 16:6
}
bb3: { // cleanup
drop(_1) -> bb1; // bb3[0]: scope 0 at foo.rs:16:5: 16:6
}
bb4: {
drop((_1.1: Foo)) -> [return: bb5, unwind: bb3]; // bb4[0]: scope 1 at foo.rs:16:5: 16:6
}
bb5: {
drop(_1) -> [return: bb6, unwind: bb1]; // bb5[0]: scope 0 at foo.rs:16:5: 16:6
}
bb6: {
generator_drop; // bb6[0]: scope 0 at foo.rs:12:5: 16:6
}
bb7: { // cleanup
drop(_1) -> bb1; // bb7[0]: scope 0 at foo.rs:16:5: 16:6
}
bb8: {
nop; // bb8[0]: scope 1 at foo.rs:16:5: 16:6
StorageDead(_2); // bb8[1]: scope 0 at foo.rs:16:5: 16:6
drop(_1) -> [return: bb9, unwind: bb1]; // bb8[2]: scope 0 at foo.rs:16:5: 16:6
}
bb9: {
_0 = std::ops::GeneratorState<(), ()>::Complete(move _7,); // bb9[0]: scope 0 at foo.rs:16:6: 16:6
(_1.0: u32) = const 1u32; // bb9[1]: scope 0 at foo.rs:16:6: 16:6
// ty::Const
// + ty: u32
// + val: Scalar(Bits { size: 4, bits: 1 })
// mir::Constant
// + span: foo.rs:16:6: 16:6
// + ty: u32
// + literal: Evaluated(Const { ty: u32, val: Scalar(Bits { size: 4, bits: 1 }) })
return; // bb9[2]: scope 0 at foo.rs:16:6: 16:6
}
bb10: {
return; // bb10[0]: scope 0 at foo.rs:12:5: 16:6
}
bb11: {
drop(_1) -> bb10; // bb11[0]: scope 0 at foo.rs:12:5: 16:6
}
}
Raw
rustc.simple-{{closure}}.-------.generator_resume.0.mir
// MIR for `simple::{{closure}}`
// source = MirSource { instance: Item(DefId(0/1:13 ~ foo[317d]::simple[0]::{{closure}}[0])), promoted: None }
// pass_name = generator_resume
// disambiguator = 0
// generator_layout = GeneratorLayout { fields: [LocalDecl { mutability: Not, is_user_variable: Some(Set(Var(VarBindingForm { binding_mode: BindByValue(MutImmutable), opt_ty_info: None, opt_match_place: Some((None, foo.rs:14:23: 14:28)), pat_span: foo.rs:14:13: 14:20 }))), internal: false, is_block_tail: None, ty: Foo, user_ty: UserTypeProjections { contents: [] }, name: Some(_second), source_info: SourceInfo { span: foo.rs:14:13: 14:20, scope: scope[4] }, visibility_scope: scope[3] }] }
fn simple::{{closure}}(_1: std::pin::Pin<&mut [static generator@foo.rs:12:5: 16:6 {Foo, ()}]>) -> std::ops::GeneratorState<(), ()> {
let mut _0: std::ops::GeneratorState<(), ()>; // return place
scope 1 {
scope 3 {
}
scope 4 {
}
}
scope 2 {
let _2: Foo; // "first" in scope 2 at foo.rs:13:13: 13:18
}
let mut _3: [u8; 1024];
let mut _4: ();
let mut _5: ();
let mut _6: ();
let mut _7: ();
bb0: {
switchInt(((*(_1.0: &mut [static generator@foo.rs:12:5: 16:6 {Foo, ()}])).0: u32)) -> [0u32: bb1, 1u32: bb10, 2u32: bb11, 3u32: bb9, otherwise: bb12]; // bb0[0]: scope 0 at foo.rs:12:5: 16:6
}
bb1: {
StorageLive(_2); // bb1[0]: scope 0 at foo.rs:13:13: 13:18
StorageLive(_3); // bb1[1]: scope 0 at foo.rs:13:25: 13:34
_3 = [const 0u8; 1024]; // bb1[2]: scope 0 at foo.rs:13:25: 13:34
// ty::Const
// + ty: u8
// + val: Scalar(Bits { size: 1, bits: 0 })
// mir::Constant
// + span: foo.rs:13:26: 13:27
// + ty: u8
// + literal: Evaluated(Const { ty: u8, val: Scalar(Bits { size: 1, bits: 0 }) })
_2 = Foo(move _3,); // bb1[3]: scope 0 at foo.rs:13:21: 13:35
StorageDead(_3); // bb1[4]: scope 0 at foo.rs:13:34: 13:35
nop; // bb1[5]: scope 1 at foo.rs:14:13: 14:20
((*(_1.0: &mut [static generator@foo.rs:12:5: 16:6 {Foo, ()}])).1: Foo) = move _2; // bb1[6]: scope 1 at foo.rs:14:23: 14:28
StorageLive(_6); // bb1[7]: scope 3 at foo.rs:15:9: 15:14
_6 = (); // bb1[8]: scope 3 at foo.rs:15:9: 15:14
_0 = std::ops::GeneratorState<(), ()>::Yielded(move _6,); // bb1[9]: scope 3 at foo.rs:15:9: 15:14
((*(_1.0: &mut [static generator@foo.rs:12:5: 16:6 {Foo, ()}])).0: u32) = const 3u32; // bb1[10]: scope 3 at foo.rs:15:9: 15:14
// ty::Const
// + ty: u32
// + val: Scalar(Bits { size: 4, bits: 3 })
// mir::Constant
// + span: foo.rs:15:9: 15:14
// + ty: u32
// + literal: Evaluated(Const { ty: u32, val: Scalar(Bits { size: 4, bits: 3 }) })
return; // bb1[11]: scope 3 at foo.rs:15:9: 15:14
}
bb2: { // cleanup
((*(_1.0: &mut [static generator@foo.rs:12:5: 16:6 {Foo, ()}])).0: u32) = const 1u32; // bb2[0]: scope 0 at foo.rs:12:5: 16:6
// ty::Const
// + ty: u32
// + val: Scalar(Bits { size: 4, bits: 1 })
// mir::Constant
// + span: foo.rs:12:5: 16:6
// + ty: u32
// + literal: Evaluated(Const { ty: u32, val: Scalar(Bits { size: 4, bits: 1 }) })
resume; // bb2[1]: scope 0 at foo.rs:12:5: 16:6
}
bb3: {
_5 = (); // bb3[0]: scope 3 at foo.rs:15:9: 15:14
StorageDead(_6); // bb3[1]: scope 3 at foo.rs:15:13: 15:14
_7 = (); // bb3[2]: scope 0 at foo.rs:12:15: 16:6
drop(((*(_1.0: &mut [static generator@foo.rs:12:5: 16:6 {Foo, ()}])).1: Foo)) -> [return: bb5, unwind: bb4]; // bb3[3]: scope 1 at foo.rs:16:5: 16:6
}
bb4: { // cleanup
goto -> bb7; // bb4[0]: scope 0 at foo.rs:16:5: 16:6
}
bb5: {
nop; // bb5[0]: scope 1 at foo.rs:16:5: 16:6
StorageDead(_2); // bb5[1]: scope 0 at foo.rs:16:5: 16:6
goto -> bb8; // bb5[2]: scope 0 at foo.rs:16:5: 16:6
}
bb6: {
_0 = std::ops::GeneratorState<(), ()>::Complete(move _7,); // bb6[0]: scope 0 at foo.rs:16:6: 16:6
((*(_1.0: &mut [static generator@foo.rs:12:5: 16:6 {Foo, ()}])).0: u32) = const 1u32; // bb6[1]: scope 0 at foo.rs:16:6: 16:6
// ty::Const
// + ty: u32
// + val: Scalar(Bits { size: 4, bits: 1 })
// mir::Constant
// + span: foo.rs:16:6: 16:6
// + ty: u32
// + literal: Evaluated(Const { ty: u32, val: Scalar(Bits { size: 4, bits: 1 }) })
return; // bb6[2]: scope 0 at foo.rs:16:6: 16:6
}
bb7: { // cleanup
goto -> bb2; // bb7[0]: scope 0 at foo.rs:16:5: 16:6
}
bb8: {
goto -> bb6; // bb8[0]: scope 0 at foo.rs:16:5: 16:6
}
bb9: {
StorageLive(_2); // bb9[0]: scope 0 at foo.rs:12:5: 16:6
StorageLive(_6); // bb9[1]: scope 0 at foo.rs:12:5: 16:6
goto -> bb3; // bb9[2]: scope 0 at foo.rs:12:5: 16:6
}
bb10: {
assert(const false, "generator resumed after completion") -> bb10; // bb10[0]: scope 0 at foo.rs:12:5: 16:6
// ty::Const
// + ty: bool
// + val: Scalar(Bits { size: 1, bits: 0 })
// mir::Constant
// + span: foo.rs:12:5: 16:6
// + ty: bool
// + literal: Evaluated(Const { ty: bool, val: Scalar(Bits { size: 1, bits: 0 }) })
}
bb11: {
assert(const false, "generator resumed after panicking") -> bb11; // bb11[0]: scope 0 at foo.rs:12:5: 16:6
// ty::Const
// + ty: bool
// + val: Scalar(Bits { size: 1, bits: 0 })
// mir::Constant
// + span: foo.rs:12:5: 16:6
// + ty: bool
// + literal: Evaluated(Const { ty: bool, val: Scalar(Bits { size: 1, bits: 0 }) })
}
bb12: {
unreachable; // bb12[0]: scope 0 at foo.rs:12:5: 16:6
}
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment