generator_drop_cleanup.main-{closure#0}.generator_drop.0.mir

// MIR for `main::{closure#0}` 0 generator_drop
/* generator_layout = GeneratorLayout {
    field_tys: {
        _0: GeneratorSavedTy {
            ty: std::string::String,
            source_info: SourceInfo {
                span: $DIR/generator_drop_cleanup.rs:11:13: 11:15 (#0),
                scope: scope[0],
            },
            is_static_ptr: false,
        },
    },
    variant_fields: {
        Unresumed(0): [],
        Returned (1): [],
        Panicked (2): [],
        Suspend0 (3): [_0],
    },
    storage_conflicts: BitMatrix(1x1) {
        (_0, _0),
    },
} */

fn main::{closure#0}(_1: *mut [generator@$DIR/generator_drop_cleanup.rs:10:15: 10:17]) -> () {
    let mut _0: ();                      // return place in scope 0 at $DIR/generator_drop_cleanup.rs:+0:15: +3:6
    let mut _2: ();                      // in scope 0 at $DIR/generator_drop_cleanup.rs:+0:15: +3:6
    let _3: std::string::String;         // in scope 0 at $DIR/generator_drop_cleanup.rs:+1:13: +1:15
    let _4: ();                          // in scope 0 at $DIR/generator_drop_cleanup.rs:+2:9: +2:14
    let mut _5: ();                      // in scope 0 at $DIR/generator_drop_cleanup.rs:+2:9: +2:14
    let mut _6: ();                      // in scope 0 at $DIR/generator_drop_cleanup.rs:+0:18: +0:18
    let mut _7: ();                      // in scope 0 at $DIR/generator_drop_cleanup.rs:+0:15: +3:6
    let mut _8: u32;                     // in scope 0 at $DIR/generator_drop_cleanup.rs:+0:15: +3:6
    scope 1 {
        debug _s => (((*_1) as variant#3).0: std::string::String); // in scope 1 at $DIR/generator_drop_cleanup.rs:+1:13: +1:15
    }

    bb0: {
        _8 = discriminant((*_1));        // scope 0 at $DIR/generator_drop_cleanup.rs:+0:15: +3:6
        switchInt(move _8) -> [0: bb7, 3: bb10, otherwise: bb11]; // scope 0 at $DIR/generator_drop_cleanup.rs:+0:15: +3:6
    }

    bb1: {
        StorageDead(_5);                 // scope 1 at $DIR/generator_drop_cleanup.rs:+2:13: +2:14
        StorageDead(_4);                 // scope 1 at $DIR/generator_drop_cleanup.rs:+2:14: +2:15
        drop((((*_1) as variant#3).0: std::string::String)) -> [return: bb2, unwind: bb5]; // scope 0 at $DIR/generator_drop_cleanup.rs:+3:5: +3:6
    }

    bb2: {
        nop;                             // scope 0 at $DIR/generator_drop_cleanup.rs:+3:5: +3:6
        goto -> bb8;                     // scope 0 at $DIR/generator_drop_cleanup.rs:+3:5: +3:6
    }

    bb3: {
        return;                          // scope 0 at $DIR/generator_drop_cleanup.rs:+0:15: +3:6
    }

    bb4 (cleanup): {
        resume;                          // scope 0 at $DIR/generator_drop_cleanup.rs:+0:15: +3:6
    }

    bb5 (cleanup): {
        nop;                             // scope 0 at $DIR/generator_drop_cleanup.rs:+3:5: +3:6
        goto -> bb4;                     // scope 0 at $DIR/generator_drop_cleanup.rs:+3:5: +3:6
    }

    bb6: {
        return;                          // scope 0 at $DIR/generator_drop_cleanup.rs:+0:15: +3:6
    }

    bb7: {
        goto -> bb9;                     // scope 0 at $DIR/generator_drop_cleanup.rs:+0:15: +3:6
    }

    bb8: {
        goto -> bb3;                     // scope 0 at $DIR/generator_drop_cleanup.rs:+3:5: +3:6
    }

    bb9: {
        goto -> bb6;                     // scope 0 at $DIR/generator_drop_cleanup.rs:+0:15: +3:6
    }

    bb10: {
        StorageLive(_4);                 // scope 0 at $DIR/generator_drop_cleanup.rs:+0:15: +3:6
        StorageLive(_5);                 // scope 0 at $DIR/generator_drop_cleanup.rs:+0:15: +3:6
        goto -> bb1;                     // scope 0 at $DIR/generator_drop_cleanup.rs:+0:15: +3:6
    }

    bb11: {
        return;                          // scope 0 at $DIR/generator_drop_cleanup.rs:+0:15: +3:6
    }
}