1  /* Test the `vget_lane_s64' ARM Neon intrinsic.  */
       2  
       3  /* { dg-do run } */
       4  /* { dg-require-effective-target arm_neon_hw } */
       5  /* { dg-options "-O0" } */
       6  /* { dg-add-options arm_neon } */
       7  
       8  #include "arm_neon.h"
       9  #include <stdlib.h>
      10  
      11  int main (void)
      12  {
      13    int64_t out_int64_t = 0;
      14    int64x1_t arg0_int64x1_t = (int64x1_t) 0xdeadbeefbadf00dLL;
      15  
      16    out_int64_t = vget_lane_s64 (arg0_int64x1_t, 0);
      17    if (out_int64_t != (int64_t)arg0_int64x1_t)
      18      abort();
      19    return 0;
      20  }