1  /* PR tree-optimization/87287 */
       2  /* { dg-options "-O2 -fdump-tree-cddce1" } */
       3  /* { dg-final { scan-tree-dump-not " % 16" "cddce1" } } */
       4  /* { dg-final { scan-tree-dump-times " & 15" 4 "cddce1" } } */
       5  
       6  void f0 (void);
       7  
       8  int
       9  f1 (int x)
      10  {
      11    return x % 16 == 0;
      12  }
      13  
      14  int
      15  f2 (int x)
      16  {
      17    int y = x % 16;
      18    return y != 0;
      19  }
      20  
      21  void
      22  f3 (int x)
      23  {
      24    if (x % 16 != 0)
      25      f0 ();
      26  }
      27  
      28  void
      29  f4 (int x)
      30  {
      31    int y = x % 16;
      32    if (y == 0)
      33      f0 ();
      34  }