bjoernager/rust
bjoernager/rust
1
Fork 0
Code Issues Pull requests Activity

Add needs-unwind.

Browse source
This commit is contained in:
Camille GILLOT 2023-05-09 19:35:21 +00:00
parent 8e5910fdf2
commit bde213cfe5
8 changed files with 39 additions and 38 deletions
Download patch file Download diff file Expand all files Collapse all files

2
tests/mir-opt/reference_prop.dominate_storage.ReferencePropagation.diff
View file

@ -24,7 +24,7 @@
_5 = (*_2); // scope 0 at $SRC_DIR/core/src/intrinsics/mir.rs:LL:COL _5 = (*_2); // scope 0 at $SRC_DIR/core/src/intrinsics/mir.rs:LL:COL
_0 = opaque::<i32>(_5) -> bb3; // scope 0 at $DIR/reference_prop.rs:+16:13: +16:38 _0 = opaque::<i32>(_5) -> bb3; // scope 0 at $DIR/reference_prop.rs:+16:13: +16:38
// mir::Constant // mir::Constant
// + span: $DIR/reference_prop.rs:382:28: 382:34 // + span: $DIR/reference_prop.rs:383:28: 383:34
// + literal: Const { ty: fn(i32) {opaque::<i32>}, val: Value(<ZST>) } // + literal: Const { ty: fn(i32) {opaque::<i32>}, val: Value(<ZST>) }
} }

6
tests/mir-opt/reference_prop.maybe_dead.ReferencePropagation.diff
View file

@ -29,7 +29,7 @@
StorageDead(_3); // scope 0 at $DIR/reference_prop.rs:+21:13: +21:27 StorageDead(_3); // scope 0 at $DIR/reference_prop.rs:+21:13: +21:27
_0 = opaque::<i32>(_6) -> bb2; // scope 0 at $DIR/reference_prop.rs:+22:13: +22:38 _0 = opaque::<i32>(_6) -> bb2; // scope 0 at $DIR/reference_prop.rs:+22:13: +22:38
// mir::Constant // mir::Constant
// + span: $DIR/reference_prop.rs:416:28: 416:34 // + span: $DIR/reference_prop.rs:417:28: 417:34
// + literal: Const { ty: fn(i32) {opaque::<i32>}, val: Value(<ZST>) } // + literal: Const { ty: fn(i32) {opaque::<i32>}, val: Value(<ZST>) }
} }
@ -37,7 +37,7 @@
_7 = (*_4); // scope 0 at $SRC_DIR/core/src/intrinsics/mir.rs:LL:COL _7 = (*_4); // scope 0 at $SRC_DIR/core/src/intrinsics/mir.rs:LL:COL
_0 = opaque::<i32>(_7) -> bb3; // scope 0 at $DIR/reference_prop.rs:+27:13: +27:38 _0 = opaque::<i32>(_7) -> bb3; // scope 0 at $DIR/reference_prop.rs:+27:13: +27:38
// mir::Constant // mir::Constant
// + span: $DIR/reference_prop.rs:421:28: 421:34 // + span: $DIR/reference_prop.rs:422:28: 422:34
// + literal: Const { ty: fn(i32) {opaque::<i32>}, val: Value(<ZST>) } // + literal: Const { ty: fn(i32) {opaque::<i32>}, val: Value(<ZST>) }
} }
@ -45,7 +45,7 @@
_8 = (*_5); // scope 0 at $SRC_DIR/core/src/intrinsics/mir.rs:LL:COL _8 = (*_5); // scope 0 at $SRC_DIR/core/src/intrinsics/mir.rs:LL:COL
_0 = opaque::<i32>(_8) -> bb4; // scope 0 at $DIR/reference_prop.rs:+33:13: +33:43 _0 = opaque::<i32>(_8) -> bb4; // scope 0 at $DIR/reference_prop.rs:+33:13: +33:43
// mir::Constant // mir::Constant
// + span: $DIR/reference_prop.rs:427:33: 427:39 // + span: $DIR/reference_prop.rs:428:33: 428:39
// + literal: Const { ty: fn(i32) {opaque::<i32>}, val: Value(<ZST>) } // + literal: Const { ty: fn(i32) {opaque::<i32>}, val: Value(<ZST>) }
} }

2
tests/mir-opt/reference_prop.multiple_storage.ReferencePropagation.diff
View file

