[rustc.git] / src / test / mir-opt / loop_test / rustc.main.SimplifyCfg-qualify-consts.after.mir

// MIR for `main` after SimplifyCfg-qualify-consts

fn main() -> () {
    let mut _0: ();                      // return place in scope 0 at $DIR/loop_test.rs:6:11: 6:11
    let _1: ();                          // in scope 0 at $DIR/loop_test.rs:10:5: 12:6
    let mut _2: bool;                    // in scope 0 at $DIR/loop_test.rs:10:8: 10:12
    let mut _3: !;                       // in scope 0 at $DIR/loop_test.rs:10:13: 12:6
    let mut _4: !;                       // in scope 0 at $DIR/loop_test.rs:13:5: 16:6
    let mut _5: ();                      // in scope 0 at $DIR/loop_test.rs:6:1: 17:2
    let _6: i32;                         // in scope 0 at $DIR/loop_test.rs:14:13: 14:14
    scope 1 {
        debug x => _6;                   // in scope 1 at $DIR/loop_test.rs:14:13: 14:14
    }

    bb0: {
        StorageLive(_1);                 // scope 0 at $DIR/loop_test.rs:10:5: 12:6
        StorageLive(_2);                 // scope 0 at $DIR/loop_test.rs:10:8: 10:12
        _2 = const true;                 // scope 0 at $DIR/loop_test.rs:10:8: 10:12
                                         // ty::Const
                                         // + ty: bool
                                         // + val: Value(Scalar(0x01))
                                         // mir::Constant
                                         // + span: $DIR/loop_test.rs:10:8: 10:12
                                         // + literal: Const { ty: bool, val: Value(Scalar(0x01)) }
        FakeRead(ForMatchedPlace, _2);   // scope 0 at $DIR/loop_test.rs:10:8: 10:12
        switchInt(_2) -> [false: bb3, otherwise: bb2]; // scope 0 at $DIR/loop_test.rs:10:5: 12:6
    }

    bb1 (cleanup): {
        resume;                          // scope 0 at $DIR/loop_test.rs:6:1: 17:2
    }

    bb2: {
        falseEdge -> [real: bb4, imaginary: bb3]; // scope 0 at $DIR/loop_test.rs:10:5: 12:6
    }

    bb3: {
        _1 = const ();                   // scope 0 at $DIR/loop_test.rs:10:5: 12:6
                                         // ty::Const
                                         // + ty: ()
                                         // + val: Value(Scalar(<ZST>))
                                         // mir::Constant
                                         // + span: $DIR/loop_test.rs:10:5: 12:6
                                         // + literal: Const { ty: (), val: Value(Scalar(<ZST>)) }
        StorageDead(_2);                 // scope 0 at $DIR/loop_test.rs:12:5: 12:6
        StorageDead(_1);                 // scope 0 at $DIR/loop_test.rs:12:5: 12:6
        StorageLive(_4);                 // scope 0 at $DIR/loop_test.rs:13:5: 16:6
        goto -> bb5;                     // scope 0 at $DIR/loop_test.rs:13:5: 16:6
    }

    bb4: {
        _0 = const ();                   // scope 0 at $DIR/loop_test.rs:11:9: 11:15
                                         // ty::Const
                                         // + ty: ()
                                         // + val: Value(Scalar(<ZST>))
                                         // mir::Constant
                                         // + span: $DIR/loop_test.rs:11:9: 11:15
                                         // + literal: Const { ty: (), val: Value(Scalar(<ZST>)) }
        StorageDead(_2);                 // scope 0 at $DIR/loop_test.rs:12:5: 12:6
        StorageDead(_1);                 // scope 0 at $DIR/loop_test.rs:12:5: 12:6
        return;                          // scope 0 at $DIR/loop_test.rs:17:2: 17:2
    }

    bb5: {
        falseUnwind -> [real: bb6, cleanup: bb1]; // scope 0 at $DIR/loop_test.rs:13:5: 16:6
    }

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