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
