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

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

#include "arm_neon.h"

void test_vget_highp64 (void)
{
  poly64x1_t out_poly64x1_t;
  poly64x2_t arg0_poly64x2_t;

  out_poly64x1_t = vget_high_p64 (arg0_poly64x2_t);
}

/* { dg-final { cleanup-saved-temps } } */