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 : 72;                                       \
      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} } } */