projects / rustc.git / blame
| Commit | Line | Data |
|---|---|---|
| 9ffffee4 FG |
1 | - // MIR for `array_len_raw` before NormalizeArrayLen |
| 2 | + // MIR for `array_len_raw` after NormalizeArrayLen | |
| 3 | ||
| 4 | fn array_len_raw(_1: [u8; N]) -> usize { | |
| 5 | debug arr => _1; // in scope 0 at $DIR/lower_array_len.rs:+0:38: +0:41 | |
| 6 | let mut _0: usize; // return place in scope 0 at $DIR/lower_array_len.rs:+0:55: +0:60 | |
| 7 | let _2: &[u8]; // in scope 0 at $DIR/lower_array_len.rs:+1:9: +1:12 | |
| 8 | let mut _3: &[u8; N]; // in scope 0 at $DIR/lower_array_len.rs:+1:21: +1:25 | |
| 9 | let _4: &[u8; N]; // in scope 0 at $DIR/lower_array_len.rs:+1:21: +1:25 | |
| 10 | let mut _6: &[u8]; // in scope 0 at $DIR/lower_array_len.rs:+3:5: +3:27 | |
| 11 | let _7: &[u8]; // in scope 0 at $DIR/lower_array_len.rs:+3:14: +3:19 | |
| 12 | scope 1 { | |
| 13 | debug arr => _2; // in scope 1 at $DIR/lower_array_len.rs:+1:9: +1:12 | |
| 14 | let _5: *const [u8]; // in scope 1 at $DIR/lower_array_len.rs:+2:9: +2:12 | |
| 15 | scope 2 { | |
| 16 | debug arr => _5; // in scope 2 at $DIR/lower_array_len.rs:+2:9: +2:12 | |
| 17 | scope 3 { | |
| 18 | } | |
| 19 | } | |
| 20 | } | |
| 21 | ||
| 22 | bb0: { | |
| 23 | StorageLive(_2); // scope 0 at $DIR/lower_array_len.rs:+1:9: +1:12 | |
| 24 | StorageLive(_3); // scope 0 at $DIR/lower_array_len.rs:+1:21: +1:25 | |
| 25 | StorageLive(_4); // scope 0 at $DIR/lower_array_len.rs:+1:21: +1:25 | |
| 26 | _4 = &_1; // scope 0 at $DIR/lower_array_len.rs:+1:21: +1:25 | |
| 27 | _3 = &(*_4); // scope 0 at $DIR/lower_array_len.rs:+1:21: +1:25 | |
| 28 | _2 = move _3 as &[u8] (Pointer(Unsize)); // scope 0 at $DIR/lower_array_len.rs:+1:21: +1:25 | |
| 29 | StorageDead(_3); // scope 0 at $DIR/lower_array_len.rs:+1:24: +1:25 | |
| 30 | StorageDead(_4); // scope 0 at $DIR/lower_array_len.rs:+1:25: +1:26 | |
| 31 | StorageLive(_5); // scope 1 at $DIR/lower_array_len.rs:+2:9: +2:12 | |
| 32 | _5 = &raw const (*_2); // scope 1 at $SRC_DIR/core/src/ptr/mod.rs:LL:COL | |
| 33 | StorageLive(_6); // scope 2 at $DIR/lower_array_len.rs:+3:5: +3:27 | |
| 34 | StorageLive(_7); // scope 2 at $DIR/lower_array_len.rs:+3:14: +3:19 | |
| 35 | _7 = &(*_5); // scope 3 at $DIR/lower_array_len.rs:+3:14: +3:19 | |
| 36 | _6 = &(*_7); // scope 2 at $DIR/lower_array_len.rs:+3:5: +3:27 | |
| 37 | - _0 = Len((*_6)); // scope 2 at $DIR/lower_array_len.rs:+3:5: +3:27 | |
| 38 | + _0 = const N; // scope 2 at $DIR/lower_array_len.rs:+3:5: +3:27 | |
| 39 | goto -> bb1; // scope 2 at $DIR/lower_array_len.rs:+3:5: +3:27 | |
| 40 | } | |
| 41 | ||
| 42 | bb1: { | |
| 43 | StorageDead(_6); // scope 2 at $DIR/lower_array_len.rs:+3:26: +3:27 | |
| 44 | StorageDead(_5); // scope 1 at $DIR/lower_array_len.rs:+4:1: +4:2 | |
| 45 | StorageDead(_2); // scope 0 at $DIR/lower_array_len.rs:+4:1: +4:2 | |
| 46 | StorageDead(_7); // scope 0 at $DIR/lower_array_len.rs:+4:1: +4:2 | |
| 47 | return; // scope 0 at $DIR/lower_array_len.rs:+4:2: +4:2 | |
| 48 | } | |
| 49 | } | |
| 50 |