src/test/mir-opt/simplify_cfg.rs

   1 // Test that the goto chain starting from bb0 is collapsed.
   2
   3 fn main() {
   4     loop {
   5         if bar() {
   6             break;
   7         }
   8     }
   9 }
  10
  11 #[inline(never)]
  12 fn bar() -> bool {
  13     true
  14 }
  15
  16 // END RUST SOURCE
  17 // START rustc.main.SimplifyCfg-initial.before.mir
  18 //     bb0: {
  19 //         goto -> bb1;
  20 //     }
  21 //     bb1: {
  22 //         falseUnwind -> [real: bb3, cleanup: bb4];
  23 //     }
  24 //     ...
  25 //     bb11: {
  26 //         ...
  27 //         goto -> bb1;
  28 //     }
  29 // END rustc.main.SimplifyCfg-initial.before.mir
  30 // START rustc.main.SimplifyCfg-initial.after.mir
  31 //     bb0: {
  32 //         falseUnwind -> [real: bb1, cleanup: bb2];
  33 //     }
  34 //     ...
  35 //     bb5: {
  36 //         ...
  37 //         goto -> bb0;
  38 //     }
  39 // END rustc.main.SimplifyCfg-initial.after.mir
  40 // START rustc.main.SimplifyCfg-early-opt.before.mir
  41 //     bb0: {
  42 //         goto -> bb1;
  43 //     }
  44 //     bb1: {
  45 //         StorageLive(_2);
  46 //         _2 = const bar() -> bb3;
  47 //     }
  48 // END rustc.main.SimplifyCfg-early-opt.before.mir
  49 // START rustc.main.SimplifyCfg-early-opt.after.mir
  50 //     bb0: {
  51 //         StorageLive(_2);
  52 //         _2 = const bar() -> bb1;
  53 //     }
  54 // END rustc.main.SimplifyCfg-early-opt.after.mir