From bde213cfe5490d67717fc022b04f03a57e5daa7f Mon Sep 17 00:00:00 2001 From: Camille GILLOT Date: Tue, 9 May 2023 19:35:21 +0000 Subject: [PATCH] Add needs-unwind. --- ....dominate_storage.ReferencePropagation.diff | 2 +- ...e_prop.maybe_dead.ReferencePropagation.diff | 6 +++--- ....multiple_storage.ReferencePropagation.diff | 2 +- ...rence_propagation.ReferencePropagation.diff | 16 ++++++++-------- ...agation_const_ptr.ReferencePropagation.diff | 18 +++++++++--------- ...e_propagation_mut.ReferencePropagation.diff | 16 ++++++++-------- ...opagation_mut_ptr.ReferencePropagation.diff | 16 ++++++++-------- tests/mir-opt/reference_prop.rs | 1 + 8 files changed, 39 insertions(+), 38 deletions(-) diff --git a/tests/mir-opt/reference_prop.dominate_storage.ReferencePropagation.diff b/tests/mir-opt/reference_prop.dominate_storage.ReferencePropagation.diff index c8488400f90..8edc83cbf67 100644 --- a/tests/mir-opt/reference_prop.dominate_storage.ReferencePropagation.diff +++ b/tests/mir-opt/reference_prop.dominate_storage.ReferencePropagation.diff @@ -24,7 +24,7 @@ _5 = (*_2); // scope 0 at $SRC_DIR/core/src/intrinsics/mir.rs:LL:COL _0 = opaque::(_5) -> bb3; // scope 0 at $DIR/reference_prop.rs:+16:13: +16:38 // 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::}, val: Value() } } diff --git a/tests/mir-opt/reference_prop.maybe_dead.ReferencePropagation.diff b/tests/mir-opt/reference_prop.maybe_dead.ReferencePropagation.diff index 50b2e152afd..920755bdd1d 100644 --- a/tests/mir-opt/reference_prop.maybe_dead.ReferencePropagation.diff +++ b/tests/mir-opt/reference_prop.maybe_dead.ReferencePropagation.diff @@ -29,7 +29,7 @@ StorageDead(_3); // scope 0 at $DIR/reference_prop.rs:+21:13: +21:27 _0 = opaque::(_6) -> bb2; // scope 0 at $DIR/reference_prop.rs:+22:13: +22:38 // 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::}, val: Value() } } @@ -37,7 +37,7 @@ _7 = (*_4); // scope 0 at $SRC_DIR/core/src/intrinsics/mir.rs:LL:COL _0 = opaque::(_7) -> bb3; // scope 0 at $DIR/reference_prop.rs:+27:13: +27:38 // 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::}, val: Value() } } @@ -45,7 +45,7 @@ _8 = (*_5); // scope 0 at $SRC_DIR/core/src/intrinsics/mir.rs:LL:COL _0 = opaque::(_8) -> bb4; // scope 0 at $DIR/reference_prop.rs:+33:13: +33:43 // 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::}, val: Value() } } diff --git a/tests/mir-opt/reference_prop.multiple_storage.ReferencePropagation.diff b/tests/mir-opt/reference_prop.multiple_storage.ReferencePropagation.diff index 08de44659e9..07bfdf0b2f1 100644 --- a/tests/mir-opt/reference_prop.multiple_storage.ReferencePropagation.diff +++ b/tests/mir-opt/reference_prop.multiple_storage.ReferencePropagation.diff @@ -16,7 +16,7 @@ _3 = (*_2); // scope 0 at $SRC_DIR/core/src/intrinsics/mir.rs:LL:COL _0 = opaque::(_3) -> bb1; // scope 0 at $DIR/reference_prop.rs:+14:13: +14:43 // 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::}, val: Value() } } diff --git a/tests/mir-opt/reference_prop.reference_propagation.ReferencePropagation.diff b/tests/mir-opt/reference_prop.reference_propagation.ReferencePropagation.diff index 04f5cc9d41f..e41fc28461a 100644 --- a/tests/mir-opt/reference_prop.reference_propagation.ReferencePropagation.diff +++ b/tests/mir-opt/reference_prop.reference_propagation.ReferencePropagation.diff @@ -159,7 +159,7 @@ _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 // 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() } } @@ -193,7 +193,7 @@ _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 // 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() } } @@ -220,7 +220,7 @@ _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 // 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() } } @@ -247,7 +247,7 @@ _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 // 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() } } @@ -273,7 +273,7 @@ _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 // 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() } } @@ -305,7 +305,7 @@ _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 // 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() } } @@ -331,7 +331,7 @@ _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 // 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() } } @@ -359,7 +359,7 @@ _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 // 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() } } diff --git a/tests/mir-opt/reference_prop.reference_propagation_const_ptr.ReferencePropagation.diff b/tests/mir-opt/reference_prop.reference_propagation_const_ptr.ReferencePropagation.diff index c1c08475332..712727915d0 100644 --- a/tests/mir-opt/reference_prop.reference_propagation_const_ptr.ReferencePropagation.diff +++ b/tests/mir-opt/reference_prop.reference_propagation_const_ptr.ReferencePropagation.diff @@ -194,7 +194,7 @@ _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 // 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() } } @@ -224,7 +224,7 @@ _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 // 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() } } @@ -251,7 +251,7 @@ _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 // 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() } } @@ -278,7 +278,7 @@ _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 // 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() } } @@ -304,7 +304,7 @@ _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 // 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() } } @@ -336,7 +336,7 @@ _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 // 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() } } @@ -362,7 +362,7 @@ _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 // 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() } } @@ -387,7 +387,7 @@ _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 // 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() } } @@ -413,7 +413,7 @@ _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 // 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() } } diff --git a/tests/mir-opt/reference_prop.reference_propagation_mut.ReferencePropagation.diff b/tests/mir-opt/reference_prop.reference_propagation_mut.ReferencePropagation.diff index 9ad9dd86d1c..44ddbbc3066 100644 --- a/tests/mir-opt/reference_prop.reference_propagation_mut.ReferencePropagation.diff +++ b/tests/mir-opt/reference_prop.reference_propagation_mut.ReferencePropagation.diff @@ -159,7 +159,7 @@ _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 // 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() } } @@ -193,7 +193,7 @@ _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 // 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() } } @@ -220,7 +220,7 @@ _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 // 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() } } @@ -247,7 +247,7 @@ _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 // 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() } } @@ -272,7 +272,7 @@ _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 // 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() } } @@ -302,7 +302,7 @@ _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 // 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() } } @@ -328,7 +328,7 @@ _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 // 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() } } @@ -356,7 +356,7 @@ _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 // 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() } } diff --git a/tests/mir-opt/reference_prop.reference_propagation_mut_ptr.ReferencePropagation.diff b/tests/mir-opt/reference_prop.reference_propagation_mut_ptr.ReferencePropagation.diff index 7e3cafd6380..c55b5eb4bed 100644 --- a/tests/mir-opt/reference_prop.reference_propagation_mut_ptr.ReferencePropagation.diff +++ b/tests/mir-opt/reference_prop.reference_propagation_mut_ptr.ReferencePropagation.diff @@ -173,7 +173,7 @@ _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 // 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() } } @@ -203,7 +203,7 @@ _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 // 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() } } @@ -230,7 +230,7 @@ _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 // 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() } } @@ -257,7 +257,7 @@ _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 // 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() } } @@ -282,7 +282,7 @@ _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 // 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() } } @@ -312,7 +312,7 @@ _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 // 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() } } @@ -338,7 +338,7 @@ _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 // 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() } } @@ -362,7 +362,7 @@ _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 // 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() } } diff --git a/tests/mir-opt/reference_prop.rs b/tests/mir-opt/reference_prop.rs index e75f376bb39..e3e5d791464 100644 --- a/tests/mir-opt/reference_prop.rs +++ b/tests/mir-opt/reference_prop.rs @@ -1,4 +1,5 @@ // unit-test: ReferencePropagation +// needs-unwind #![feature(raw_ref_op)] #![feature(core_intrinsics, custom_mir)]