]> git.proxmox.com Git - rustc.git/blame - src/test/mir-opt/lower_intrinsics.assume.LowerIntrinsics.diff
Update unsuspicious file list
[rustc.git] / src / test / mir-opt / lower_intrinsics.assume.LowerIntrinsics.diff
CommitLineData
f2b60f7d
FG
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