Add an optimizing compiler

.github/workflows/ci.yml

@@ -69,6 +69,8 @@ jobs:
       run: CC=${{matrix.CC}} CFLAGS="-fsanitize=undefined ${{matrix.USE_STATIC_HEAP}}" uv run python compiler_tests.py
     - name: Run compiler tests with Valgrind
       run: CC=${{matrix.CC}} CFLAGS="${{matrix.USE_STATIC_HEAP}}" USE_VALGRIND=1 uv run python compiler_tests.py
+    - name: Run IR tests (remove when merged)
+      run: CC=${{matrix.CC}} CFLAGS="${{matrix.USE_STATIC_HEAP}}" uv run python ir.py
   run_compiler_unit_tests_other_cc:
     runs-on: ubuntu-latest
     steps:

compiler.py

@@ -220,21 +220,19 @@ def try_match(self, env: Env, arg: str, pattern: Object, fallthrough: str) -> En
             self._emit(f"if (!is_list({arg})) {{ goto {fallthrough}; }}")
             updates = {}
             the_list = arg
-            use_spread = False
             for i, pattern_item in enumerate(pattern.items):
                 if isinstance(pattern_item, Spread):
-                    use_spread = True
                     if pattern_item.name:
                         updates[pattern_item.name] = the_list
-                    break
+                    return updates
                 # Not enough elements
                 self._emit(f"if (is_empty_list({the_list})) {{ goto {fallthrough}; }}")
                 list_item = self._mktemp(f"list_first({the_list})")
+                # Recursive pattern match
                 updates.update(self.try_match(env, list_item, pattern_item, fallthrough))
                 the_list = self._mktemp(f"list_rest({the_list})")
-            if not use_spread:
-                # Too many elements
-                self._emit(f"if (!is_empty_list({the_list})) {{ goto {fallthrough}; }}")
+            # Too many elements
+            self._emit(f"if (!is_empty_list({the_list})) {{ goto {fallthrough}; }}")
             return updates
         if isinstance(pattern, Record):
             self._emit(f"if (!is_record({arg})) {{ goto {fallthrough}; }}")
@@ -496,7 +494,6 @@ def compile_to_string(program: Object, debug: bool) -> str:
     dirname = os.path.dirname(__file__)
     with open(os.path.join(dirname, "runtime.c"), "r") as runtime:
         print(runtime.read(), file=f)
-    print("#define OBJECT_HANDLE(name, exp) GC_HANDLE(struct object*, name, exp)", file=f)
     if compiler.record_keys:
         print("const char* record_keys[] = {", file=f)
         for key in compiler.record_keys: