ipa: Fix wrong code with failed propagation to builtin_constant_p [PR93940]
authorJan Hubicka <jh@suse.cz>
Sat, 4 Apr 2020 09:45:13 +0000 (11:45 +0200)
committerJan Hubicka <jh@suse.cz>
Sat, 4 Apr 2020 09:45:13 +0000 (11:45 +0200)
commit2523d721cfc861a3abea6e97736446c99ba8b52d
tree8b52b83c53e7df5b14c69c2ca29034409d3f0304
parentbab8d9625f4cdeaf9bb45e28ab62abe47c3827f9
ipa: Fix wrong code with failed propagation to builtin_constant_p [PR93940]

this patch fixes wrong code on a testcase where inline predicts
builtin_constant_p to be true but we fail to optimize its parameter to constant
becuase FRE is not run and the value is passed by an aggregate.

This patch makes the inline predicates to disable aggregate tracking
when FRE is not going to be run and similarly value range when VRP is not
going to be run.

This is just partial fix.  Even with it we can arrange FRE/VRP to fail and
produce wrong code, unforutnately.

I think for GCC11 I will need to implement transformation in ipa-inline
but this is bit hard to do: predicates only tracks that value will be constant
and do not track what constant to be.

Optimizing builtin_constant_p in a conditional is not going to do good job
when the value is used later in a place that expects it to be constant.
This is pre-existing problem that is not limited to inline tracking. For example,
FRE may do the transofrm at one place but not in another due to alias oracle
walking limits.

So I am not sure what full fix would be :(

gcc/ChangeLog:

2020-04-04  Jan Hubicka  <hubicka@ucw.cz>

PR ipa/93940
* ipa-fnsummary.c (vrp_will_run_p): New function.
(fre_will_run_p): New function.
(evaluate_properties_for_edge): Use it.
* ipa-inline.c (can_inline_edge_by_limits_p): Do not inline
!optimize_debug to optimize_debug.

gcc/testsuite/ChangeLog:

2020-04-04  Jan Hubicka  <hubicka@ucw.cz>

* g++.dg/tree-ssa/pr93940.C: New test.
gcc/ipa-fnsummary.c
gcc/ipa-inline.c
gcc/testsuite/g++.dg/tree-ssa/pr93940.C [new file with mode: 0644]