From e70ee0ec1a0f7784dac638ac2d782afec4dd7a4c Mon Sep 17 00:00:00 2001
From: Michael Forney <mforney@mforney.org>
Date: Sun, 12 May 2019 15:37:10 -0700
Subject: eval: Keep track of kind of constant expression we are evaluating

When we are evaluating an arithmetic constant expression, we don't want
to indroduce static data definitions for string or compound literals.

Fixes #59.
---
 test/conditional-compound-literal.c   |  4 ++++
 test/conditional-compound-literal.qbe | 25 +++++++++++++++++++++++++
 2 files changed, 29 insertions(+)
 create mode 100644 test/conditional-compound-literal.c
 create mode 100644 test/conditional-compound-literal.qbe

(limited to 'test')

diff --git a/test/conditional-compound-literal.c b/test/conditional-compound-literal.c
new file mode 100644
index 0000000..33a5416
--- /dev/null
+++ b/test/conditional-compound-literal.c
@@ -0,0 +1,4 @@
+int main(void) {
+	int x = 0, *p = 0 ? 0 : &(int){x};
+	return *p;
+}
diff --git a/test/conditional-compound-literal.qbe b/test/conditional-compound-literal.qbe
new file mode 100644
index 0000000..9e9c5f7
--- /dev/null
+++ b/test/conditional-compound-literal.qbe
@@ -0,0 +1,25 @@
+export
+function w $main() {
+@start.1
+	%.1 =l alloc4 4
+	%.3 =l alloc8 8
+	%.6 =l alloc4 4
+@body.2
+	%.2 =l add %.1, 0
+	storew 0, %.2
+	%.4 =l add %.3, 0
+	%.5 =w cnew 0, 0
+	jnz %.5, @cond_true.3, @cond_false.4
+@cond_true.3
+	jmp @cond_join.5
+@cond_false.4
+	%.7 =l add %.6, 0
+	%.8 =w loadsw %.1
+	storew %.8, %.7
+@cond_join.5
+	%.9 =l phi @cond_true.3 0, @cond_false.4 %.6
+	storel %.9, %.4
+	%.10 =l loadl %.3
+	%.11 =w loadsw %.10
+	ret %.11
+}
-- 
cgit v1.2.3