1  /* PR optimization/10876 */
       2  
       3  /* { dg-do compile } */
       4  
       5  /* Verify that adding the constant 4096 is turned
       6     into subtracting the constant -4096. */
       7  
       8  int foo(int a)
       9  {
      10    return a+4096;
      11  }
      12  
      13  /* { dg-final { scan-assembler "sub" } } */