1 /* { dg-do compile } */
2 /* { dg-options "-O -fdump-tree-ccp1" } */
3 
4 typedef int vec __attribute__ ((vector_size (4 * sizeof (int))));
5 
f(vec * r)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"} } */
13