On Tue, Dec 1, 2015 at 4:18 PM, Marek Polacek <pola...@redhat.com> wrote:
> This PR was fixed in r228767 (or went latent?), but this testcase has never
> been added.
>
> Tested on x86_64-linux, ok for trunk?
Ok.
Richard.
> 2015-12-01 Marek Polacek <pola...@redhat.com>
>
> PR tree-optimization/67916
> * gcc.dg/torture/pr67916.c: New test.
>
> diff --git gcc/testsuite/gcc.dg/torture/pr67916.c
> gcc/testsuite/gcc.dg/torture/pr67916.c
> index e69de29..88541f9 100644
> --- gcc/testsuite/gcc.dg/torture/pr67916.c
> +++ gcc/testsuite/gcc.dg/torture/pr67916.c
> @@ -0,0 +1,46 @@
> +/* PR tree-optimization/67916 */
> +/* { dg-do run } */
> +
> +int a[6], b = 1, d, e;
> +long long c;
> +static int f = 1;
> +
> +void
> +fn1 (int p1)
> +{
> + b = (b >> 1) & (1 ^ a[(1 ^ p1) & 5]);
> +}
> +
> +void
> +fn2 ()
> +{
> + b = (b >> 1) & (1 ^ a[(b ^ 1) & 1]);
> + fn1 (c >> 1 & 5);
> + fn1 (c >> 2 & 5);
> + fn1 (c >> 4 & 5);
> + fn1 (c >> 8 & 5);
> +}
> +
> +int
> +main ()
> +{
> + int i, j;
> + for (; d;)
> + {
> + for (; e;)
> + fn2 ();
> + f = 0;
> + }
> + for (i = 0; i < 8; i++)
> + {
> + if (f)
> + i = 9;
> + for (j = 0; j < 7; j++)
> + fn2 ();
> + }
> +
> + if (b != 0)
> + __builtin_abort ();
> +
> + return 0;
> +}
>
> Marek
