1  /* PR optimization/8275 */
       2  /* Contributed by Volker Reichelt. */
       3  
       4  unsigned int foo (unsigned int u)
       5  {
       6    return (u >> 32) & 0xffff;
       7  }