[rustc.git] / src / test / mir-opt / const_promotion_extern_static.FOO-promoted[0].SimplifyCfg-elaborate-drops.after.mir

// MIR for `FOO::promoted[0]` after SimplifyCfg-elaborate-drops

promoted[0] in FOO: &[&i32; 1] = {
    let mut _0: &[&i32; 1];              // return place in scope 0 at $DIR/const-promotion-extern-static.rs:13:31: 13:46
    let mut _1: [&i32; 1];               // in scope 0 at $DIR/const-promotion-extern-static.rs:13:31: 13:46
    let mut _2: &i32;                    // in scope 0 at $DIR/const-promotion-extern-static.rs:13:32: 13:45
    let mut _3: *const i32;              // in scope 0 at $DIR/const-promotion-extern-static.rs:13:42: 13:43

    bb0: {
        _3 = const {alloc3: *const i32}; // scope 0 at $DIR/const-promotion-extern-static.rs:13:42: 13:43
                                         // ty::Const
                                         // + ty: *const i32
                                         // + val: Value(Scalar(alloc3))
                                         // mir::Constant
                                         // + span: $DIR/const-promotion-extern-static.rs:13:42: 13:43
                                         // + literal: Const { ty: *const i32, val: Value(Scalar(alloc3)) }
        _2 = &(*_3);                     // scope 0 at $DIR/const-promotion-extern-static.rs:13:41: 13:43
        _1 = [move _2];                  // scope 0 at $DIR/const-promotion-extern-static.rs:13:31: 13:46
        _0 = &_1;                        // scope 0 at $DIR/const-promotion-extern-static.rs:13:31: 13:46
        return;                          // scope 0 at $DIR/const-promotion-extern-static.rs:13:31: 13:46
    }
}

alloc3 (extern static: X)
Commit	Line	Data
5869c6ff	1	// MIR for `FOO::promoted[0]` after SimplifyCfg-elaborate-drops
ba9703b0 XL	2
	3	promoted[0] in FOO: &[&i32; 1] = {
	4	let mut _0: &[&i32; 1]; // return place in scope 0 at $DIR/const-promotion-extern-static.rs:13:31: 13:46
	5	let mut _1: [&i32; 1]; // in scope 0 at $DIR/const-promotion-extern-static.rs:13:31: 13:46
	6	let mut _2: &i32; // in scope 0 at $DIR/const-promotion-extern-static.rs:13:32: 13:45
29967ef6	7	let mut _3: *const i32; // in scope 0 at $DIR/const-promotion-extern-static.rs:13:42: 13:43
ba9703b0 XL	8
ba9703b0 XL	9	bb0: {
136023e0	10	_3 = const {alloc3: *const i32}; // scope 0 at $DIR/const-promotion-extern-static.rs:13:42: 13:43
ba9703b0	11	// ty::Const
29967ef6	12	// + ty: *const i32
136023e0	13	// + val: Value(Scalar(alloc3))
ba9703b0 XL	14	// mir::Constant
ba9703b0 XL	15	// + span: $DIR/const-promotion-extern-static.rs:13:42: 13:43
136023e0	16	// + literal: Const { ty: *const i32, val: Value(Scalar(alloc3)) }
29967ef6	17	_2 = &(*_3); // scope 0 at $DIR/const-promotion-extern-static.rs:13:41: 13:43
f9f354fc XL	18	_1 = [move _2]; // scope 0 at $DIR/const-promotion-extern-static.rs:13:31: 13:46
	19	_0 = &_1; // scope 0 at $DIR/const-promotion-extern-static.rs:13:31: 13:46
	20	return; // scope 0 at $DIR/const-promotion-extern-static.rs:13:31: 13:46
ba9703b0 XL	21	}
	22	}
	23
136023e0	24	alloc3 (extern static: X)