OSDN Git Service

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)
commit8e3ef7f18666102f2afa147967980bff36b93957
treefa3f6e3ed44c31b741b366ab47e9488eee78144b
parent5674975c5ea3af71a7982a690ebca6a701404b24
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.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@230564 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Transforms/Scalar/GVN.cpp
test/Transforms/GVN/edge.ll