summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gcc.c-torture/execute/991016-1.c
diff options
context:
space:
mode:
authorupstream source tree <ports@midipix.org>2015-03-15 20:14:05 -0400
committerupstream source tree <ports@midipix.org>2015-03-15 20:14:05 -0400
commit554fd8c5195424bdbcabf5de30fdc183aba391bd (patch)
tree976dc5ab7fddf506dadce60ae936f43f58787092 /gcc/testsuite/gcc.c-torture/execute/991016-1.c
downloadcbb-gcc-4.6.4-554fd8c5195424bdbcabf5de30fdc183aba391bd.tar.bz2
cbb-gcc-4.6.4-554fd8c5195424bdbcabf5de30fdc183aba391bd.tar.xz
obtained gcc-4.6.4.tar.bz2 from upstream website;upstream
verified gcc-4.6.4.tar.bz2.sig; imported gcc-4.6.4 source tree from verified upstream tarball. downloading a git-generated archive based on the 'upstream' tag should provide you with a source tree that is binary identical to the one extracted from the above tarball. if you have obtained the source via the command 'git clone', however, do note that line-endings of files in your working directory might differ from line-endings of the respective files in the upstream repository.
Diffstat (limited to 'gcc/testsuite/gcc.c-torture/execute/991016-1.c')
-rw-r--r--gcc/testsuite/gcc.c-torture/execute/991016-1.c55
1 files changed, 55 insertions, 0 deletions
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 000000000..c3122342d
--- /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);
+}