[PATCH] D42879: InstCombine: 1./x >= 0. -> x >= 0.

[Sanjay Patel via Phabricator via llvm-commits]

spatel added a comment.

In https://reviews.llvm.org/D42879#999858, @scanon wrote:

> In that case, you still have trouble because even 1/x can produce zero if someone is running with flush-to-zero enabled.


IIUC, we also have out-of-tree targets with no option; they always operate with FTZ behavior.

I think it's still possible to allow this kind of transform in instcombine with more fast-math-flags. Clang/gcc's -fassociative-math translates indirectly to 'reassoc' in IR FMF and says it may "reorder floating-point comparisons".


Repository:
  rL LLVM

https://reviews.llvm.org/D42879