1/* { dg-do compile } */
2/* { dg-require-effective-target ilp32 } */
3/* { dg-require-effective-target fpic } */
4/* { dg-options "-O2 -march=pentium4 -mtune=prescott -mfpmath=387 -fpic" } */
5double foo (double x) {
6  return x + 1.75;
7}
8/* { dg-final { scan-assembler "flds" } } */
9