1  /* { dg-skip-if "Incompatible float ABI" { *-*-* } { "-mfloat-abi=soft" } {""} } */
       2  /* { dg-require-effective-target arm_v8_1m_mve_fp_ok } */
       3  /* { dg-add-options arm_v8_1m_mve_fp } */
       4  /* { dg-additional-options "-O2" } */
       5  
       6  #include "arm_mve.h"
       7  
       8  float32_t
       9  foo (float32x4_t a)
      10  {
      11    return vgetq_lane_f32 (a, 1);
      12  }
      13  
      14  /* { dg-final { scan-assembler "vmov.32"  }  } */
      15  
      16  float32_t
      17  foo1 (float32x4_t a)
      18  {
      19    return vgetq_lane (a, 1);
      20  }
      21  
      22  /* { dg-final { scan-assembler "vmov.32"  }  } */