@ -16,7 +16,7 @@
_3 = (*_2); // scope 0 at $SRC_DIR/core/src/intrinsics/mir.rs:LL:COL _3 = (*_2); // scope 0 at $SRC_DIR/core/src/intrinsics/mir.rs:LL:COL
_0 = opaque::<i32>(_3) -> bb1; // scope 0 at $DIR/reference_prop.rs:+14:13: +14:43 _0 = opaque::<i32>(_3) -> bb1; // scope 0 at $DIR/reference_prop.rs:+14:13: +14:43
// mir::Constant // mir::Constant
// + span: $DIR/reference_prop.rs:356:33: 356:39 // + span: $DIR/reference_prop.rs:357:33: 357:39
// + literal: Const { ty: fn(i32) {opaque::<i32>}, val: Value(<ZST>) } // + literal: Const { ty: fn(i32) {opaque::<i32>}, val: Value(<ZST>) }
} }

16
tests/mir-opt/reference_prop.reference_propagation.ReferencePropagation.diff
View file

@ -159,7 +159,7 @@
_8 = (); // scope 3 at $DIR/reference_prop.rs:+6:16: +6:18 _8 = (); // scope 3 at $DIR/reference_prop.rs:+6:16: +6:18
_7 = opaque::<()>(move _8) -> bb1; // scope 3 at $DIR/reference_prop.rs:+6:9: +6:19 _7 = opaque::<()>(move _8) -> bb1; // scope 3 at $DIR/reference_prop.rs:+6:9: +6:19
// mir::Constant // mir::Constant
// + span: $DIR/reference_prop.rs:15:9: 15:15 // + span: $DIR/reference_prop.rs:16:9: 16:15
// + literal: Const { ty: fn(()) {opaque::<()>}, val: Value(<ZST>) } // + literal: Const { ty: fn(()) {opaque::<()>}, val: Value(<ZST>) }
} }
@ -193,7 +193,7 @@
_17 = (); // scope 7 at $DIR/reference_prop.rs:+17:16: +17:18 _17 = (); // scope 7 at $DIR/reference_prop.rs:+17:16: +17:18
_16 = opaque::<()>(move _17) -> bb2; // scope 7 at $DIR/reference_prop.rs:+17:9: +17:19 _16 = opaque::<()>(move _17) -> bb2; // scope 7 at $DIR/reference_prop.rs:+17:9: +17:19
// mir::Constant // mir::Constant
// + span: $DIR/reference_prop.rs:26:9: 26:15 // + span: $DIR/reference_prop.rs:27:9: 27:15
// + literal: Const { ty: fn(()) {opaque::<()>}, val: Value(<ZST>) } // + literal: Const { ty: fn(()) {opaque::<()>}, val: Value(<ZST>) }
} }
@ -220,7 +220,7 @@
_24 = (); // scope 11 at $DIR/reference_prop.rs:+26:16: +26:18 _24 = (); // scope 11 at $DIR/reference_prop.rs:+26:16: +26:18
_23 = opaque::<()>(move _24) -> bb3; // scope 11 at $DIR/reference_prop.rs:+26:9: +26:19 _23 = opaque::<()>(move _24) -> bb3; // scope 11 at $DIR/reference_prop.rs:+26:9: +26:19
// mir::Constant // mir::Constant
// + span: $DIR/reference_prop.rs:35:9: 35:15 // + span: $DIR/reference_prop.rs:36:9: 36:15
// + literal: Const { ty: fn(()) {opaque::<()>}, val: Value(<ZST>) } // + literal: Const { ty: fn(()) {opaque::<()>}, val: Value(<ZST>) }
} }
@ -247,7 +247,7 @@
_31 = (); // scope 15 at $DIR/reference_prop.rs:+35:16: +35:18 _31 = (); // scope 15 at $DIR/reference_prop.rs:+35:16: +35:18
_30 = opaque::<()>(move _31) -> bb4; // scope 15 at $DIR/reference_prop.rs:+35:9: +35:19 _30 = opaque::<()>(move _31) -> bb4; // scope 15 at $DIR/reference_prop.rs:+35:9: +35:19
// mir::Constant // mir::Constant
// + span: $DIR/reference_prop.rs:44:9: 44:15 // + span: $DIR/reference_prop.rs:45:9: 45:15
// + literal: Const { ty: fn(()) {opaque::<()>}, val: Value(<ZST>) } // + literal: Const { ty: fn(()) {opaque::<()>}, val: Value(<ZST>) }
} }
@ -273,7 +273,7 @@
_37 = _34; // scope 18 at $DIR/reference_prop.rs:+43:16: +43:17 _37 = _34; // scope 18 at $DIR/reference_prop.rs:+43:16: +43:17
_36 = opaque::<&usize>(move _37) -> bb5; // scope 18 at $DIR/reference_prop.rs:+43:9: +43:18 _36 = opaque::<&usize>(move _37) -> bb5; // scope 18 at $DIR/reference_prop.rs:+43:9: +43:18
// mir::Constant // mir::Constant
// + span: $DIR/reference_prop.rs:52:9: 52:15 // + span: $DIR/reference_prop.rs:53:9: 53:15
// + literal: Const { ty: fn(&usize) {opaque::<&usize>}, val: Value(<ZST>) } // + literal: Const { ty: fn(&usize) {opaque::<&usize>}, val: Value(<ZST>) }
} }
@ -305,7 +305,7 @@
_46 = _44; // scope 24 at $DIR/reference_prop.rs:+56:16: +56:18 _46 = _44; // scope 24 at $DIR/reference_prop.rs:+56:16: +56:18
_45 = opaque::<&usize>(move _46) -> bb6; // scope 24 at $DIR/reference_prop.rs:+56:9: +56:19 _45 = opaque::<&usize>(move _46) -> bb6; // scope 24 at $DIR/reference_prop.rs:+56:9: +56:19
// mir::Constant // mir::Constant
// + span: $DIR/reference_prop.rs:65:9: 65:15 // + span: $DIR/reference_prop.rs:66:9: 66:15
// + literal: Const { ty: fn(&usize) {opaque::<&usize>}, val: Value(<ZST>) } // + literal: Const { ty: fn(&usize) {opaque::<&usize>}, val: Value(<ZST>) }
} }
@ -331,7 +331,7 @@
_51 = (); // scope 26 at $DIR/reference_prop.rs:+63:16: +63:18 _51 = (); // scope 26 at $DIR/reference_prop.rs:+63:16: +63:18
_50 = opaque::<()>(move _51) -> bb7; // scope 26 at $DIR/reference_prop.rs:+63:9: +63:19 _50 = opaque::<()>(move _51) -> bb7; // scope 26 at $DIR/reference_prop.rs:+63:9: +63:19
// mir::Constant // mir::Constant
// + span: $DIR/reference_prop.rs:72:9: 72:15 // + span: $DIR/reference_prop.rs:73:9: 73:15
// + literal: Const { ty: fn(()) {opaque::<()>}, val: Value(<ZST>) } // + literal: Const { ty: fn(()) {opaque::<()>}, val: Value(<ZST>) }
} }
@ -359,7 +359,7 @@
_57 = (); // scope 28 at $DIR/reference_prop.rs:+71:16: +71:18 _57 = (); // scope 28 at $DIR/reference_prop.rs:+71:16: +71:18
_56 = opaque::<()>(move _57) -> bb8; // scope 28 at $DIR/reference_prop.rs:+71:9: +71:19 _56 = opaque::<()>(move _57) -> bb8; // scope 28 at $DIR/reference_prop.rs:+71:9: +71:19
// mir::Constant // mir::Constant
// + span: $DIR/reference_prop.rs:80:9: 80:15 // + span: $DIR/reference_prop.rs:81:9: 81:15
// + literal: Const { ty: fn(()) {opaque::<()>}, val: Value(<ZST>) } // + literal: Const { ty: fn(()) {opaque::<()>}, val: Value(<ZST>) }
} }

