[ValueTracking] computeOverflowForSignedAdd and isKnownNonNegative
authorJingyue Wu <jingyue@google.com>
Thu, 20 Aug 2015 18:27:04 +0000 (18:27 +0000)
committerJingyue Wu <jingyue@google.com>
Thu, 20 Aug 2015 18:27:04 +0000 (18:27 +0000)
commitdf4b7e6ed2ea41c4f92b07af6ce5c412ab8a6b04
tree73e4a810f8c0a7dcb975ae657ca4015613e24389
parent4d9e28f0824a2d59cecfe4e6ab7d9b01c7383e3a
[ValueTracking] computeOverflowForSignedAdd and isKnownNonNegative

Summary:
Refactor, NFC

Extracts computeOverflowForSignedAdd and isKnownNonNegative from NaryReassociate to ValueTracking in case
others need it.

Reviewers: reames

Subscribers: majnemer, llvm-commits

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

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@245591 91177308-0d34-0410-b5e6-96231b3b80d8
include/llvm/Analysis/ValueTracking.h
lib/Analysis/ValueTracking.cpp
lib/Transforms/Scalar/NaryReassociate.cpp