| commit | 34292bd5acc16f572148365e3b599434f18fc782 | [log] [tgz] |
|---|---|---|
| author | Justin Lebar <jlebar@google.com> | Thu Jan 26 00:10:26 2017 +0000 |
| committer | Justin Lebar <jlebar@google.com> | Thu Jan 26 00:10:26 2017 +0000 |
| tree | c65f6940a348cb1c3f0817d188ec9840f9c19909 | |
| parent | ed1f855fb08e66ebb88a09ca115f779bf3c4fc53 [diff] |
[ValueTracking] Implement SignBitMustBeZero correctly for sqrt. Summary: Previously we assumed that the result of sqrt(x) always had 0 as its sign bit. But sqrt(-0) == -0. Reviewers: hfinkel, efriedma, sanjoy Subscribers: llvm-commits Differential Revision: https://reviews.llvm.org/D28928 git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@293115 91177308-0d34-0410-b5e6-96231b3b80d8