[PATCH] D15879: [BasicAA] Remove special casing of memset_pattern16 in favor of generic attribute inference

[Philip Reames via llvm-commits]

reames added a comment.

Actually, this patch is slightly wrong.  The problem is that argument 0 of memset_pattern16 should be Mod, not ModRef.  We don't have the equivalent of a writeonly attribute today.

I still think the rest of the change is worthwhile, but I will have to leave the Mod return special case in BasicAA.


http://reviews.llvm.org/D15879