diff options
| author | CastilloDel <delcastillodelarosadaniel@gmail.com> | 2024-04-14 11:35:01 +0200 |
|---|---|---|
| committer | CastilloDel <delcastillodelarosadaniel@gmail.com> | 2024-04-14 11:35:01 +0200 |
| commit | 6bd68fcceb1d0708ce898fb92275119e2658d64b (patch) | |
| tree | 581668e87d5d24f85cc4509493def1548b49e5c6 | |
| parent | 3a0db6c15251a56a02f4d0171d3e9586f86abd44 (diff) | |
| download | rust-6bd68fcceb1d0708ce898fb92275119e2658d64b.tar.gz rust-6bd68fcceb1d0708ce898fb92275119e2658d64b.zip | |
Run filecheck on dest-prop/branch.rs
| -rw-r--r-- | tests/mir-opt/dest-prop/branch.rs | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/tests/mir-opt/dest-prop/branch.rs b/tests/mir-opt/dest-prop/branch.rs index cd551307285..b1741bb2395 100644 --- a/tests/mir-opt/dest-prop/branch.rs +++ b/tests/mir-opt/dest-prop/branch.rs @@ -1,4 +1,3 @@ -// skip-filecheck // EMIT_MIR_FOR_EACH_PANIC_STRATEGY //! Tests that assignment in both branches of an `if` are eliminated. //@ unit-test: DestinationPropagation @@ -12,6 +11,10 @@ fn cond() -> bool { // EMIT_MIR branch.foo.DestinationPropagation.diff fn foo() -> i32 { + // CHECK-LABEL: fn foo( + // CHECK: debug y => [[y:_.*]]; + // CHECK: [[y]] = val() + // CHECK-NOT: [[y]] = {{_.*}}; let x = val(); let y = if cond() { |