https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89386
--- Comment #1 from rsandifo at gcc dot gnu.org <rsandifo at gcc dot gnu.org> --- Author: rsandifo Date: Thu Sep 12 09:59:58 2019 New Revision: 275682 URL: https://gcc.gnu.org/viewcvs?rev=275682&root=gcc&view=rev Log: Vectorise multiply high with scaling operations (PR 89386) 2019-09-12 Yuliang Wang <yuliang.w...@arm.com> gcc/ PR tree-optimization/89386 * config/aarch64/aarch64-sve2.md (<su>mull<bt><Vwide>) (<r>shrnb<mode>, <r>shrnt<mode>): New SVE2 patterns. (<su>mulh<r>s<mode>3): New pattern for MULHRS. * config/aarch64/iterators.md (UNSPEC_SMULLB, UNSPEC_SMULLT) (UNSPEC_UMULLB, UNSPEC_UMULLT, UNSPEC_SHRNB, UNSPEC_SHRNT) (UNSPEC_RSHRNB, UNSPEC_RSHRNT, UNSPEC_SMULHS, UNSPEC_SMULHRS) UNSPEC_UMULHS, UNSPEC_UMULHRS): New unspecs. (MULLBT, SHRNB, SHRNT, MULHRS): New int iterators. (su, r): Handle the unspecs above. (bt): New int attribute. * internal-fn.def (IFN_MULHS, IFN_MULHRS): New internal functions. * internal-fn.c (first_commutative_argument): Commutativity info for above. * optabs.def (smulhs_optab, smulhrs_optab, umulhs_optab) (umulhrs_optab): New optabs. * doc/md.texi (smulhs$var{m3}, umulhs$var{m3}) (smulhrs$var{m3}, umulhrs$var{m3}): Documentation for the above. * tree-vect-patterns.c (vect_recog_mulhs_pattern): New pattern function. (vect_vect_recog_func_ptrs): Add it. * testsuite/gcc.target/aarch64/sve2/mulhrs_1.c: New test. * testsuite/gcc.dg/vect/vect-mulhrs-1.c: As above. * testsuite/gcc.dg/vect/vect-mulhrs-2.c: As above. * testsuite/gcc.dg/vect/vect-mulhrs-3.c: As above. * testsuite/gcc.dg/vect/vect-mulhrs-4.c: As above. * doc/sourcebuild.texi (vect_mulhrs_hi): Document new target selector. * testsuite/lib/target-supports.exp (check_effective_target_vect_mulhrs_hi): Return true for AArch64 with SVE2. Added: trunk/gcc/testsuite/gcc.dg/vect/vect-mulhrs-1.c trunk/gcc/testsuite/gcc.dg/vect/vect-mulhrs-2.c trunk/gcc/testsuite/gcc.dg/vect/vect-mulhrs-3.c trunk/gcc/testsuite/gcc.dg/vect/vect-mulhrs-4.c trunk/gcc/testsuite/gcc.target/aarch64/sve2/mulhrs_1.c Modified: trunk/gcc/ChangeLog trunk/gcc/config/aarch64/aarch64-sve2.md trunk/gcc/config/aarch64/iterators.md trunk/gcc/doc/md.texi trunk/gcc/doc/sourcebuild.texi trunk/gcc/internal-fn.c trunk/gcc/internal-fn.def trunk/gcc/optabs.def trunk/gcc/testsuite/lib/target-supports.exp trunk/gcc/tree-vect-patterns.c