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

[aldyh at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108281

--- Comment #5 from Aldy Hernandez  ---
(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 releaseat least
provide any missing framework and provide a few sample ones.

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

[jakub at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108281

Jakub Jelinek  changed:

   What|Removed |Added

 CC||jakub at gcc dot gnu.org

--- Comment #4 from Jakub Jelinek  ---
(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.

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

[aldyh at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108281

--- Comment #3 from Aldy Hernandez  ---
(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.

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

[rguenth at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108281

Richard Biener  changed:

   What|Removed |Added

 CC||aldyh at gcc dot gnu.org
Version|12.2.0  |13.0

--- Comment #2 from Richard Biener  ---
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?

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

[pinskia at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108281

Andrew Pinski  changed:

   What|Removed |Added

   Severity|normal  |enhancement
  Component|target  |tree-optimization