aboutsummaryrefslogtreecommitdiffstats
path: root/progs/tests/expression/boolean_ops_count.sy
diff options
context:
space:
mode:
authorGustav Sörnäs <gustav@sornas.net>2021-03-09 19:46:01 +0100
committerGustav Sörnäs <gustav@sornas.net>2021-03-09 19:50:24 +0100
commit98f77e4a9aaff56e4a24919932076a4cee2a5598 (patch)
tree9adb84aa069a6d8994e106ced7a8b83217f6a971 /progs/tests/expression/boolean_ops_count.sy
parent44170a579266501143af63960fda8706df809c09 (diff)
downloadsylt-98f77e4a9aaff56e4a24919932076a4cee2a5598.tar.gz
move some tests
Diffstat (limited to 'progs/tests/expression/boolean_ops_count.sy')
-rw-r--r--progs/tests/expression/boolean_ops_count.sy41
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
+}