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