1 /* { dg-do compile } */ 2 /* { dg-options "-O2 -fdump-tree-forwprop1-details" } */ 3 foo(int z0,unsigned z1)4int 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