| /* Test for target attribute assembly extension generations. */ |
| /* { dg-do compile } */ |
| /* { dg-require-effective-target arm_fp_ok } */ |
| /* { dg-add-options arm_fp } */ |
| |
| #include <stdint.h> |
| |
| extern uint32_t bar (); |
| |
| #pragma GCC target("fpu=vfpv3-d16") |
| |
| extern float fmaf (float, float, float); |
| |
| float |
| __attribute__((target("fpu=vfpv4"))) vfma32 (float x, float y, float z) |
| { |
| return fmaf (x, y, z); |
| } |
| |
| uint32_t restored () |
| { |
| return bar(); |
| } |
| |
| /* We can't tell exactly how many times the following tests will match because |
| command-line options may cause additional instances to be generated, but |
| each must be present at least once. */ |
| /* { dg-final { scan-assembler {\.fpu\s+vfpv4\n} } } */ |
| /* { dg-final { scan-assembler {\.fpu\s+vfpv3-d16\n} } } */ |
