1 /* { dg-do compile } */
2 /* { dg-options "-O2 -fsplit-paths -fdump-tree-split-paths-details -w" } */
3 
foo(unsigned long long * M)4 void foo(unsigned long long *M)
5 {
6   for (unsigned long long k = 0; k < 227; ++k)
7     {
8       unsigned long long y =
9 	((M[k] & 0xffffffff80000000ULL) | (M[k + 1] & 0x7fffffffULL));
10       M[k] = (M[k + 397] ^ (y >> 1) ^ ((y & 1) ? 2567483615ULL : 0));
11     }
12 }
13 
14 /* { dg-final { scan-tree-dump-times "join point for if-convertable half-diamond" 1 "split-paths" } } */
15