tests/mir-opt/retag.main.SimplifyCfg-elaborate-drops.after.mir

   1 // MIR for `main` after SimplifyCfg-elaborate-drops
   2
   3 fn main() -> () {
   4     let mut _0: ();                      // return place in scope 0 at $DIR/retag.rs:+0:11: +0:11
   5     let mut _1: i32;                     // in scope 0 at $DIR/retag.rs:+1:9: +1:14
   6     let _2: ();                          // in scope 0 at $DIR/retag.rs:+2:5: +8:6
   7     let mut _4: &Test;                   // in scope 0 at $DIR/retag.rs:+3:17: +3:36
   8     let _5: Test;                        // in scope 0 at $DIR/retag.rs:+3:17: +3:24
   9     let mut _6: &mut i32;                // in scope 0 at $DIR/retag.rs:+3:29: +3:35
  10     let mut _7: &mut i32;                // in scope 0 at $DIR/retag.rs:+3:29: +3:35
  11     let mut _9: &mut i32;                // in scope 0 at $DIR/retag.rs:+4:19: +4:20
  12     let mut _12: *mut i32;               // in scope 0 at $DIR/retag.rs:+7:18: +7:29
  13     let mut _14: [closure@main::{closure#0}]; // in scope 0 at $DIR/retag.rs:+11:31: +14:6
  14     let mut _16: for<'a> fn(&'a i32) -> &'a i32; // in scope 0 at $DIR/retag.rs:+15:14: +15:15
  15     let mut _17: &i32;                   // in scope 0 at $DIR/retag.rs:+15:16: +15:18
  16     let _18: &i32;                       // in scope 0 at $DIR/retag.rs:+15:16: +15:18
  17     let _19: &i32;                       // in scope 0 at $DIR/retag.rs:+18:5: +18:24
  18     let mut _20: &Test;                  // in scope 0 at $DIR/retag.rs:+18:5: +18:24
  19     let _21: Test;                       // in scope 0 at $DIR/retag.rs:+18:5: +18:12
  20     let mut _22: &i32;                   // in scope 0 at $DIR/retag.rs:+18:21: +18:23
  21     let _23: &i32;                       // in scope 0 at $DIR/retag.rs:+18:21: +18:23
  22     let _24: i32;                        // in scope 0 at $DIR/retag.rs:+18:22: +18:23
  23     let mut _26: *const i32;             // in scope 0 at $DIR/retag.rs:+21:14: +21:28
  24     let _27: ();                         // in scope 0 at $DIR/retag.rs:+23:5: +23:18
  25     scope 1 {
  26         debug x => _1;                   // in scope 1 at $DIR/retag.rs:+1:9: +1:14
  27         let _3: &mut i32;                // in scope 1 at $DIR/retag.rs:+3:13: +3:14
  28         let _13: for<'a> fn(&'a i32) -> &'a i32; // in scope 1 at $DIR/retag.rs:+11:9: +11:10
  29         scope 2 {
  30             debug v => _3;               // in scope 2 at $DIR/retag.rs:+3:13: +3:14
  31             let _8: &mut i32;            // in scope 2 at $DIR/retag.rs:+4:13: +4:14
  32             scope 3 {
  33                 debug w => _8;           // in scope 3 at $DIR/retag.rs:+4:13: +4:14
  34                 let _10: &mut i32;       // in scope 3 at $DIR/retag.rs:+5:13: +5:14
  35                 scope 4 {
  36                     debug w => _10;      // in scope 4 at $DIR/retag.rs:+5:13: +5:14
  37                     let _11: *mut i32;   // in scope 4 at $DIR/retag.rs:+7:13: +7:15
  38                     scope 5 {
  39                         debug _w => _11; // in scope 5 at $DIR/retag.rs:+7:13: +7:15
  40                     }
  41                 }
  42             }
  43         }
  44         scope 6 {
  45             debug c => _13;              // in scope 6 at $DIR/retag.rs:+11:9: +11:10
  46             let _15: &i32;               // in scope 6 at $DIR/retag.rs:+15:9: +15:11
  47             scope 7 {
  48                 debug _w => _15;         // in scope 7 at $DIR/retag.rs:+15:9: +15:11
  49                 let _25: *const i32;     // in scope 7 at $DIR/retag.rs:+21:9: +21:11
  50                 let mut _28: &i32;       // in scope 7 at $DIR/retag.rs:+18:21: +18:23
  51                 scope 8 {
  52                     debug _w => _25;     // in scope 8 at $DIR/retag.rs:+21:9: +21:11
  53                 }
  54             }
  55         }
  56     }
  57
  58     bb0: {
  59         StorageLive(_1);                 // scope 0 at $DIR/retag.rs:+1:9: +1:14
  60         _1 = const 0_i32;                // scope 0 at $DIR/retag.rs:+1:17: +1:18
  61         StorageLive(_2);                 // scope 1 at $DIR/retag.rs:+2:5: +8:6
  62         StorageLive(_3);                 // scope 1 at $DIR/retag.rs:+3:13: +3:14
  63         StorageLive(_4);                 // scope 1 at $DIR/retag.rs:+3:17: +3:36
  64         StorageLive(_5);                 // scope 1 at $DIR/retag.rs:+3:17: +3:24
  65         Deinit(_5);                      // scope 1 at $DIR/retag.rs:+3:17: +3:24
  66         (_5.0: i32) = const 0_i32;       // scope 1 at $DIR/retag.rs:+3:17: +3:24
  67         _4 = &_5;                        // scope 1 at $DIR/retag.rs:+3:17: +3:36
  68         StorageLive(_6);                 // scope 1 at $DIR/retag.rs:+3:29: +3:35
  69         StorageLive(_7);                 // scope 1 at $DIR/retag.rs:+3:29: +3:35
  70         _7 = &mut _1;                    // scope 1 at $DIR/retag.rs:+3:29: +3:35
  71         _6 = &mut (*_7);                 // scope 1 at $DIR/retag.rs:+3:29: +3:35
  72         _3 = Test::foo(move _4, move _6) -> [return: bb1, unwind: bb8]; // scope 1 at $DIR/retag.rs:+3:17: +3:36
  73                                          // mir::Constant
  74                                          // + span: $DIR/retag.rs:33:25: 33:28
  75                                          // + literal: Const { ty: for<'a, 'x> fn(&'a Test, &'x mut i32) -> &'x mut i32 {Test::foo}, val: Value(<ZST>) }
  76     }
  77
  78     bb1: {
  79         Retag(_3);                       // scope 1 at $DIR/retag.rs:+3:17: +3:36
  80         StorageDead(_6);                 // scope 1 at $DIR/retag.rs:+3:35: +3:36
  81         StorageDead(_4);                 // scope 1 at $DIR/retag.rs:+3:35: +3:36
  82         StorageDead(_7);                 // scope 1 at $DIR/retag.rs:+3:36: +3:37
  83         drop(_5) -> [return: bb2, unwind: bb9]; // scope 1 at $DIR/retag.rs:+3:36: +3:37
  84     }
  85
  86     bb2: {
  87         StorageDead(_5);                 // scope 1 at $DIR/retag.rs:+3:36: +3:37
  88         StorageLive(_8);                 // scope 2 at $DIR/retag.rs:+4:13: +4:14
  89         StorageLive(_9);                 // scope 2 at $DIR/retag.rs:+4:19: +4:20
  90         _9 = move _3;                    // scope 2 at $DIR/retag.rs:+4:19: +4:20
  91         Retag(_9);                       // scope 2 at $DIR/retag.rs:+4:19: +4:20
  92         _8 = &mut (*_9);                 // scope 2 at $DIR/retag.rs:+4:19: +4:20
  93         StorageDead(_9);                 // scope 2 at $DIR/retag.rs:+4:22: +4:23
  94         StorageLive(_10);                // scope 3 at $DIR/retag.rs:+5:13: +5:14
  95         _10 = move _8;                   // scope 3 at $DIR/retag.rs:+5:17: +5:18
  96         Retag(_10);                      // scope 3 at $DIR/retag.rs:+5:17: +5:18
  97         StorageLive(_11);                // scope 4 at $DIR/retag.rs:+7:13: +7:15
  98         StorageLive(_12);                // scope 4 at $DIR/retag.rs:+7:18: +7:29
  99         _12 = &raw mut (*_10);           // scope 4 at $DIR/retag.rs:+7:18: +7:19
 100         _11 = _12;                       // scope 4 at $DIR/retag.rs:+7:18: +7:29
 101         StorageDead(_12);                // scope 4 at $DIR/retag.rs:+7:29: +7:30
 102         _2 = const ();                   // scope 1 at $DIR/retag.rs:+2:5: +8:6
 103         StorageDead(_11);                // scope 4 at $DIR/retag.rs:+8:5: +8:6
 104         StorageDead(_10);                // scope 3 at $DIR/retag.rs:+8:5: +8:6
 105         StorageDead(_8);                 // scope 2 at $DIR/retag.rs:+8:5: +8:6
 106         StorageDead(_3);                 // scope 1 at $DIR/retag.rs:+8:5: +8:6
 107         StorageDead(_2);                 // scope 1 at $DIR/retag.rs:+8:5: +8:6
 108         StorageLive(_13);                // scope 1 at $DIR/retag.rs:+11:9: +11:10
 109         StorageLive(_14);                // scope 1 at $DIR/retag.rs:+11:31: +14:6
 110         Deinit(_14);                     // scope 1 at $DIR/retag.rs:+11:31: +14:6
 111         Retag(_14);                      // scope 1 at $DIR/retag.rs:+11:31: +14:6
 112         _13 = move _14 as for<'a> fn(&'a i32) -> &'a i32 (Pointer(ClosureFnPointer(Normal))); // scope 1 at $DIR/retag.rs:+11:31: +14:6
 113         StorageDead(_14);                // scope 1 at $DIR/retag.rs:+11:47: +11:48
 114         StorageLive(_15);                // scope 6 at $DIR/retag.rs:+15:9: +15:11
 115         StorageLive(_16);                // scope 6 at $DIR/retag.rs:+15:14: +15:15
 116         _16 = _13;                       // scope 6 at $DIR/retag.rs:+15:14: +15:15
 117         StorageLive(_17);                // scope 6 at $DIR/retag.rs:+15:16: +15:18
 118         StorageLive(_18);                // scope 6 at $DIR/retag.rs:+15:16: +15:18
 119         _18 = &_1;                       // scope 6 at $DIR/retag.rs:+15:16: +15:18
 120         _17 = &(*_18);                   // scope 6 at $DIR/retag.rs:+15:16: +15:18
 121         _15 = move _16(move _17) -> bb3; // scope 6 at $DIR/retag.rs:+15:14: +15:19
 122     }
 123
 124     bb3: {
 125         Retag(_15);                      // scope 6 at $DIR/retag.rs:+15:14: +15:19
 126         StorageDead(_17);                // scope 6 at $DIR/retag.rs:+15:18: +15:19
 127         StorageDead(_16);                // scope 6 at $DIR/retag.rs:+15:18: +15:19
 128         StorageDead(_18);                // scope 6 at $DIR/retag.rs:+15:19: +15:20
 129         StorageLive(_19);                // scope 7 at $DIR/retag.rs:+18:5: +18:24
 130         StorageLive(_20);                // scope 7 at $DIR/retag.rs:+18:5: +18:24
 131         StorageLive(_21);                // scope 7 at $DIR/retag.rs:+18:5: +18:12
 132         Deinit(_21);                     // scope 7 at $DIR/retag.rs:+18:5: +18:12
 133         (_21.0: i32) = const 0_i32;      // scope 7 at $DIR/retag.rs:+18:5: +18:12
 134         _20 = &_21;                      // scope 7 at $DIR/retag.rs:+18:5: +18:24
 135         StorageLive(_22);                // scope 7 at $DIR/retag.rs:+18:21: +18:23
 136         StorageLive(_23);                // scope 7 at $DIR/retag.rs:+18:21: +18:23
 137         _28 = const _;                   // scope 7 at $DIR/retag.rs:+18:21: +18:23
 138                                          // mir::Constant
 139                                          // + span: $DIR/retag.rs:48:21: 48:23
 140                                          // + literal: Const { ty: &i32, val: Unevaluated(main, [], Some(promoted[0])) }
 141         Retag(_28);                      // scope 7 at $DIR/retag.rs:+18:21: +18:23
 142         _23 = &(*_28);                   // scope 7 at $DIR/retag.rs:+18:21: +18:23
 143         _22 = &(*_23);                   // scope 7 at $DIR/retag.rs:+18:21: +18:23
 144         _19 = Test::foo_shr(move _20, move _22) -> [return: bb4, unwind: bb7]; // scope 7 at $DIR/retag.rs:+18:5: +18:24
 145                                          // mir::Constant
 146                                          // + span: $DIR/retag.rs:48:13: 48:20
 147                                          // + literal: Const { ty: for<'a, 'x> fn(&'a Test, &'x i32) -> &'x i32 {Test::foo_shr}, val: Value(<ZST>) }
 148     }
 149
 150     bb4: {
 151         Retag(_19);                      // scope 7 at $DIR/retag.rs:+18:5: +18:24
 152         StorageDead(_22);                // scope 7 at $DIR/retag.rs:+18:23: +18:24
 153         StorageDead(_20);                // scope 7 at $DIR/retag.rs:+18:23: +18:24
 154         StorageDead(_23);                // scope 7 at $DIR/retag.rs:+18:24: +18:25
 155         drop(_21) -> [return: bb5, unwind: bb9]; // scope 7 at $DIR/retag.rs:+18:24: +18:25
 156     }
 157
 158     bb5: {
 159         StorageDead(_21);                // scope 7 at $DIR/retag.rs:+18:24: +18:25
 160         StorageDead(_19);                // scope 7 at $DIR/retag.rs:+18:24: +18:25
 161         StorageLive(_25);                // scope 7 at $DIR/retag.rs:+21:9: +21:11
 162         StorageLive(_26);                // scope 7 at $DIR/retag.rs:+21:14: +21:28
 163         _26 = &raw const (*_15);         // scope 7 at $DIR/retag.rs:+21:14: +21:16
 164         _25 = _26;                       // scope 7 at $DIR/retag.rs:+21:14: +21:28
 165         StorageDead(_26);                // scope 7 at $DIR/retag.rs:+21:28: +21:29
 166         StorageLive(_27);                // scope 8 at $DIR/retag.rs:+23:5: +23:18
 167         _27 = array_casts() -> bb6;      // scope 8 at $DIR/retag.rs:+23:5: +23:18
 168                                          // mir::Constant
 169                                          // + span: $DIR/retag.rs:53:5: 53:16
 170                                          // + literal: Const { ty: fn() {array_casts}, val: Value(<ZST>) }
 171     }
 172
 173     bb6: {
 174         StorageDead(_27);                // scope 8 at $DIR/retag.rs:+23:18: +23:19
 175         _0 = const ();                   // scope 0 at $DIR/retag.rs:+0:11: +24:2
 176         StorageDead(_25);                // scope 7 at $DIR/retag.rs:+24:1: +24:2
 177         StorageDead(_15);                // scope 6 at $DIR/retag.rs:+24:1: +24:2
 178         StorageDead(_13);                // scope 1 at $DIR/retag.rs:+24:1: +24:2
 179         StorageDead(_1);                 // scope 0 at $DIR/retag.rs:+24:1: +24:2
 180         return;                          // scope 0 at $DIR/retag.rs:+24:2: +24:2
 181     }
 182
 183     bb7 (cleanup): {
 184         drop(_21) -> bb9;                // scope 7 at $DIR/retag.rs:+18:24: +18:25
 185     }
 186
 187     bb8 (cleanup): {
 188         drop(_5) -> bb9;                 // scope 1 at $DIR/retag.rs:+3:36: +3:37
 189     }
 190
 191     bb9 (cleanup): {
 192         resume;                          // scope 0 at $DIR/retag.rs:+0:1: +24:2
 193     }
 194 }