From fa7ae3bc4dace60ee12fb515e765e7c23adcb41c Mon Sep 17 00:00:00 2001 From: Richard Henderson Date: Sat, 16 Oct 1999 00:08:45 -0700 Subject: * gcc.c-torture/execute/991016-1.c: New test. From-SVN: r30040 --- gcc/testsuite/ChangeLog | 4 ++ gcc/testsuite/gcc.c-torture/execute/991016-1.c | 55 ++++++++++++++++++++++++++ 2 files changed, 59 insertions(+) create mode 100644 gcc/testsuite/gcc.c-torture/execute/991016-1.c (limited to 'gcc') diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index b5a9bf2..ea74e2a 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,7 @@ +Sat Oct 16 00:05:48 1999 Richard Henderson + + * gcc.c-torture/execute/991016-1.c: New test. + Thu Oct 14 04:22:47 1999 Stephane Carrez * gcc.c-torture/execute/991014-1.c: New test. diff --git a/gcc/testsuite/gcc.c-torture/execute/991016-1.c b/gcc/testsuite/gcc.c-torture/execute/991016-1.c new file mode 100644 index 0000000..c312234 --- /dev/null +++ b/gcc/testsuite/gcc.c-torture/execute/991016-1.c @@ -0,0 +1,55 @@ +/* Two of these types will, on current gcc targets, have the same + mode but have different alias sets. DOIT tries to get gcse to + invalidly hoist one of the values out of the loop. */ + +typedef int T0; +typedef long T1; +typedef long long T2; + +int +doit(int sel, int n, void *p) +{ + T0 * const p0 = p; + T1 * const p1 = p; + T2 * const p2 = p; + + switch (sel) + { + case 0: + do + *p0 += *p0; + while (--n); + return *p0 == 0; + + case 1: + do + *p1 += *p1; + while (--n); + return *p1 == 0; + + case 2: + do + *p2 += *p2; + while (--n); + return *p2 == 0; + + default: + abort (); + } +} + +int +main() +{ + T0 v0; T1 v1; T2 v2; + + v0 = 1; doit(0, 5, &v0); + v1 = 1; doit(1, 5, &v1); + v2 = 1; doit(2, 5, &v2); + + if (v0 != 32) abort (); + if (v1 != 32) abort (); + if (v2 != 32) abort (); + + exit (0); +} -- cgit v1.1