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: bb6, otherwise: bb2]; // scope 0 at $DIR/while-storage.rs:10:5: 14:6
  24     }
  25
  26     bb2: {
  27         StorageLive(_4);                 // scope 0 at $DIR/while-storage.rs:11:12: 11:23
  28         StorageLive(_5);                 // scope 0 at $DIR/while-storage.rs:11:21: 11:22
  29         _5 = _1;                         // scope 0 at $DIR/while-storage.rs:11:21: 11:22
  30         _4 = get_bool(move _5) -> bb3;   // scope 0 at $DIR/while-storage.rs:11:12: 11:23
  31                                          // mir::Constant
  32                                          // + span: $DIR/while-storage.rs:11:12: 11:20
  33                                          // + literal: Const { ty: fn(bool) -> bool {get_bool}, val: Value(Scalar(<ZST>)) }
  34     }
  35
  36     bb3: {
  37         StorageDead(_5);                 // scope 0 at $DIR/while-storage.rs:11:22: 11:23
  38         switchInt(move _4) -> [false: bb5, otherwise: bb4]; // scope 0 at $DIR/while-storage.rs:11:9: 13:10
  39     }
  40
  41     bb4: {
  42         StorageDead(_4);                 // scope 0 at $DIR/while-storage.rs:13:9: 13:10
  43         goto -> bb6;                     // scope 0 at no-location
  44     }
  45
  46     bb5: {
  47         StorageDead(_4);                 // scope 0 at $DIR/while-storage.rs:13:9: 13:10
  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         StorageDead(_2);                 // scope 0 at $DIR/while-storage.rs:14:5: 14:6
  54         return;                          // scope 0 at $DIR/while-storage.rs:15:2: 15:2
  55     }
  56 }