add runtime behavior testing for guard patterns (1)

Author: Human9000-bit

tests/ui/pattern/rfc-3637-guard-patterns/correct-mir.rs

@@ -0,0 +1,22 @@
+//! Check for correct runtime behavior when using guard patterns combined with arm guards
+
+//@ compile-flags: -Zvalidate-mir -Zlint-mir
+//@ run-pass
+
+#![feature(guard_patterns)]
+#![allow(incomplete_features)]
+
+fn main() {
+    assert!(guard_arm_pats(true, false, true));
+    assert!(guard_arm_pats(false, true, true));
+}
+
+fn guard_arm_pats(x: bool, y: bool, z: bool) -> bool {
+    match (x, y) {
+        // (true, false, true)
+        (true if x, false if x) if z => true,
+        // (false, true, true)
+        (false if z, true if !x) if y => true,
+        _ => false
+    }
+}

tests/ui/pattern/rfc-3637-guard-patterns/runtime-behavior/arm-and-pat-guards.rs

@@ -0,0 +1,48 @@
+//! Check for correct runtime behavior when using guard patterns with or-patterns
+
+//@ compile-flags: -Zvalidate-mir -Zlint-mir
+//@ run-pass
+
+#![feature(guard_patterns)]
+#![allow(incomplete_features)]
+
+fn main() {
+    assert!(arr_with_or_pats_and_arm_guard([1, 2, 4], true, true, false, true, true));
+    assert!(arr_with_or_pats_and_arm_guard([1, 3, 4], true, false, true, true, true));
+
+    assert!(arr_with_or_pats([1, 2, 4], true, true, false, true));
+    assert!(arr_with_or_pats([1, 3, 4], true, false, true, true));
+}
+
+fn arr_with_or_pats_and_arm_guard(
+    arr: [u8; 3],
+    a: bool,
+    b: bool,
+    c: bool,
+    d: bool,
+    e: bool,
+) -> bool {
+    const A: u8 = 1;
+    const B: u8 = 2;
+    const C: u8 = 3;
+    const D: u8 = 4;
+
+    match arr {
+        // [1, 2 | 3, 4]
+        [A if a, (B if b) | (C if c), D if d] if e => true,
+        _ => false
+    }
+}
+
+fn arr_with_or_pats(arr: [u8; 3], a: bool, b: bool, c: bool, d: bool) -> bool {
+    const A: u8 = 1;
+    const B: u8 = 2;
+    const C: u8 = 3;
+    const D: u8 = 4;
+
+    match arr {
+        // [1, 2 | 3, 4]
+        [A if a, (B if b) | (C if c), D if d] => true,
+        _ => false
+    }
+}

tests/ui/pattern/rfc-3637-guard-patterns/runtime-behavior/or-pats.rs

@@ -0,0 +1,34 @@
+//! Check for correct runtime behavior when using bools in guard patterns
+
+//@ compile-flags: -Zvalidate-mir -Zlint-mir
+//@ run-pass
+
+#![feature(guard_patterns)]
+#![allow(incomplete_features)]
+
+fn main() {
+    assert!(generic_usage(true, false, true));
+    assert!(!generic_usage(false, true, true));
+    assert!(with_ops(true, false, true));
+    assert!(with_ops(false, true, true))
+}
+
+fn generic_usage(x: bool, y: bool, z: bool) -> bool {
+    match (x, y) {
+        // (true, false, true)
+        (true if z, false if z) => true,
+        // (false, true, true)
+        (false if z, true if z) => false,
+        _ => false
+    }
+}
+
+fn with_ops(x: bool, y: bool, z: bool) -> bool {
+    match (x, y) {
+        // (true, false, true)
+        (true if y || z, false if x && z) => true,
+        // (false, true, true)
+        (false if y && z, true if y || z) => true,
+        _ => false
+    }
+ }