diff options
| author | David Majnemer <david.majnemer@gmail.com> | 2014-07-14 19:49:57 +0000 |
|---|---|---|
| committer | David Majnemer <david.majnemer@gmail.com> | 2014-07-14 19:49:57 +0000 |
| commit | 5ea4fc0b33d12c51cc55297747057c00942db662 (patch) | |
| tree | 77881cbf6ef9b31a8f4549f98dd2e13162dc7d24 /llvm/lib/Support/GraphWriter.cpp | |
| parent | 6b7f73451f7e83ff3c9e175ab47af444486fd2d7 (diff) | |
| download | bcm5719-llvm-5ea4fc0b33d12c51cc55297747057c00942db662.tar.gz bcm5719-llvm-5ea4fc0b33d12c51cc55297747057c00942db662.zip | |
InstSimplify: The upper bound of X / C was missing a rounding step
Summary:
When calculating the upper bound of X / -8589934592, we would perform
the following calculation: Floor[INT_MAX / 8589934592]
However, flooring the result would make us wrongly come to the
conclusion that 1073741824 was not in the set of possible values.
Instead, use the ceiling of the result.
Reviewers: nicholas
Subscribers: llvm-commits
Differential Revision: http://reviews.llvm.org/D4502
llvm-svn: 212976
Diffstat (limited to 'llvm/lib/Support/GraphWriter.cpp')
0 files changed, 0 insertions, 0 deletions
