1  /* { dg-require-effective-target vect_int } */
       2  /* { dg-require-effective-target vect_shift } */
       3  /* { dg-require-effective-target vect_pack_trunc } */
       4  /* { dg-require-effective-target vect_unpack } */
       5  
       6  #include "tree-vect.h"
       7  
       8  #define N 111
       9  
      10  /* The addition should be narrowed to short.  */
      11  
      12  void __attribute__ ((noipa))
      13  f (unsigned int *restrict a, unsigned int *restrict b,
      14     unsigned short *restrict c, unsigned char *restrict d, unsigned int e)
      15  {
      16    e &= 0xff;
      17    for (__INTPTR_TYPE__ i = 0; i < N; ++i)
      18      {
      19        unsigned int xor = d[i] ^ e;
      20        a[i] = c[i] | xor;
      21        b[i] = xor;
      22      }
      23  }
      24  
      25  int
      26  main (void)
      27  {
      28    check_vect ();
      29  
      30    unsigned int a[N], b[N];
      31    unsigned short c[N];
      32    unsigned char d[N];
      33    for (int i = 0; i < N; ++i)
      34      {
      35        c[i] = i * 11;
      36        d[i] = i * 2 + 3;
      37        asm volatile ("" ::: "memory");
      38      }
      39    f (a, b, c, d, 0x73);
      40    for (int i = 0; i < N; ++i)
      41      if (b[i] != ((i * 2 + 3) ^ 0x73)
      42  	|| a[i] != ((i * 11) | b[i]))
      43        __builtin_abort ();
      44  
      45    return 0;
      46  }
      47  
      48  /* { dg-final { scan-tree-dump {Splitting pattern statement} "vect" } } */
      49  /* { dg-final { scan-tree-dump {vect_recog_over_widening_pattern: detected:[^\n]* \^} "vect" } } */
      50  /* { dg-final { scan-tree-dump {vect_recog_over_widening_pattern: detected:[^\n]* \|} "vect" } } */
      51  /* { dg-final { scan-tree-dump {demoting [^\n]* to [^\n]*char} "vect" } } */
      52  /* { dg-final { scan-tree-dump {demoting [^\n]* to [^\n]*short} "vect" } } */
      53  /* { dg-final { scan-tree-dump-times "vectorized 1 loop" 1 "vect" } } */