18
tests/mir-opt/reference_prop.reference_propagation_const_ptr.ReferencePropagation.diff
View file

@ -194,7 +194,7 @@
_8 = (); // scope 4 at $DIR/reference_prop.rs:+6:16: +6:18 _8 = (); // scope 4 at $DIR/reference_prop.rs:+6:16: +6:18
_7 = opaque::<()>(move _8) -> bb1; // scope 4 at $DIR/reference_prop.rs:+6:9: +6:19 _7 = opaque::<()>(move _8) -> bb1; // scope 4 at $DIR/reference_prop.rs:+6:9: +6:19
// mir::Constant // mir::Constant
// + span: $DIR/reference_prop.rs:165:9: 165:15 // + span: $DIR/reference_prop.rs:166:9: 166:15
// + literal: Const { ty: fn(()) {opaque::<()>}, val: Value(<ZST>) } // + literal: Const { ty: fn(()) {opaque::<()>}, val: Value(<ZST>) }
} }
@ -224,7 +224,7 @@
_16 = (); // scope 9 at $DIR/reference_prop.rs:+17:16: +17:18 _16 = (); // scope 9 at $DIR/reference_prop.rs:+17:16: +17:18
_15 = opaque::<()>(move _16) -> bb2; // scope 9 at $DIR/reference_prop.rs:+17:9: +17:19 _15 = opaque::<()>(move _16) -> bb2; // scope 9 at $DIR/reference_prop.rs:+17:9: +17:19
// mir::Constant // mir::Constant
// + span: $DIR/reference_prop.rs:176:9: 176:15 // + span: $DIR/reference_prop.rs:177:9: 177:15
// + literal: Const { ty: fn(()) {opaque::<()>}, val: Value(<ZST>) } // + literal: Const { ty: fn(()) {opaque::<()>}, val: Value(<ZST>) }
} }
@ -251,7 +251,7 @@
_23 = (); // scope 14 at $DIR/reference_prop.rs:+26:16: +26:18 _23 = (); // scope 14 at $DIR/reference_prop.rs:+26:16: +26:18
_22 = opaque::<()>(move _23) -> bb3; // scope 14 at $DIR/reference_prop.rs:+26:9: +26:19 _22 = opaque::<()>(move _23) -> bb3; // scope 14 at $DIR/reference_prop.rs:+26:9: +26:19
// mir::Constant // mir::Constant
// + span: $DIR/reference_prop.rs:185:9: 185:15 // + span: $DIR/reference_prop.rs:186:9: 186:15
// + literal: Const { ty: fn(()) {opaque::<()>}, val: Value(<ZST>) } // + literal: Const { ty: fn(()) {opaque::<()>}, val: Value(<ZST>) }
} }
@ -278,7 +278,7 @@
_30 = (); // scope 19 at $DIR/reference_prop.rs:+35:16: +35:18 _30 = (); // scope 19 at $DIR/reference_prop.rs:+35:16: +35:18
_29 = opaque::<()>(move _30) -> bb4; // scope 19 at $DIR/reference_prop.rs:+35:9: +35:19 _29 = opaque::<()>(move _30) -> bb4; // scope 19 at $DIR/reference_prop.rs:+35:9: +35:19
// mir::Constant // mir::Constant
// + span: $DIR/reference_prop.rs:194:9: 194:15 // + span: $DIR/reference_prop.rs:195:9: 195:15
// + literal: Const { ty: fn(()) {opaque::<()>}, val: Value(<ZST>) } // + literal: Const { ty: fn(()) {opaque::<()>}, val: Value(<ZST>) }
} }
@ -304,7 +304,7 @@
_36 = _33; // scope 23 at $DIR/reference_prop.rs:+43:16: +43:17 _36 = _33; // scope 23 at $DIR/reference_prop.rs:+43:16: +43:17
_35 = opaque::<*const usize>(move _36) -> bb5; // scope 23 at $DIR/reference_prop.rs:+43:9: +43:18 _35 = opaque::<*const usize>(move _36) -> bb5; // scope 23 at $DIR/reference_prop.rs:+43:9: +43:18
// mir::Constant // mir::Constant
// + span: $DIR/reference_prop.rs:202:9: 202:15 // + span: $DIR/reference_prop.rs:203:9: 203:15
// + literal: Const { ty: fn(*const usize) {opaque::<*const usize>}, val: Value(<ZST>) } // + literal: Const { ty: fn(*const usize) {opaque::<*const usize>}, val: Value(<ZST>) }
} }
@ -336,7 +336,7 @@
_45 = _43; // scope 30 at $DIR/reference_prop.rs:+56:16: +56:18 _45 = _43; // scope 30 at $DIR/reference_prop.rs:+56:16: +56:18
_44 = opaque::<*const usize>(move _45) -> bb6; // scope 30 at $DIR/reference_prop.rs:+56:9: +56:19 _44 = opaque::<*const usize>(move _45) -> bb6; // scope 30 at $DIR/reference_prop.rs:+56:9: +56:19
// mir::Constant // mir::Constant
// + span: $DIR/reference_prop.rs:215:9: 215:15 // + span: $DIR/reference_prop.rs:216:9: 216:15
// + literal: Const { ty: fn(*const usize) {opaque::<*const usize>}, val: Value(<ZST>) } // + literal: Const { ty: fn(*const usize) {opaque::<*const usize>}, val: Value(<ZST>) }
} }
@ -362,7 +362,7 @@
_50 = (); // scope 33 at $DIR/reference_prop.rs:+63:16: +63:18 _50 = (); // scope 33 at $DIR/reference_prop.rs:+63:16: +63:18
_49 = opaque::<()>(move _50) -> bb7; // scope 33 at $DIR/reference_prop.rs:+63:9: +63:19 _49 = opaque::<()>(move _50) -> bb7; // scope 33 at $DIR/reference_prop.rs:+63:9: +63:19
// mir::Constant // mir::Constant
// + span: $DIR/reference_prop.rs:222:9: 222:15 // + span: $DIR/reference_prop.rs:223:9: 223:15
// + literal: Const { ty: fn(()) {opaque::<()>}, val: Value(<ZST>) } // + literal: Const { ty: fn(()) {opaque::<()>}, val: Value(<ZST>) }
} }
@ -387,7 +387,7 @@
_56 = (); // scope 36 at $DIR/reference_prop.rs:+71:16: +71:18 _56 = (); // scope 36 at $DIR/reference_prop.rs:+71:16: +71:18
_55 = opaque::<()>(move _56) -> bb8; // scope 36 at $DIR/reference_prop.rs:+71:9: +71:19 _55 = opaque::<()>(move _56) -> bb8; // scope 36 at $DIR/reference_prop.rs:+71:9: +71:19
// mir::Constant // mir::Constant
// + span: $DIR/reference_prop.rs:230:9: 230:15 // + span: $DIR/reference_prop.rs:231:9: 231:15
// + literal: Const { ty: fn(()) {opaque::<()>}, val: Value(<ZST>) } // + literal: Const { ty: fn(()) {opaque::<()>}, val: Value(<ZST>) }
} }
@ -413,7 +413,7 @@
_62 = (); // scope 41 at $DIR/reference_prop.rs:+80:16: +80:18 _62 = (); // scope 41 at $DIR/reference_prop.rs:+80:16: +80:18
_61 = opaque::<()>(move _62) -> bb9; // scope 41 at $DIR/reference_prop.rs:+80:9: +80:19 _61 = opaque::<()>(move _62) -> bb9; // scope 41 at $DIR/reference_prop.rs:+80:9: +80:19
// mir::Constant // mir::Constant
// + span: $DIR/reference_prop.rs:239:9: 239:15 // + span: $DIR/reference_prop.rs:240:9: 240:15
// + literal: Const { ty: fn(()) {opaque::<()>}, val: Value(<ZST>) } // + literal: Const { ty: fn(()) {opaque::<()>}, val: Value(<ZST>) }
} }

