only propagate equality comparisons of FP values that we are certain are non-zero
authorSanjay Patel <spatel@rotateright.com>
Wed, 25 Feb 2015 22:46:08 +0000 (22:46 +0000)
committerSanjay Patel <spatel@rotateright.com>
Wed, 25 Feb 2015 22:46:08 +0000 (22:46 +0000)
commitcc29f4f2cbd82735bed4e322847b6b1e53d5a465
tree42e38fbdadf47d3a693a620247ce8d17b8fbfbc5
parent3588686baf06f622b000a4fd68ec826dc1f64353
only propagate equality comparisons of FP values that we are certain are non-zero

This is a follow-on to r227491 which tightens the check for propagating FP
values. If a non-constant value happens to be a zero, we would hit the same
bug as before.

Bug noted and patch suggested by Eli Friedman.

llvm-svn: 230564
llvm/lib/Transforms/Scalar/GVN.cpp
llvm/test/Transforms/GVN/edge.ll