src/test/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:4:11: 4:11
   5     let _1: &[u8; 3];                    // in scope 0 at $DIR/byte_slice.rs:5:9: 5:10
   6     scope 1 {
   7         debug x => _1;                   // in scope 1 at $DIR/byte_slice.rs:5:9: 5:10
   8         let _2: [u8; 2];                 // in scope 1 at $DIR/byte_slice.rs:6:9: 6:10
   9         scope 2 {
  10             debug y => _2;               // in scope 2 at $DIR/byte_slice.rs:6:9: 6:10
  11         }
  12     }
  13
  14     bb0: {
  15         StorageLive(_1);                 // scope 0 at $DIR/byte_slice.rs:5:9: 5:10
  16         _1 = const b"foo";               // scope 0 at $DIR/byte_slice.rs:5:13: 5:19
  17                                          // ty::Const
  18                                          // + ty: &[u8; 3]
  19                                          // + val: Value(Scalar(alloc0))
  20                                          // mir::Constant
  21                                          // + span: $DIR/byte_slice.rs:5:13: 5:19
  22                                          // + literal: Const { ty: &[u8; 3], val: Value(Scalar(alloc0)) }
  23         StorageLive(_2);                 // scope 1 at $DIR/byte_slice.rs:6:9: 6:10
  24         _2 = [const 5_u8, const 120_u8]; // scope 1 at $DIR/byte_slice.rs:6:13: 6:24
  25         _0 = const ();                   // scope 0 at $DIR/byte_slice.rs:4:11: 7:2
  26         StorageDead(_2);                 // scope 1 at $DIR/byte_slice.rs:7:1: 7:2
  27         StorageDead(_1);                 // scope 0 at $DIR/byte_slice.rs:7:1: 7:2
  28         return;                          // scope 0 at $DIR/byte_slice.rs:7:2: 7:2
  29     }
  30 }
  31
  32 alloc0 (size: 3, align: 1) {
  33     66 6f 6f                                        │ foo
  34 }