1  /* { dg-do compile } */
       2  /* { dg-options "-O2 -ftree-vectorize -ffast-math --param aarch64-sve-compare-costs=0" } */
       3  
       4  #include <stdint.h>
       5  
       6  #define TEST_LOOP(NAME, OUTTYPE, INTYPE, MASKTYPE)		\
       7    void __attribute__ ((noinline, noclone))			\
       8    NAME##_2 (OUTTYPE *__restrict dest, INTYPE *__restrict src,	\
       9  	    MASKTYPE *__restrict cond, INTYPE bias, intptr_t n)	\
      10    {								\
      11      for (intptr_t i = 0; i < n; ++i)				\
      12        {								\
      13  	INTYPE value = src[i] + bias;				\
      14  	if (cond[i])						\
      15  	  {							\
      16  	    dest[i * 2] = value;				\
      17  	    dest[i * 2 + 1] = value;				\
      18  	  }							\
      19        }								\
      20    }
      21  
      22  #define TEST2(NAME, OUTTYPE, INTYPE) \
      23    TEST_LOOP (NAME##_i8, OUTTYPE, INTYPE, int8_t) \
      24    TEST_LOOP (NAME##_i16, OUTTYPE, INTYPE, uint16_t) \
      25    TEST_LOOP (NAME##_f32, OUTTYPE, INTYPE, float) \
      26    TEST_LOOP (NAME##_f64, OUTTYPE, INTYPE, double)
      27  
      28  #define TEST1(NAME, OUTTYPE) \
      29    TEST2 (NAME##_i8, OUTTYPE, int8_t) \
      30    TEST2 (NAME##_i16, OUTTYPE, uint16_t) \
      31    TEST2 (NAME##_i32, OUTTYPE, int32_t) \
      32    TEST2 (NAME##_i64, OUTTYPE, uint64_t)
      33  
      34  #define TEST(NAME) \
      35    TEST1 (NAME##_i8, int8_t) \
      36    TEST1 (NAME##_i16, uint16_t) \
      37    TEST1 (NAME##_i32, int32_t) \
      38    TEST1 (NAME##_i64, uint64_t) \
      39    TEST2 (NAME##_f16_f16, _Float16, _Float16) \
      40    TEST2 (NAME##_f32_f32, float, float) \
      41    TEST2 (NAME##_f64_f64, double, double)
      42  
      43  TEST (test)
      44  
      45  /*    Mask |  8 16 32 64
      46      -------+------------
      47      In   8 |  1  1  1  1
      48          16 |  1  1  1  1
      49          32 |  1  1  1  1
      50          64 |  1  1  1  1.  */
      51  /* { dg-final { scan-assembler-times {\tst2b\t.z[0-9]} 16 } } */
      52  
      53  /*    Mask |  8 16 32 64
      54      -------+------------
      55      In   8 |  2  2  2  2
      56          16 |  2  1  1  1 x2 (for _Float16)
      57          32 |  2  1  1  1
      58          64 |  2  1  1  1.  */
      59  /* { dg-final { scan-assembler-times {\tst2h\t.z[0-9]} 28 } } */
      60  
      61  /*    Mask |  8 16 32 64
      62      -------+------------
      63      In   8 |  4  4  4  4
      64          16 |  4  2  2  2
      65          32 |  4  2  1  1 x2 (for float)
      66          64 |  4  2  1  1.  */
      67  /* { dg-final { scan-assembler-times {\tst2w\t.z[0-9]} 50 } } */
      68  
      69  /*    Mask |  8 16 32 64
      70      -------+------------
      71      In   8 |  8  8  8  8
      72          16 |  8  4  4  4
      73          32 |  8  4  2  2
      74          64 |  8  4  2  1 x2 (for double).  */
      75  /* { dg-final { scan-assembler-times {\tst2d\t.z[0-9]} 98 } } */