tests/mir-opt/inline/inline_options.main.Inline.after.mir

   1 // MIR for `main` after Inline
   2
   3 fn main() -> () {
   4     let mut _0: ();                      // return place in scope 0 at $DIR/inline_options.rs:+0:11: +0:11
   5     let _1: ();                          // in scope 0 at $DIR/inline_options.rs:+1:5: +1:18
   6     let _2: ();                          // in scope 0 at $DIR/inline_options.rs:+2:5: +2:21
   7     scope 1 (inlined inlined::<u32>) {   // at $DIR/inline_options.rs:10:5: 10:21
   8         let _3: ();                      // in scope 1 at $DIR/inline_options.rs:16:23: 16:26
   9         let _4: ();                      // in scope 1 at $DIR/inline_options.rs:16:28: 16:31
  10         let _5: ();                      // in scope 1 at $DIR/inline_options.rs:16:33: 16:36
  11     }
  12
  13     bb0: {
  14         StorageLive(_1);                 // scope 0 at $DIR/inline_options.rs:+1:5: +1:18
  15         _1 = not_inlined() -> bb1;       // scope 0 at $DIR/inline_options.rs:+1:5: +1:18
  16                                          // mir::Constant
  17                                          // + span: $DIR/inline_options.rs:9:5: 9:16
  18                                          // + literal: Const { ty: fn() {not_inlined}, val: Value(<ZST>) }
  19     }
  20
  21     bb1: {
  22         StorageDead(_1);                 // scope 0 at $DIR/inline_options.rs:+1:18: +1:19
  23         StorageLive(_2);                 // scope 0 at $DIR/inline_options.rs:+2:5: +2:21
  24         StorageLive(_3);                 // scope 1 at $DIR/inline_options.rs:16:23: 16:26
  25         _3 = g() -> bb2;                 // scope 1 at $DIR/inline_options.rs:16:23: 16:26
  26                                          // mir::Constant
  27                                          // + span: $DIR/inline_options.rs:16:23: 16:24
  28                                          // + literal: Const { ty: fn() {g}, val: Value(<ZST>) }
  29     }
  30
  31     bb2: {
  32         StorageDead(_3);                 // scope 1 at $DIR/inline_options.rs:16:26: 16:27
  33         StorageLive(_4);                 // scope 1 at $DIR/inline_options.rs:16:28: 16:31
  34         _4 = g() -> bb3;                 // scope 1 at $DIR/inline_options.rs:16:28: 16:31
  35                                          // mir::Constant
  36                                          // + span: $DIR/inline_options.rs:16:28: 16:29
  37                                          // + literal: Const { ty: fn() {g}, val: Value(<ZST>) }
  38     }
  39
  40     bb3: {
  41         StorageDead(_4);                 // scope 1 at $DIR/inline_options.rs:16:31: 16:32
  42         StorageLive(_5);                 // scope 1 at $DIR/inline_options.rs:16:33: 16:36
  43         _5 = g() -> bb4;                 // scope 1 at $DIR/inline_options.rs:16:33: 16:36
  44                                          // mir::Constant
  45                                          // + span: $DIR/inline_options.rs:16:33: 16:34
  46                                          // + literal: Const { ty: fn() {g}, val: Value(<ZST>) }
  47     }
  48
  49     bb4: {
  50         StorageDead(_5);                 // scope 1 at $DIR/inline_options.rs:16:36: 16:37
  51         StorageDead(_2);                 // scope 0 at $DIR/inline_options.rs:+2:21: +2:22
  52         _0 = const ();                   // scope 0 at $DIR/inline_options.rs:+0:11: +3:2
  53         return;                          // scope 0 at $DIR/inline_options.rs:+3:2: +3:2
  54     }
  55 }