1  /* { dg-do compile } */
       2  /* { dg-require-effective-target arm_hard_ok } */
       3  /* { dg-options "-O2 -march=armv7-m -mfloat-abi=hard -mfpu=fpv4-sp-d16 -mbig-endian -mpure-code" } */
       4  double f() { return 5.0; }