mathieu/granite-rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Run filecheck on dest-prop/branch.rs

Browse source
This commit is contained in:
CastilloDel 2024-04-14 11:35:01 +02:00
parent 3a0db6c152
commit 6bd68fcceb
1 changed files with 4 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
tests/mir-opt/dest-prop/branch.rs
View file

@ -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() {