/* Test the `vget_lanes64' ARM Neon intrinsic.  */
/* This file was autogenerated by neon-testgen.  */

/* { dg-do assemble } */
/* { dg-require-effective-target arm_neon_ok } */
/* { dg-options "-save-temps -O0" } */
/* { dg-add-options arm_neon } */

#include "arm_neon.h"

void test_vget_lanes64 (void)
{
  int64_t out_int64_t;
  int64x1_t arg0_int64x1_t;

  out_int64_t = vget_lane_s64 (arg0_int64x1_t, 0);
}