[PATCH] InstCombine: propagate nonNull through assume

[hfinkel at anl.gov]

LGTM.


================
Comment at: lib/Transforms/InstCombine/InstCombineCalls.cpp:1084
@@ -1083,1 +1083,3 @@
         if (isValidAssumeForContext(II, LI, DL, DT)) {
+          // assume( load (call|invoke) != null ) -> add 'nonnull' return attribute
+          Value *LIOperand = LI->getOperand(0);
----------------
Line too long?

http://reviews.llvm.org/D7107

EMAIL PREFERENCES
  http://reviews.llvm.org/settings/panel/emailpreferences/