blob: bcf7b885608e0a71cae4fb4dd7e5b4e6adf2c8a0 [file] [log] [blame]
/* PR tree-optimization/77664 */
/* { dg-do run } */
/* { dg-options "-O2" } */
#include "tree-ssa/pr77664.c"
int cnt;
__attribute__((noinline, noclone)) void
foo (void)
{
cnt++;
}
int
main ()
{
fn1 (65534U, 65535U, 7); if (cnt != 1) __builtin_abort ();
fn1 (65534U, 65535U, 0); if (cnt != 1) __builtin_abort ();
fn1 (65535U, 65535U, 1); if (cnt != 1) __builtin_abort ();
fn1 (0, 65535U, 1); if (cnt != 2) __builtin_abort ();
fn1 (-1, 65535U, 1); if (cnt != 2) __builtin_abort ();
fn1 (0, 0, 1); if (cnt != 2) __builtin_abort ();
fn2 (65534U, 65535U, 7); if (cnt != 3) __builtin_abort ();
fn2 (65534U, 65535U, 0); if (cnt != 3) __builtin_abort ();
fn2 (65535U, 65535U, 0); if (cnt != 4) __builtin_abort ();
fn2 (0, 65535U, 0); if (cnt != 4) __builtin_abort ();
fn2 (-1, 65535U, 0); if (cnt != 5) __builtin_abort ();
fn2 (0, 0, 0); if (cnt != 6) __builtin_abort ();
fn3 (-1, 65534U); if (cnt != 7) __builtin_abort ();
fn3 (0, 65534U); if (cnt != 7) __builtin_abort ();
fn3 (65534U, 65534U); if (cnt != 7) __builtin_abort ();
fn3 (65535U, 65534U); if (cnt != 8) __builtin_abort ();
fn3 (0, 0); if (cnt != 8) __builtin_abort ();
fn3 (1, 0); if (cnt != 9) __builtin_abort ();
fn4 (-1, 65534U); if (cnt != 9) __builtin_abort ();
fn4 (0, 65534U); if (cnt != 10) __builtin_abort ();
fn4 (65534U, 65534U); if (cnt != 11) __builtin_abort ();
fn4 (65535U, 65534U); if (cnt != 11) __builtin_abort ();
fn4 (0, 0); if (cnt != 12) __builtin_abort ();
fn4 (1, 0); if (cnt != 12) __builtin_abort ();
fn5 (-1, 65534U); if (cnt != 13) __builtin_abort ();
fn5 (0, 65534U); if (cnt != 13) __builtin_abort ();
fn5 (65534U, 65534U); if (cnt != 13) __builtin_abort ();
fn5 (65535U, 65534U); if (cnt != 14) __builtin_abort ();
fn5 (0, 0); if (cnt != 14) __builtin_abort ();
fn5 (1, 0); if (cnt != 15) __builtin_abort ();
fn6 (-1, 65534U); if (cnt != 15) __builtin_abort ();
fn6 (0, 65534U); if (cnt != 16) __builtin_abort ();
fn6 (65534U, 65534U); if (cnt != 17) __builtin_abort ();
fn6 (65535U, 65534U); if (cnt != 17) __builtin_abort ();
fn6 (0, 0); if (cnt != 18) __builtin_abort ();
fn6 (1, 0); if (cnt != 18) __builtin_abort ();
return 0;
}