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