[AArch64][SVE] Handle register-register pred_movs
authorRichard Sandiford <richard.sandiford@arm.com>
Fri, 25 Jan 2019 12:26:49 +0000 (12:26 +0000)
committerRichard Sandiford <rsandifo@gcc.gnu.org>
Fri, 25 Jan 2019 12:26:49 +0000 (12:26 +0000)
commit9c6b4601a9e7d58ce1cbc0c0e35fa5c2d7d27e9b
treeac9b4afba0aa5d46bdd96484481b6c75710a020a
parent2ad04111c305ea6a20fc99323e0c479ba661c479
[AArch64][SVE] Handle register-register pred_movs

pred_mov<mode> is defined for predicated loads and stores, where
exactly one of the operands is a register.  However, the instruction
condition only checked for "one" rather than "exactly one", and
Prathamesh found a case in which combine could fold a predicated
pattern to an all-register pred_mov<mode>.  The constraints would
then force one of the registers to memory.

This patch splits all-register forms into a normal move as soon
as possible, but also adds an all-register alternative in case the
instruction doesn't get split before RA (or in case the RA can use
inheritance to avoid a reload).

The testcase for this will be added to aarch64/sve-acle-branch.

2018-01-25  Richard Sandiford  <richard.sandiford@arm.com>

gcc/
* config/aarch64/aarch64-sve.md (*pred_mov<mode>)
(pred_mov<mode>): Handle all-register forms using both a new
alternative and a split.

From-SVN: r268263
gcc/ChangeLog
gcc/config/aarch64/aarch64-sve.md