From: Matthias Braun <matze@braunis.de>
Date: Mon, 6 Aug 2007 22:37:37 +0000 (+0000)
Subject: fehler62: wrong tail-recursion optimisation
X-Git-Url: http://nsz.repo.hu/git/?a=commitdiff_plain;h=c5646ed657163e3fd9e1d6ad2fe22bee7ab40f96;p=libfirm

fehler62: wrong tail-recursion optimisation

[r15484]
---

diff --git a/ir/be/test/fehler62.c b/ir/be/test/fehler62.c
new file mode 100644
index 000000000..76e32ac80
--- /dev/null
+++ b/ir/be/test/fehler62.c
@@ -0,0 +1,105 @@
+#include <stdlib.h>
+#include <stdio.h>
+#include <assert.h>
+
+typedef union rtunion_def {
+	int rtint;
+	struct rtx_def *rtx;
+} rtunion;
+
+typedef struct rtx_def
+{
+	unsigned short code;
+	int mode : 8;
+	unsigned int flag1 : 1;
+	unsigned int flag2 : 2;
+	rtunion fld[1];
+} *rtx;
+
+enum rtx_code {
+	CODE1,
+	CODE2,
+	CODE3,
+	AND,
+	THIS_IS_NOT_AND
+};
+
+enum machine_mode {
+	some_mode,
+	VOIDmode,
+};
+
+char rtx_class[] = {
+	'a', 'e', 'i', '1', '1'
+};
+
+#define GET_CODE(rtx)	((enum rtx_code) (rtx)->code)
+#define XEXP(RTX,N)    ((RTX)->fld[N].rtx)
+#define GET_RTX_CLASS(CODE)     (rtx_class[(int)(CODE)])
+
+static rtx* t(rtx *loc, rtx insn) {
+	register rtx x = *loc;
+	rtx *split;
+	enum rtx_code code = GET_CODE(x);
+
+	printf("start\n");
+
+	switch(GET_RTX_CLASS(code)) {
+	case 'b':
+	case '3':
+		split = t(&XEXP(x, 2), insn);
+		if(split)
+			return split;
+		/* fall through */
+
+	case '2':
+	case 'c':
+	case '<':
+		split = t(&XEXP(x, 1), insn);
+		if(split)
+			return split;
+		/* fall through */
+
+	case '1':
+		if(GET_CODE(x) != AND && GET_CODE(XEXP(x, 0)) == AND) {
+			return &XEXP(x, 0);
+		}
+		split = t(&XEXP(x, 0), insn);
+		if(split)
+			return split;
+		return loc;
+	}
+
+	printf("42\n");
+	return (rtx) 42;
+}
+
+struct rtx_def test_rtx_inner = {
+	/*AND */ CODE2,
+	VOIDmode,
+	0,
+	1,
+	{
+		{ .rtx = NULL }
+	}
+};
+
+struct rtx_def test_rtx = {
+	THIS_IS_NOT_AND,
+	VOIDmode,
+	0,
+	1,
+	{
+		{ .rtx = &test_rtx_inner }
+	}
+};
+
+int main()
+{
+	rtx blo = &test_rtx;
+	//printf("%p %p %p\n", &test_rtx, &test_rtx_inner, &blo);
+	rtx *res = t(&blo, NULL);
+	//assert(res == &XEXP(blo, 0));
+	printf("Res: %p\n", res);
+	return 0;
+}