https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109112
--- Comment #12 from GCC Commits <cvs-commit at gcc dot gnu.org> --- The master branch has been updated by Josef Melcr <[email protected]>: https://gcc.gnu.org/g:684c9811dee6573fdb8b01c9bef16e68054fc87c commit r17-5633-g684c9811dee6573fdb8b01c9bef16e68054fc87c Author: Josef Melcr <[email protected]> Date: Wed Sep 16 13:54:18 2026 +0200 ipa: Create a callback edge when encountering an internal .ASSUME call This patch adds logic which creates an internal callback edge when it encounters an IFN_ASSUME internal call. It acts as a trigger for most of the patches in this series. ipa_compute_jump_functions_for_edge has to be called separately for the new edge, as all jump functions would have been computed at this point in the code. I squashed the patch adding testcases into this commit. PR ipa/109112 gcc/ChangeLog: * ipa-prop.cc (ipa_analyze_call_uses): Create an internal callback edge when dealing with a .ASSUME internal call. gcc/testsuite/ChangeLog: * g++.dg/ipa/ipa-cp-assume-2.C: New test. * g++.dg/ipa/ipa-cp-assume-3.C: New test. * g++.dg/ipa/ipa-cp-assume.C: New test. * g++.dg/ipa/ipa-sra-assume-2.C: New test. * g++.dg/ipa/ipa-sra-assume-3.C: New test. * g++.dg/ipa/ipa-sra-assume.C: New test. * g++.dg/lto/ipa-cp-assume_0.C: New test. * g++.dg/lto/ipa-cp-assume_1.C: New test. * g++.dg/lto/ipa-sra-assume_0.C: New test. * g++.dg/lto/ipa-sra-assume_1.C: New test. * g++.dg/lto/ipa-cp-assume-1_0.C: New test. * g++.dg/lto/ipa-cp-assume-2_0.C: New test. * g++.dg/lto/ipa-cp-assume-3_0.C: New test. * g++.dg/lto/ipa-sra-assume-1_0.C: New test. * g++.dg/lto/ipa-sra-assume-2_0.C: New test. * g++.dg/lto/ipa-sra-assume-3_0.C: New test. Signed-off-by: Josef Melcr <[email protected]>
