extern void abort (void);

int8x16_t
test_vrev64qs8 (int8x16_t _arg)
{
  return vrev64q_s8 (_arg);
}

int
main (int argc, char **argv)
{
  int i;
  int8x16_t inorder = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16};
  int8x16_t reversed = test_vrev64qs8 (inorder);
  int8x16_t expected = {8, 7, 6, 5, 4, 3, 2, 1, 16, 15, 14, 13, 12, 11, 10, 9};

  for (i = 0; i < 16; i++)
    if (reversed[i] != expected[i])
      abort ();
  return 0;
}