]> git.ipfire.org Git - thirdparty/gcc.git/commit
Provide right LDD offset bound in avr_address_cost
authorsaaadhu <saaadhu@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 23 Sep 2016 07:12:35 +0000 (07:12 +0000)
committersaaadhu <saaadhu@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 23 Sep 2016 07:12:35 +0000 (07:12 +0000)
commitc1e3c76cb344503c869eeaac153622a50fdbd2b2
tree2dbdc2029a9f7b04e091ba70776ae7a2b524924d
parent9578c8c3fb63953c4d6552dda4561792406a50e7
Provide right LDD offset bound in avr_address_cost

This patch fixes cost computation in avr_address_cost - instead of the
hardcoded 61, it uses the already existing MAX_LD_OFFSET(mode) macro.

This showed up when investigating a code size regression in the ivopts
pass. That pass computes address_cost with and without an offset to
decide on the right induction variable candidate(s). The legitimate
address target hook returns false for offsets more than 63, so the
pass calls the TARGET_ADDRESS_COST hook with 62 as the offset.

The avr_address_cost hook returns 18 as the cost, and the ivopts pass
concludes that the cost of address with *any* offset is 18, which is not
true - the higher cost is incurred only with offsets bigger than MAX_LD_OFFSET.
This in turn results in a suboptimal choice of induction variables in the
ivopts pass. The patch changes the hardcoded 61 to use the mode
specific MAX_LD_OFFSET instead.

Regression testing with just that fix showed one additional
compilation timeout. That turned out to be the same as
https://lists.nongnu.org/archive/html/avr-gcc-list/2014-03/msg00010.html
- the middle end takes too much time to decide on the best strategy to
multiply DImode values on a 64 bit host. This already causes timeouts
for a few builtin-arith-overflow-* tests (see
https://gcc.gnu.org/ml/gcc-testresults/2016-09/msg02018.html), so it
isn't really related to this fix. Just providing a cost estimate for
DImode mul fixes the timeout though, so the patch does that by scaling
SImode costs by 2 for DImode muls.

With both changes in, there are no regressions, and the
builtin-arith-overflow-* tests now PASS and don't timeout.

gcc/ChangeLog

2016-09-22  Senthil Kumar Selvaraj  <senthil_kumar.selvaraj@atmel.com>

* config/avr/avr.c (avr_rtx_costs_1): Handle DImode MULT.
(avr_address_cost): Replace 61 with MAX_LD_OFFSET(mode).

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@240388 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ChangeLog
gcc/config/avr/avr.c