/* Test the `vdupq_laneu64' ARM Neon intrinsic.  */

/* { dg-do run } */
/* { dg-require-effective-target arm_neon_hw } */
/* { dg-options "-O0" } */
/* { dg-add-options arm_neon } */

#include "arm_neon.h"
#include <stdlib.h>

int main (void)
{
  uint64x2_t out_uint64x2_t = {0, 0};
  uint64_t arg0_uint64_t = (uint64_t) 0xdeadbeef;

  out_uint64x2_t = vdupq_lane_u64 ((uint64x1_t)arg0_uint64_t, 0);
  if (vgetq_lane_u64 (out_uint64x2_t, 0) != arg0_uint64_t)
    abort();
  if (vgetq_lane_u64 (out_uint64x2_t, 1) != arg0_uint64_t)
    abort();
  return 0;
}