1  /* { dg-do compile } */
       2  /* { dg-options "-mcmse -mfloat-abi=hard -mfpu=fpv5-d16" }  */
       3  /* { dg-skip-if "Incompatible float ABI" { *-*-* } { "-mfloat-abi=*" } { "-mfloat-abi=hard" } } */
       4  /* { dg-skip-if "Skip these if testing single precision" {*-*-*} {"-mfpu=*-sp-*"} {""} } */
       5  
       6  #include "../../../cmse-5.x"
       7  
       8  /* { dg-final { scan-assembler "vstr\tFPCXTNS, \\\[sp, #-4\\\]!" } } */
       9  /* { dg-final { scan-assembler "vscclrm\t\{s1-s15, VPR\}" } } */
      10  /* { dg-final { scan-assembler "clrm\t\{r0, r1, r2, r3, ip, APSR\}" } } */
      11  /* { dg-final { scan-assembler "vldr\tFPCXTNS, \\\[sp\\\], #4" } } */
      12  /* { dg-final { scan-assembler "bxns" } } */