[PATCH] D21271: Fix `InstCombine` to not widen metadata on store-to-load forwarding

[Yichao Yu via llvm-commits]

yuyichao added a comment.

In another word, IMHO,

  %v1 = load i64, i64 *%p1, !tbaa !0
  %v2 = load i64, i64 *%p1, !tbaa !1

should be invalid IR (and the optimizer should not be allowed to create this) if `!1` and `!2` are non-aliasing tbaa node. Are there examples for other metadata where this is not the case?


http://reviews.llvm.org/D21271