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