Initial import

46 files changed, 376 insertions, 0 deletions

diff --git a/tests/basic.c b/tests/basic.c
new file mode 100644
index 0000000..061ed7e
--- /dev/null
+++ b/tests/basic.c
@@ -0,0 +1,3 @@
+int main(void) {
+	return 0;
+}
diff --git a/tests/basic.qbe b/tests/basic.qbe
new file mode 100644
index 0000000..40d18e9
--- /dev/null
+++ b/tests/basic.qbe
@@ -0,0 +1,6 @@
+export
+function w $main() {
+@start.1
+@body.2
+	ret 0
+}
diff --git a/tests/compound-assignment.c b/tests/compound-assignment.c
new file mode 100644
index 0000000..d7efcc6
--- /dev/null
+++ b/tests/compound-assignment.c
@@ -0,0 +1,4 @@
+void f(void) {
+	int x[1] = {0}, *p = x;
+	*p++ += 1;
+}
diff --git a/tests/compound-assignment.qbe b/tests/compound-assignment.qbe
new file mode 100644
index 0000000..35e71a5
--- /dev/null
+++ b/tests/compound-assignment.qbe
@@ -0,0 +1,18 @@
+export
+function $f() {
+@start.1
+	%.1 =l alloc4 4
+	%.3 =l alloc8 8
+@body.2
+	%.2 =l add %.1, 0
+	storew 0, %.2
+	%.4 =l add %.3, 0
+	storel %.1, %.4
+	%.5 =l loadl %.3
+	%.6 =l add %.5, 4
+	storel %.6, %.3
+	%.7 =w loadsw %.5
+	%.8 =w add %.7, 1
+	storew %.8, %.5
+	ret
+}
diff --git a/tests/const-expr-div.c b/tests/const-expr-div.c
new file mode 100644
index 0000000..bac37a5
--- /dev/null
+++ b/tests/const-expr-div.c
@@ -0,0 +1 @@
+int x = -2/-1;
\ No newline at end of file
diff --git a/tests/const-expr-div.qbe b/tests/const-expr-div.qbe
new file mode 100644
index 0000000..3faa638
--- /dev/null
+++ b/tests/const-expr-div.qbe
@@ -0,0 +1 @@
+export data $x = align 4 { w 2, }
diff --git a/tests/const-expr-mod.c b/tests/const-expr-mod.c
new file mode 100644
index 0000000..2f12704
--- /dev/null
+++ b/tests/const-expr-mod.c
@@ -0,0 +1 @@
+int x = -2%-1;
\ No newline at end of file
diff --git a/tests/const-expr-mod.qbe b/tests/const-expr-mod.qbe
new file mode 100644
index 0000000..a67781d
--- /dev/null
+++ b/tests/const-expr-mod.qbe
@@ -0,0 +1 @@
+export data $x = align 4 { w 0, }
diff --git a/tests/const-expr-shr.c b/tests/const-expr-shr.c
new file mode 100644
index 0000000..40bcb44
--- /dev/null
+++ b/tests/const-expr-shr.c
@@ -0,0 +1 @@
+int x = -1 >> 1;
\ No newline at end of file
diff --git a/tests/const-expr-shr.qbe b/tests/const-expr-shr.qbe
new file mode 100644
index 0000000..675fc96
--- /dev/null
+++ b/tests/const-expr-shr.qbe
@@ -0,0 +1 @@
+export data $x = align 4 { w 18446744073709551615, }
diff --git a/tests/float-promote.c b/tests/float-promote.c
new file mode 100644
index 0000000..572719a
--- /dev/null
+++ b/tests/float-promote.c
@@ -0,0 +1,8 @@
+void g1();
+void g2(int, ...);
+void g3(float);
+void f(void) {
+	g1(1.0f);
+	g2(0, 1.0f);
+	g3(1.0f);
+}
diff --git a/tests/float-promote.qbe b/tests/float-promote.qbe
new file mode 100644
index 0000000..052b1fa
--- /dev/null
+++ b/tests/float-promote.qbe
@@ -0,0 +1,11 @@
+export
+function $f() {
+@start.1
+@body.2
+	%.1 =d exts s_0x1p+0
+	call $g1(d %.1)
+	%.2 =d exts s_0x1p+0
+	call $g2(w 0, d %.2, ...)
+	call $g3(s s_0x1p+0)
+	ret
+}
diff --git a/tests/float-to-uint32.c b/tests/float-to-uint32.c
new file mode 100644
index 0000000..a82c89d
--- /dev/null
+++ b/tests/float-to-uint32.c
@@ -0,0 +1,4 @@
+float g(void);
+unsigned f(void) {
+	return g();
+}
diff --git a/tests/float-to-uint32.qbe b/tests/float-to-uint32.qbe
new file mode 100644
index 0000000..a8463f3
--- /dev/null
+++ b/tests/float-to-uint32.qbe
@@ -0,0 +1,9 @@
+export
+function w $f() {
+@start.1
+@body.2
+	%.1 =s call $g()
+	%.2 =l stosi %.1
+	%.3 =w copy %.2
+	ret %.3
+}
diff --git a/tests/float-to-uint64.c b/tests/float-to-uint64.c
new file mode 100644
index 0000000..10e7809
--- /dev/null
+++ b/tests/float-to-uint64.c
@@ -0,0 +1,4 @@
+float g(void);
+unsigned long long f(void) {
+	return g();
+}
diff --git a/tests/float-to-uint64.qbe b/tests/float-to-uint64.qbe
new file mode 100644
index 0000000..3c3aa01
--- /dev/null
+++ b/tests/float-to-uint64.qbe
@@ -0,0 +1,18 @@
+export
+function l $f() {
+@start.1
+@body.2
+	%.1 =s call $g()
+	%.2 =w cges %.1, s_0x1p+63
+	jnz %.2, @ftou_big.4, @ftou_small.3
+@ftou_small.3
+	%.3 =l stosi %.1
+	jmp @ftou_join.5
+@ftou_big.4
+	%.4 =s sub %.1, s_0x1p+63
+	%.5 =l stosi %.4
+	%.6 =l xor %.5, 9223372036854775808
+@ftou_join.5
+	%.7 =l phi @ftou_small.3 %.3, @ftou_big.4 %.6
+	ret %.7
+}
diff --git a/tests/for-loop.c b/tests/for-loop.c
new file mode 100644
index 0000000..ea769c5
--- /dev/null
+++ b/tests/for-loop.c
@@ -0,0 +1,6 @@
+void g(int);
+void f(void) {
+	int i;
+	for (i = 0; i < 10; ++i)
+		g(i);
+}
diff --git a/tests/for-loop.qbe b/tests/for-loop.qbe
new file mode 100644
index 0000000..56b38b1
--- /dev/null
+++ b/tests/for-loop.qbe
@@ -0,0 +1,21 @@
+export
+function $f() {
+@start.1
+	%.1 =l alloc4 4
+@body.2
+	storew 0, %.1
+@for_cond.3
+	%.2 =w loadsw %.1
+	%.3 =w csltw %.2, 10
+	jnz %.3, @for_body.4, @for_join.6
+@for_body.4
+	%.4 =w loadsw %.1
+	call $g(w %.4)
+@for_cont.5
+	%.5 =w loadsw %.1
+	%.6 =w add %.5, 1
+	storew %.6, %.1
+	jmp @for_cond.3
+@for_join.6
+	ret
+}
diff --git a/tests/global-align.c b/tests/global-align.c
new file mode 100644
index 0000000..c44c2d5
--- /dev/null
+++ b/tests/global-align.c
@@ -0,0 +1 @@
+_Alignas(8) char c;
\ No newline at end of file
diff --git a/tests/global-align.qbe b/tests/global-align.qbe
new file mode 100644
index 0000000..1b833ed
--- /dev/null
+++ b/tests/global-align.qbe
@@ -0,0 +1 @@
+export data $c = align 8 { z 1 }
diff --git a/tests/hello.c b/tests/hello.c
new file mode 100644
index 0000000..bad06bc
--- /dev/null
+++ b/tests/hello.c
@@ -0,0 +1,5 @@
+int puts(const char *);
+int main(void) {
+	puts("hello");
+	return 0;
+}
diff --git a/tests/hello.qbe b/tests/hello.qbe
new file mode 100644
index 0000000..3e695ab
--- /dev/null
+++ b/tests/hello.qbe
@@ -0,0 +1,9 @@
+data $.Lstring.2 = align 1 { b "hello", z 1, }
+export
+function w $main() {
+@start.1
+@body.2
+	%.1 =l copy $.Lstring.2
+	%.2 =w call $puts(l %.1)
+	ret 0
+}
diff --git a/tests/local-align.c b/tests/local-align.c
new file mode 100644
index 0000000..8fc3736
--- /dev/null
+++ b/tests/local-align.c
@@ -0,0 +1,3 @@
+void f(void) {
+	_Alignas(16) char x[4];
+}
diff --git a/tests/local-align.qbe b/tests/local-align.qbe
new file mode 100644
index 0000000..bc3b85c
--- /dev/null
+++ b/tests/local-align.qbe
@@ -0,0 +1,7 @@
+export
+function $f() {
+@start.1
+	%.1 =l alloc16 4
+@body.2
+	ret
+}
diff --git a/tests/local-init.c b/tests/local-init.c
new file mode 100644
index 0000000..0e886d7
--- /dev/null
+++ b/tests/local-init.c
@@ -0,0 +1,6 @@
+void f(void) {
+	struct {
+		char c[8];
+		long long i[3];
+	} s = {'a'};
+}
diff --git a/tests/local-init.qbe b/tests/local-init.qbe
new file mode 100644
index 0000000..8d7346a
--- /dev/null
+++ b/tests/local-init.qbe
@@ -0,0 +1,22 @@
+export
+function $f() {
+@start.1
+	%.1 =l alloc8 32
+@body.2
+	%.2 =l add %.1, 0
+	%.3 =w copy 97
+	storeb %.3, %.2
+	%.4 =l add %.1, 1
+	storeb 0, %.4
+	%.5 =l add %.1, 2
+	storeh 0, %.5
+	%.6 =l add %.1, 4
+	storew 0, %.6
+	%.7 =l add %.1, 8
+	storel 0, %.7
+	%.8 =l add %.1, 16
+	storel 0, %.8
+	%.9 =l add %.1, 24
+	storel 0, %.9
+	ret
+}
diff --git a/tests/struct-copy.c b/tests/struct-copy.c
new file mode 100644
index 0000000..33084aa
--- /dev/null
+++ b/tests/struct-copy.c
@@ -0,0 +1,8 @@
+struct s {
+	char s[5];
+	float f;
+} x;
+
+void f(void) {
+	struct s y = x;
+}
diff --git a/tests/struct-copy.qbe b/tests/struct-copy.qbe
new file mode 100644
index 0000000..4778921
--- /dev/null
+++ b/tests/struct-copy.qbe
@@ -0,0 +1,21 @@
+export
+function $f() {
+@start.1
+	%.1 =l alloc4 12
+@body.2
+	%.2 =l add %.1, 0
+	%.3 =l loaduw $x
+	storew %.3, %.2
+	%.4 =l add $x, 4
+	%.5 =l add %.2, 4
+	%.6 =l loaduw %.4
+	storew %.6, %.5
+	%.7 =l add %.4, 4
+	%.8 =l add %.5, 4
+	%.9 =l loaduw %.7
+	storew %.9, %.8
+	%.10 =l add %.7, 4
+	%.11 =l add %.8, 4
+	ret
+}
+export data $x = align 4 { z 12 }
diff --git a/tests/struct-passing.c b/tests/struct-passing.c
new file mode 100644
index 0000000..54c65a2
--- /dev/null
+++ b/tests/struct-passing.c
@@ -0,0 +1,11 @@
+struct s {
+	int x;
+	struct {
+		char y[3];
+		short z;
+	} s[2];
+	double w;
+};
+
+void f(struct s s) {
+}
diff --git a/tests/struct-passing.qbe b/tests/struct-passing.qbe
new file mode 100644
index 0000000..a01bda2
--- /dev/null
+++ b/tests/struct-passing.qbe
@@ -0,0 +1,7 @@
+type :s.1 = { w, b 3, h, b 3, h, d, }
+export
+function $f(:s.1 %.1) {
+@start.1
+@body.2
+	ret
+}
diff --git a/tests/subtract-pointer.c b/tests/subtract-pointer.c
new file mode 100644
index 0000000..1de9dde
--- /dev/null
+++ b/tests/subtract-pointer.c
@@ -0,0 +1,3 @@
+void f(int *x, int *y) {
+	x - y;
+}
diff --git a/tests/subtract-pointer.qbe b/tests/subtract-pointer.qbe
new file mode 100644
index 0000000..9e49d9c
--- /dev/null
+++ b/tests/subtract-pointer.qbe
@@ -0,0 +1,17 @@
+export
+function $f(l %.1, l %.3) {
+@start.1
+	%.2 =l alloc8 8
+	storel %.1, %.2
+	%.4 =l alloc8 8
+	storel %.3, %.4
+@body.2
+	%.5 =l loadl %.2
+	%.6 =l copy %.5
+	%.7 =l udiv %.6, 4
+	%.8 =l loadl %.4
+	%.9 =l copy %.8
+	%.10 =l udiv %.9, 4
+	%.11 =l sub %.7, %.10
+	ret
+}
diff --git a/tests/switch.c b/tests/switch.c
new file mode 100644
index 0000000..b1b7733
--- /dev/null
+++ b/tests/switch.c
@@ -0,0 +1,10 @@
+void f(void) {
+	switch (0) {
+	case 3: break;
+	case 52: break;
+	case -3: break;
+	default: break;
+	case 0: break;
+	case 101: break;
+	}
+}
diff --git a/tests/switch.qbe b/tests/switch.qbe
new file mode 100644
index 0000000..73320a0
--- /dev/null
+++ b/tests/switch.qbe
@@ -0,0 +1,62 @@
+export
+function $f() {
+@start.1
+@body.2
+	jmp @switch_cond.3
+@switch_case.5
+	jmp @switch_join.4
+@switch_case.6
+	jmp @switch_join.4
+@switch_case.7
+	jmp @switch_join.4
+@switch_default.8
+	jmp @switch_join.4
+@switch_case.9
+	jmp @switch_join.4
+@switch_case.10
+	jmp @switch_join.4
+@switch_cond.3
+	%.1 =w cultw 0, 52
+	jnz %.1, @switch_lt.11, @switch_ge.12
+@switch_lt.11
+	%.2 =w cultw 0, 3
+	jnz %.2, @switch_lt.14, @switch_ge.15
+@switch_lt.14
+	%.3 =w cultw 0, 0
+	jnz %.3, @switch_lt.17, @switch_ge.18
+@switch_lt.17
+	jmp @switch_default.8
+@switch_ge.18
+	%.4 =w cugtw 0, 0
+	jnz %.4, @switch_gt.19, @switch_case.9
+@switch_gt.19
+	jmp @switch_default.8
+@switch_ge.15
+	%.5 =w cugtw 0, 3
+	jnz %.5, @switch_gt.16, @switch_case.5
+@switch_gt.16
+	jmp @switch_default.8
+@switch_ge.12
+	%.6 =w cugtw 0, 52
+	jnz %.6, @switch_gt.13, @switch_case.6
+@switch_gt.13
+	%.7 =w cultw 0, 18446744073709551613
+	jnz %.7, @switch_lt.20, @switch_ge.21
+@switch_lt.20
+	%.8 =w cultw 0, 101
+	jnz %.8, @switch_lt.23, @switch_ge.24
+@switch_lt.23
+	jmp @switch_default.8
+@switch_ge.24
+	%.9 =w cugtw 0, 101
+	jnz %.9, @switch_gt.25, @switch_case.10
+@switch_gt.25
+	jmp @switch_default.8
+@switch_ge.21
+	%.10 =w cugtw 0, 18446744073709551613
+	jnz %.10, @switch_gt.22, @switch_case.7
+@switch_gt.22
+	jmp @switch_default.8
+@switch_join.4
+	ret
+}
diff --git a/tests/tentative.c b/tests/tentative.c
new file mode 100644
index 0000000..1f484ae
--- /dev/null
+++ b/tests/tentative.c
@@ -0,0 +1,2 @@
+int x;
+int x = 5;
diff --git a/tests/tentative.qbe b/tests/tentative.qbe
new file mode 100644
index 0000000..bf252fd
--- /dev/null
+++ b/tests/tentative.qbe
@@ -0,0 +1 @@
+export data $x = align 4 { w 5, }
diff --git a/tests/typedef-name.c b/tests/typedef-name.c
new file mode 100644
index 0000000..ab85460
--- /dev/null
+++ b/tests/typedef-name.c
@@ -0,0 +1,4 @@
+typedef int x;
+void f(void) {
+	long x;
+}
diff --git a/tests/typedef-name.qbe b/tests/typedef-name.qbe
new file mode 100644
index 0000000..5ce995e
--- /dev/null
+++ b/tests/typedef-name.qbe
@@ -0,0 +1,7 @@
+export
+function $f() {
+@start.1
+	%.1 =l alloc8 8
+@body.2
+	ret
+}
diff --git a/tests/typedef.c b/tests/typedef.c
new file mode 100644
index 0000000..763d37d
--- /dev/null
+++ b/tests/typedef.c
@@ -0,0 +1,2 @@
+typedef int T;
+T x;
diff --git a/tests/typedef.qbe b/tests/typedef.qbe
new file mode 100644
index 0000000..7cf0e40
--- /dev/null
+++ b/tests/typedef.qbe
@@ -0,0 +1 @@
+export data $x = align 4 { z 4 }
diff --git a/tests/uint32-to-float.c b/tests/uint32-to-float.c
new file mode 100644
index 0000000..0a045be
--- /dev/null
+++ b/tests/uint32-to-float.c
@@ -0,0 +1,4 @@
+unsigned g(void);
+float f(void) {
+	return g();
+}
diff --git a/tests/uint32-to-float.qbe b/tests/uint32-to-float.qbe
new file mode 100644
index 0000000..0e90531
--- /dev/null
+++ b/tests/uint32-to-float.qbe
@@ -0,0 +1,9 @@
+export
+function s $f() {
+@start.1
+@body.2
+	%.1 =w call $g()
+	%.2 =l extuw %.1
+	%.3 =s sltof %.2
+	ret %.3
+}
diff --git a/tests/uint64-to-float.c b/tests/uint64-to-float.c
new file mode 100644
index 0000000..b4e7fc6
--- /dev/null
+++ b/tests/uint64-to-float.c
@@ -0,0 +1,4 @@
+unsigned long long g(void);
+float f(void) {
+	return g();
+}
diff --git a/tests/uint64-to-float.qbe b/tests/uint64-to-float.qbe
new file mode 100644
index 0000000..6542c29
--- /dev/null
+++ b/tests/uint64-to-float.qbe
@@ -0,0 +1,20 @@
+export
+function s $f() {
+@start.1
+@body.2
+	%.1 =l call $g()
+	%.2 =w csltl %.1, 0
+	jnz %.2, @utof_big.4, @utof_small.3
+@utof_small.3
+	%.3 =s sltof %.1
+	jmp @utof_join.5
+@utof_big.4
+	%.4 =l and %.1, 1
+	%.5 =l shr %.1, 1
+	%.6 =l or %.5, %.4
+	%.7 =s sltof %.6
+	%.8 =s add %.7, %.7
+@utof_join.5
+	%.9 =s phi @utof_small.3 %.3, @utof_big.4 %.8
+	ret %.9
+}
diff --git a/tests/unused-return.c b/tests/unused-return.c
new file mode 100644
index 0000000..815fcb1
--- /dev/null
+++ b/tests/unused-return.c
@@ -0,0 +1,4 @@
+int g(void);
+void f(void) {
+	g();
+}
diff --git a/tests/unused-return.qbe b/tests/unused-return.qbe
new file mode 100644
index 0000000..d269c7f
--- /dev/null
+++ b/tests/unused-return.qbe
@@ -0,0 +1,7 @@
+export
+function $f() {
+@start.1
+@body.2
+	%.1 =w call $g()
+	ret
+}