1  /* { dg-do compile } */
       2  /* { dg-options "-O2" } */
       3  
       4  void g(int);
       5  
       6  void
       7  f (unsigned int x, _Bool y)
       8  {
       9    for (int i = 0; i < 100; ++i)
      10      {
      11        if ((x >> 31) | y)
      12  	g (1);
      13        for (int j = 0; j < 100; ++j)
      14  	g (2);
      15      }
      16  }
      17  
      18  /* { dg-final { scan-assembler-times {and\t} 1 } } */