src/test/mir-opt/inline/inline_diverging.h.Inline.diff

   1 - // MIR for `h` before Inline
   2 + // MIR for `h` after Inline
   3
   4   fn h() -> () {
   5       let mut _0: ();                      // return place in scope 0 at $DIR/inline_diverging.rs:+0:12: +0:12
   6       let _1: (!, !);                      // in scope 0 at $DIR/inline_diverging.rs:+1:5: +1:22
   7 +     let mut _2: fn() -> ! {sleep};       // in scope 0 at $DIR/inline_diverging.rs:+1:5: +1:22
   8 +     scope 1 (inlined call_twice::<!, fn() -> ! {sleep}>) { // at $DIR/inline_diverging.rs:22:5: 22:22
   9 +         debug f => _2;                   // in scope 1 at $DIR/inline_diverging.rs:26:36: 26:37
  10 +         let _3: !;                       // in scope 1 at $DIR/inline_diverging.rs:27:9: 27:10
  11 +         let mut _4: &fn() -> ! {sleep};  // in scope 1 at $DIR/inline_diverging.rs:27:13: 27:14
  12 +         let mut _5: ();                  // in scope 1 at $DIR/inline_diverging.rs:27:13: 27:16
  13 +         let mut _6: &fn() -> ! {sleep};  // in scope 1 at $DIR/inline_diverging.rs:28:13: 28:14
  14 +         let mut _7: ();                  // in scope 1 at $DIR/inline_diverging.rs:28:13: 28:16
  15 +         let mut _8: !;                   // in scope 1 at $DIR/inline_diverging.rs:29:6: 29:7
  16 +         let mut _9: !;                   // in scope 1 at $DIR/inline_diverging.rs:29:9: 29:10
  17 +         scope 2 {
  18 +             debug a => _3;               // in scope 2 at $DIR/inline_diverging.rs:27:9: 27:10
  19 +             scope 3 {
  20 +                 debug b => _9;           // in scope 3 at $DIR/inline_diverging.rs:28:9: 28:10
  21 +             }
  22 +         }
  23 +     }
  24
  25       bb0: {
  26           StorageLive(_1);                 // scope 0 at $DIR/inline_diverging.rs:+1:5: +1:22
  27 -         _1 = call_twice::<!, fn() -> ! {sleep}>(sleep); // scope 0 at $DIR/inline_diverging.rs:+1:5: +1:22
  28 +         StorageLive(_2);                 // scope 0 at $DIR/inline_diverging.rs:+1:5: +1:22
  29 +         _2 = sleep;                      // scope 0 at $DIR/inline_diverging.rs:+1:5: +1:22
  30                                            // mir::Constant
  31 -                                          // + span: $DIR/inline_diverging.rs:22:5: 22:15
  32 -                                          // + literal: Const { ty: fn(fn() -> ! {sleep}) -> (!, !) {call_twice::<!, fn() -> ! {sleep}>}, val: Value(<ZST>) }
  33 -                                          // mir::Constant
  34                                            // + span: $DIR/inline_diverging.rs:22:16: 22:21
  35                                            // + literal: Const { ty: fn() -> ! {sleep}, val: Value(<ZST>) }
  36 +         StorageLive(_9);                 // scope 0 at $DIR/inline_diverging.rs:+1:5: +1:22
  37 +         StorageLive(_3);                 // scope 1 at $DIR/inline_diverging.rs:27:9: 27:10
  38 +         StorageLive(_4);                 // scope 1 at $DIR/inline_diverging.rs:27:13: 27:14
  39 +         _4 = &_2;                        // scope 1 at $DIR/inline_diverging.rs:27:13: 27:14
  40 +         StorageLive(_5);                 // scope 1 at $DIR/inline_diverging.rs:27:13: 27:16
  41 +         _3 = <fn() -> ! {sleep} as Fn<()>>::call(move _4, move _5) -> [return: bb1, unwind: bb5]; // scope 1 at $DIR/inline_diverging.rs:27:13: 27:16
  42 +                                          // mir::Constant
  43 +                                          // + span: $DIR/inline_diverging.rs:27:13: 27:14
  44 +                                          // + literal: Const { ty: for<'a> extern "rust-call" fn(&'a fn() -> ! {sleep}, ()) -> <fn() -> ! {sleep} as FnOnce<()>>::Output {<fn() -> ! {sleep} as Fn<()>>::call}, val: Value(<ZST>) }
  45 +     }
  46 +
  47 +     bb1: {
  48 +         StorageDead(_5);                 // scope 1 at $DIR/inline_diverging.rs:27:15: 27:16
  49 +         StorageDead(_4);                 // scope 1 at $DIR/inline_diverging.rs:27:15: 27:16
  50 +         StorageLive(_6);                 // scope 2 at $DIR/inline_diverging.rs:28:13: 28:14
  51 +         _6 = &_2;                        // scope 2 at $DIR/inline_diverging.rs:28:13: 28:14
  52 +         StorageLive(_7);                 // scope 2 at $DIR/inline_diverging.rs:28:13: 28:16
  53 +         _9 = <fn() -> ! {sleep} as Fn<()>>::call(move _6, move _7) -> [return: bb2, unwind: bb4]; // scope 2 at $DIR/inline_diverging.rs:28:13: 28:16
  54 +                                          // mir::Constant
  55 +                                          // + span: $DIR/inline_diverging.rs:28:13: 28:14
  56 +                                          // + literal: Const { ty: for<'a> extern "rust-call" fn(&'a fn() -> ! {sleep}, ()) -> <fn() -> ! {sleep} as FnOnce<()>>::Output {<fn() -> ! {sleep} as Fn<()>>::call}, val: Value(<ZST>) }
  57 +     }
  58 +
  59 +     bb2: {
  60 +         StorageDead(_7);                 // scope 2 at $DIR/inline_diverging.rs:28:15: 28:16
  61 +         StorageDead(_6);                 // scope 2 at $DIR/inline_diverging.rs:28:15: 28:16
  62 +         StorageLive(_8);                 // scope 3 at $DIR/inline_diverging.rs:29:6: 29:7
  63 +         _8 = move _3;                    // scope 3 at $DIR/inline_diverging.rs:29:6: 29:7
  64 +         Deinit(_1);                      // scope 3 at $DIR/inline_diverging.rs:29:5: 29:11
  65 +         (_1.0: !) = move _8;             // scope 3 at $DIR/inline_diverging.rs:29:5: 29:11
  66 +         (_1.1: !) = move _9;             // scope 3 at $DIR/inline_diverging.rs:29:5: 29:11
  67 +         StorageDead(_8);                 // scope 3 at $DIR/inline_diverging.rs:29:10: 29:11
  68 +         StorageDead(_3);                 // scope 1 at $DIR/inline_diverging.rs:30:1: 30:2
  69 +         drop(_2) -> bb3;                 // scope 1 at $DIR/inline_diverging.rs:30:1: 30:2
  70 +     }
  71 +
  72 +     bb3: {
  73 +         unreachable;                     // scope 0 at $DIR/inline_diverging.rs:30:2: 30:2
  74 +     }
  75 +
  76 +     bb4 (cleanup): {
  77 +         drop(_3) -> bb5;                 // scope 1 at $DIR/inline_diverging.rs:30:1: 30:2
  78 +     }
  79 +
  80 +     bb5 (cleanup): {
  81 +         drop(_2) -> bb6;                 // scope 1 at $DIR/inline_diverging.rs:30:1: 30:2
  82 +     }
  83 +
  84 +     bb6 (cleanup): {
  85 +         resume;                          // scope 1 at $DIR/inline_diverging.rs:26:1: 30:2
  86       }
  87   }
  88