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