1  /* { dg-do compile } */
       2  /* { dg-options "-O2" } */
       3  
       4  unsigned int
       5  abs2 (unsigned int a) 
       6  {
       7    unsigned int s = ((a>>15)&0x10001)*0xffff;
       8    return (a+s)^s;
       9  }
      10  
      11  /* { dg-final { scan-assembler-not "leal\[\t \]*\[^(\]*\\((.*),\\1\\)" } } */