1  /* PR middle-end/87290 */
       2  /* { dg-do compile } */
       3  /* { dg-options "-O2 -masm=att" } */
       4  /* { dg-final { scan-assembler-times "and\[^\n\r]*-2147483633" 4 } } */
       5  /* { dg-final { scan-assembler-times "\t\\\$13," 2 } } */
       6  /* { dg-final { scan-assembler-times "\t\\\$-2147483645," 2 } } */
       7  
       8  void f0 (void);
       9  
      10  int
      11  f1 (int x)
      12  {
      13    return x % 16 == 13;
      14  }
      15  
      16  int
      17  f2 (int x)
      18  {
      19    return x % 16 == -13;
      20  }
      21  
      22  void
      23  f3 (int x)
      24  {
      25    if (x % 16 == 13)
      26      f0 ();
      27  }
      28  
      29  void
      30  f4 (int x)
      31  {
      32    if (x % 16 == -13)
      33      f0 ();
      34  }