tests/mir-opt/lower_array_len.array_len_reborrow.NormalizeArrayLen.diff

   1 - // MIR for `array_len_reborrow` before NormalizeArrayLen
   2 + // MIR for `array_len_reborrow` after NormalizeArrayLen
   3
   4   fn array_len_reborrow(_1: [u8; N]) -> usize {
   5       debug arr => _1;                     // in scope 0 at $DIR/lower_array_len.rs:+0:43: +0:50
   6       let mut _0: usize;                   // return place in scope 0 at $DIR/lower_array_len.rs:+0:64: +0:69
   7       let _2: &mut [u8];                   // in scope 0 at $DIR/lower_array_len.rs:+1:9: +1:12
   8       let mut _3: &mut [u8; N];            // in scope 0 at $DIR/lower_array_len.rs:+1:25: +1:33
   9       let mut _4: &mut [u8; N];            // in scope 0 at $DIR/lower_array_len.rs:+1:25: +1:33
  10       let mut _6: &[u8];                   // in scope 0 at $DIR/lower_array_len.rs:+3:5: +3:14
  11       scope 1 {
  12           debug arr => _2;                 // in scope 1 at $DIR/lower_array_len.rs:+1:9: +1:12
  13           let _5: &[u8];                   // in scope 1 at $DIR/lower_array_len.rs:+2:9: +2:12
  14           scope 2 {
  15               debug arr => _5;             // in scope 2 at $DIR/lower_array_len.rs:+2:9: +2:12
  16           }
  17       }
  18
  19       bb0: {
  20           StorageLive(_2);                 // scope 0 at $DIR/lower_array_len.rs:+1:9: +1:12
  21           StorageLive(_3);                 // scope 0 at $DIR/lower_array_len.rs:+1:25: +1:33
  22           StorageLive(_4);                 // scope 0 at $DIR/lower_array_len.rs:+1:25: +1:33
  23           _4 = &mut _1;                    // scope 0 at $DIR/lower_array_len.rs:+1:25: +1:33
  24           _3 = &mut (*_4);                 // scope 0 at $DIR/lower_array_len.rs:+1:25: +1:33
  25           _2 = move _3 as &mut [u8] (Pointer(Unsize)); // scope 0 at $DIR/lower_array_len.rs:+1:25: +1:33
  26           StorageDead(_3);                 // scope 0 at $DIR/lower_array_len.rs:+1:32: +1:33
  27           StorageDead(_4);                 // scope 0 at $DIR/lower_array_len.rs:+1:33: +1:34
  28           StorageLive(_5);                 // scope 1 at $DIR/lower_array_len.rs:+2:9: +2:12
  29           _5 = &(*_2);                     // scope 1 at $DIR/lower_array_len.rs:+2:15: +2:20
  30           StorageLive(_6);                 // scope 2 at $DIR/lower_array_len.rs:+3:5: +3:14
  31           _6 = &(*_5);                     // scope 2 at $DIR/lower_array_len.rs:+3:5: +3:14
  32 -         _0 = Len((*_6));                 // scope 2 at $DIR/lower_array_len.rs:+3:5: +3:14
  33 +         _0 = const N;                    // scope 2 at $DIR/lower_array_len.rs:+3:5: +3:14
  34           goto -> bb1;                     // scope 2 at $DIR/lower_array_len.rs:+3:5: +3:14
  35       }
  36
  37       bb1: {
  38           StorageDead(_6);                 // scope 2 at $DIR/lower_array_len.rs:+3:13: +3:14
  39           StorageDead(_5);                 // scope 1 at $DIR/lower_array_len.rs:+4:1: +4:2
  40           StorageDead(_2);                 // scope 0 at $DIR/lower_array_len.rs:+4:1: +4:2
  41           return;                          // scope 0 at $DIR/lower_array_len.rs:+4:2: +4:2
  42       }
  43   }
  44