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