1  /* { dg-do run { target { aarch64_sve_hw } } } */
       2  /* { dg-options "-O2 -ftree-vectorize" } */
       3  
       4  #include "cond_cnot_5.c"
       5  
       6  #define TEST_LOOP(TYPE1, TYPE2, N)				\
       7    {								\
       8      TYPE1 a[N];							\
       9      TYPE2 r[N], b[N];						\
      10      for (int i = 0; i < N; ++i)					\
      11        {								\
      12  	a[i] = i % 3 < 2 ? 0 : i * 42;				\
      13  	b[i] = i & 1 ? 0 : 3 * (i + 1);				\
      14  	asm volatile ("" ::: "memory");				\
      15        }								\
      16      test_##TYPE1##_##TYPE2 (r, a, b);				\
      17      for (int i = 0; i < N; ++i)					\
      18        if (r[i] != (TYPE2) (a[i] == 0 ? !b[i] : a[i]))		\
      19  	__builtin_abort ();					\
      20    }
      21  
      22  int main ()
      23  {
      24    TEST_ALL (TEST_LOOP)
      25    return 0;
      26  }