src/test/mir-opt/lower_intrinsics.f_unit.PreCodegen.before.mir

   1 // MIR for `f_unit` before PreCodegen
   2
   3 fn f_unit() -> () {
   4     let mut _0: ();                      // return place in scope 0 at $DIR/lower_intrinsics.rs:33:17: 33:17
   5     let mut _1: ();                      // in scope 0 at $DIR/lower_intrinsics.rs:34:16: 34:18
   6     scope 1 (inlined f_dispatch::<()>) { // at $DIR/lower_intrinsics.rs:34:5: 34:19
   7         debug t => _1;                   // in scope 1 at $DIR/lower_intrinsics.rs:44:22: 44:23
   8         let _2: ();                      // in scope 1 at $DIR/lower_intrinsics.rs:46:9: 46:17
   9         let mut _3: ();                  // in scope 1 at $DIR/lower_intrinsics.rs:46:15: 46:16
  10         scope 2 (inlined std::mem::size_of::<()>) { // at $DIR/lower_intrinsics.rs:45:8: 45:32
  11         }
  12     }
  13
  14     bb0: {
  15         StorageLive(_1);                 // scope 0 at $DIR/lower_intrinsics.rs:34:16: 34:18
  16         StorageLive(_2);                 // scope 1 at $DIR/lower_intrinsics.rs:46:9: 46:17
  17         StorageLive(_3);                 // scope 1 at $DIR/lower_intrinsics.rs:46:15: 46:16
  18         _2 = f_zst::<()>(move _3) -> bb1; // scope 1 at $DIR/lower_intrinsics.rs:46:9: 46:17
  19                                          // mir::Constant
  20                                          // + span: $DIR/lower_intrinsics.rs:46:9: 46:14
  21                                          // + literal: Const { ty: fn(()) {f_zst::<()>}, val: Value(<ZST>) }
  22     }
  23
  24     bb1: {
  25         StorageDead(_3);                 // scope 1 at $DIR/lower_intrinsics.rs:46:16: 46:17
  26         StorageDead(_2);                 // scope 1 at $DIR/lower_intrinsics.rs:46:17: 46:18
  27         StorageDead(_1);                 // scope 0 at $DIR/lower_intrinsics.rs:34:18: 34:19
  28         return;                          // scope 0 at $DIR/lower_intrinsics.rs:35:2: 35:2
  29     }
  30 }