1 files changed, 13 insertions, 0 deletions
diff --git a/tests/performance/25_short_circuit.sy b/tests/performance/25_short_circuit.sy
new file mode 100644
index 0000000..a1f9b6a
--- /dev/null
+++ b/tests/performance/25_short_circuit.sy
@@ -0,0 +1,13 @@
+int f() {
+  putint(0);
+  return 0;
+}
+
+int g() {
+  putint(1);
+  return 1;
+}
+
+int main () {
+  return (f() && g()) || (!f() && g());
+}