diff options
| -rw-r--r-- | test/data/constants.ll | 13 | ||||
| -rw-r--r-- | test/data/constants.yx | 17 | ||||
| -rw-r--r-- | test/data/globals.ll | 16 | ||||
| -rw-r--r-- | test/data/globals.yx | 17 | ||||
| -rw-r--r-- | test/data/nested-fns.ll | 18 | ||||
| -rw-r--r-- | test/data/nested-fns.yx | 13 | ||||
| -rwxr-xr-x | test/llvm-ir-tests.sh | 18 |
7 files changed, 112 insertions, 0 deletions
diff --git a/test/data/constants.ll b/test/data/constants.ll new file mode 100644 index 0000000..bc517ad --- /dev/null +++ b/test/data/constants.ll @@ -0,0 +1,13 @@ +define i64 @foo() { +entry: + %x = alloca i64, align 8 + store i64 42, ptr %x, align 8 + %load = load i64, ptr %x, align 8 + %add = add i64 %load, 84 + ret i64 %add +} + +define i64 @bar() { +entry: + ret i64 43 +} diff --git a/test/data/constants.yx b/test/data/constants.yx new file mode 100644 index 0000000..cc9e6df --- /dev/null +++ b/test/data/constants.yx @@ -0,0 +1,17 @@ +/* Basic definitions, with Unicode support */ +π :: 3.14159265358979323846264338327950288419716939937510582097494459; +MEANING_OF_LIFE :: 42; + +/* You can use them in expressions, and they can be defined + out-of-order */ +foo :: () int { + x := MEANING_OF_LIFE; + return x + MOL_DBL; + MOL_DBL :: MEANING_OF_LIFE * 2; +} + +/* You can perform constant shadowing */ +bar :: () int { + MEANING_OF_LIFE :: MEANING_OF_LIFE + 1; + return MEANING_OF_LIFE; +} diff --git a/test/data/globals.ll b/test/data/globals.ll new file mode 100644 index 0000000..f52d967 --- /dev/null +++ b/test/data/globals.ll @@ -0,0 +1,16 @@ +@x = internal global i64 0 +@y = internal global i16 0 +@"x\E2\80\B2" = internal global i64 42 +@"y\E2\80\B2" = internal global i64 69 +@"x\E2\80\B3" = internal global i64 42 +@"y\E2\80\B3" = internal global i16 69 + +define i64 @foo() { +entry: + %x = alloca i64, align 8 + %load = load i64, ptr @x, align 8 + %add = add i64 %load, 1 + store i64 %add, ptr %x, align 8 + %load1 = load i64, ptr %x, align 8 + ret i64 %load1 +} diff --git a/test/data/globals.yx b/test/data/globals.yx new file mode 100644 index 0000000..c933c6d --- /dev/null +++ b/test/data/globals.yx @@ -0,0 +1,17 @@ +/* Globals without initializers */ +x: int; +y: u16; + +/* Globals with initializers */ +x′ := 42; +y′ := 69; + +/* Globals with initializers and types */ +x″: int = 42; +y″: u16 = 69; + +/* Globals can be shadowed */ +foo :: () int { + x := x + 1; + return x; /* 1 */ +} diff --git a/test/data/nested-fns.ll b/test/data/nested-fns.ll new file mode 100644 index 0000000..c29a847 --- /dev/null +++ b/test/data/nested-fns.ll @@ -0,0 +1,18 @@ +define i64 @fn1.fn2.fn1() { +entry: + ret i64 42 +} + +define i64 @fn1.fn2() { +entry: + %call = call i64 @fn1.fn2.fn1() + %call1 = call i64 @fn1.fn2.fn1() + %mul = mul i64 %call, %call1 + ret i64 %mul +} + +define i64 @fn1() { +entry: + %call = call i64 @fn1.fn2() + ret i64 %call +} diff --git a/test/data/nested-fns.yx b/test/data/nested-fns.yx new file mode 100644 index 0000000..3f60f5b --- /dev/null +++ b/test/data/nested-fns.yx @@ -0,0 +1,13 @@ +fn1 :: () int { + /* You can create and use nested functions */ + fn2 :: () int { + return fn1() * fn1(); + + /* Nested functions shadow parent functions */ + fn1 :: () int { + return 42; + } + } + + return fn2(); +} diff --git a/test/llvm-ir-tests.sh b/test/llvm-ir-tests.sh new file mode 100755 index 0000000..46ef922 --- /dev/null +++ b/test/llvm-ir-tests.sh @@ -0,0 +1,18 @@ +#!/bin/sh + +readonly OUT=/tmp/llvm-ir-tests-out +trap "rm -f $OUT" EXIT + +for f in ./test/data/*.yx +do + if ! ./oryx -l "$f" \ + | sed '1,/^$/d' \ + | diff -u --color=always - "${f%%yx}ll" >$OUT + then + file="$(basename "$f" .yx)" + echo "llvm-ir-tests: Test ‘$file’ failed" >&2 + printf '\tFailing diff:\n' >&2 + cat $OUT + exit 1 + fi +done |