On Tue, Nov 26, 2024 at 2:00 AM Andrew MacLeod <amacl...@redhat.com> wrote: > > Once an inferred range such as non-null has been registered, its a waste > of time to register and apply them over and over. Pointers that are > frequently used often are registered in each basic block as non-null. > This patch prevents them from being registered if a dominator block has > already indicated they are non-null. > > This is a more subtle change over the first one for this testcase, with > a nominal speed up of about 0.7% in VRP. Overall compile time in VRP of > GCC source files improves by about 0.8%, so it seems to map across most > source files. > > Bootstraps on build-x86_64-pc-linux-gnu with no regressions. OK?
OK > Andrew >
