[Bug tree-optimization/108281] float value range estimation missing (vs. integer)

aldyh at gcc dot gnu.org gcc-bugzilla@gcc.gnu.org
Mon Jan 9 18:42:48 GMT 2023


--- Comment #5 from Aldy Hernandez <aldyh at gcc dot gnu.org> ---
(In reply to Jakub Jelinek from comment #4)
> (In reply to Aldy Hernandez from comment #3)
> > (In reply to Richard Biener from comment #2)
> > > GCC 13 got float range tracking but the description isn't clear as what
> > > transform you are looking after?  It seems you are looking for ranges
> > > of standard math functions - I think those are not yet implemented?
> > 
> > Correct.  We don't track libm functions.
> Yet.  I hope we do that for GCC 14.

Yeah. That'd be very nice. It's on our radar for the next release....at least
provide any missing framework and provide a few sample ones.

More information about the Gcc-bugs mailing list