tests/mir-opt/intrinsic_asserts.panics.InstCombine.diff

   1 - // MIR for `panics` before InstCombine
   2 + // MIR for `panics` after InstCombine
   3
   4   fn panics() -> () {
   5       let mut _0: ();                      // return place in scope 0 at $DIR/intrinsic_asserts.rs:+0:17: +0:17
   6       let _1: ();                          // in scope 0 at $DIR/intrinsic_asserts.rs:+1:5: +1:50
   7       let _2: ();                          // in scope 0 at $DIR/intrinsic_asserts.rs:+2:5: +2:49
   8       let _3: ();                          // in scope 0 at $DIR/intrinsic_asserts.rs:+3:5: +3:62
   9
  10       bb0: {
  11           StorageLive(_1);                 // scope 0 at $DIR/intrinsic_asserts.rs:+1:5: +1:50
  12 -         _1 = assert_inhabited::<Never>() -> bb1; // scope 0 at $DIR/intrinsic_asserts.rs:+1:5: +1:50
  13 +         _1 = assert_inhabited::<Never>(); // scope 0 at $DIR/intrinsic_asserts.rs:+1:5: +1:50
  14                                            // mir::Constant
  15                                            // + span: $DIR/intrinsic_asserts.rs:17:5: 17:48
  16                                            // + literal: Const { ty: extern "rust-intrinsic" fn() {assert_inhabited::<Never>}, val: Value(<ZST>) }
  17       }
  18
  19       bb1: {
  20           StorageDead(_1);                 // scope 0 at $DIR/intrinsic_asserts.rs:+1:50: +1:51
  21           StorageLive(_2);                 // scope 0 at $DIR/intrinsic_asserts.rs:+2:5: +2:49
  22 -         _2 = assert_zero_valid::<&u8>() -> bb2; // scope 0 at $DIR/intrinsic_asserts.rs:+2:5: +2:49
  23 +         _2 = assert_zero_valid::<&u8>(); // scope 0 at $DIR/intrinsic_asserts.rs:+2:5: +2:49
  24                                            // mir::Constant
  25                                            // + span: $DIR/intrinsic_asserts.rs:18:5: 18:47
  26                                            // + user_ty: UserType(0)
  27                                            // + literal: Const { ty: extern "rust-intrinsic" fn() {assert_zero_valid::<&u8>}, val: Value(<ZST>) }
  28       }
  29
  30       bb2: {
  31           StorageDead(_2);                 // scope 0 at $DIR/intrinsic_asserts.rs:+2:49: +2:50
  32           StorageLive(_3);                 // scope 0 at $DIR/intrinsic_asserts.rs:+3:5: +3:62
  33 -         _3 = assert_mem_uninitialized_valid::<&u8>() -> bb3; // scope 0 at $DIR/intrinsic_asserts.rs:+3:5: +3:62
  34 +         _3 = assert_mem_uninitialized_valid::<&u8>(); // scope 0 at $DIR/intrinsic_asserts.rs:+3:5: +3:62
  35                                            // mir::Constant
  36                                            // + span: $DIR/intrinsic_asserts.rs:19:5: 19:60
  37                                            // + user_ty: UserType(1)
  38                                            // + literal: Const { ty: extern "rust-intrinsic" fn() {assert_mem_uninitialized_valid::<&u8>}, val: Value(<ZST>) }
  39       }
  40
  41       bb3: {
  42           StorageDead(_3);                 // scope 0 at $DIR/intrinsic_asserts.rs:+3:62: +3:63
  43           nop;                             // scope 0 at $DIR/intrinsic_asserts.rs:+0:17: +4:2
  44           return;                          // scope 0 at $DIR/intrinsic_asserts.rs:+4:2: +4:2
  45       }
  46   }
  47