Re: [PATCH] Add further VEC_SELECT verification

2017-10-12 Thread Richard Biener
On Wed, 11 Oct 2017, Jakub Jelinek wrote: > Hi! > > This patch adds verification that vec_select in *.md files > doesn't have any out of bounds indices in the selector. > > Bootstrapped/regtested on x86_64-linux and i686-linux, tested > by building cc1 of aarch64, arm, powerpc64le and s390x cros

[PATCH] Add further VEC_SELECT verification

2017-10-11 Thread Jakub Jelinek
Hi! This patch adds verification that vec_select in *.md files doesn't have any out of bounds indices in the selector. Bootstrapped/regtested on x86_64-linux and i686-linux, tested by building cc1 of aarch64, arm, powerpc64le and s390x cross, and tested by hacking up sse.md to have an out of boun