byterun: add to tests

regression/Makefile

@@ -1,6 +1,7 @@
 TESTS=$(sort $(basename $(wildcard test*.lama)))
 
 LAMAC=../src/lamac
+BYTERUN=../byterun/byterun
 
 .PHONY: check $(TESTS)
 
@@ -12,6 +13,10 @@ $(TESTS): %: %.lama
 	cat $@.input | LAMA=../runtime $(LAMAC) -ds -s $< > $@.log && diff $@.log orig/$@.log
 	LAMA=../runtime $(LAMAC) $< && cat $@.input | ./$@ > $@.log && diff $@.log orig/$@.log
 
+	# Check bytecode intepreter correctness.
+	$(LAMAC) -b [email protected]
+	cat [email protected] | $(BYTERUN) -i [email protected] > [email protected] && diff [email protected] orig/[email protected]
+
 clean:
 	$(RM) test*.log *.s *~ $(TESTS) *.i
 	$(MAKE) clean -C expressions

regression/deep-expressions/Makefile

@@ -1,6 +1,7 @@
 TESTS=$(sort $(basename $(wildcard generated*.lama)))
 
 LAMAC = ../../src/lamac
+BYTERUN = ../../byterun/byterun
 
 .PHONY: check $(TESTS)
 
@@ -11,6 +12,8 @@ $(TESTS): %: %.lama
 	@LAMA=../../runtime $(LAMAC) $< && cat $@.input | ./$@ > $@.log && diff $@.log orig/$@.log
 	@cat $@.input | $(LAMAC) -i $< > $@.log && diff $@.log orig/$@.log
 	@cat $@.input | $(LAMAC) -s $< > $@.log && diff $@.log orig/$@.log
+	@ $(LAMAC) -b $@.lama
+	@cat $@.input | $(BYTERUN) -i $@.bc > $@.log && diff $@.log orig/$@.log
 
 clean:
 	rm -f *.log *.s *~

regression/expressions/Makefile

@@ -1,6 +1,7 @@
 TESTS=$(sort $(basename $(wildcard generated*.lama)))
 
 RC = ../../src/lamac
+BYTERUN = ../../byterun/byterun
 
 .PHONY: check $(TESTS)
 
@@ -11,6 +12,8 @@ $(TESTS): %: %.lama
 	@LAMA=../../runtime $(RC) $< && cat $@.input | ./$@ > $@.log && diff $@.log orig/$@.log
 	@cat $@.input | $(RC) -i $< > $@.log && diff $@.log orig/$@.log
 	@cat $@.input | $(RC) -s $< > $@.log && diff $@.log orig/$@.log
+	@ $(RC) -b $@.lama
+	@cat $@.input | $(BYTERUN) -i $@.bc > $@.log && diff $@.log orig/$@.log
 
 clean:
 	rm -f *.log *.s *~