From 83a1fd94e481ffac619b227a381e37262bc40d00 Mon Sep 17 00:00:00 2001 From: Michael Beck Date: Thu, 20 Mar 2008 02:30:18 +0000 Subject: [PATCH 1/1] testcase for new Confirm code [r18198] --- ir/be/test/confirm.c | 36 ++++++++++++++++++++++++++++++++++++ 1 file changed, 36 insertions(+) create mode 100644 ir/be/test/confirm.c 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 + +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; +} -- 2.20.1