[Bug target/79913] New: VEC_SELECT bugs in aarch64 patterns

[jakub at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79913

            Bug ID: 79913
           Summary: VEC_SELECT bugs in aarch64 patterns
           Product: gcc
           Version: 7.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: target
          Assignee: unassigned at gcc dot gnu.org
          Reporter: jakub at gcc dot gnu.org
  Target Milestone: ---

I've recently posted http://gcc.gnu.org/ml/gcc-patches/2017-03/msg00183.html
with some extra verification of sanity of md patterns (based on assertions
simplify-rtx.c does for VEC_SELECT as well as documentation requiring it).
With this patch make s-recog fails on aarch64-linux:
../../gcc/config/aarch64/aarch64-simd.md:79:1: DImode of first vec_select
operand is not a vector mode                                         
../../gcc/config/aarch64/aarch64-simd.md:79:1: DFmode of first vec_select
operand is not a vector mode                                         
../../gcc/config/aarch64/aarch64-simd.md:588:1: DImode of first vec_select
operand is not a vector mode                                        
../../gcc/config/aarch64/aarch64-simd.md:588:1: DFmode of first vec_select
operand is not a vector mode                                        
../../gcc/config/aarch64/aarch64-simd.md:3192:1: DFmode of first vec_select
operand is not a vector mode