> > Hi, > > > > when inlining (during the analysis phase) a call graph edge, we update > > all pass-through jump functions corresponding to edges going out of > > the newly inlined function to be relative to the function into which > > we are inlining or to expose the information originally captured for > > the edge that is being inlined. > > > > Similarly, we can combine the value range information in pass-through > > jump functions corresponding to both edges, which is what this patch > > adds - at least for the case when the inlined pass-through is a > > simple, non-arithmetic one, which is the case that we also handle for > > constant and aggregate jump function parts. > > > > Bootstrapped and tested on x86_64-linux, the whole patch series has > > additionally passed LTO and profiled-LTO bootstrap on the same platform > > and a bootstrap and testsuite on ppc64-linux. Aarch64-linux bootstrap > > and testing is in progress. OK for master is that passes too? > > > > Thanks, > > > > Martin > > > > > > gcc/ChangeLog: > > > > 2024-11-01 Martin Jambor <mjam...@suse.cz> > > > > * ipa-cp.h: Forward declare class ipa_vr. > > (ipa_vr_operation_and_type_effects) Declare. > > * ipa-cp.cc (ipa_vr_operation_and_type_effects): Make public. > > * ipa-prop.cc (update_jump_functions_after_inlining): Also update > > value range jump functions.
OK, thanks! Honza
