Re: [PATCH] aarch64: Fix SVE2 BCAX pattern [PR97730]

2020-11-11 Thread Richard Sandiford via Gcc-patches
Alex Coplan writes: > Hello, > > This patch adds a missing not to the SVE2 BCAX (Bitwise clear and > exclusive or) pattern, Oops. Even worse is that I'd made the test match the bug in the code. :-( > fixing the PR. Since SVE doesn't have an unpredicated not instruction, > we need to use a (vacu

[PATCH] aarch64: Fix SVE2 BCAX pattern [PR97730]

2020-11-11 Thread Alex Coplan via Gcc-patches
Hello, This patch adds a missing not to the SVE2 BCAX (Bitwise clear and exclusive or) pattern, fixing the PR. Since SVE doesn't have an unpredicated not instruction, we need to use a (vacuously) predicated not here. To ensure that the predicate is instantiated correctly (to all 1s) for the intri