[Bug tree-optimization/83715] Missed optimization in math expression: optimize double comparing

Sun, 27 Sep 2026 16:03:53 -0700 

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

Drea Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |pinskia at gcc dot gnu.org
           Keywords|                            |easyhack
             Blocks|                            |85316

--- Comment #3 from Drea Pinski <pinskia at gcc dot gnu.org> ---

Folding statement: _4 = x_2(D) / y_3(D);
 folding with relation x_2(D) == y_3(D)


VRP now handles the int case (see r17-3610-g7c25b09da5841c and PR 126745):

Folding statement: _4 = x_2(D) / y_3(D);
 folding with relation x_2(D) == y_3(D)
Queued stmt for removal.  Folds to: 1

So it should be easy to do the same for the -ffast-math/float case.


Referenced Bugs:

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85316
[Bug 85316] [meta-bug] VRP range propagation missed cases

Reply via email to