1 /* PR tree-optimization/46909 */
2 /* { dg-do compile } */
3 /* { dg-options "-O2 -fdump-tree-optimized" } */
4 
5 extern void abort ();
6 
7 int
8 __attribute__ ((__noinline__))
foo(unsigned int x)9 foo (unsigned int x)
10 {
11   if (! (x == 4 || x == 6) || (x == 2 || x == 6))
12     return 1;
13   return -1;
14 }
15 
16 /* { dg-final { scan-tree-dump-times "x_\[0-9\]+\\(D\\) != 4" 1 "optimized" } } */
17 /* { dg-final { scan-tree-dump-times "x_\[0-9\]+\\(D\\) != 6" 0 "optimized" } } */
18 /* { dg-final { scan-tree-dump-times "x_\[0-9\]+\\(D\\) == 2" 0 "optimized" } } */
19 /* { dg-final { scan-tree-dump-times "x_\[0-9\]+\\(D\\) == 6" 0 "optimized" } } */
20