[llvm-bugs] [Bug 26958] InstCombine: fadd (fsub nnan ninf 0.0, X), X => 0 incorrect for X = NaN

[via llvm-bugs]

https://bugs.llvm.org/show_bug.cgi?id=26958

Sanjay Patel <spatel+llvm at rotateright.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         Resolution|---                         |DUPLICATE
             Status|NEW                         |RESOLVED

--- Comment #1 from Sanjay Patel <spatel+llvm at rotateright.com> ---
(In reply to Andres Noetzli from comment #0)
> This behavior is implemented in SimplifyFAddInst() in InstructionSimplify.
> The optimization just checks whether nnan and ninf appear at least once
> somewhere on the fadd and the fsub instruction but as the example above
> indicates, this condition seems too weak.

The condition is both too weak and too strong. This bug was filed first, but we
have more comments in bug 27151, so let me mark this as a duplicate since they
are for the same problem.

*** This bug has been marked as a duplicate of bug 27151 ***

-- 
You are receiving this mail because:
You are on the CC list for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-bugs/attachments/20180314/fc764e14/attachment.html>