1  /* { dg-do compile } */
       2  /* { dg-options "-O -fdump-tree-ccp1" } */
       3  
       4  typedef unsigned vec __attribute__ ((vector_size (4*sizeof(int))));
       5  void
       6  f (vec *a)
       7  {
       8    vec s = { 5, 5, 5, 5 };
       9    *a = *a << s;
      10  }
      11  
      12  /* { dg-final { scan-tree-dump "<< 5" "ccp1" } } */