[PATCH] [InstCombine] Propagate non-null facts to call parameters

[Philip Reames]

As a follow on to my previous comment, Nick's comment about being able to handle SCCs in one go is completely valid.  It's orthogonal to my point, and is out of scope for this patch.  As I mentioned previously, this patch doesn't do *any* interprocedural attribute propagation.  Adding the SCC aware logic - even if it mostly runs bottom up - would be useful, it's just a different patch.


http://reviews.llvm.org/D9132

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