This will be tested by the ACLE patches, but it's really an independent improvement.
Tested on aarch64-linux-gnu (with and without SVE) and aarch64_be-elf. Applied as r274510. Richard 2019-08-15 Richard Sandiford <richard.sandif...@arm.com> gcc/ * config/aarch64/aarch64-sve.md (aarch64_<su>abd<mode>_3): Add a commutativity marker. Index: gcc/config/aarch64/aarch64-sve.md =================================================================== --- gcc/config/aarch64/aarch64-sve.md 2019-08-15 09:22:03.043558190 +0100 +++ gcc/config/aarch64/aarch64-sve.md 2019-08-15 09:25:18.602113663 +0100 @@ -2060,7 +2060,7 @@ (define_insn "aarch64_<su>abd<mode>_3" [(match_operand:<VPRED> 1 "register_operand" "Upl, Upl") (minus:SVE_I (USMAX:SVE_I - (match_operand:SVE_I 2 "register_operand" "0, w") + (match_operand:SVE_I 2 "register_operand" "%0, w") (match_operand:SVE_I 3 "register_operand" "w, w")) (<max_opp>:SVE_I (match_dup 2)