tests/mir-opt/lower_intrinsics.assume.LowerIntrinsics.diff

   1 - // MIR for `assume` before LowerIntrinsics
   2 + // MIR for `assume` after LowerIntrinsics
   3
   4   fn assume() -> () {
   5       let mut _0: ();                      // return place in scope 0 at $DIR/lower_intrinsics.rs:+0:17: +0:17
   6       let _1: ();                          // in scope 0 at $DIR/lower_intrinsics.rs:+2:9: +2:38
   7       scope 1 {
   8       }
   9
  10       bb0: {
  11           StorageLive(_1);                 // scope 1 at $DIR/lower_intrinsics.rs:+2:9: +2:38
  12 -         _1 = std::intrinsics::assume(const true) -> bb1; // scope 1 at $DIR/lower_intrinsics.rs:+2:9: +2:38
  13 -                                          // mir::Constant
  14 -                                          // + span: $DIR/lower_intrinsics.rs:72:9: 72:32
  15 -                                          // + literal: Const { ty: unsafe extern "rust-intrinsic" fn(bool) {std::intrinsics::assume}, val: Value(<ZST>) }
  16 +         assume(const true);              // scope 1 at $DIR/lower_intrinsics.rs:+2:9: +2:38
  17 +         goto -> bb1;                     // scope 1 at $DIR/lower_intrinsics.rs:+2:9: +2:38
  18       }
  19
  20       bb1: {
  21           StorageDead(_1);                 // scope 1 at $DIR/lower_intrinsics.rs:+2:38: +2:39
  22           _0 = const ();                   // scope 1 at $DIR/lower_intrinsics.rs:+1:5: +3:6
  23           return;                          // scope 0 at $DIR/lower_intrinsics.rs:+4:2: +4:2
  24       }
  25   }
  26