projects / oota-llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9c7d278) | patch
[ScalarEvolution] Fix PR24757.
authorSanjoy Das <sanjoy@playingwithpointers.com>
Thu, 10 Sep 2015 05:27:38 +0000 (05:27 +0000)
committerSanjoy Das <sanjoy@playingwithpointers.com>
Thu, 10 Sep 2015 05:27:38 +0000 (05:27 +0000)
commit8510b6c434e3a4a82dc6e8b879e181726a880c14
tree085db4c0d3f88806e4bf203bce7bc4140ef5a2d2tree | snapshot
parent9c7d2781ed7fa2e88cf83c72b39b5f5123b156eecommit | diff
[ScalarEvolution] Fix PR24757.

Summary:
PR24757 was caused by some incorect math in
`ScalarEvolution::HowFarToZero` -- the smallest unsigned solution for X
in

  2^N * A = 2^N * X

is not necessarily A.

Reviewers: atrick, majnemer, meheff

Subscribers: llvm-commits, sanjoy

Differential Revision: http://reviews.llvm.org/D12721

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@247242 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Analysis/ScalarEvolution.cpp diff | blob | history
test/Analysis/ScalarEvolution/pr24757.ll [new file with mode: 0644] blob
C/C++ LLVM-based compilers that forbids OOTA behaviors