1/* PR rtl-optimization/61446 */
2
3/* { dg-do compile { target { ia32 } } } */
4/* { dg-options "-O2 -march=corei7 -mfpmath=387" } */
5
6unsigned long long
7foo (float a)
8{
9  const double dfa = a;
10  const unsigned int hi = dfa / 0x1p32f;
11  const unsigned int lo = dfa - (double) hi * 0x1p32f;
12
13  return ((unsigned long long) hi << (4 * (8))) | lo;
14}
15