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

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