1  /* Test the `vadd_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    int64x1_t out_int64x1_t = 0;
      14    int64x1_t arg0_int64x1_t = (int64x1_t)0xdeadbeef00000000LL;
      15    int64x1_t arg1_int64x1_t = (int64x1_t)0x00000000deadbeefLL;
      16  
      17    out_int64x1_t = vadd_s64 (arg0_int64x1_t, arg1_int64x1_t);
      18    if (out_int64x1_t != (int64x1_t)0xdeadbeefdeadbeefLL)
      19      abort();
      20    return 0;
      21  }