src/test/mir-opt/issue_76432.test.SimplifyComparisonIntegral.diff

   1 - // MIR for `test` before SimplifyComparisonIntegral
   2 + // MIR for `test` after SimplifyComparisonIntegral
   3
   4   fn test(_1: T) -> () {
   5       debug x => _1;                       // in scope 0 at $DIR/issue_76432.rs:+0:38: +0:39
   6       let mut _0: ();                      // return place in scope 0 at $DIR/issue_76432.rs:+0:44: +0:44
   7       let _2: &[T];                        // in scope 0 at $DIR/issue_76432.rs:+1:9: +1:10
   8       let mut _3: &[T; 3];                 // in scope 0 at $DIR/issue_76432.rs:+1:19: +1:29
   9       let _4: &[T; 3];                     // in scope 0 at $DIR/issue_76432.rs:+1:19: +1:29
  10       let _5: [T; 3];                      // in scope 0 at $DIR/issue_76432.rs:+1:20: +1:29
  11       let mut _6: T;                       // in scope 0 at $DIR/issue_76432.rs:+1:21: +1:22
  12       let mut _7: T;                       // in scope 0 at $DIR/issue_76432.rs:+1:24: +1:25
  13       let mut _8: T;                       // in scope 0 at $DIR/issue_76432.rs:+1:27: +1:28
  14       let _9: [*const T; 3];               // in scope 0 at $DIR/issue_76432.rs:+2:5: +5:6
  15       let mut _10: usize;                  // in scope 0 at $DIR/issue_76432.rs:+3:9: +3:33
  16       let mut _11: usize;                  // in scope 0 at $DIR/issue_76432.rs:+3:9: +3:33
  17       let mut _12: bool;                   // in scope 0 at $DIR/issue_76432.rs:+3:9: +3:33
  18       let mut _16: *const T;               // in scope 0 at $DIR/issue_76432.rs:+3:38: +3:52
  19       let mut _17: *const T;               // in scope 0 at $DIR/issue_76432.rs:+3:38: +3:52
  20       let mut _18: *const T;               // in scope 0 at $DIR/issue_76432.rs:+3:54: +3:68
  21       let mut _19: *const T;               // in scope 0 at $DIR/issue_76432.rs:+3:54: +3:68
  22       let mut _20: *const T;               // in scope 0 at $DIR/issue_76432.rs:+3:70: +3:84
  23       let mut _21: *const T;               // in scope 0 at $DIR/issue_76432.rs:+3:70: +3:84
  24       let mut _22: !;                      // in scope 0 at $SRC_DIR/core/src/panic.rs:LL:COL
  25       let mut _23: &[T; 3];                // in scope 0 at $DIR/issue_76432.rs:+1:19: +1:29
  26       scope 1 {
  27           debug v => _2;                   // in scope 1 at $DIR/issue_76432.rs:+1:9: +1:10
  28           let _13: &T;                     // in scope 1 at $DIR/issue_76432.rs:+3:10: +3:16
  29           let _14: &T;                     // in scope 1 at $DIR/issue_76432.rs:+3:18: +3:24
  30           let _15: &T;                     // in scope 1 at $DIR/issue_76432.rs:+3:26: +3:32
  31           scope 2 {
  32               debug v1 => _13;             // in scope 2 at $DIR/issue_76432.rs:+3:10: +3:16
  33               debug v2 => _14;             // in scope 2 at $DIR/issue_76432.rs:+3:18: +3:24
  34               debug v3 => _15;             // in scope 2 at $DIR/issue_76432.rs:+3:26: +3:32
  35           }
  36       }
  37
  38       bb0: {
  39           StorageLive(_2);                 // scope 0 at $DIR/issue_76432.rs:+1:9: +1:10
  40           StorageLive(_3);                 // scope 0 at $DIR/issue_76432.rs:+1:19: +1:29
  41           StorageLive(_4);                 // scope 0 at $DIR/issue_76432.rs:+1:19: +1:29
  42           StorageLive(_5);                 // scope 0 at $DIR/issue_76432.rs:+1:20: +1:29
  43           StorageLive(_6);                 // scope 0 at $DIR/issue_76432.rs:+1:21: +1:22
  44           _6 = _1;                         // scope 0 at $DIR/issue_76432.rs:+1:21: +1:22
  45           StorageLive(_7);                 // scope 0 at $DIR/issue_76432.rs:+1:24: +1:25
  46           _7 = _1;                         // scope 0 at $DIR/issue_76432.rs:+1:24: +1:25
  47           StorageLive(_8);                 // scope 0 at $DIR/issue_76432.rs:+1:27: +1:28
  48           _8 = _1;                         // scope 0 at $DIR/issue_76432.rs:+1:27: +1:28
  49           _5 = [move _6, move _7, move _8]; // scope 0 at $DIR/issue_76432.rs:+1:20: +1:29
  50           StorageDead(_8);                 // scope 0 at $DIR/issue_76432.rs:+1:28: +1:29
  51           StorageDead(_7);                 // scope 0 at $DIR/issue_76432.rs:+1:28: +1:29
  52           StorageDead(_6);                 // scope 0 at $DIR/issue_76432.rs:+1:28: +1:29
  53           _4 = &_5;                        // scope 0 at $DIR/issue_76432.rs:+1:19: +1:29
  54           _3 = _4;                         // scope 0 at $DIR/issue_76432.rs:+1:19: +1:29
  55           StorageLive(_23);                // scope 0 at $DIR/issue_76432.rs:+1:19: +1:29
  56           _23 = _3;                        // scope 0 at $DIR/issue_76432.rs:+1:19: +1:29
  57           _2 = move _3 as &[T] (Pointer(Unsize)); // scope 0 at $DIR/issue_76432.rs:+1:19: +1:29
  58           StorageDead(_3);                 // scope 0 at $DIR/issue_76432.rs:+1:28: +1:29
  59           StorageDead(_4);                 // scope 0 at $DIR/issue_76432.rs:+1:29: +1:30
  60           StorageLive(_9);                 // scope 1 at $DIR/issue_76432.rs:+2:5: +5:6
  61           _10 = const 3_usize;             // scope 1 at $DIR/issue_76432.rs:+3:9: +3:33
  62           StorageDead(_23);                // scope 1 at $DIR/issue_76432.rs:+3:9: +3:33
  63           _11 = const 3_usize;             // scope 1 at $DIR/issue_76432.rs:+3:9: +3:33
  64           _12 = const true;                // scope 1 at $DIR/issue_76432.rs:+3:9: +3:33
  65           goto -> bb2;                     // scope 1 at $DIR/issue_76432.rs:+3:9: +3:33
  66       }
  67
  68       bb1: {
  69           StorageLive(_22);                // scope 1 at $SRC_DIR/core/src/panic.rs:LL:COL
  70           _22 = core::panicking::panic(const "internal error: entered unreachable code"); // scope 1 at $SRC_DIR/core/src/panic.rs:LL:COL
  71                                            // mir::Constant
  72                                            // + span: $SRC_DIR/core/src/panic.rs:LL:COL
  73                                            // + literal: Const { ty: fn(&'static str) -> ! {core::panicking::panic}, val: Value(<ZST>) }
  74                                            // mir::Constant
  75                                            // + span: $SRC_DIR/core/src/panic.rs:LL:COL
  76                                            // + literal: Const { ty: &str, val: Value(Slice(..)) }
  77       }
  78
  79       bb2: {
  80           StorageLive(_13);                // scope 1 at $DIR/issue_76432.rs:+3:10: +3:16
  81           _13 = &(*_2)[0 of 3];            // scope 1 at $DIR/issue_76432.rs:+3:10: +3:16
  82           StorageLive(_14);                // scope 1 at $DIR/issue_76432.rs:+3:18: +3:24
  83           _14 = &(*_2)[1 of 3];            // scope 1 at $DIR/issue_76432.rs:+3:18: +3:24
  84           StorageLive(_15);                // scope 1 at $DIR/issue_76432.rs:+3:26: +3:32
  85           _15 = &(*_2)[2 of 3];            // scope 1 at $DIR/issue_76432.rs:+3:26: +3:32
  86           StorageLive(_16);                // scope 2 at $DIR/issue_76432.rs:+3:38: +3:52
  87           StorageLive(_17);                // scope 2 at $DIR/issue_76432.rs:+3:38: +3:52
  88           _17 = &raw const (*_13);         // scope 2 at $DIR/issue_76432.rs:+3:38: +3:40
  89           _16 = _17;                       // scope 2 at $DIR/issue_76432.rs:+3:38: +3:52
  90           StorageLive(_18);                // scope 2 at $DIR/issue_76432.rs:+3:54: +3:68
  91           StorageLive(_19);                // scope 2 at $DIR/issue_76432.rs:+3:54: +3:68
  92           _19 = &raw const (*_14);         // scope 2 at $DIR/issue_76432.rs:+3:54: +3:56
  93           _18 = _19;                       // scope 2 at $DIR/issue_76432.rs:+3:54: +3:68
  94           StorageLive(_20);                // scope 2 at $DIR/issue_76432.rs:+3:70: +3:84
  95           StorageLive(_21);                // scope 2 at $DIR/issue_76432.rs:+3:70: +3:84
  96           _21 = &raw const (*_15);         // scope 2 at $DIR/issue_76432.rs:+3:70: +3:72
  97           _20 = _21;                       // scope 2 at $DIR/issue_76432.rs:+3:70: +3:84
  98           _9 = [move _16, move _18, move _20]; // scope 2 at $DIR/issue_76432.rs:+3:37: +3:85
  99           StorageDead(_21);                // scope 2 at $DIR/issue_76432.rs:+3:84: +3:85
 100           StorageDead(_20);                // scope 2 at $DIR/issue_76432.rs:+3:84: +3:85
 101           StorageDead(_19);                // scope 2 at $DIR/issue_76432.rs:+3:84: +3:85
 102           StorageDead(_18);                // scope 2 at $DIR/issue_76432.rs:+3:84: +3:85
 103           StorageDead(_17);                // scope 2 at $DIR/issue_76432.rs:+3:84: +3:85
 104           StorageDead(_16);                // scope 2 at $DIR/issue_76432.rs:+3:84: +3:85
 105           StorageDead(_15);                // scope 1 at $DIR/issue_76432.rs:+3:84: +3:85
 106           StorageDead(_14);                // scope 1 at $DIR/issue_76432.rs:+3:84: +3:85
 107           StorageDead(_13);                // scope 1 at $DIR/issue_76432.rs:+3:84: +3:85
 108           StorageDead(_9);                 // scope 1 at $DIR/issue_76432.rs:+5:6: +5:7
 109           nop;                             // scope 0 at $DIR/issue_76432.rs:+0:44: +6:2
 110           StorageDead(_5);                 // scope 0 at $DIR/issue_76432.rs:+6:1: +6:2
 111           StorageDead(_2);                 // scope 0 at $DIR/issue_76432.rs:+6:1: +6:2
 112           return;                          // scope 0 at $DIR/issue_76432.rs:+6:2: +6:2
 113       }
 114   }
 115