Hi, this patch series is a resend of two patches I posted earlier on this mailing list, with some tweaks and fixes suggested in their reviews.
Bootstrapped and regtested the series as a whole on x86-linux without issues. I didn't test the patches individually as the second patch depends on the first one. OK for master? Best regards, Josef Josef Melcr (2): ipa: Implement a summary for callback edges ipa: Add ipa-sra support for .ASSUME calls gcc/Makefile.in | 1 + gcc/attr-callback.cc | 55 ++++--- gcc/attr-callback.h | 21 +-- gcc/callback-info.cc | 151 ++++++++++++++++++++ gcc/callback-info.h | 87 +++++++++++ gcc/cgraph.cc | 98 +++++++++---- gcc/cgraph.h | 21 ++- gcc/cgraphclones.cc | 2 +- gcc/gimple-low.cc | 17 +-- gcc/ipa-cp.cc | 3 + gcc/ipa-fnsummary.cc | 22 ++- gcc/ipa-param-manipulation.cc | 27 +++- gcc/ipa-prop.cc | 29 ++-- gcc/ipa-sra.cc | 92 ++++++++++-- gcc/lto-cgraph.cc | 19 ++- gcc/testsuite/g++.dg/ipa/ipa-sra-assume-2.C | 33 +++++ gcc/testsuite/g++.dg/ipa/ipa-sra-assume-3.C | 30 ++++ gcc/testsuite/g++.dg/ipa/ipa-sra-assume.C | 37 +++++ gcc/testsuite/g++.dg/lto/ipa-sra-assume_0.C | 28 ++++ gcc/testsuite/g++.dg/lto/ipa-sra-assume_1.C | 11 ++ gcc/tree-inline.cc | 1 + 21 files changed, 660 insertions(+), 125 deletions(-) create mode 100644 gcc/callback-info.cc create mode 100644 gcc/callback-info.h create mode 100644 gcc/testsuite/g++.dg/ipa/ipa-sra-assume-2.C create mode 100644 gcc/testsuite/g++.dg/ipa/ipa-sra-assume-3.C create mode 100644 gcc/testsuite/g++.dg/ipa/ipa-sra-assume.C create mode 100644 gcc/testsuite/g++.dg/lto/ipa-sra-assume_0.C create mode 100644 gcc/testsuite/g++.dg/lto/ipa-sra-assume_1.C -- 2.54.0
