[PATCH] D67115: [Attributor] Deal more explicit with non-exact definitions

[Hideto Ueno via Phabricator via llvm-commits]

uenoku added a comment.

LGTM



================
Comment at: llvm/test/Transforms/FunctionAttrs/arg_returned.ll:817
+  %c4 = load i32, i32* %c3
+; FIXME: %c2 should be replaced but not %c0 or %c1!
+; CHECK:  %add1 = add i32 %c0, %c1
----------------
%c3 should be replaced too.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D67115/new/

https://reviews.llvm.org/D67115