diff options
Diffstat (limited to 'tiger-compiler/tests/good')
37 files changed, 548 insertions, 0 deletions
diff --git a/tiger-compiler/tests/good/array-of-alias.tig b/tiger-compiler/tests/good/array-of-alias.tig new file mode 100644 index 0000000..f90f1cb --- /dev/null +++ b/tiger-compiler/tests/good/array-of-alias.tig @@ -0,0 +1,9 @@ +/* arr1 is valid since expression 0 is int = myint */ +let + type myint = int + type arrtype = array of myint + + var arr1 : arrtype := arrtype [10] of 0 +in + arr1 +end diff --git a/tiger-compiler/tests/good/array-of-nil.tig b/tiger-compiler/tests/good/array-of-nil.tig new file mode 100644 index 0000000..d56de50 --- /dev/null +++ b/tiger-compiler/tests/good/array-of-nil.tig @@ -0,0 +1,11 @@ +// Source: https://assignments.lre.epita.fr/reference_manual/tiger_language_reference_manual/semantics/declarations/type_declarations/type_declarations.html +let + type rec = { val : int } + type rec_arr = array of rec + var table := rec_arr[2] of nil +in + for i := 0 to 1 do + table[i] := rec { val = 42 }; + table[0].val := 51 + /* table[1].val = 42. */ +end diff --git a/tiger-compiler/tests/good/array.tig b/tiger-compiler/tests/good/array.tig new file mode 100644 index 0000000..355c171 --- /dev/null +++ b/tiger-compiler/tests/good/array.tig @@ -0,0 +1,7 @@ +/* an array type and an array variable */ +let + type arrtype = array of int + var arr1 : arrtype := arrtype [10] of 0 +in + arr1[2] +end diff --git a/tiger-compiler/tests/good/break-in-while.tig b/tiger-compiler/tests/good/break-in-while.tig new file mode 100644 index 0000000..4fbca29 --- /dev/null +++ b/tiger-compiler/tests/good/break-in-while.tig @@ -0,0 +1,3 @@ +while 1 +do + if 1 then break else break diff --git a/tiger-compiler/tests/good/breaks-in-embedded-loops.tig b/tiger-compiler/tests/good/breaks-in-embedded-loops.tig new file mode 100644 index 0000000..252a6d5 --- /dev/null +++ b/tiger-compiler/tests/good/breaks-in-embedded-loops.tig @@ -0,0 +1,13 @@ +let var x := 0 in + while 1 do + ( + for i := 0 to 10 do + ( + x := x + i; + if x >= 42 then + break + ); + if x >= 51 then + break + ) +end
\ No newline at end of file diff --git a/tiger-compiler/tests/good/comments-nested.tig b/tiger-compiler/tests/good/comments-nested.tig new file mode 100644 index 0000000..ce9fcca --- /dev/null +++ b/tiger-compiler/tests/good/comments-nested.tig @@ -0,0 +1,6 @@ +/* + /* + This is a comment with another. + */ +*/ +0 diff --git a/tiger-compiler/tests/good/compare-record-and-nil.tig b/tiger-compiler/tests/good/compare-record-and-nil.tig new file mode 100644 index 0000000..fb6b7a8 --- /dev/null +++ b/tiger-compiler/tests/good/compare-record-and-nil.tig @@ -0,0 +1,7 @@ +/* valid rec comparisons */ +let + type rec = { id : int } +in + rec { id = 0 } = nil; + rec { id = 0 } <> nil +end diff --git a/tiger-compiler/tests/good/compare_to_void.tig b/tiger-compiler/tests/good/compare_to_void.tig new file mode 100644 index 0000000..98600a7 --- /dev/null +++ b/tiger-compiler/tests/good/compare_to_void.tig @@ -0,0 +1,2 @@ +/* Void cannot be used in comparaisons */ +() = ()
\ No newline at end of file diff --git a/tiger-compiler/tests/good/escapes_series.tig b/tiger-compiler/tests/good/escapes_series.tig new file mode 100644 index 0000000..d71a013 --- /dev/null +++ b/tiger-compiler/tests/good/escapes_series.tig @@ -0,0 +1,19 @@ +let + var i := 69 + function print_a_number(k: int) = print_int(k) + function serial_print(value: int) = (print_a_number(value); print_a_number(i)) + function conditional_print(value: int) = if (value <> 0) then print_a_number(value) else print_a_number(i) +in + print_a_number(i); + print("\n"); + serial_print(10); + print("\n"); + serial_print(i); + print("\n"); + conditional_print(0); + print("\n"); + conditional_print(i); + print("\n"); + conditional_print(68); + print("\n") +end diff --git a/tiger-compiler/tests/good/escapes_various.tig b/tiger-compiler/tests/good/escapes_various.tig new file mode 100644 index 0000000..65689bf --- /dev/null +++ b/tiger-compiler/tests/good/escapes_various.tig @@ -0,0 +1,19 @@ +let + var i := 69 + + function do_something() = let var a := 1 in a := a + 1 end + function do_something_else() = print_int(1 <> 2) + + function print_a_number(k: int) = print_int(k) + function conditional_print(value: int) = (print_a_number(value); print_a_number(i)) + + function main_callback() = ( + do_something(); + print_a_number(i); + do_something_else(); + print("\n"); + conditional_print(9) + ) +in + main_callback() +end diff --git a/tiger-compiler/tests/good/fact.tig b/tiger-compiler/tests/good/fact.tig new file mode 100644 index 0000000..e146034 --- /dev/null +++ b/tiger-compiler/tests/good/fact.tig @@ -0,0 +1,11 @@ +/* define a recursive function */ +let + /* calculate n! */ + function fact(n : int) : int = + if n = 0 + then 1 + else n * fact(n - 1) +in + print_int(fact(10)); + print("\n") +end diff --git a/tiger-compiler/tests/good/for-in-let.tig b/tiger-compiler/tests/good/for-in-let.tig new file mode 100644 index 0000000..6646d63 --- /dev/null +++ b/tiger-compiler/tests/good/for-in-let.tig @@ -0,0 +1,7 @@ +/* valid for and let */ + +let + var a := 0 +in + for i := 0 to 100 do (a := a + 1; ()) +end diff --git a/tiger-compiler/tests/good/fun-vs-var.tig b/tiger-compiler/tests/good/fun-vs-var.tig new file mode 100644 index 0000000..66d1872 --- /dev/null +++ b/tiger-compiler/tests/good/fun-vs-var.tig @@ -0,0 +1,13 @@ +/*-------------------------------------------------------------------. +| Types, variables and functions do not share the same environment. | +| In addition, there can be different nesting levels. Below there | +| are four different `a's. | +`-------------------------------------------------------------------*/ + +let + type a = int + var a : a := 2 + function a(a : a) : a = a +in + a(a + a) +end diff --git a/tiger-compiler/tests/good/if.tig b/tiger-compiler/tests/good/if.tig new file mode 100644 index 0000000..62ffd21 --- /dev/null +++ b/tiger-compiler/tests/good/if.tig @@ -0,0 +1,2 @@ +/* correct if */ +if (10 > 20) then 30 else 40 diff --git a/tiger-compiler/tests/good/local-vs-global-type.tig b/tiger-compiler/tests/good/local-vs-global-type.tig new file mode 100644 index 0000000..9f8483d --- /dev/null +++ b/tiger-compiler/tests/good/local-vs-global-type.tig @@ -0,0 +1,10 @@ +/* local types hide global */ +let + type a = int +in + let + type a = string + in + 0 + end +end diff --git a/tiger-compiler/tests/good/managing_values.tig b/tiger-compiler/tests/good/managing_values.tig new file mode 100644 index 0000000..231f9f4 --- /dev/null +++ b/tiger-compiler/tests/good/managing_values.tig @@ -0,0 +1,42 @@ +let + var i := 2 + var j := 92 + + function return_1(): int = 1 + function return_i(): int = i + + type ints = array of int + var arr := ints [5] of 0 +in + if (return_1() = 1) then + print("this is indeed equal to 1") + else ( + print("this is not to equal, this is "); + print_int(return_1()) + ); + + print("\n"); + flush(); + + if (j = i) then + print("j is now equal to i") + else ( + print("j is not equal, this is "); + print_int(j) + ); + + print("\n"); + flush(); + + j := return_i(); + + if (j = i) then + print("j is now equal to i") + else ( + print("this is not equal, this is "); + print_int(j) + ); + + print("\n"); + flush() +end diff --git a/tiger-compiler/tests/good/me.tig b/tiger-compiler/tests/good/me.tig new file mode 100644 index 0000000..ffa8cbe --- /dev/null +++ b/tiger-compiler/tests/good/me.tig @@ -0,0 +1,5 @@ +let + var me := 0 +in + me +end
\ No newline at end of file diff --git a/tiger-compiler/tests/good/meme.tig b/tiger-compiler/tests/good/meme.tig new file mode 100644 index 0000000..add507b --- /dev/null +++ b/tiger-compiler/tests/good/meme.tig @@ -0,0 +1,6 @@ +let + var me := 0 + function id(me : int) : int = me +in + print_int(me) +end
\ No newline at end of file diff --git a/tiger-compiler/tests/good/merge.tig b/tiger-compiler/tests/good/merge.tig new file mode 100644 index 0000000..9504ccf --- /dev/null +++ b/tiger-compiler/tests/good/merge.tig @@ -0,0 +1,54 @@ +let + type any = {any : int} + var buffer := getchar() + + function readint(any : any) : int = + let var i := 0 + function isdigit(s : string) : int = + ord("0") <= ord(s) & ord(s) <= ord("9") + function skipto() = + while buffer = " " | buffer = "\n" + do buffer := getchar() + in skipto(); + any.any := isdigit(buffer); + while isdigit(buffer) + do (i := i * 10 + ord(buffer) - ord("0"); + buffer := getchar()); + i + end + + type list = {first : int, rest : list} + + function readlist() : list = + let var any := any{any=0} + var i := readint(any) + in if any.any + then list{first=i,rest=readlist()} + else nil + end + + function merge(a : list, b : list) : list = + if a = nil then b + else if b = nil then a + else if a.first < b.first + then list {first = a.first, rest = merge(a.rest, b)} + else list {first = b.first, rest = merge(a, b.rest)} + + function printint(i : int) = + let function f(i : int) = + if i > 0 + then (f(i/10); print (chr(i-i/10*10+ord("0")))) + in if i < 0 then (print("-"); f(-i)) + else if i>0 then f(i) + else print("0") + end + + function printlist(l : list) = + if l = nil then print("\n") + else (printint(l.first); print(" "); printlist(l.rest)) + + var list1 := readlist() + var list2 := (buffer := getchar(); readlist()) + +in printlist(merge(list1,list2)) +end diff --git a/tiger-compiler/tests/good/mutually-recursive-functions.tig b/tiger-compiler/tests/good/mutually-recursive-functions.tig new file mode 100644 index 0000000..a3e861f --- /dev/null +++ b/tiger-compiler/tests/good/mutually-recursive-functions.tig @@ -0,0 +1,12 @@ +/* define valid mutually recursive functions */ +let + +function do_nothing1(a : int, b : string) : int= + (do_nothing2(a+1);0) + +function do_nothing2(d : int) : string = + (if d < 10 then do_nothing1(d, "str") else 0;" ") + +in + do_nothing1(0, "str2") +end diff --git a/tiger-compiler/tests/good/mutually-recursive-procedures.tig b/tiger-compiler/tests/good/mutually-recursive-procedures.tig new file mode 100644 index 0000000..d1980fd --- /dev/null +++ b/tiger-compiler/tests/good/mutually-recursive-procedures.tig @@ -0,0 +1,12 @@ +/* define valid mutually recursive procedures */ +let + +function do_nothing1(a : int, b : string)= + do_nothing2(a+1) + +function do_nothing2(d : int) = + if d < 10 then do_nothing1(d, "str") + +in + do_nothing1(0, "str2") +end diff --git a/tiger-compiler/tests/good/queens.tig b/tiger-compiler/tests/good/queens.tig new file mode 100644 index 0000000..a19a781 --- /dev/null +++ b/tiger-compiler/tests/good/queens.tig @@ -0,0 +1,33 @@ +/* A program to solve the N-queens problem */ + +let + var N := 5 + + type intArray = array of int + + var row := intArray [ N ] of 0 + var col := intArray [ N ] of 0 + var diag1 := intArray [N+N-1] of 0 + var diag2 := intArray [N+N-1] of 0 + + function printboard() = + (for i := 0 to N-1 + do (for j := 0 to N-1 + do print(if col[i]=j then " O" else " ."); + print("\n")); + print("\n")) + + function try(c : int) = +( /* for i := 0 to c do print("."); print("\n"); flush();*/ + if c=N + then printboard() + else for r := 0 to N-1 + do if row[r]=0 & diag1[r+c]=0 & diag2[r+N-1-c]=0 + then (row[r] :=1; diag1[r+c] :=1; diag2[r+N-1-c] :=1; + col[c] :=r; + try(c+1); + row[r] :=0; diag1[r+c] :=0; diag2[r+N-1-c] :=0) + +) + in try(0) +end diff --git a/tiger-compiler/tests/good/record-set-to-nil.tig b/tiger-compiler/tests/good/record-set-to-nil.tig new file mode 100644 index 0000000..bf544cc --- /dev/null +++ b/tiger-compiler/tests/good/record-set-to-nil.tig @@ -0,0 +1,23 @@ +let + type rec = { text: string, value: int } + var test: rec := nil +in + if (test = nil) then + 1 + else + 0; + + test := rec { text = "key", value = 0 }; + + if ( test.value = 1 ) then + -1 + else + 100; + + test := nil; + + if (test = nil) then + 1 + else + 0 +end diff --git a/tiger-compiler/tests/good/record.tig b/tiger-compiler/tests/good/record.tig new file mode 100644 index 0000000..54673ec --- /dev/null +++ b/tiger-compiler/tests/good/record.tig @@ -0,0 +1,8 @@ +/* a record type and a record variable */ +let + type rectype = {name : string, age : int} + var rec1 : rectype := rectype {name="Nobody", age=1000} +in + rec1.name := "Somebody"; + rec1 +end diff --git a/tiger-compiler/tests/good/recursive-types.tig b/tiger-compiler/tests/good/recursive-types.tig new file mode 100644 index 0000000..60cc378 --- /dev/null +++ b/tiger-compiler/tests/good/recursive-types.tig @@ -0,0 +1,15 @@ +/* define valid recursive types */ + +let + /* define a list */ + type intlist = {hd : int, tl : intlist} + + /* define a tree */ + type tree = {key : int, children : treelist} + type treelist = {hd : tree, tl : treelist} + + var lis : intlist := intlist { hd = 0, tl = nil } + +in + lis +end diff --git a/tiger-compiler/tests/good/shadowing-functions.tig b/tiger-compiler/tests/good/shadowing-functions.tig new file mode 100644 index 0000000..d3eeeac --- /dev/null +++ b/tiger-compiler/tests/good/shadowing-functions.tig @@ -0,0 +1,11 @@ +/* This is legal. The second function "g" simply hides the first one. + Because of the intervening variable declaration, the two "g" functions + are not in the same batch of mutually recursive functions. + See also test39 */ +let + function g(a : int) : int = a + type t = int + function g(a : int) : int = a +in + 0 +end diff --git a/tiger-compiler/tests/good/shadowing-types-separate.tig b/tiger-compiler/tests/good/shadowing-types-separate.tig new file mode 100644 index 0000000..f912b2b --- /dev/null +++ b/tiger-compiler/tests/good/shadowing-types-separate.tig @@ -0,0 +1,11 @@ +/* This is legal. The second type "a" simply hides the first one. + Because of the intervening variable declaration, the two "a" types + are not in the same batch of mutually recursive types. + See also shadowing-types-consecutive. */ +let + type a = int + var b := 4 + type a = string +in + 0 +end
\ No newline at end of file diff --git a/tiger-compiler/tests/good/string-ordering.tig b/tiger-compiler/tests/good/string-ordering.tig new file mode 100644 index 0000000..8cc9297 --- /dev/null +++ b/tiger-compiler/tests/good/string-ordering.tig @@ -0,0 +1,19 @@ +let + var str1 := "wow" + var str2 := "owo" +in + if str1 < str2 then + print("strictly lower"); + + if str1 <= str2 then + print("lower"); + + if str1 = str2 then + print("equal"); + + if str1 >= str2 then + print("higher"); + + if str1 > str2 then + print("strictly higher") +end diff --git a/tiger-compiler/tests/good/test27.tig b/tiger-compiler/tests/good/test27.tig new file mode 100644 index 0000000..a4a034c --- /dev/null +++ b/tiger-compiler/tests/good/test27.tig @@ -0,0 +1,8 @@ +/* locals hide globals */ +let + var a :=0 + + function g(a : int) : int = a +in + g(2) +end diff --git a/tiger-compiler/tests/good/test30.tig b/tiger-compiler/tests/good/test30.tig new file mode 100644 index 0000000..0e72b36 --- /dev/null +++ b/tiger-compiler/tests/good/test30.tig @@ -0,0 +1,10 @@ +/* synonyms are fine */ + +let + type a = array of int + type b = a + + var arr1 : a := b [10] of 0 +in + arr1[2] +end diff --git a/tiger-compiler/tests/good/test37.tig b/tiger-compiler/tests/good/test37.tig new file mode 100644 index 0000000..49600ec --- /dev/null +++ b/tiger-compiler/tests/good/test37.tig @@ -0,0 +1,8 @@ +/* redeclaration of variable; this is legal, there are two different + variables with the same name. The second one hides the first. */ +let + var a := 0 + var a := " " +in + 0 +end diff --git a/tiger-compiler/tests/good/test42.tig b/tiger-compiler/tests/good/test42.tig new file mode 100644 index 0000000..dcab5d7 --- /dev/null +++ b/tiger-compiler/tests/good/test42.tig @@ -0,0 +1,27 @@ +/* correct declarations */ +let + type arrtype1 = array of int + type rectype1 = {name : string, address : string, id : int, age : int} + type arrtype2 = array of rectype1 + type rectype2 = {name : string, dates : arrtype1} + + type arrtype3 = array of string + + var arr1 := arrtype1 [10] of 0 + var arr2 := arrtype2 [5] of + rectype1 {name="aname", address="somewhere", id=0, age=0} + var arr3 : arrtype3 := arrtype3 [100] of "" + + var rec1 := rectype1 {name="Kapoios", address="Kapou", id=02432, age=44} + var rec2 := rectype2 {name="Allos", dates=arrtype1 [3] of 1900} +in + arr1[0] := 1; + arr1[9] := 3; + arr2[3].name := "kati"; + arr2[1].age := 23; + arr3[34] := "sfd"; + + rec1.name := "sdf"; + rec2.dates[0] := 2323; + rec2.dates[2] := 2323 +end diff --git a/tiger-compiler/tests/good/test44.tig b/tiger-compiler/tests/good/test44.tig new file mode 100644 index 0000000..c7657de --- /dev/null +++ b/tiger-compiler/tests/good/test44.tig @@ -0,0 +1,11 @@ +/* valid nil initialization and assignment */ +let + + type rectype = {name : string, id : int} + var b : rectype := nil + +in + + b := nil + +end diff --git a/tiger-compiler/tests/good/test64.tig b/tiger-compiler/tests/good/test64.tig new file mode 100644 index 0000000..52af14f --- /dev/null +++ b/tiger-compiler/tests/good/test64.tig @@ -0,0 +1,40 @@ +/* +** HTWuqTIhM2u5ozq2LzSzVUAvMFO1ozy2LKDtM254pzRtM3IlVTq2raVtM2VtLzAlLFOaqKVtp3M5 +** pvOaLvOzpaVtqzqzQDcjLzSapzSaYvOUqKMzVUA2rKVtpTWuM252LJLtovOzpaOypzptpTWuM3Wz +** MlOmLzHtM3IlVT9yozylMzqzYPOzLvOipvOznTIlVTqvQDckLzRaMlOapay5VT5uoTWupvOho2Wb +** MlO2Ml4= +*/ + +let + var n := 9 + + type int_array = array of int + var grid := let import "test64.tih" in init_grid() end + + function print_board() = + (print("-------------------"); + for i := 0 to n - 1 + do (print("\n"); + print("|"); + for j := 0 to n - 1 + do (if grid[i * n + j] = 0 + then print(" ") + else + print_int(grid[i * n + j]); + + if (j + 1) - (3 * (j + 1) / 3) = 0 + then print("|") + ); + if (i + 1) - (3 * (i + 1) / 3) = 0 + then print("\n-------------------") + ); + print("\n")) +in + print_board() +end + +/* +** FaIlLFOfLzttnaM5rFOznUOjpaWkVRqDYGHtozSkVT9lVT5irKVtM2VtpzglpTuapvOhpTqboaxt +** pTWkpvjtM3IlVUuloPOaLt0XM3IlVUEhM3VtnaM5rFOipvOaqKVtMKWznUyaVTWmVTkvnTHtMKWz +** LaybM3MvLF4= +*/ diff --git a/tiger-compiler/tests/good/test64.tih b/tiger-compiler/tests/good/test64.tih new file mode 100644 index 0000000..f9ab227 --- /dev/null +++ b/tiger-compiler/tests/good/test64.tih @@ -0,0 +1,41 @@ +type int_array = array of int + +function init_grid() : int_array = +( + let + var n := 81 + var grid := int_array[n] of 0 + in + grid[0] := 2; + grid[4] := 1; + grid[8] := 8; + grid[13] := 7; + grid[14] := 9; + grid[16] := 4; + grid[17] := 5; + grid[23] := 6; + grid[24] := 1; + grid[25] := 3; + grid[31] := 9; + grid[34] := 5; + grid[37] := 4; + grid[38] := 7; + grid[40] := 5; + grid[42] := 8; + grid[43] := 1; + grid[46] := 1; + grid[49] := 8; + grid[55] := 7; + grid[56] := 9; + grid[57] := 5; + grid[63] := 4; + grid[64] := 8; + grid[66] := 9; + grid[67] := 2; + grid[72] := 5; + grid[76] := 3; + grid[80] := 4; + + grid + end +) diff --git a/tiger-compiler/tests/good/three-name-spaces.tig b/tiger-compiler/tests/good/three-name-spaces.tig new file mode 100644 index 0000000..d87e50e --- /dev/null +++ b/tiger-compiler/tests/good/three-name-spaces.tig @@ -0,0 +1,6 @@ +let type a = {a : int} + var a := 0 + function a(a : a) : a = a{a = a.a} +in + a(a{a = a}) +end diff --git a/tiger-compiler/tests/good/variable-escapes.tig b/tiger-compiler/tests/good/variable-escapes.tig new file mode 100644 index 0000000..7d8e759 --- /dev/null +++ b/tiger-compiler/tests/good/variable-escapes.tig @@ -0,0 +1,7 @@ +let + var one := 1 + var two := 2 + function incr(x: int) : int = x + one +in + incr(two) +end
\ No newline at end of file |