| // MIR for `main` after SimplifyCfg-final |
| |
| fn main() -> () { |
| let mut _0: (); // return place in scope 0 at $DIR/tls-access.rs:6:11: 6:11 |
| let _2: *mut u8; // in scope 0 at $DIR/tls-access.rs:8:18: 8:21 |
| let mut _3: *mut u8; // in scope 0 at $DIR/tls-access.rs:9:9: 9:12 |
| scope 1 { |
| let _1: &u8; // in scope 1 at $DIR/tls-access.rs:8:13: 8:14 |
| scope 2 { |
| debug a => _1; // in scope 2 at $DIR/tls-access.rs:8:13: 8:14 |
| } |
| } |
| |
| bb0: { |
| StorageLive(_1); // scope 1 at $DIR/tls-access.rs:8:13: 8:14 |
| StorageLive(_2); // scope 1 at $DIR/tls-access.rs:8:18: 8:21 |
| _2 = &/*tls*/ mut FOO; // scope 1 at $DIR/tls-access.rs:8:18: 8:21 |
| _1 = &(*_2); // scope 1 at $DIR/tls-access.rs:8:17: 8:21 |
| StorageLive(_3); // scope 2 at $DIR/tls-access.rs:9:9: 9:12 |
| _3 = &/*tls*/ mut FOO; // scope 2 at $DIR/tls-access.rs:9:9: 9:12 |
| (*_3) = const 42_u8; // scope 2 at $DIR/tls-access.rs:9:9: 9:17 |
| // ty::Const |
| // + ty: u8 |
| // + val: Value(Scalar(0x2a)) |
| // mir::Constant |
| // + span: $DIR/tls-access.rs:9:15: 9:17 |
| // + literal: Const { ty: u8, val: Value(Scalar(0x2a)) } |
| StorageDead(_3); // scope 2 at $DIR/tls-access.rs:9:17: 9:18 |
| _0 = const (); // scope 1 at $DIR/tls-access.rs:7:5: 10:6 |
| // ty::Const |
| // + ty: () |
| // + val: Value(Scalar(<ZST>)) |
| // mir::Constant |
| // + span: $DIR/tls-access.rs:7:5: 10:6 |
| // + literal: Const { ty: (), val: Value(Scalar(<ZST>)) } |
| StorageDead(_2); // scope 1 at $DIR/tls-access.rs:10:5: 10:6 |
| StorageDead(_1); // scope 1 at $DIR/tls-access.rs:10:5: 10:6 |
| return; // scope 0 at $DIR/tls-access.rs:11:2: 11:2 |
| } |
| } |