I've updated the branch to use your expressions. I've re-run the reg-test with no difference compared to 15fe2c8ef344f86c33199ee2a7900c52d29de69e.
@pinskia wrote in https://forge.sourceware.org/gcc/gcc/pulls/193#issuecomment-6750: > Here is a C++ (C++ is required because C front-end does not yet support ?: > for vectors) testcase you should add: > > ```text > #define vector __attribute__((vector_size(4*sizeof(int)))) > void f(vector int *a) > { > vector int cst = (vector int){1,2,3,4}; > vector int t = (*a == cst); > *a = (t ? *a : cst); > } > ``` I've also added this test, but I assume that I need to add some more check and not just a compile check. Should I use `/* { dg-final { scan-tree-dump-not "_expr" "forwprop3" } } */` again or does it need something different? -- https://forge.sourceware.org/gcc/gcc/pulls/193#issuecomment-6752
