diff --git a/regression/Makefile b/regression/Makefile index 43c3c6376..b669fb797 100644 --- a/regression/Makefile +++ b/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 $@.lama + cat $@.input | $(BYTERUN) -i $@.bc > $@.log && diff $@.log orig/$@.log + clean: $(RM) test*.log *.s *~ $(TESTS) *.i $(MAKE) clean -C expressions diff --git a/regression/deep-expressions/Makefile b/regression/deep-expressions/Makefile index b37c09433..7a08ad8da 100644 --- a/regression/deep-expressions/Makefile +++ b/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 *~ diff --git a/regression/expressions/Makefile b/regression/expressions/Makefile index 8ab41d698..e59e53844 100644 --- a/regression/expressions/Makefile +++ b/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 *~