16
tests/mir-opt/reference_prop.reference_propagation_mut.ReferencePropagation.diff
View file

@ -159,7 +159,7 @@
_8 = (); // scope 3 at $DIR/reference_prop.rs:+6:16: +6:18 _8 = (); // scope 3 at $DIR/reference_prop.rs:+6:16: +6:18
_7 = opaque::<()>(move _8) -> bb1; // scope 3 at $DIR/reference_prop.rs:+6:9: +6:19 _7 = opaque::<()>(move _8) -> bb1; // scope 3 at $DIR/reference_prop.rs:+6:9: +6:19
// mir::Constant // mir::Constant
// + span: $DIR/reference_prop.rs:90:9: 90:15 // + span: $DIR/reference_prop.rs:91:9: 91:15
// + literal: Const { ty: fn(()) {opaque::<()>}, val: Value(<ZST>) } // + literal: Const { ty: fn(()) {opaque::<()>}, val: Value(<ZST>) }
} }
@ -193,7 +193,7 @@
_17 = (); // scope 7 at $DIR/reference_prop.rs:+17:16: +17:18 _17 = (); // scope 7 at $DIR/reference_prop.rs:+17:16: +17:18
_16 = opaque::<()>(move _17) -> bb2; // scope 7 at $DIR/reference_prop.rs:+17:9: +17:19 _16 = opaque::<()>(move _17) -> bb2; // scope 7 at $DIR/reference_prop.rs:+17:9: +17:19
// mir::Constant // mir::Constant
// + span: $DIR/reference_prop.rs:101:9: 101:15 // + span: $DIR/reference_prop.rs:102:9: 102:15
// + literal: Const { ty: fn(()) {opaque::<()>}, val: Value(<ZST>) } // + literal: Const { ty: fn(()) {opaque::<()>}, val: Value(<ZST>) }
} }
@ -220,7 +220,7 @@
_24 = (); // scope 11 at $DIR/reference_prop.rs:+26:16: +26:18 _24 = (); // scope 11 at $DIR/reference_prop.rs:+26:16: +26:18
_23 = opaque::<()>(move _24) -> bb3; // scope 11 at $DIR/reference_prop.rs:+26:9: +26:19 _23 = opaque::<()>(move _24) -> bb3; // scope 11 at $DIR/reference_prop.rs:+26:9: +26:19
// mir::Constant // mir::Constant
// + span: $DIR/reference_prop.rs:110:9: 110:15 // + span: $DIR/reference_prop.rs:111:9: 111:15
// + literal: Const { ty: fn(()) {opaque::<()>}, val: Value(<ZST>) } // + literal: Const { ty: fn(()) {opaque::<()>}, val: Value(<ZST>) }
} }
@ -247,7 +247,7 @@
_31 = (); // scope 15 at $DIR/reference_prop.rs:+35:16: +35:18 _31 = (); // scope 15 at $DIR/reference_prop.rs:+35:16: +35:18
_30 = opaque::<()>(move _31) -> bb4; // scope 15 at $DIR/reference_prop.rs:+35:9: +35:19 _30 = opaque::<()>(move _31) -> bb4; // scope 15 at $DIR/reference_prop.rs:+35:9: +35:19
// mir::Constant // mir::Constant
// + span: $DIR/reference_prop.rs:119:9: 119:15 // + span: $DIR/reference_prop.rs:120:9: 120:15
// + literal: Const { ty: fn(()) {opaque::<()>}, val: Value(<ZST>) } // + literal: Const { ty: fn(()) {opaque::<()>}, val: Value(<ZST>) }
} }
@ -272,7 +272,7 @@
_37 = move _34; // scope 18 at $DIR/reference_prop.rs:+43:16: +43:17 _37 = move _34; // scope 18 at $DIR/reference_prop.rs:+43:16: +43:17
_36 = opaque::<&mut usize>(move _37) -> bb5; // scope 18 at $DIR/reference_prop.rs:+43:9: +43:18 _36 = opaque::<&mut usize>(move _37) -> bb5; // scope 18 at $DIR/reference_prop.rs:+43:9: +43:18
// mir::Constant // mir::Constant
// + span: $DIR/reference_prop.rs:127:9: 127:15 // + span: $DIR/reference_prop.rs:128:9: 128:15
// + literal: Const { ty: fn(&mut usize) {opaque::<&mut usize>}, val: Value(<ZST>) } // + literal: Const { ty: fn(&mut usize) {opaque::<&mut usize>}, val: Value(<ZST>) }
} }
@ -302,7 +302,7 @@
_46 = move _44; // scope 24 at $DIR/reference_prop.rs:+56:16: +56:18 _46 = move _44; // scope 24 at $DIR/reference_prop.rs:+56:16: +56:18
_45 = opaque::<&mut usize>(move _46) -> bb6; // scope 24 at $DIR/reference_prop.rs:+56:9: +56:19 _45 = opaque::<&mut usize>(move _46) -> bb6; // scope 24 at $DIR/reference_prop.rs:+56:9: +56:19
// mir::Constant // mir::Constant
// + span: $DIR/reference_prop.rs:140:9: 140:15 // + span: $DIR/reference_prop.rs:141:9: 141:15
// + literal: Const { ty: fn(&mut usize) {opaque::<&mut usize>}, val: Value(<ZST>) } // + literal: Const { ty: fn(&mut usize) {opaque::<&mut usize>}, val: Value(<ZST>) }
} }
@ -328,7 +328,7 @@
_51 = (); // scope 26 at $DIR/reference_prop.rs:+63:16: +63:18 _51 = (); // scope 26 at $DIR/reference_prop.rs:+63:16: +63:18
_50 = opaque::<()>(move _51) -> bb7; // scope 26 at $DIR/reference_prop.rs:+63:9: +63:19 _50 = opaque::<()>(move _51) -> bb7; // scope 26 at $DIR/reference_prop.rs:+63:9: +63:19
// mir::Constant // mir::Constant
// + span: $DIR/reference_prop.rs:147:9: 147:15 // + span: $DIR/reference_prop.rs:148:9: 148:15
// + literal: Const { ty: fn(()) {opaque::<()>}, val: Value(<ZST>) } // + literal: Const { ty: fn(()) {opaque::<()>}, val: Value(<ZST>) }
} }
@ -356,7 +356,7 @@
_57 = (); // scope 28 at $DIR/reference_prop.rs:+71:16: +71:18 _57 = (); // scope 28 at $DIR/reference_prop.rs:+71:16: +71:18
_56 = opaque::<()>(move _57) -> bb8; // scope 28 at $DIR/reference_prop.rs:+71:9: +71:19 _56 = opaque::<()>(move _57) -> bb8; // scope 28 at $DIR/reference_prop.rs:+71:9: +71:19
// mir::Constant // mir::Constant
// + span: $DIR/reference_prop.rs:155:9: 155:15 // + span: $DIR/reference_prop.rs:156:9: 156:15
// + literal: Const { ty: fn(()) {opaque::<()>}, val: Value(<ZST>) } // + literal: Const { ty: fn(()) {opaque::<()>}, val: Value(<ZST>) }
} }

