1  /* { dg-do compile } */
       2  /* { dg-options "-mcmse -mfloat-abi=soft" }  */
       3  /* { dg-skip-if "Incompatible float ABI" { *-*-* } { "-mfloat-abi=*" } { "-mfloat-abi=soft" } } */
       4  
       5  #include "../../../cmse-5.x"
       6  
       7  /* { dg-final { scan-assembler "vstr\tFPCXTNS, \\\[sp, #-4\\\]!" } } */
       8  /* { dg-final { scan-assembler-not "vmov" } } */
       9  /* { dg-final { scan-assembler-not "vmsr" } } */
      10  /* { dg-final { scan-assembler "vscclrm\t\{s0-s15, VPR\}" } } */
      11  /* { dg-final { scan-assembler "clrm\t\{r1, r2, r3, ip, APSR\}" } } */
      12  /* { dg-final { scan-assembler "vldr\tFPCXTNS, \\\[sp\\\], #4" } } */
      13  /* { dg-final { scan-assembler "bxns" } } */