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  #ifndef SIGNEDNESS
       7  #define SIGNEDNESS unsigned
       8  #define BASE_B 4
       9  #define BASE_C 40
      10  #endif
      11  
      12  #include "vect-over-widen-13.c"
      13  
      14  /* { dg-final { scan-tree-dump {Splitting statement} "vect" } } */
      15  /* { dg-final { scan-tree-dump {vect_recog_over_widening_pattern: detected:[^\n]* \+} "vect" } } */
      16  /* { dg-final { scan-tree-dump {vect_recog_over_widening_pattern: detected:[^\n]* >> 1} "vect" } } */
      17  /* { dg-final { scan-tree-dump {vect_recog_cast_forwprop_pattern: detected:[^\n]* = \(unsigned char\)} "vect" } } */
      18  /* { dg-final { scan-tree-dump-not {vector[^ ]* int} "vect" } } */
      19  /* { dg-final { scan-tree-dump-times "vectorized 1 loop" 1 "vect" } } */