src/test/mir-opt/while_storage.while_loop.PreCodegen.after.mir

   1 // MIR for `while_loop` after PreCodegen
   2
   3 fn while_loop(_1: bool) -> () {
   4     debug c => _1;                       // in scope 0 at $DIR/while-storage.rs:9:15: 9:16
   5     let mut _0: ();                      // return place in scope 0 at $DIR/while-storage.rs:9:24: 9:24
   6     let mut _2: bool;                    // in scope 0 at $DIR/while-storage.rs:10:11: 10:22
   7     let mut _3: bool;                    // in scope 0 at $DIR/while-storage.rs:10:20: 10:21
   8     let mut _4: bool;                    // in scope 0 at $DIR/while-storage.rs:11:12: 11:23
   9     let mut _5: bool;                    // in scope 0 at $DIR/while-storage.rs:11:21: 11:22
  10
  11     bb0: {
  12         StorageLive(_2);                 // scope 0 at $DIR/while-storage.rs:10:11: 10:22
  13         StorageLive(_3);                 // scope 0 at $DIR/while-storage.rs:10:20: 10:21
  14         _3 = _1;                         // scope 0 at $DIR/while-storage.rs:10:20: 10:21
  15         _2 = get_bool(move _3) -> bb1;   // scope 0 at $DIR/while-storage.rs:10:11: 10:22
  16                                          // mir::Constant
  17                                          // + span: $DIR/while-storage.rs:10:11: 10:19
  18                                          // + literal: Const { ty: fn(bool) -> bool {get_bool}, val: Value(Scalar(<ZST>)) }
  19     }
  20
  21     bb1: {
  22         StorageDead(_3);                 // scope 0 at $DIR/while-storage.rs:10:21: 10:22
  23         switchInt(_2) -> [false: bb2, otherwise: bb3]; // scope 0 at $DIR/while-storage.rs:10:5: 14:6
  24     }
  25
  26     bb2: {
  27         goto -> bb7;                     // scope 0 at $DIR/while-storage.rs:10:5: 14:6
  28     }
  29
  30     bb3: {
  31         StorageLive(_4);                 // scope 0 at $DIR/while-storage.rs:11:12: 11:23
  32         StorageLive(_5);                 // scope 0 at $DIR/while-storage.rs:11:21: 11:22
  33         _5 = _1;                         // scope 0 at $DIR/while-storage.rs:11:21: 11:22
  34         _4 = get_bool(move _5) -> bb4;   // scope 0 at $DIR/while-storage.rs:11:12: 11:23
  35                                          // mir::Constant
  36                                          // + span: $DIR/while-storage.rs:11:12: 11:20
  37                                          // + literal: Const { ty: fn(bool) -> bool {get_bool}, val: Value(Scalar(<ZST>)) }
  38     }
  39
  40     bb4: {
  41         StorageDead(_5);                 // scope 0 at $DIR/while-storage.rs:11:22: 11:23
  42         switchInt(move _4) -> [false: bb6, otherwise: bb5]; // scope 0 at $DIR/while-storage.rs:11:9: 13:10
  43     }
  44
  45     bb5: {
  46         StorageDead(_4);                 // scope 0 at $DIR/while-storage.rs:13:9: 13:10
  47         goto -> bb7;                     // scope 0 at $DIR/while-storage.rs:1:1: 1:1
  48     }
  49
  50     bb6: {
  51         StorageDead(_4);                 // scope 0 at $DIR/while-storage.rs:13:9: 13:10
  52         StorageDead(_2);                 // scope 0 at $DIR/while-storage.rs:14:5: 14:6
  53         goto -> bb0;                     // scope 0 at $DIR/while-storage.rs:10:5: 14:6
  54     }
  55
  56     bb7: {
  57         StorageDead(_2);                 // scope 0 at $DIR/while-storage.rs:14:5: 14:6
  58         return;                          // scope 0 at $DIR/while-storage.rs:15:2: 15:2
  59     }
  60 }