+Sat Oct 16 00:05:48 1999 Richard Henderson <rth@cygnus.com>
+
+ * gcc.c-torture/execute/991016-1.c: New test.
+
Thu Oct 14 04:22:47 1999 Stephane Carrez <stcarrez@worldnet.fr>
* gcc.c-torture/execute/991014-1.c: New test.
--- /dev/null
+/* 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);
+}