https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118910
--- Comment #3 from rguenther at suse dot de <rguenther at suse dot de> --- On Tue, 18 Feb 2025, pinskia at gcc dot gnu.org wrote: > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118910 > > --- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> --- > (In reply to Richard Biener from comment #1) > > Note I still want to get rid of DOM itself. I would have expected that > > ranger tell us b == 0 on that edge? > > Funny I was just looking into the hook ranger to vn patch over the weekend. I've arrived at a point in considering to try only using the core range machinery, maintaining the range lattice myself, but I did't get around to see what kind of basic stuff there is around for the relations (the most "interesting" part I think). The simple approach of enabling a ranger instance should work for non-iterating mode, but of course only in a limited way. For non-iterating you'll have it work on eliminated IL, just to optimize outgoing conditionals. IIRC it can honor EDGE_EXECUTABLE somehow already.
