Add bytecode VM backend with full parity testing infrastructure

.github/workflows/tests.yml

@@ -62,6 +62,24 @@ jobs:
     - name: Run parity tests
       run: make parity
 
+  # Bytecode VM parity tests
+  vm-parity:
+    runs-on: ubuntu-latest
+    timeout-minutes: 5
+    steps:
+    - uses: actions/checkout@v4
+
+    - name: Install dependencies
+      run: |
+        sudo apt-get update
+        sudo apt-get install -y build-essential gcc make
+
+    - name: Build bytecode VM
+      run: make vm
+
+    - name: Run VM parity tests
+      run: make test-vm
+
   # Compile check - verify interpreter tests compile with hemlockc
   compile-check:
     runs-on: ubuntu-latest

.gitignore

@@ -7,6 +7,7 @@
 # Compiled executables
 /hemlock
 /hemlockc
+/hemlockvm
 hemlock.exe
 *.out
 *.app
@@ -86,4 +87,7 @@ docs/docs.html
 # Hemlock bytecode/bundle files
 *.hmlc
 *.hmlb
-*.hmlp
+*.hmlp
+# VM binaries
+src/backends/vm/hemlockvm
+src/backends/vm/hemlockvm_asan

Makefile

@@ -280,8 +280,8 @@ runtime-clean:
 compiler-clean:
 	rm -f $(COMPILER_TARGET) $(COMPILER_OBJS)
 
-# Full clean including compiler, runtime, and release
-fullclean: clean compiler-clean runtime-clean release-clean
+# Full clean including compiler, runtime, VM, and release
+fullclean: clean compiler-clean runtime-clean vm-clean release-clean
 
 # Run compiler test suite
 .PHONY: test-compiler
@@ -303,6 +303,46 @@ parity: $(TARGET) compiler stdlib
 parity-full: $(TARGET) compiler stdlib
 	@bash tests/run_full_parity.sh
 
+# ========== BYTECODE VM ==========
+
+VM_TARGET = hemlockvm
+
+# Build the bytecode VM (output to root directory like hemlock and hemlockc)
+.PHONY: vm
+vm:
+	@echo "Building bytecode VM..."
+	$(MAKE) -C src/backends/vm
+	@cp src/backends/vm/hemlockvm ./$(VM_TARGET)
+	@echo "✓ Bytecode VM built: $(VM_TARGET)"
+
+# Clean the bytecode VM
+.PHONY: vm-clean
+vm-clean:
+	$(MAKE) -C src/backends/vm clean
+	rm -f $(VM_TARGET)
+
+# Run VM parity tests
+.PHONY: test-vm
+test-vm: vm
+	@echo "Running VM parity tests..."
+	@passed=0; failed=0; \
+	for test in tests/parity/language/*.hml tests/parity/builtins/*.hml tests/parity/methods/*.hml tests/parity/modules/*.hml; do \
+		expected="$${test%.hml}.expected"; \
+		if [ -f "$$expected" ]; then \
+			output=$$(timeout 5 ./$(VM_TARGET) "$$test" 2>&1); \
+			expected_content=$$(cat "$$expected"); \
+			if [ "$$output" = "$$expected_content" ]; then \
+				echo "✓ PASS: $$(basename $$test)"; \
+				passed=$$((passed + 1)); \
+			else \
+				echo "✗ FAIL: $$(basename $$test)"; \
+				failed=$$((failed + 1)); \
+			fi; \
+		fi; \
+	done; \
+	echo ""; \
+	echo "VM Parity: $$passed passed, $$failed failed"
+
 # Run bundler test suite
 .PHONY: test-bundler
 test-bundler: $(TARGET)