1  /* PR target/88850.  */
       2  /* { dg-do compile } */
       3  /* { dg-skip-if "do not override -mfloat-abi" { *-*-* } { "-mfloat-abi=*" } {"-mfloat-abi=softfp" } } */
       4  /* { dg-additional-options "-O2 -march=armv7-a -fdump-rtl-final" } */
       5  /* { dg-add-options arm_neon_softfp_fp16 } */
       6  /* { dg-require-effective-target arm_neon_softfp_fp16_ok } */
       7  
       8  #include <arm_neon.h>
       9  
      10  extern void c (int, float16x4_t);
      11  
      12  void a (float16x4_t b)
      13  {
      14    c (0, b);
      15  }
      16  
      17  
      18  /* Check that these 64-bit moves are done in SI.  */
      19  /* { dg-final { scan-rtl-dump "_movsi_vfp" "final" } } */