16
tests/mir-opt/reference_prop.reference_propagation_mut_ptr.ReferencePropagation.diff
View file

@ -173,7 +173,7 @@
_8 = (); // scope 4 at $DIR/reference_prop.rs:+6:16: +6:18 _8 = (); // scope 4 at $DIR/reference_prop.rs:+6:16: +6:18
_7 = opaque::<()>(move _8) -> bb1; // scope 4 at $DIR/reference_prop.rs:+6:9: +6:19 _7 = opaque::<()>(move _8) -> bb1; // scope 4 at $DIR/reference_prop.rs:+6:9: +6:19
// mir::Constant // mir::Constant
// + span: $DIR/reference_prop.rs:249:9: 249:15 // + span: $DIR/reference_prop.rs:250:9: 250:15
// + literal: Const { ty: fn(()) {opaque::<()>}, val: Value(<ZST>) } // + literal: Const { ty: fn(()) {opaque::<()>}, val: Value(<ZST>) }
} }
@ -203,7 +203,7 @@
_16 = (); // scope 9 at $DIR/reference_prop.rs:+17:16: +17:18 _16 = (); // scope 9 at $DIR/reference_prop.rs:+17:16: +17:18
_15 = opaque::<()>(move _16) -> bb2; // scope 9 at $DIR/reference_prop.rs:+17:9: +17:19 _15 = opaque::<()>(move _16) -> bb2; // scope 9 at $DIR/reference_prop.rs:+17:9: +17:19
// mir::Constant // mir::Constant
// + span: $DIR/reference_prop.rs:260:9: 260:15 // + span: $DIR/reference_prop.rs:261:9: 261:15
// + literal: Const { ty: fn(()) {opaque::<()>}, val: Value(<ZST>) } // + literal: Const { ty: fn(()) {opaque::<()>}, val: Value(<ZST>) }
} }
@ -230,7 +230,7 @@
_23 = (); // scope 14 at $DIR/reference_prop.rs:+26:16: +26:18 _23 = (); // scope 14 at $DIR/reference_prop.rs:+26:16: +26:18
_22 = opaque::<()>(move _23) -> bb3; // scope 14 at $DIR/reference_prop.rs:+26:9: +26:19 _22 = opaque::<()>(move _23) -> bb3; // scope 14 at $DIR/reference_prop.rs:+26:9: +26:19
// mir::Constant // mir::Constant
// + span: $DIR/reference_prop.rs:269:9: 269:15 // + span: $DIR/reference_prop.rs:270:9: 270:15
// + literal: Const { ty: fn(()) {opaque::<()>}, val: Value(<ZST>) } // + literal: Const { ty: fn(()) {opaque::<()>}, val: Value(<ZST>) }
} }
@ -257,7 +257,7 @@
_30 = (); // scope 19 at $DIR/reference_prop.rs:+35:16: +35:18 _30 = (); // scope 19 at $DIR/reference_prop.rs:+35:16: +35:18
_29 = opaque::<()>(move _30) -> bb4; // scope 19 at $DIR/reference_prop.rs:+35:9: +35:19 _29 = opaque::<()>(move _30) -> bb4; // scope 19 at $DIR/reference_prop.rs:+35:9: +35:19
// mir::Constant // mir::Constant
// + span: $DIR/reference_prop.rs:278:9: 278:15 // + span: $DIR/reference_prop.rs:279:9: 279:15
// + literal: Const { ty: fn(()) {opaque::<()>}, val: Value(<ZST>) } // + literal: Const { ty: fn(()) {opaque::<()>}, val: Value(<ZST>) }
} }
@ -282,7 +282,7 @@
_36 = _33; // scope 23 at $DIR/reference_prop.rs:+43:16: +43:17 _36 = _33; // scope 23 at $DIR/reference_prop.rs:+43:16: +43:17
_35 = opaque::<*mut usize>(move _36) -> bb5; // scope 23 at $DIR/reference_prop.rs:+43:9: +43:18 _35 = opaque::<*mut usize>(move _36) -> bb5; // scope 23 at $DIR/reference_prop.rs:+43:9: +43:18
// mir::Constant // mir::Constant
// + span: $DIR/reference_prop.rs:286:9: 286:15 // + span: $DIR/reference_prop.rs:287:9: 287:15
// + literal: Const { ty: fn(*mut usize) {opaque::<*mut usize>}, val: Value(<ZST>) } // + literal: Const { ty: fn(*mut usize) {opaque::<*mut usize>}, val: Value(<ZST>) }
} }
@ -312,7 +312,7 @@
_45 = _43; // scope 30 at $DIR/reference_prop.rs:+56:16: +56:18 _45 = _43; // scope 30 at $DIR/reference_prop.rs:+56:16: +56:18
_44 = opaque::<*mut usize>(move _45) -> bb6; // scope 30 at $DIR/reference_prop.rs:+56:9: +56:19 _44 = opaque::<*mut usize>(move _45) -> bb6; // scope 30 at $DIR/reference_prop.rs:+56:9: +56:19
// mir::Constant // mir::Constant
// + span: $DIR/reference_prop.rs:299:9: 299:15 // + span: $DIR/reference_prop.rs:300:9: 300:15
// + literal: Const { ty: fn(*mut usize) {opaque::<*mut usize>}, val: Value(<ZST>) } // + literal: Const { ty: fn(*mut usize) {opaque::<*mut usize>}, val: Value(<ZST>) }
} }
@ -338,7 +338,7 @@
_50 = (); // scope 33 at $DIR/reference_prop.rs:+63:16: +63:18 _50 = (); // scope 33 at $DIR/reference_prop.rs:+63:16: +63:18
_49 = opaque::<()>(move _50) -> bb7; // scope 33 at $DIR/reference_prop.rs:+63:9: +63:19 _49 = opaque::<()>(move _50) -> bb7; // scope 33 at $DIR/reference_prop.rs:+63:9: +63:19
// mir::Constant // mir::Constant
// + span: $DIR/reference_prop.rs:306:9: 306:15 // + span: $DIR/reference_prop.rs:307:9: 307:15
// + literal: Const { ty: fn(()) {opaque::<()>}, val: Value(<ZST>) } // + literal: Const { ty: fn(()) {opaque::<()>}, val: Value(<ZST>) }
} }
@ -362,7 +362,7 @@
_55 = (); // scope 36 at $DIR/reference_prop.rs:+71:16: +71:18 _55 = (); // scope 36 at $DIR/reference_prop.rs:+71:16: +71:18
_54 = opaque::<()>(move _55) -> bb8; // scope 36 at $DIR/reference_prop.rs:+71:9: +71:19 _54 = opaque::<()>(move _55) -> bb8; // scope 36 at $DIR/reference_prop.rs:+71:9: +71:19
// mir::Constant // mir::Constant
// + span: $DIR/reference_prop.rs:314:9: 314:15 // + span: $DIR/reference_prop.rs:315:9: 315:15
// + literal: Const { ty: fn(()) {opaque::<()>}, val: Value(<ZST>) } // + literal: Const { ty: fn(()) {opaque::<()>}, val: Value(<ZST>) }
} }

1
tests/mir-opt/reference_prop.rs
View file

@ -1,4 +1,5 @@
// unit-test: ReferencePropagation // unit-test: ReferencePropagation
// needs-unwind
#![feature(raw_ref_op)] #![feature(raw_ref_op)]
#![feature(core_intrinsics, custom_mir)] #![feature(core_intrinsics, custom_mir)]