[rustc.git] / src / test / mir-opt / issue-38669 / rustc.main.SimplifyCfg-initial.after.mir

// MIR for `main` after SimplifyCfg-initial

fn main() -> () {
    let mut _0: ();                      // return place in scope 0 at $DIR/issue-38669.rs:4:11: 4:11
    let mut _1: bool;                    // in scope 0 at $DIR/issue-38669.rs:5:9: 5:25
    let mut _2: ();                      // in scope 0 at $DIR/issue-38669.rs:4:1: 12:2
    let _3: ();                          // in scope 0 at $DIR/issue-38669.rs:7:9: 9:10
    let mut _4: bool;                    // in scope 0 at $DIR/issue-38669.rs:7:12: 7:24
    let mut _5: !;                       // in scope 0 at $DIR/issue-38669.rs:7:25: 9:10
    scope 1 {
        debug should_break => _1;        // in scope 1 at $DIR/issue-38669.rs:5:9: 5:25
    }

    bb0: {
        StorageLive(_1);                 // scope 0 at $DIR/issue-38669.rs:5:9: 5:25
        _1 = const false;                // scope 0 at $DIR/issue-38669.rs:5:28: 5:33
                                         // ty::Const
                                         // + ty: bool
                                         // + val: Value(Scalar(0x00))
                                         // mir::Constant
                                         // + span: $DIR/issue-38669.rs:5:28: 5:33
                                         // + literal: Const { ty: bool, val: Value(Scalar(0x00)) }
        FakeRead(ForLet, _1);            // scope 0 at $DIR/issue-38669.rs:5:9: 5:25
        goto -> bb2;                     // scope 1 at $DIR/issue-38669.rs:6:5: 11:6
    }

    bb1 (cleanup): {
        resume;                          // scope 0 at $DIR/issue-38669.rs:4:1: 12:2
    }

    bb2: {
        falseUnwind -> [real: bb3, cleanup: bb1]; // scope 1 at $DIR/issue-38669.rs:6:5: 11:6
    }

    bb3: {
        StorageLive(_3);                 // scope 1 at $DIR/issue-38669.rs:7:9: 9:10
        StorageLive(_4);                 // scope 1 at $DIR/issue-38669.rs:7:12: 7:24
        _4 = _1;                         // scope 1 at $DIR/issue-38669.rs:7:12: 7:24
        FakeRead(ForMatchedPlace, _4);   // scope 1 at $DIR/issue-38669.rs:7:12: 7:24
        switchInt(_4) -> [false: bb5, otherwise: bb4]; // scope 1 at $DIR/issue-38669.rs:7:9: 9:10
    }

    bb4: {
        falseEdge -> [real: bb6, imaginary: bb5]; // scope 1 at $DIR/issue-38669.rs:7:9: 9:10
    }

    bb5: {
        _3 = const ();                   // scope 1 at $DIR/issue-38669.rs:7:9: 9:10
                                         // ty::Const
                                         // + ty: ()
                                         // + val: Value(Scalar(<ZST>))
                                         // mir::Constant
                                         // + span: $DIR/issue-38669.rs:7:9: 9:10
                                         // + literal: Const { ty: (), val: Value(Scalar(<ZST>)) }
        StorageDead(_4);                 // scope 1 at $DIR/issue-38669.rs:9:9: 9:10
        StorageDead(_3);                 // scope 1 at $DIR/issue-38669.rs:9:9: 9:10
        _1 = const true;                 // scope 1 at $DIR/issue-38669.rs:10:9: 10:28
                                         // ty::Const
                                         // + ty: bool
                                         // + val: Value(Scalar(0x01))
                                         // mir::Constant
                                         // + span: $DIR/issue-38669.rs:10:24: 10:28
                                         // + literal: Const { ty: bool, val: Value(Scalar(0x01)) }
        _2 = const ();                   // scope 1 at $DIR/issue-38669.rs:6:10: 11:6
                                         // ty::Const
                                         // + ty: ()
                                         // + val: Value(Scalar(<ZST>))
                                         // mir::Constant
                                         // + span: $DIR/issue-38669.rs:6:10: 11:6
                                         // + literal: Const { ty: (), val: Value(Scalar(<ZST>)) }
        goto -> bb2;                     // scope 1 at $DIR/issue-38669.rs:6:5: 11:6
    }

    bb6: {
        _0 = const ();                   // scope 1 at $DIR/issue-38669.rs:8:13: 8:18
                                         // ty::Const
                                         // + ty: ()
                                         // + val: Value(Scalar(<ZST>))
                                         // mir::Constant
                                         // + span: $DIR/issue-38669.rs:8:13: 8:18
                                         // + literal: Const { ty: (), val: Value(Scalar(<ZST>)) }
        StorageDead(_4);                 // scope 1 at $DIR/issue-38669.rs:9:9: 9:10
        StorageDead(_3);                 // scope 1 at $DIR/issue-38669.rs:9:9: 9:10
        StorageDead(_1);                 // scope 0 at $DIR/issue-38669.rs:12:1: 12:2
        return;                          // scope 0 at $DIR/issue-38669.rs:12:2: 12:2
    }
}
Commit	Line	Data
ba9703b0 XL	1	// MIR for `main` after SimplifyCfg-initial
	2
	3	fn main() -> () {
	4	let mut _0: (); // return place in scope 0 at $DIR/issue-38669.rs:4:11: 4:11
	5	let mut _1: bool; // in scope 0 at $DIR/issue-38669.rs:5:9: 5:25
	6	let mut _2: (); // in scope 0 at $DIR/issue-38669.rs:4:1: 12:2
	7	let _3: (); // in scope 0 at $DIR/issue-38669.rs:7:9: 9:10
	8	let mut _4: bool; // in scope 0 at $DIR/issue-38669.rs:7:12: 7:24
	9	let mut _5: !; // in scope 0 at $DIR/issue-38669.rs:7:25: 9:10
	10	scope 1 {
	11	debug should_break => _1; // in scope 1 at $DIR/issue-38669.rs:5:9: 5:25
	12	}
	13
	14	bb0: {
f9f354fc XL	15	StorageLive(_1); // scope 0 at $DIR/issue-38669.rs:5:9: 5:25
f9f354fc XL	16	_1 = const false; // scope 0 at $DIR/issue-38669.rs:5:28: 5:33
ba9703b0 XL	17	// ty::Const
	18	// + ty: bool
	19	// + val: Value(Scalar(0x00))
	20	// mir::Constant
	21	// + span: $DIR/issue-38669.rs:5:28: 5:33
	22	// + literal: Const { ty: bool, val: Value(Scalar(0x00)) }
f9f354fc XL	23	FakeRead(ForLet, _1); // scope 0 at $DIR/issue-38669.rs:5:9: 5:25
f9f354fc XL	24	goto -> bb2; // scope 1 at $DIR/issue-38669.rs:6:5: 11:6
ba9703b0 XL	25	}
	26
	27	bb1 (cleanup): {
f9f354fc	28	resume; // scope 0 at $DIR/issue-38669.rs:4:1: 12:2
ba9703b0 XL	29	}
	30
	31	bb2: {
f9f354fc	32	falseUnwind -> [real: bb3, cleanup: bb1]; // scope 1 at $DIR/issue-38669.rs:6:5: 11:6
ba9703b0 XL	33	}
	34
	35	bb3: {
f9f354fc XL	36	StorageLive(_3); // scope 1 at $DIR/issue-38669.rs:7:9: 9:10
	37	StorageLive(_4); // scope 1 at $DIR/issue-38669.rs:7:12: 7:24
	38	_4 = _1; // scope 1 at $DIR/issue-38669.rs:7:12: 7:24
	39	FakeRead(ForMatchedPlace, _4); // scope 1 at $DIR/issue-38669.rs:7:12: 7:24
	40	switchInt(_4) -> [false: bb5, otherwise: bb4]; // scope 1 at $DIR/issue-38669.rs:7:9: 9:10
ba9703b0 XL	41	}
	42
	43	bb4: {
f035d41b	44	falseEdge -> [real: bb6, imaginary: bb5]; // scope 1 at $DIR/issue-38669.rs:7:9: 9:10
ba9703b0 XL	45	}
	46
	47	bb5: {
f9f354fc	48	_3 = const (); // scope 1 at $DIR/issue-38669.rs:7:9: 9:10
ba9703b0 XL	49	// ty::Const
	50	// + ty: ()
	51	// + val: Value(Scalar(<ZST>))
	52	// mir::Constant
	53	// + span: $DIR/issue-38669.rs:7:9: 9:10
	54	// + literal: Const { ty: (), val: Value(Scalar(<ZST>)) }
f9f354fc XL	55	StorageDead(_4); // scope 1 at $DIR/issue-38669.rs:9:9: 9:10
	56	StorageDead(_3); // scope 1 at $DIR/issue-38669.rs:9:9: 9:10
	57	_1 = const true; // scope 1 at $DIR/issue-38669.rs:10:9: 10:28
ba9703b0 XL	58	// ty::Const
	59	// + ty: bool
	60	// + val: Value(Scalar(0x01))
	61	// mir::Constant
	62	// + span: $DIR/issue-38669.rs:10:24: 10:28
	63	// + literal: Const { ty: bool, val: Value(Scalar(0x01)) }
f9f354fc	64	_2 = const (); // scope 1 at $DIR/issue-38669.rs:6:10: 11:6
ba9703b0 XL	65	// ty::Const
	66	// + ty: ()
	67	// + val: Value(Scalar(<ZST>))
	68	// mir::Constant
	69	// + span: $DIR/issue-38669.rs:6:10: 11:6
	70	// + literal: Const { ty: (), val: Value(Scalar(<ZST>)) }
f9f354fc	71	goto -> bb2; // scope 1 at $DIR/issue-38669.rs:6:5: 11:6
ba9703b0 XL	72	}
	73
	74	bb6: {
f9f354fc	75	_0 = const (); // scope 1 at $DIR/issue-38669.rs:8:13: 8:18
ba9703b0 XL	76	// ty::Const
	77	// + ty: ()
	78	// + val: Value(Scalar(<ZST>))
	79	// mir::Constant
	80	// + span: $DIR/issue-38669.rs:8:13: 8:18
	81	// + literal: Const { ty: (), val: Value(Scalar(<ZST>)) }
f9f354fc XL	82	StorageDead(_4); // scope 1 at $DIR/issue-38669.rs:9:9: 9:10
	83	StorageDead(_3); // scope 1 at $DIR/issue-38669.rs:9:9: 9:10
	84	StorageDead(_1); // scope 0 at $DIR/issue-38669.rs:12:1: 12:2
	85	return; // scope 0 at $DIR/issue-38669.rs:12:2: 12:2
ba9703b0 XL	86	}
ba9703b0 XL	87	}