diff options
Diffstat (limited to 'src/test/mir-opt/dest-prop/branch.rs')
-rw-r--r-- | src/test/mir-opt/dest-prop/branch.rs | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/src/test/mir-opt/dest-prop/branch.rs b/src/test/mir-opt/dest-prop/branch.rs new file mode 100644 index 000000000..fffcf82b3 --- /dev/null +++ b/src/test/mir-opt/dest-prop/branch.rs @@ -0,0 +1,21 @@ +//! Tests that assignment in both branches of an `if` are eliminated. +// compile-flags: -Zunsound-mir-opts +fn val() -> i32 { + 1 +} + +fn cond() -> bool { + true +} + +// EMIT_MIR branch.main.DestinationPropagation.diff +fn main() { + let x = val(); + + let y = if cond() { + x + } else { + val(); + x + }; +} |