1/* { dg-do compile } */ 2/* { dg-options "-O2" } */ 3 4void 5foo (double *output) 6{ 7 *output = 4.25; 8} 9 10/* { dg-final { scan-assembler "fmov\\td\[0-9\]+, 4\\.25" } } */ 11