]> git.ipfire.org Git - thirdparty/gcc.git/commit
aarch64: Improve cost of `a ? {-,}1 : b`
authorAndrew Pinski <quic_apinski@quicinc.com>
Sun, 26 Nov 2023 23:25:51 +0000 (23:25 +0000)
committerAndrew Pinski <quic_apinski@quicinc.com>
Mon, 27 Nov 2023 23:11:35 +0000 (23:11 +0000)
commitd29d27bde5df89e5357e0a33a71bb49125bd1655
tree13dc32e5962cb216b5c092945db65e12d87340e5
parentcd2519a6f857539262398f3ff63b53de173e2a88
aarch64: Improve cost of `a ? {-,}1 : b`

While looking into PR 112454, I found the cost for
`(if_then_else (cmp) (const_int 1) (reg))` was being recorded as 8
(or `COSTS_N_INSNS (2)`) but it should have been 4 (or `COSTS_N_INSNS (1)`).
This improves the cost by not adding the cost of `(const_int 1)` to
the total cost.

It does not does not fully fix PR 112454 as that requires other changes to forwprop
the `(const_int 1)` earlier than combine. Though we do fix the loop case where the
constant was only used once.

Bootstrapped and tested on aarch64-linux-gnu with no regressions.

gcc/ChangeLog:

* config/aarch64/aarch64.cc (aarch64_if_then_else_costs):
Handle csinv/csinc case of 1/-1.

gcc/testsuite/ChangeLog:

* gcc.target/aarch64/csinc-3.c: New test.

Signed-off-by: Andrew Pinski <quic_apinski@quicinc.com>
gcc/config/aarch64/aarch64.cc
gcc/testsuite/gcc.target/aarch64/csinc-3.c [new file with mode: 0644]