[PATCH] D17936: [LICM] Don't silently ignore constant expressions in promoteLoopAccessesToScalars()

[Michael Kuperstein via llvm-commits]

mkuper added a comment.

Well, apparently it does differentiate them when MemIntrinsics are not involved.
E.g. if the memcpy were a store, we'd get:

  AliasSet[0x6ad8c0, 2] must alias, Mod       Pointers: (i32* getelementptr inbounds ([4 x i32], [4 x i32]* @v, i32 0, i32 1), 4), (i8* bitcast (i32* getelementptr inbounds ([4 x i32], [4 x i32]* @v, i32 0, i32 1) to i8*), 1)

So we have to be consistent, at least.


http://reviews.llvm.org/D17936