1  /* { dg-do compile } */
       2  /* { dg-options "-O2 -ftree-vectorize -dp" } */
       3  
       4  #include <stdint.h>
       5  
       6  #define DEF_LOOP(TYPE, NAME, OP)					\
       7    void __attribute__ ((noipa))						\
       8    test_##TYPE##_##NAME (TYPE *__restrict r, TYPE *__restrict a,		\
       9  			TYPE *__restrict b, int n)			\
      10    {									\
      11      for (int i = 0; i < n; ++i)						\
      12        r[i] = a[i] > 20 ? b[i] OP 3 : 0;					\
      13    }
      14  
      15  #define TEST_TYPE(T, TYPE) \
      16    T (TYPE, shl, <<) \
      17    T (TYPE, shr, >>)
      18  
      19  #define TEST_ALL(T) \
      20    TEST_TYPE (T, int32_t) \
      21    TEST_TYPE (T, uint32_t) \
      22    TEST_TYPE (T, int64_t) \
      23    TEST_TYPE (T, uint64_t)
      24  
      25  TEST_ALL (DEF_LOOP)
      26  
      27  /* { dg-final { scan-assembler-times {\tv_lshlrev_b32\tv[0-9]+, 3, v[0-9]+} 10 } } */
      28  /* { dg-final { scan-assembler-times {\tv_ashrrev_i32\tv[0-9]+, 3, v[0-9]+} 1 } } */
      29  /* { dg-final { scan-assembler-times {vashlv64si3_exec} 18 } } */
      30  /* { dg-final { scan-assembler-times {vashrv64si3_exec} 1 } } */
      31  /* { dg-final { scan-assembler-times {vashlv64di3_exec} 2 } } */
      32  /* { dg-final { scan-assembler-times {vashrv64di3_exec} 1 } } */
      33  /* { dg-final { scan-assembler-times {vlshrv64si3_exec} 1 } } */
      34  /* { dg-final { scan-assembler-times {vlshrv64di3_exec} 1 } } */
      35  
      36  /* { dg-final { scan-assembler-not {v_cndmask_b32} } } */
      37  /* { dg-final { scan-assembler-not {movv64di_exec/2} } } */
      38