From: Michael Beck <beck@ipd.info.uni-karlsruhe.de>
Date: Thu, 20 Mar 2008 02:30:18 +0000 (+0000)
Subject: testcase for new Confirm code
X-Git-Url: http://nsz.repo.hu/git/?a=commitdiff_plain;ds=sidebyside;h=83a1fd94e481ffac619b227a381e37262bc40d00;hp=778f86e10809ed70dc9b509509c0d012dcfaf413;p=libfirm

testcase for new Confirm code

[r18198]
---

diff --git a/ir/be/test/confirm.c b/ir/be/test/confirm.c
new file mode 100644
index 000000000..549db699e
--- /dev/null
+++ b/ir/be/test/confirm.c
@@ -0,0 +1,36 @@
+#include <stdio.h>
+
+int test(int a, int b) {
+	int x = a * b;
+	if (a == 0)
+		return x;
+	else
+		return x - 1;
+}
+
+static int abs(int x) {
+	if (x < 0)
+		return -x;
+	return x;
+}
+
+int test2(int a, int b) {
+	if (a > 0) {
+		return abs(a);
+	}
+	return b;
+}
+
+int test3(int a, int b) {
+	if (a != 0) {
+		b = b / -a;
+	}
+	return b;
+}
+
+int main(void) {
+	printf("test() = %d\n", test(0, 1));
+	printf("test() = %d\n", test2(1, 3));
+	printf("test() = %d\n", test3(-3, 3));
+	return 0;
+}