| /* { dg-do compile } */ |
| /* Force an FPU to test that it is ignored for Thumb-1 -like targets and that |
| no clearing of VFP register occurs. */ |
| /* { dg-options "-mcmse -mfloat-abi=softfp -mfpu=fpv5-d16" } */ |
| |
| double __attribute__ ((cmse_nonsecure_call)) (*bar) (float, double); |
| |
| double |
| foo (double a) |
| { |
| return bar (1.0f, 2.0) + a; |
| } |
| |
| float __attribute__ ((cmse_nonsecure_entry)) |
| baz (float a, double b) |
| { |
| return (float) bar (a, b); |
| } |
| |
| /* Make sure we are not using FP instructions, since ARMv8-M Baseline does not |
| support such instructions. */ |
| /* { dg-final { scan-assembler-not "vmov" } } */ |
| /* { dg-final { scan-assembler-not "vmsr" } } */ |
| /* { dg-final { scan-assembler-not "vmrs" } } */ |
| |
| /* Just double checking that we are still doing cmse though. */ |
| /* { dg-final { scan-assembler-not "vmrs" } } */ |
| /* { dg-final { scan-assembler "bl\t__gnu_cmse_nonsecure_call" } } */ |
| |