1 files changed, 41 insertions, 0 deletions
diff --git a/progs/tests/expression/boolean_ops_count.sy b/progs/tests/expression/boolean_ops_count.sy
new file mode 100644
index 0000000..b4a43e9
--- /dev/null
+++ b/progs/tests/expression/boolean_ops_count.sy
@@ -0,0 +1,41 @@
+start :: fn {
+    ts := 0
+    t :: fn -> bool {
+        ts += 1
+        ret true
+    }
+
+    fs := 0
+    f :: fn -> bool {
+        fs += 1
+        ret false
+    }
+
+    i :: fn -> bool {
+        <!>
+        ret false
+    }
+
+    if f() && i() {
+        <!>
+    }
+
+    if t() || i() {
+        // This block is intentionally left blank
+    } else {
+        <!>
+    }
+
+    if f() && i() && i() {
+        <!>
+    }
+
+    if t() || i() || i() {
+        // This block is intentionally left blank
+    } else {
+        <!>
+    }
+
+    fs <=> 2
+    ts <=> 2
+}