tests/mir-opt/byte_slice.main.SimplifyCfg-elaborate-drops.after.mir

   1 // MIR for `main` after SimplifyCfg-elaborate-drops
   2
   3 fn main() -> () {
   4     let mut _0: ();                      // return place in scope 0 at $DIR/byte_slice.rs:+0:11: +0:11
   5     let _1: &[u8; 3];                    // in scope 0 at $DIR/byte_slice.rs:+1:9: +1:10
   6     scope 1 {
   7         debug x => _1;                   // in scope 1 at $DIR/byte_slice.rs:+1:9: +1:10
   8         let _2: [u8; 2];                 // in scope 1 at $DIR/byte_slice.rs:+2:9: +2:10
   9         scope 2 {
  10             debug y => _2;               // in scope 2 at $DIR/byte_slice.rs:+2:9: +2:10
  11         }
  12     }
  13
  14     bb0: {
  15         StorageLive(_1);                 // scope 0 at $DIR/byte_slice.rs:+1:9: +1:10
  16         _1 = const b"foo";               // scope 0 at $DIR/byte_slice.rs:+1:13: +1:19
  17                                          // mir::Constant
  18                                          // + span: $DIR/byte_slice.rs:5:13: 5:19
  19                                          // + literal: Const { ty: &[u8; 3], val: Value(Scalar(alloc1)) }
  20         StorageLive(_2);                 // scope 1 at $DIR/byte_slice.rs:+2:9: +2:10
  21         _2 = [const 5_u8, const 120_u8]; // scope 1 at $DIR/byte_slice.rs:+2:13: +2:24
  22         _0 = const ();                   // scope 0 at $DIR/byte_slice.rs:+0:11: +3:2
  23         StorageDead(_2);                 // scope 1 at $DIR/byte_slice.rs:+3:1: +3:2
  24         StorageDead(_1);                 // scope 0 at $DIR/byte_slice.rs:+3:1: +3:2
  25         return;                          // scope 0 at $DIR/byte_slice.rs:+3:2: +3:2
  26     }
  27 }
  28
  29 alloc1 (size: 3, align: 1) {
  30     66 6f 6f                                        │ foo
  31 }