[PATCH] D11313: [ValueTracking] computeOverflowForSignedAdd and isKnownNonNegative

[David Majnemer via llvm-commits]

majnemer added a subscriber: majnemer.

================
Comment at: lib/Analysis/ValueTracking.cpp:3327
@@ -3318,1 +3326,3 @@
 
+static OverflowResult computeOverflowForSignedAdd(
+    Value *LHS, Value *RHS, Value *Add, const DataLayout &DL,
----------------
This seems to overlap with `InstCombiner::WillNotOverflowSignedAdd`, would it make sense to consolidate this with that?


http://reviews.llvm.org/D11313