1 /* { dg-do compile } */
2 /* { dg-options "-O2 -fdump-tree-forwprop1-details" } */
3 
foo(int z0,unsigned z1)4 int foo(int z0, unsigned z1)
5 {
6   int t0 = (z0 != -1);
7   int t1 = (z1 != -1U);
8   int t2 = (t0 | t1);
9   return t2;
10 }
11 
12 /* { dg-final { scan-tree-dump "gimple_simplified to _\[0-9\]* = \\(int\\) z1_\[0-9\]*\\(D\\);" "forwprop1" } } */
13