diff options
Diffstat (limited to 'src/test/mir-opt/const_prop/boolean_identities.rs')
-rw-r--r-- | src/test/mir-opt/const_prop/boolean_identities.rs | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/src/test/mir-opt/const_prop/boolean_identities.rs b/src/test/mir-opt/const_prop/boolean_identities.rs new file mode 100644 index 000000000..57164e3e7 --- /dev/null +++ b/src/test/mir-opt/const_prop/boolean_identities.rs @@ -0,0 +1,10 @@ +// compile-flags: -O -Zmir-opt-level=4 + +// EMIT_MIR boolean_identities.test.ConstProp.diff +pub fn test(x: bool, y: bool) -> bool { + (y | true) & (x & false) +} + +fn main() { + test(true, false); +} |