aboutsummaryrefslogtreecommitdiff
path: root/test/data
diff options
context:
space:
mode:
Diffstat (limited to 'test/data')
-rw-r--r--test/data/constants.ll13
-rw-r--r--test/data/constants.yx17
-rw-r--r--test/data/globals.ll16
-rw-r--r--test/data/globals.yx17
-rw-r--r--test/data/nested-fns.ll18
-rw-r--r--test/data/nested-fns.yx13
6 files changed, 94 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();
+}