Skip to content

Commit

Permalink
Add needs-unwind.
Browse files Browse the repository at this point in the history
  • Loading branch information
@cjgillot
cjgillot committed May 9, 2023
1 parent 8e5910f commit bde213c
Show file tree
Hide file tree
Showing 8 changed files with 39 additions and 38 deletions.
2 changes: 1 addition & 1 deletion tests/mir-opt/reference_prop.dominate_storage.ReferencePropagation.diff
View file
Original file line number Diff line number Diff line change
Expand Up @@ -24,7 +24,7 @@
_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
// 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>) }
}

Expand Down
6 changes: 3 additions & 3 deletions tests/mir-opt/reference_prop.maybe_dead.ReferencePropagation.diff
View file
Original file line number Diff line number Diff line change
Expand Up @@ -29,23 +29,23 @@
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
// 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>) }
}

bb2: {
_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
// 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>) }
}

bb3: {
_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
// 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>) }
}

Expand Down
2 changes: 1 addition & 1 deletion tests/mir-opt/reference_prop.multiple_storage.ReferencePropagation.diff
View file
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,7 @@
_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
// 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>) }
}

Expand Down
16 changes: 8 additions & 8 deletions tests/mir-opt/reference_prop.reference_propagation.ReferencePropagation.diff
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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(<ZST>) }
}

Expand Down Expand Up @@ -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(<ZST>) }
}

Expand All @@ -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(<ZST>) }
}

Expand All @@ -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(<ZST>) }
}

Expand All @@ -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(<ZST>) }
}

Expand Down Expand Up @@ -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(<ZST>) }
}

Expand All @@ -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(<ZST>) }
}

Expand Down Expand Up @@ -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(<ZST>) }
}

Expand Down
18 changes: 9 additions & 9 deletions tests/mir-opt/reference_prop.reference_propagation_const_ptr.ReferencePropagation.diff
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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(<ZST>) }
}

Expand Down Expand Up @@ -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(<ZST>) }
}

Expand All @@ -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(<ZST>) }
}

Expand All @@ -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(<ZST>) }
}

Expand All @@ -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(<ZST>) }
}

Expand Down Expand Up @@ -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(<ZST>) }
}

Expand All @@ -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(<ZST>) }
}

Expand All @@ -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(<ZST>) }
}

Expand All @@ -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(<ZST>) }
}

Expand Down
16 changes: 8 additions & 8 deletions tests/mir-opt/reference_prop.reference_propagation_mut.ReferencePropagation.diff
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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(<ZST>) }
}

Expand Down Expand Up @@ -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(<ZST>) }
}

Expand All @@ -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(<ZST>) }
}

Expand All @@ -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(<ZST>) }
}

Expand All @@ -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(<ZST>) }
}

Expand Down Expand Up @@ -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(<ZST>) }
}

Expand All @@ -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(<ZST>) }
}

Expand Down Expand Up @@ -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(<ZST>) }
}

Expand Down
Loading

0 comments on commit bde213c

Please sign in to comment.