src/test/mir-opt/inline/exponential_runtime.main.Inline.diff

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