/* PR optimization/10876 */
/* { dg-do compile } */
/* Verify that adding the constant 4096 is turned
into subtracting the constant -4096. */
int foo(int a)
{
return a+4096;
}
/* { dg-final { scan-assembler "sub" } } */