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         _0 = const ();                   // scope 0 at $DIR/while-storage.rs:10:5: 14:6
  28         goto -> bb7;                     // scope 0 at $DIR/while-storage.rs:10:5: 14:6
  29     }
  30
  31     bb3: {
  32         StorageLive(_4);                 // scope 0 at $DIR/while-storage.rs:11:12: 11:23
  33         StorageLive(_5);                 // scope 0 at $DIR/while-storage.rs:11:21: 11:22
  34         _5 = _1;                         // scope 0 at $DIR/while-storage.rs:11:21: 11:22
  35         _4 = get_bool(move _5) -> bb4;   // scope 0 at $DIR/while-storage.rs:11:12: 11:23
  36                                          // mir::Constant
  37                                          // + span: $DIR/while-storage.rs:11:12: 11:20
  38                                          // + literal: Const { ty: fn(bool) -> bool {get_bool}, val: Value(Scalar(<ZST>)) }
  39     }
  40
  41     bb4: {
  42         StorageDead(_5);                 // scope 0 at $DIR/while-storage.rs:11:22: 11:23
  43         switchInt(_4) -> [false: bb5, otherwise: bb6]; // scope 0 at $DIR/while-storage.rs:11:9: 13:10
  44     }
  45
  46     bb5: {
  47         StorageDead(_4);                 // scope 0 at $DIR/while-storage.rs:14:5: 14:6
  48         StorageDead(_2);                 // scope 0 at $DIR/while-storage.rs:14:5: 14:6
  49         goto -> bb0;                     // scope 0 at $DIR/while-storage.rs:10:5: 14:6
  50     }
  51
  52     bb6: {
  53         _0 = const ();                   // scope 0 at $DIR/while-storage.rs:12:13: 12:18
  54         StorageDead(_4);                 // scope 0 at $DIR/while-storage.rs:14:5: 14:6
  55         goto -> bb7;                     // scope 0 at $DIR/while-storage.rs:12:13: 12:18
  56     }
  57
  58     bb7: {
  59         StorageDead(_2);                 // scope 0 at $DIR/while-storage.rs:14:5: 14:6
  60         return;                          // scope 0 at $DIR/while-storage.rs:15:2: 15:2
  61     }
  62 }