Skip to content

Commit

Permalink
update mir-opt tests
Browse files Browse the repository at this point in the history
  • Loading branch information
lcnr committed Nov 8, 2023
1 parent 992d93f commit 92267c9
Show file tree
Hide file tree
Showing 8 changed files with 21 additions and 21 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -52,7 +52,7 @@ fn full_tested_match() -> () {
bb5: {
StorageLive(_6);
_6 = &((_2 as Some).0: i32);
_4 = &shallow _2;
_4 = &fake _2;
StorageLive(_7);
_7 = guard() -> [return: bb6, unwind: bb12];
}
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -58,7 +58,7 @@ fn full_tested_match2() -> () {
bb5: {
StorageLive(_6);
_6 = &((_2 as Some).0: i32);
_4 = &shallow _2;
_4 = &fake _2;
StorageLive(_7);
_7 = guard() -> [return: bb6, unwind: bb12];
}
Expand Down
4 changes: 2 additions & 2 deletions tests/mir-opt/building/match_false_edges.main.built.after.mir
Original file line number Diff line number Diff line change
Expand Up @@ -78,7 +78,7 @@ fn main() -> () {
bb8: {
StorageLive(_7);
_7 = &((_2 as Some).0: i32);
_5 = &shallow _2;
_5 = &fake _2;
StorageLive(_8);
_8 = guard() -> [return: bb9, unwind: bb20];
}
Expand Down Expand Up @@ -120,7 +120,7 @@ fn main() -> () {
bb14: {
StorageLive(_11);
_11 = &((_2 as Some).0: i32);
_5 = &shallow _2;
_5 = &fake _2;
StorageLive(_12);
StorageLive(_13);
_13 = (*_11);
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -80,8 +80,8 @@
_6 = &(_2.1: bool);
StorageLive(_8);
_8 = &(_2.2: std::string::String);
- _3 = &shallow (_2.0: bool);
- _4 = &shallow (_2.1: bool);
- _3 = &fake (_2.0: bool);
- _4 = &fake (_2.1: bool);
StorageLive(_9);
StorageLive(_10);
_10 = _1;
Expand Down Expand Up @@ -137,8 +137,8 @@
_6 = &(_2.0: bool);
StorageLive(_8);
_8 = &(_2.2: std::string::String);
- _3 = &shallow (_2.0: bool);
- _4 = &shallow (_2.1: bool);
- _3 = &fake (_2.0: bool);
- _4 = &fake (_2.1: bool);
StorageLive(_12);
StorageLive(_13);
_13 = _1;
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -80,8 +80,8 @@
_6 = &(_2.1: bool);
StorageLive(_8);
_8 = &(_2.2: std::string::String);
- _3 = &shallow (_2.0: bool);
- _4 = &shallow (_2.1: bool);
- _3 = &fake (_2.0: bool);
- _4 = &fake (_2.1: bool);
StorageLive(_9);
StorageLive(_10);
_10 = _1;
Expand Down Expand Up @@ -137,8 +137,8 @@
_6 = &(_2.0: bool);
StorageLive(_8);
_8 = &(_2.2: std::string::String);
- _3 = &shallow (_2.0: bool);
- _4 = &shallow (_2.1: bool);
- _3 = &fake (_2.0: bool);
- _4 = &fake (_2.1: bool);
StorageLive(_12);
StorageLive(_13);
_13 = _1;
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -68,7 +68,7 @@ fn main() -> () {
}

bb9: {
_8 = &shallow _1;
_8 = &fake _1;
StorageLive(_9);
_9 = _2;
switchInt(move _9) -> [0: bb11, otherwise: bb10];
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -33,10 +33,10 @@
}

bb4: {
- _4 = &shallow _1;
- _5 = &shallow (*((_1 as Some).0: &&i32));
- _6 = &shallow ((_1 as Some).0: &&i32);
- _7 = &shallow (*(*((_1 as Some).0: &&i32)));
- _4 = &fake _1;
- _5 = &fake (*((_1 as Some).0: &&i32));
- _6 = &fake ((_1 as Some).0: &&i32);
- _7 = &fake (*(*((_1 as Some).0: &&i32)));
+ nop;
+ nop;
+ nop;
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -33,10 +33,10 @@
}

bb4: {
- _4 = &shallow _1;
- _5 = &shallow (*((_1 as Some).0: &&i32));
- _6 = &shallow ((_1 as Some).0: &&i32);
- _7 = &shallow (*(*((_1 as Some).0: &&i32)));
- _4 = &fake _1;
- _5 = &fake (*((_1 as Some).0: &&i32));
- _6 = &fake ((_1 as Some).0: &&i32);
- _7 = &fake (*(*((_1 as Some).0: &&i32)));
+ nop;
+ nop;
+ nop;
Expand Down

0 comments on commit 92267c9

Please sign in to comment.