remove lama in lama checks

Makefile

@@ -24,7 +24,7 @@ uninstall:
 	$(RM) -r `opam var share`/Lama
 	$(RM) `opam var bin`/$(EXECUTABLE)
 
-regression-all: regression regression-expressions regression-lama-in-lama
+regression-all: regression regression-expressions
 
 regression:
 	$(MAKE) clean check -j8 -C regression
@@ -34,13 +34,6 @@ regression-expressions:
 	$(MAKE) clean check -j8 -C regression/expressions
 	$(MAKE) clean check -j8 -C regression/deep-expressions
 
-regression-lama-in-lama: all
-	mkdir tmp-lama
-	cp runtime/Std.i tmp-lama
-	cp runtime/runtime.a tmp-lama
-	cp -R stdlib/* tmp-lama
-	$(MAKE) -C lama-compiler
-
 unit_tests:
 	./runtime/unit_tests.o
 	./runtime/invariants_check.o
@@ -56,5 +49,3 @@ clean:
 	$(MAKE) clean -C regression
 	$(MAKE) clean -C byterun
 	$(MAKE) clean -C bench
-	$(MAKE) clean -C lama-compiler
-	if [ -d tmp-lama ]; then rm -Rf tmp-lama; fi

lama-compiler/Makefile

@@ -1,15 +0,0 @@
-.PHONY: all
-
-all:
-	@echo "build Lama in Lama"
-	@make -C src
-	@make -C runtime
-	@echo "regression Lama in Lama"
-	@make -C regression
-
-clean:
-	make clean -C src
-	make clean -C runtime
-	make clean -C regression
-
-

lama-compiler/README.md

@@ -1,2 +0,0 @@
-# compiler-2020
-A supplementary repository for the course on compilers.

lama-compiler/regression/Makefile

@@ -1,24 +0,0 @@
-TESTS=$(sort $(basename $(wildcard test*.lama)))
-LOGS=$(TESTS:=.log)
-
-LAMAC=../src/lama-impl
-RM=rm -rf
-
-.PHONY: check $(TESTS)
-
-check: $(TESTS) expr_tests
-
-$(TESTS): %: %.lama
-	@echo "lama-compiler/regression/$@"
-	@ulimit -s -S 32768; cat $@.input | $(LAMAC) $@.lama -i > $@.log && diff $@.log orig/$@.log
-	@ulimit -s -S 32768; cat $@.input | $(LAMAC) $@.lama -s > $@.log && diff $@.log orig/$@.log
-	@$(LAMAC) $@.lama && cat $@.input | ./$@ > $@.log && diff $@.log orig/$@.log
-
-expr_tests:
-	make -C expressions
-	make -C deep-expressions
-
-clean:
-	$(RM) *.s *.i *~ $(LOGS) $(TESTS) *.run *.sm
-	make -C expressions clean
-	make -C deep-expressions clean

lama-compiler/regression/deep-expressions/Makefile

@@ -1,18 +0,0 @@
-TESTS=$(sort $(basename $(wildcard generated*.lama)))
-
-LAMAC = ../../src/lama-impl
-
-.PHONY: check $(TESTS)
-
-check: $(TESTS)
-
-$(TESTS): %: %.lama
-	@echo "lama-compiler/regression/deep-expressions/$@"
-	@cat $@.input | $(LAMAC) -i $< > $@.log && diff $@.log orig/$@.log
-	@cat $@.input | $(LAMAC) -s $< > $@.log && diff $@.log orig/$@.log
-	@LAMA_RUNTIME=../../runtime $(LAMAC) $< && cat $@.input | ./$@ > $@.log && diff $@.log orig/$@.log
-
-clean:
-	rm -f *.log *.s *~
-	find . -maxdepth 1 -type f -not -name '*.*' -not -name 'Makefile' -delete
-

lama-compiler/regression/deep-expressions/generated00000.input

@@ -1,4 +0,0 @@
-31
-67
-88
-69

lama-compiler/regression/deep-expressions/generated00000.lama

@@ -1,8 +0,0 @@
-var x0, x1, x2, x3, y;
-
-x0 := read ();
-x1 := read ();
-x2 := read ();
-x3 := read ();
-y := ((((((x0<=x0)<=x2-362)>=((454!=x2)!=(x2>4))&&(444+724!=(x3!=x0))==(83-x2<=784+635))>(((x1>=x2)==(370>720))*((x3>x2)-(x1<=869))!=((x2==x3)!=(346&&243)!!x0-x0<=154*430)))!=(((499&&143)-(x0>489))-((162!=252)==(x3<129))>=((405+x2)*(x0<=568)!=(414*x1!=(x1>613))))*(((x1>129)<=(561<x1)!!(34>275)==(813==557))<=((604!!x1)==(x1<475))+((x1==x0)<(554!=x1)))!!(((602!!x2)==(270>x3))*((x2<608)-x2*x1)!=((223!!65)<x2+x1)+((865<=x0)-(708<762)))-(((794!=856)>=(x2>856))-(107*x2-(458&&x2))&&(x1+x3>=531-x0)<((230<x0)>(x2!!617)))<((((402!=72)==x0-x3!!(585!!329)<(x3&&x1))<=((527&&426)>x3+x1)-((x1<=x2)<=(x0==105)))>=(((173!=843)*(117<=x0)<((734>x3)!=849-x2))==(((596<=870)<(x2<x0))<=((x0==x2)>(401<x1))))))!!((((((x3>x0)>=(409&&x2))>(x1<=13)+(299-x0))==(((366!=x3)<=(633!!x1))<((367==135)>=x0+334)))>(((x2&&x1)>=(154>721))*((569!!x1)>(x2<=47))>=(((x2<x2)>=573*x2)!=(465-x2<(85>=x3)))))<=((((837>=77)-(100<=886)>=(231==x3)+x1*x3)!=((705*x0&&334-x0)>=(x3==x2&&x2<444)))<((x0*68<=(x3==933))*((290&&890)==338-594)>((455==x1)+(523>=x3)>=(x2<x1)+(778-x0)))))==(((613+273)*(x0!!x0)+(630+983<926-889))*((935*629>(x2<x0))>(x2==748)-x3*557)-((x1-x1)*(585*x0)>(x0<493!!x0==x3))*(((778!!516)==(x2!=268))*(980-6&&478!=x1))<=(((137>=x3)==(449==x3))+((720>598)>x2+x2)>=((122!=x0)<(x3&&335))-(614>x2&&(852&&174)))*((931<=453&&950<x2)+((x3!!x0)-(247>=676))!!((x0!=917)<=(4!=x1))>(x3*924>(x2<x2)))));
-write (y)

lama-compiler/regression/deep-expressions/generated00001.input

@@ -1,4 +0,0 @@
-32
-78
-22
-20

lama-compiler/regression/deep-expressions/generated00001.lama

@@ -1,8 +0,0 @@
-var x0, x1, x2, x3, y;
-
-x0 := read ();
-x1 := read ();
-x2 := read ();
-x3 := read ();
-y := ((((((173!=x0&&310<827)>(614-x1!!463<=x3))>=(586-x2<=(22!=273))*((62&&789)+584*851))<=((88-79)*(561<=341)<=((913<731)<=529+413))+(((x0<x0)<=182+104)>=((x0&&292)<=(575<720))))+((((x2&&485)&&(25&&387))+(386>=x0&&x3<x3))-(((x2==231)!=(681>x0))>(x3==x2)*(x0<531))<(((x2!=57)!=997+113!!(135*x3!!356&&x0))<(((258==x3)<(x1!!x1))>((x3>=x1)==(725>x1)))))!!((((625>x2)-(924>x3)&&x3+943>(x1>=233))!=(x2>x2)*(x1*x0)-((x3<=x2)!=(9!!x2)))<=((((135!!652)>=(218&&x3))!=((150&&411)<(405!!101)))!=((264<=x0)*(x3&&982)<=(x2-107)*(27&&x0)))!!((((471<=335)<=(473!!1))==(799>635)+(363&&x3))!=((x3-x1!!x1==x1)<=(307==428)*(x2*563)))==((x3-x3!!x1<=17)!=((x3!!313)>=(634>107)))-((x2<x3)!=(401>x2)&&(x1*409&&(590&&x2)))))!!((((x2!!x1)+(739+x2)!=((x3>499)>(x3==x2)))>=((216<=x0)<=(x3!=x0))-((x0==x2)<(x2!!572)))>=(((761+x3==x2+307)<((446&&377)!=(823<677)))>(((455&&434)==(712!=x1))==x0*x2+x2*639))!!(((774-x2&&x1+x2)<(179*341<(500!=371)))>=(x0<=164!!x2>x2)-(x3*798==657+x0))-(((188!=108)+(x0!=x3)!=(166>=35!!277+373))>(((x3<=688)>=(x0>=201))!=(257&&262)+(x0+861))))==((((995<382)==(x2>x0))+((x0&&957)!=x1+654)>=(((565==490)>=(x3>=210))>=((x0!!x0)<(x1<x1))))!=((((x0&&x0)>(x0>=x2))<=((x0<x2)<=(x3>x3)))==(588+x0>=(123!!x1)&&x0-x0!=(898!=x2)))&&(((x1>=x2)==(588!=556))>(x1==x3!!117<=625)&&(x3*x0<=(x3!=x3))*((314!=x2)+(280<x1)))<=((x3-988)-(x0!!246)==((611!=x1)!=755-x1))+(((x2!=x0)>x1-263)-((46-x3)+(944-678)))));
-write (y)

lama-compiler/regression/deep-expressions/generated00002.input

@@ -1,4 +0,0 @@
-5
-87
-26
-94

lama-compiler/regression/deep-expressions/generated00002.lama

@@ -1,8 +0,0 @@
-var x0, x1, x2, x3, y;
-
-x0 := read ();
-x1 := read ();
-x2 := read ();
-x3 := read ();
-y := ((((((169&&568)-x3*675)*((x1+x3)+x3*750)!!((851>156)==x2*741)<=((x2<838)<=(x0!=6)))!=((748-463==(482!!x1))<=(635+104)+(x0==x3)&&(x0*739>=(x1!!x0))>(248>x3&&x1+x1)))<(((777!=59!!x3+685)-((x3!=235)==293*849)>=(89!=x1!!509>=386)*((65!!704)<(563==564)))>=(x1!=913&&(x3!!x2)!!(102>x0)*(x1>=596))*(x0+572<=(336>=x1)&&(x3&&x1!!x2<509)))!!((x2>x3&&615>x3)-(914+x3)*(x0<=x3)>(((x2>61)<(x0!!x3))>(x0+303&&x2+845))&&(((980<=293)<=(x1<=x3))<542*408-(649!!477))<(((x3==x1)==x3*x0)>=((x3>=x0)>=(x0<x0))))>=(((370*x3>(17>=x2))*((120>x1)-(67&&356))!=((x1-237<=x2-413)==(x2>x2)+(520-x1)))>=((174>=x0)*(470&&x2)==(505!!22)*(669!!x2)!!((x1>=721)<x3+x1)==(204==265)-(x0-378))))!!(((((x2!=x2)<(x2>=x2))-(209*x1==(516<376)))+(52*x2>=(535!!811))*((854!=601)-(468+x0)))-(((451<=x1)>(x1!!576))<=(x1!=x0&&x2==x1))*((x3<=161)<(x0<527)&&(x2==947&&x1*x1))>((x2*x2!=947*x2)-((x0!!383)-(64!!97))!=(920+957!=(x1&&60))+((587<198)+(877<x3)))+(((487&&x2)<(x2!!20))+((x3==x3)>(304<=602))!!558*x3+(x2<=x1)!=(42+x3&&(934&&x3))))<(((991-392==(x1&&x2))<=(690+772!!x2<=614))+((x2!=884)!=(970!!460)&&(247>=656)-(x3<x1))&&(x3!=x0&&(x0&&x1))-(x0+x3!!x0+x1)<=(((x3&&641)<(362<=x0))>(x2&&x0)*(949!=x0)))-((((x3+x0)-(x0>=372)<=((939!!902)!=(492>=769)))>((287*229<853-105)<=(x0!!x3)*(x0<=x3)))+((((x2<x2)>=(x1>=578))<=((x1!!x1)>=152-186))>=((488>=x1)*(859<=x1)<=(721!!x0)-(157>x1)))));
-write (y)

lama-compiler/regression/deep-expressions/generated00003.input

@@ -1,4 +0,0 @@
-80
-59
-0
-34

lama-compiler/regression/deep-expressions/generated00003.lama

@@ -1,8 +0,0 @@
-var x0, x1, x2, x3, y;
-
-x0 := read ();
-x1 := read ();
-x2 := read ();
-x3 := read ();
-y := (((((426+230>138+179)>((515!!x1)==712*x1))*(x3*745-(x0!!147)>((710&&x2)!=(x2!!x2)))==(((38+320&&(602!!136))!=(x2-349)-(x2+437))!=(((166<=369)<(x0==677))<(x0>=x0)-(292<=x3))))>((((902<591)*(263+x0)>=((105==381)>=(525>=928)))==((339<=x0)>(602>=519))+((x2>x1)>=(128<=770)))<=((x0+65<=(x3>=388))<((590<=95)<=(x2!=x3))&&((x2&&311)==(x0>=881))*((807==175)*(x1+72))))!!((((320!=x1)==(x3!=913))-((934>=474)<=(x2&&330))&&((167>=816)<=(197&&354))-((x1==926)<=451*x2))&&((x1-x1<=(189!=378))<((x0>297)==(x0!=x1)))*(((x1==x2)==(675!!466))==((x0!!x2)>=(x3<=x2))))<((((864&&x2)-(x3<978))*(737*x2<(154<x1))!!((294==399)==(478>137))>=((x1!=x2)<499*x1))!!((x1*761!!256+x3)>=((550&&875)&&942<904))+((x0<=278&&814==446)<(x0-x0&&919>x0))))!!(((((975!=x2)<(349==962))>=(x1-670)-(x2-x3))<=(((534>=913)<=765-x3)==((837!!736)==(489<231)))!!((6&&596)>=(x3<x3)&&(x0-x1)*(218*282))*((x1!=277)+(x2!=80)&&(x1<x1)!=(138>=x1)))<(((366-101)*(692+x2))*((366<59)<=(517!!x2))>=(x2<x2)*(0&&207)+((x3!!x1)==(x0>x2))!!((89+476>(17!!263))<=((503<x2)<=(883>27)))!=((424!=412)>=(915!=x0))-(806*x1!=(982>=x3))))<=(((((x2&&x2)==(x2&&x1))*((705>=x3)-(x3+x3))!!((201&&x0)>=(x2>504)!!(x3*510)*(905+196)))&&(((x3>x0)!=(x1>=x0))!=(649>=x0&&902<=x1))<((524==x0)-(x1==x2))-((566==826)==(930<=x2)))>(((x2!=x1)<=(x2==x2))-((898!!x0)<411*324)<((x1>876!!x2<=x3)<(996-x0)*(x0&&x2)))+((x2<x2)*(x1==x0)>((x2<=715)>=(x0&&780)))*((x2==65&&(782!!592))!=((x1!!x3)!!x3>x1))));
-write (y)

lama-compiler/regression/deep-expressions/generated00004.input

@@ -1,4 +0,0 @@
-37
-53
-52
-23

lama-compiler/regression/deep-expressions/generated00004.lama

@@ -1,8 +0,0 @@
-var x0, x1, x2, x3, y;
-
-x0 := read ();
-x1 := read ();
-x2 := read ();
-x3 := read ();
-y := ((((((579!=628)==(140>288))<((x1>x0)==x2-997))+((810&&x1)+(x3>=567)<((x2&&x2)!=(459!!x2)))>=(((x1&&245)==427*x1)*(837+x1>=x1-289)!!x3*x1-(831!=x2)!=((x1==92)!=(x3!=x0))))>(((599*794)*(434-672)+((x1<=651)>357-x0)!!((432>=514)<468*710)*((x0>x1)>=295*x3))!!((x1>=428)-(x0>x3)>=(428>36)*(886>55))*((x1!=x2)-(460!!x0)!=((35>=x0)==39*x1)))!!(((x2+216!!772<=752)*((x1!!x3)*(63>=x3))<((636&&664)&&215*371)-(997*x3)*(x2==x2))>=((((x3>=823)!=(796<=459))<((x3<=x2)<(562==x2)))>((673-x1&&x1*769)>=((x2==481)<x0*276)))!!(((390==863)!=(250<=838))==(x2<x3&&596*380))+(((x3<x0)<=(x2<=606))>((x3<=386)!=x3+524))>((x3==x1&&863==x0)+(664!=374&&(x1&&710))!!(x0+x2)+(440!=723)==260*x1+(243<=x0))))!!((((609==x1!!x1!=831)!=((x1>426)!=(166!=x2)))<=((274>=507)-152*x1!!((x3!!x3)!!806+x1)))+((((47<=411)!=(x3>=x0))==(767!=225)-x3*745)!=((x3!!x1)<(258>=x3))-((x2==x0)==(83<3)))!=((((x1>=x2)<x1+x1!!x0+x0<=(x0>=617))>=((606+x1==(x1==508))==(733*766<(395>=86))))<(((x1+x1>(x3>x2))>((509!=x0)!=(593<252)))<(((381!=x3)!=(806&&239))==(558<223)-(x2<193)))))<=((((514==925)>=(x3>738))==(x1&&818)*(x1>=x0)&&(x3>=239)+(85>526)!=((873>x2)<=(x2<=989)))-(((x0>=x2!!x0&&x1)&&(x2<=132&&(x0&&x2)))-((x1<=886)<214*447)*((348<x1)+(x3!=621)))!!((x2>=x2!!250&&x2)>(13==x3&&58>=412))+(((x2>x0)<x2*x1)-((x2!!x2)!!685<x1))>=((454+x2&&(x2&&566))+(765*x2-(151!!646))<=(x2-x3>=(902!=x3))+((x0<=x2)+(117>=494)))));
-write (y)

lama-compiler/regression/deep-expressions/generated00005.input

@@ -1,4 +0,0 @@
-52
-19
-27
-13

lama-compiler/regression/deep-expressions/generated00005.lama

@@ -1,8 +0,0 @@
-var x0, x1, x2, x3, y;
-
-x0 := read ();
-x1 := read ();
-x2 := read ();
-x3 := read ();
-y := ((((x1-576&&x0-x0!!6+244<=(838!=617))-((x2-x3!!x3!=296)>=((x3<628)>=609*281))>=((729!!619)<=(446!!x1))*((x2!!460)&&x0>609)-((7*x1<(x1&&490))<((821>x2)<=(x2!=979))))>((((274<x2)==(x1==x1))<(72<=x3&&885!=331))<((x3<=731)>(x1!!160)!!(x3>x3)*(x0!!758)))*(((x2+5!!x3+x2)<(x1>109!!978==784))>=((943-x3!!x3-x1)>=((232&&x3)&&(x3&&x1))))!!(((((323>255)!=(x0==x3))>((984<x0)<=(544&&x0)))==(x3&&651!!674&&988)+((x3>=397)==(x2>588)))==(((711>=670)>=(x1&&669))>(x3-84)+(732<x0)!!(x0>=x1)==(250&&x0)&&(399!!x0)>=955*694)!!(((x3+444>x2+752)<(x3!!212)+(510!=x1))<=(((x2>=x1)<=(x3>=x3))>((x3>=44)!=416*x2)))==(((x0!=261)!=(238>=x1))<=(x1<=784&&x3-x1))+((x3-x3)-(x3==742)<=(x3>619)*(x0&&x2))))!!(((((187!=x3)<(x3<=x1))-((x3<=362)!=(480&&x0)))*((797!=x1)-(745>=x1)!!(95!!x2)>=(99>=x1))==((((x2&&x1)!=719*x0)>=((84<x0)>=x0*109))<(((x2!!x3)&&x0!=x3)>(x2!!x0)-(x0+288))))<((x1-x2>(753==79))+(x2-x2>(x2>708))>((422&&657)>906-301)+(x3!!x1)*(61>=x0)&&((230>=176&&433*458)!=((596!=571)<(x3!!180)))==((906<=383!!x1*642)!=(x1+x3)-(x1!=982))))<(((653!!799)-(x3+x2)>=((x2<=x1)>(x0&&x1)))-(((x0<=156)>=(720>x2))>((x3!!547)<=(553!=x2)))==(x0<x3&&x0*x2!!(x2<x2)-(x2+x1))+((x1-x1&&735>=x3)==(x1>70)+(544+509)))*((((335&&x0)<(86!=322))==(x0+x2<(565==259)))+((537==x2!!549<=x1)==(x3-461)+(x1>876))<((774<x0)<668+941!!x0+105&&(x3&&466))+((879&&67)-(x3&&254)!=(160!=x2)-(70<956))));
-write (y)

lama-compiler/regression/deep-expressions/generated00006.input

@@ -1,4 +0,0 @@
-80
-71
-96
-49

lama-compiler/regression/deep-expressions/generated00006.lama

@@ -1,8 +0,0 @@
-var x0, x1, x2, x3, y;
-
-x0 := read ();
-x1 := read ();
-x2 := read ();
-x3 := read ();
-y := ((((((x1>690)<(x2!!545))>=((x3&&85)>x3-497)&&(837-x1>=(x1!=x0))+((791!!575)-(864<231)))>(((478!=954)-(x3<x1)>=((x1>=x2)<(865>=544)))!=((693>=830)*(x3-493)!!(x1<=963)<=(x3&&690))))>=((x2*981!!x0<x2)*((x1!!454)>(742==810))+((x1-x0)+(x3-x0)!=(45<=x0)*(201<=599))>=(x0*x1+(x3&&138)<=(x1>=725)*(x0>x3)&&(678>=x3&&x3>x3)>=925*x0-(x1<468)))!!(((x0<=984)<(775&&x1))-(908+x0)*(x1>=x1)==(102-68>=709+546)*((x3==x3)<=(722<=x3)))*(((x1!!x2)>(22!!492))*((x2==357)>=(701>x0))<((924+x2!!x1+x3)<=(937-x2)+(x0>=x2)))-(((((x0<=x0)<=(158==474))>(552*414<(x3!!x3)))<((x1!=x3)!=x3*921&&522-704>=(361!!952)))<((326+x0>(860!!539))==(173+x3>353+225))-(((x3&&x3)>=875-444)+(x2*506+(899!!x1)))))!!(((((x0<=x2)>=x2-x2)>=(577+270!!x1>x1))>=((x3!!440)&&(x3&&x2))-((x0&&673)-(878<394)))+(((679!!437)&&(x3!!594))<((x1>=x3)>=(x3!=377)))*(((x2>=63)==749-x3)-((806!=882)-(367+x1))))*(((((x1>=54)<=(x0>x3))<(x3+628)+(995<=x1))==((x2==879)<=(111&&x1))-(711>=x1!!x0!=123))==(((953<=x3)>=(373>=x2))>=(848!=679)+(496&&x3)&&((660&&x0)*(179==x2)!!455*x3-(x1>=53))))&&((x0*258&&x2<=918!!(644!=x0!!939<=788))-(((x0<=x1)>=(889!=108))>((x3!!x1)==(x1!=704)))<((x2>x0)+(507==x2)>(x3!=x2!!856*x3))*((275==x0)+(715>=x3)>=(814-x1<(274&&x2))))>=((((x3<=304)>=x3-x3)<=((x0!!278)!=(x3!!x3)))==((x1!!x3)==(x0<=618)&&(55!=612)!=(195<602)))*((((430<22)<=(x1&&477))>=(x2>x1)*(16>653))==((x3-570<(x1>423))!=(613!!756)+(672>542))));
-write (y)

lama-compiler/regression/deep-expressions/generated00007.input

@@ -1,4 +0,0 @@
-16
-97
-3
-97

lama-compiler/regression/deep-expressions/generated00007.lama

@@ -1,8 +0,0 @@
-var x0, x1, x2, x3, y;
-
-x0 := read ();
-x1 := read ();
-x2 := read ();
-x3 := read ();
-y := ((((x0-x1<(909<=548))<(x1!!212)-x1*252&&(193-x1)*(475!=456)==((66!!82)>(x2!!x2))!!((x1+215>401*960)-((x1>=861)-(321<=x0)))-(x1<540!!565>642)*(x2*x3<=(x2!=x3)))!!((x0!=x3)!=(336>69)!!(x3<625!!286>=248))*((x0-707>=x1*650)>=(449-415>=(x0>x1)))<(((334>=x0)+(594>=x0))*((x0<=805)!=(x2<=54))<((x1!=x3)+(584&&x3)==(x1>=95)-(533&&x1))))!=((((x1<=53)+(x1>=965))+(767!=824&&453<950)>=((544*x3>=(x2!=x0))>=((x3!=23)<x2+908)))<(((x1!!x0)!!x1==x2)+((x1==456)>=(x1<x0))<=((856-573)+(x3+993))-((x2!!85)<(x2<=x0)))&&((x3<=295!!413&&253)>=((x1==x3)!=(x3>945)))*(((x2!!x0)<(310==x0))>((x2<=258)!=x1*x0))==((x2<x0!!x3>x0)!=((x1==x3)>=(265>x3)))+((299>=475&&735==206)>=((x1>=813)!=x0*x1)))!!(323*486-x3*630>(x0>=312)-x2*x3!!(370>=374!!937>=956)*(x1*x1!=870*x3))*(((x1<x1)+(798&&x0))+((x0!=795)+(x3>=x1))!=((428*5)*(760==x3)<((x0==862)<(912==x0))))+(((908>x3)*(x0==x0)&&(121==841)<x3-940)*((x0>372!!x0<=x2)!!(337<=71)<x2+x3)-((((x1>=x0)==(x0<765))<(x3+x3>=x1+x0))>=(x0*437+(644>x1)!!(x0==x3)+(x2>=379))))<((((521!!x0)*(878*x2)!=((x0<=x0)!=x3-x1))-((x2-574)*(x1!!586)>=((x0>x3)>=(12<=x2))))+(((x2>=x0)-(x1==317))-((x2>x3)-(621>x0))>(((295<x1)<=(94>=375))<=(x0+x1)-(326!=844)))<=((((733!!183)<=(x0!!x3))!=((166==x0)>=(680==869)))-((x2!!539)*(968!!x2)<((x0!=x3)==(x0!!x1)))!=((680-407>=(x0>=x3)!!x3*148==(x3<960))!!((556!!515)>(736<=x1))==(337+x2!!405-x1)))));
-write (y)

lama-compiler/regression/deep-expressions/generated00008.input

@@ -1,4 +0,0 @@
-5
-86
-7
-46

lama-compiler/regression/deep-expressions/generated00008.lama

@@ -1,8 +0,0 @@
-var x0, x1, x2, x3, y;
-
-x0 := read ();
-x1 := read ();
-x2 := read ();
-x3 := read ();
-y := ((((86<=x3)+(535&&x3)==(x3+x2)+(x1+173)&&((x3<x0)+(x1+x1))-(x3-836>=(x3>=403)))*(((x0!=175)+(x3<x0)<=(x1&&460)+(895<=440))+(x3-702<=342-66!!(754!!x0)==(267==x0)))!=(((56&&x2!!x2>=x2)<=(x3>770&&(453&&97)))!=((948>730)*(859+x3)<=(657>367!!x0!=22)))-((x1+x3==399+x2)>((x3<180)!=258-75))*((127+x2<(x1==141))<((620!=33)==(x3>264))))!=(((x2*x1+(316!!780)&&631-x2<=(x3<=287))<=((x3<=740)+(931>579)!!x1!=x2&&331<=74))<=(((x3-x1>(407>159))>x3*x1+(589==x0))<(((x3!!360)&&x0+x3)&&(699==781&&594*x0))))-((x2-182>(x2!=208))-(x1+647<=x0+x3)!!((x1>=x1)!=112-528)<((x2!!637)>=(344<=616)))*(((x1+789&&953<x1)!=(404*222<=(90<=872)))!=(((x2==659)>=(271<x1))==(352>957)+(x2>=131)))!!(((x3<701)<=x1-x2)*(x2>=320&&x1-x3)<=(((401<=275)>=(x0>635))!=(702!!x2)+(x3>508))!!(((291<=x1)>=(x0!=x1))==((69!!462)>=(166>x3))!!(171<=508&&109*765!!(982*778!!591<795))))+((((399<31)>x2-x3)*((x3!=x2)-(x1!!x2))==(((x2!!367)!!411!=x0)>(x1-428!=(503==187))))>=((809*x0)*(x1<351)-(482&&x2!!711<962)>(x0>149)*(x2!!x0)-(868<x3)*(x0!=x1)))<=(((((320<=952)<=x1-x3)+(8+59!=(x2&&294))>((x1<=x1)-(x1!!x1)==(122+585>(x1!!x1))))<=((x2-537)-(874==x1)!=((992&&462)&&x1<x2))*(((431>260)<=(496>x1))*((x2!!x1)>=(658<=498))))<=(((211-927)*(x0-341)>=(547-x1<=(55==x2)))<((x1<x1)+(x3<=190))+((312==126)!=(x1&&x3))&&(847*767<(239>=766)!!(161==x3!!x2>=583))>=(x2*249!=x3+x1!!x0*139>(x3<x3)))));
-write (y)

lama-compiler/regression/deep-expressions/generated00009.input

@@ -1,4 +0,0 @@
-53
-82
-73
-20

lama-compiler/regression/deep-expressions/generated00009.lama

@@ -1,8 +0,0 @@
-var x0, x1, x2, x3, y;
-
-x0 := read ();
-x1 := read ();
-x2 := read ();
-x3 := read ();
-y := (((((73+x1!=(99!=x1))<=((166!!967)!!27&&x2))+((x2-x3>x0*276)>((x0>=192)==(x0>=876))))-((x3>675!!x0<772)-((x2==444)>=(715<x1))<((x2<=209)<=(570==905)&&x0*x3==(x2!=x3)))!=((((507!!x2)&&720>x3)*((x3<x3)*(x0>=x2))!!(987*159&&x0>=300)>((628!!x1)!!x3*574))&&((383!=x0)+(923<231)==(x1+x1)*(x2*548))<(x2*744!=x0-x0)+((x1>=x1)<=(x2<=657))))!=(((x1&&197!!948<x0)+((x3!=172)<(x3==310))!=((x1*x3!!817==x1)>(x0-x1<=(32!=x0))))==((773!=x0&&507>944!!(x0!=x2)==(255&&228))>((x2>=x0)==(x2!!904))+((x2>x2)!=(x1<=x0))))-((((x3!=364)<=(x2<=x3)!!(972>x1)!=(754!!x3))+((x1>x1)+x3*x0)*((x2&&x2)-(x1<x0)))+(((900>=x3)-(x1&&955)>=(x0!=x0)+(x1!!x2))!=(((789==x1)>926-553)!=((484>x2)<744*x2))))!!((((x2>=315)*(x3&&x0)==(549<307)*(x1<=421)&&(x1-733==x0-142)<(65!=324)+(x2==x0))>((((0!=x3)>=(x2!!x1))>=x1*529+(x0>=382))!=((293+64==x2-189)>((37<x3)!=(x2!=x3)))))!=(((736+x3&&x0==x1!!(x1&&x3)+(193+74))>((x2&&505)>(523==725)&&(317==x2!!412-229)))>=(((x1&&899)>(497==323)&&((522!!x0)!!696-80))==(x0-941!=(529!=498)!!(x3<55)+(207!=x3))))!!(((626>x1)+(469>=787)<=((x2&&529)!=(666!=x0))&&(43*5==(x0!!655))!=(x3-593<=951-x3))<=((((x2>x3)==(875>=x0))<(x0&&360)*(590!!x0))>=(((x3>x0)>=880*425)<=((x0<x1)==(x0<222)))))>(((964&&215)-(138!!202)>=((370<x2)<=(x1>=x2)))>=((x0<748)-(242!=x1))-((704-880)-(855&&160))!!(((696<x2)<=x0-35)!=(933+x3!!927&&291))>=((x2>=515)==x0+x0)+((x2>=x3)<=(237<339)))));
-write (y)

lama-compiler/regression/deep-expressions/generated00010.input

@@ -1,4 +0,0 @@
-22
-8
-31
-66

lama-compiler/regression/deep-expressions/generated00010.lama

@@ -1,8 +0,0 @@
-var x0, x1, x2, x3, y;
-
-x0 := read ();
-x1 := read ();
-x2 := read ();
-x3 := read ();
-y := (((((833*158!!x0>=656)+(866+x3>(743==x0)))*(((744==x1)>=x3*x1)<=((x1>123)==(348>185))))*((607>=x1!!x2&&x2)>=((6==729)==(x2!!151))&&(x3+x2)-(x3+770)>=(x1*237!!x0&&326)))*(((x1!=x1!!(x3!!933))!=(x0<=x1)+(528!!165)!!(323*x3==(517>=x1))*((x2>=x1)<=(425<x3)))&&((621&&867!!459-x2)<=(x1!=x2)-(x0&&x0))!=((x3&&x0)>=(x0==x0))-((x0!!860)!=x0-x0))!=(((((68!=x0)>(598>x2))+((553&&x3)<=x1*x3)<=(x0+114>(979<565)&&(996!=800)>=x0-56))<=((387*818-(541<x3)==(x0+x0)+(807!=x3))>((x2-446&&x2!=x2)>(623<98&&819>x2))))<(((716-244)*(x1<x0)&&(197>=x3)>=(152<=7))*((x2<56)-(x3+461)&&(663>=x2)-(x2&&683)))*((x1+502<=(x3>x1)!!x0-215<=985+x1)>=(x1>210&&(446&&903)!!(x2==x2)*(x3<=x2))))!!(((((997-x3==(x1>x0))<((x2==189)==(x3<=744)))==((29<=296)>x3+x2)+((687+x1)-(x1+x1)))>(((534!!167)&&246*884!!(x2<=675!!x3*241))!!(335<x3)<=(x1>=x3)&&(125>400)*(x2+750)))>=(((610<=681)+(x2!=215)!=((890!!177)<(211!=x3)))==((782&&575)==(x3==832)!!(x3&&184)<=(x2>834)))*(((x3>x3)+(84>x2)<((982&&x3)>=(702<=134)))+(((x2<=x3)!=(775!!117))>=((422<=x1)>(998==972)))))-(((((x2>x2&&x1+x2)==((168>=x3)>x2*x1))!=(((558<x1)>=(342<x3))<(x3+x2)*(578>=572)))>((x1-x2<(x3>=356))*((x0<x0)+(x1!!x0))<=((249>=561)*(35>=912)<=((x2!=x2)<=(x0<x2)))))>=((((695<58)*(837>=x2)<(x0!=184)*(400-149))==(132<x3!!x3<=231)-((696<x3)>=(895>162)))<=((163==x3)>=(360<=x0)!!(x3!!x0)!=(623>=x3))*((278!!x2)==(x0>=317)!!(x3!!x0)&&443>x0))));
-write (y)

lama-compiler/regression/deep-expressions/orig/generated00000.log

@@ -1 +0,0 @@
-0

lama-compiler/regression/deep-expressions/orig/generated00001.log

@@ -1 +0,0 @@
-1

lama-compiler/regression/deep-expressions/orig/generated00002.log

@@ -1 +0,0 @@
-1

lama-compiler/regression/deep-expressions/orig/generated00003.log

@@ -1 +0,0 @@
-1

lama-compiler/regression/deep-expressions/orig/generated00004.log

@@ -1 +0,0 @@
-1

lama-compiler/regression/deep-expressions/orig/generated00005.log

@@ -1 +0,0 @@
-1

lama-compiler/regression/deep-expressions/orig/generated00006.log

@@ -1 +0,0 @@
-0

lama-compiler/regression/deep-expressions/orig/generated00007.log

@@ -1 +0,0 @@
-0

lama-compiler/regression/deep-expressions/orig/generated00008.log

@@ -1 +0,0 @@
-0

lama-compiler/regression/deep-expressions/orig/generated00009.log

@@ -1 +0,0 @@
-1

lama-compiler/regression/deep-expressions/orig/generated00010.log

@@ -1 +0,0 @@
-1

lama-compiler/regression/expressions/Makefile

@@ -1,18 +0,0 @@
-TESTS=$(sort $(basename $(wildcard generated*.lama)))
-
-LAMAC = ../../src/lama-impl
-
-.PHONY: check $(TESTS)
-
-check: $(TESTS)
-
-$(TESTS): %: %.lama
-	@echo "lama-compiler/regression/expressions/$@"
-	@cat $@.input | $(LAMAC) -i $< > $@.log && diff $@.log orig/$@.log
-	@cat $@.input | $(LAMAC) -s $< > $@.log && diff $@.log orig/$@.log
-	@LAMA_RUNTIME=../../runtime $(LAMAC) $< && cat $@.input | ./$@ > $@.log && diff $@.log orig/$@.log
-
-clean:
-	rm -f *.log *.s *~
-	find . -maxdepth 1 -type f -not -name '*.*' -not -name 'Makefile' -delete
-

lama-compiler/regression/expressions/generated04000.input

@@ -1,2 +0,0 @@
-75
-19

lama-compiler/regression/expressions/generated04000.lama

@@ -1,6 +0,0 @@
-var x0, x1, y;
-
-x0 := read ();
-x1 := read ();
-y := x0/(x0+39+40);
-write (y)

lama-compiler/regression/expressions/generated04001.input

@@ -1,2 +0,0 @@
-68
-44

lama-compiler/regression/expressions/generated04001.lama

@@ -1,6 +0,0 @@
-var x0, x1, y;
-
-x0 := read ();
-x1 := read ();
-y := 17+23-x0+40+41;
-write (y)

lama-compiler/regression/expressions/generated04002.input

@@ -1,2 +0,0 @@
-10
-6

lama-compiler/regression/expressions/generated04002.lama

@@ -1,6 +0,0 @@
-var x0, x1, y;
-
-x0 := read ();
-x1 := read ();
-y := 25+x0+39+40+46-47;
-write (y)

lama-compiler/regression/expressions/generated04003.input

@@ -1,2 +0,0 @@
-72
-56

lama-compiler/regression/expressions/generated04003.lama

@@ -1,6 +0,0 @@
-var x0, x1, y;
-
-x0 := read ();
-x1 := read ();
-y := (22+23)/(34-35+x0);
-write (y)

lama-compiler/regression/expressions/generated04004.input

@@ -1,2 +0,0 @@
-96
-93

lama-compiler/regression/expressions/generated04004.lama

@@ -1,6 +0,0 @@
-var x0, x1, y;
-
-x0 := read ();
-x1 := read ();
-y := x0+x0+x0+61+62-x0;
-write (y)

lama-compiler/regression/expressions/generated04005.input

@@ -1,2 +0,0 @@
-96
-93

lama-compiler/regression/expressions/generated04005.lama

@@ -1,6 +0,0 @@
-var x0, x1, y;
-
-x0 := read ();
-x1 := read ();
-y := x0+x0+x0+x0-x0;
-write (y)

lama-compiler/regression/expressions/generated04006.input

@@ -1,2 +0,0 @@
-4
-80

lama-compiler/regression/expressions/generated04006.lama

@@ -1,6 +0,0 @@
-var x0, x1, y;
-
-x0 := read ();
-x1 := read ();
-y := 17-23+x0+40+41;
-write (y)

lama-compiler/regression/expressions/generated04007.input

@@ -1,2 +0,0 @@
-18
-90

lama-compiler/regression/expressions/generated04007.lama

@@ -1,6 +0,0 @@
-var x0, x1, y;
-
-x0 := read ();
-x1 := read ();
-y := 25+x0-x0/40;
-write (y)

lama-compiler/regression/expressions/generated04008.input

@@ -1,2 +0,0 @@
-27
-31

lama-compiler/regression/expressions/generated04008.lama

@@ -1,6 +0,0 @@
-var x0, x1, y;
-
-x0 := read ();
-x1 := read ();
-y := 17+x0+x0+45+46;
-write (y)

lama-compiler/regression/expressions/generated04009.input

@@ -1,2 +0,0 @@
-98
-68

lama-compiler/regression/expressions/generated04009.lama

@@ -1,6 +0,0 @@
-var x0, x1, y;
-
-x0 := read ();
-x1 := read ();
-y := 17+28+29+40-41+x0;
-write (y)

lama-compiler/regression/expressions/generated04010.input

@@ -1,2 +0,0 @@
-56
-3

lama-compiler/regression/expressions/generated04010.lama

@@ -1,6 +0,0 @@
-var x0, x1, y;
-
-x0 := read ();
-x1 := read ();
-y := x0+x0+x0*(53+54);
-write (y)

lama-compiler/regression/expressions/generated04011.input

@@ -1,2 +0,0 @@
-26
-10

lama-compiler/regression/expressions/generated04011.lama

@@ -1,6 +0,0 @@
-var x0, x1, y;
-
-x0 := read ();
-x1 := read ();
-y := x1*(x0+41+42);
-write (y)

lama-compiler/regression/expressions/generated04012.input

@@ -1,2 +0,0 @@
-32
-22

lama-compiler/regression/expressions/generated04012.lama

@@ -1,6 +0,0 @@
-var x0, x1, y;
-
-x0 := read ();
-x1 := read ();
-y := x0+x0+42+x0*54;
-write (y)

lama-compiler/regression/expressions/generated04013.input

@@ -1,2 +0,0 @@
-65
-33

lama-compiler/regression/expressions/generated04013.lama

@@ -1,6 +0,0 @@
-var x0, x1, y;
-
-x0 := read ();
-x1 := read ();
-y := x1!=30+31;
-write (y)

lama-compiler/regression/expressions/generated04014.input

@@ -1,2 +0,0 @@
-11
-41

lama-compiler/regression/expressions/generated04014.lama

@@ -1,6 +0,0 @@
-var x0, x1, y;
-
-x0 := read ();
-x1 := read ();
-y := x0+x1*(41+42);
-write (y)

lama-compiler/regression/expressions/generated04015.input

@@ -1,2 +0,0 @@
-15
-99

lama-compiler/regression/expressions/generated04015.lama

@@ -1,6 +0,0 @@
-var x0, x1, y;
-
-x0 := read ();
-x1 := read ();
-y := 22-23-x0-40+41;
-write (y)

lama-compiler/regression/expressions/generated04016.input

@@ -1,2 +0,0 @@
-7
-91

lama-compiler/regression/expressions/generated04016.lama

@@ -1,6 +0,0 @@
-var x0, x1, y;
-
-x0 := read ();
-x1 := read ();
-y := 17+x1/(36+37);
-write (y)

lama-compiler/regression/expressions/generated04017.input

@@ -1,2 +0,0 @@
-31
-22

lama-compiler/regression/expressions/generated04017.lama

@@ -1,6 +0,0 @@
-var x0, x1, y;
-
-x0 := read ();
-x1 := read ();
-y := 17-x1*(36+37);
-write (y)

lama-compiler/regression/expressions/generated04018.input

@@ -1,2 +0,0 @@
-47
-19

lama-compiler/regression/expressions/generated04018.lama

@@ -1,6 +0,0 @@
-var x0, x1, y;
-
-x0 := read ();
-x1 := read ();
-y := 22+23+29+x0+46+47;
-write (y)

lama-compiler/regression/expressions/generated04019.input

@@ -1,2 +0,0 @@
-88
-46

lama-compiler/regression/expressions/generated04019.lama

@@ -1,6 +0,0 @@
-var x0, x1, y;
-
-x0 := read ();
-x1 := read ();
-y := (x0+x1)*(49+50+x0);
-write (y)

lama-compiler/regression/expressions/generated04020.input

@@ -1,2 +0,0 @@
-92
-89

lama-compiler/regression/expressions/generated04020.lama

@@ -1,6 +0,0 @@
-var x0, x1, y;
-
-x0 := read ();
-x1 := read ();
-y := x0-x1-41+42;
-write (y)

lama-compiler/regression/expressions/generated04021.input

@@ -1,2 +0,0 @@
-90
-87

lama-compiler/regression/expressions/generated04021.lama

@@ -1,6 +0,0 @@
-var x0, x1, y;
-
-x0 := read ();
-x1 := read ();
-y := x0+31+42-43+x0;
-write (y)

lama-compiler/regression/expressions/generated04022.input

@@ -1,2 +0,0 @@
-15
-91

lama-compiler/regression/expressions/generated04022.lama

@@ -1,6 +0,0 @@
-var x0, x1, y;
-
-x0 := read ();
-x1 := read ();
-y := 17*(x1-36+37);
-write (y)

lama-compiler/regression/expressions/generated04023.input

@@ -1,2 +0,0 @@
-0
-80

lama-compiler/regression/expressions/generated04023.lama

@@ -1,6 +0,0 @@
-var x0, x1, y;
-
-x0 := read ();
-x1 := read ();
-y := x1+x1-43+44;
-write (y)

lama-compiler/regression/expressions/generated04024.input

@@ -1,2 +0,0 @@
-47
-30

lama-compiler/regression/expressions/generated04024.lama

@@ -1,6 +0,0 @@
-var x0, x1, y;
-
-x0 := read ();
-x1 := read ();
-y := 22-28+29+x1;
-write (y)

lama-compiler/regression/expressions/generated04025.input

@@ -1,2 +0,0 @@
-21
-24

lama-compiler/regression/expressions/generated04025.lama

@@ -1,6 +0,0 @@
-var x0, x1, y;
-
-x0 := read ();
-x1 := read ();
-y := x0-x1+44+x1;
-write (y)

lama-compiler/regression/expressions/generated04026.input

@@ -1,2 +0,0 @@
-82
-62

lama-compiler/regression/expressions/generated04026.lama

@@ -1,6 +0,0 @@
-var x0, x1, y;
-
-x0 := read ();
-x1 := read ();
-y := 25+x0-34-40+41;
-write (y)

lama-compiler/regression/expressions/generated04027.input

@@ -1,2 +0,0 @@
-11
-16

lama-compiler/regression/expressions/generated04027.lama

@@ -1,6 +0,0 @@
-var x0, x1, y;
-
-x0 := read ();
-x1 := read ();
-y := (22-23)*(34-35+x0);
-write (y)

lama-compiler/regression/expressions/generated04028.input

@@ -1,2 +0,0 @@
-68
-66

lama-compiler/regression/expressions/generated04028.lama

@@ -1,6 +0,0 @@
-var x0, x1, y;
-
-x0 := read ();
-x1 := read ();
-y := 22+23+x1*(42+43);
-write (y)

lama-compiler/regression/expressions/generated04029.input

@@ -1,2 +0,0 @@
-42
-19

lama-compiler/regression/expressions/generated04029.lama

@@ -1,6 +0,0 @@
-var x0, x1, y;
-
-x0 := read ();
-x1 := read ();
-y := x0+(28!=x1);
-write (y)

lama-compiler/regression/expressions/generated04030.input

@@ -1,2 +0,0 @@
-62
-9