[PATCH] D56867: [ValueTracking] Early out of isValidAssumeForContext if the assume and the context instruction are the same

[Eli Friedman via Phabricator via llvm-commits]

efriedma added a comment.

> Otherwise, an assumption can imply the truth of its own argument and it will cause its own trivialization (and removal).

I think the isEphemeralValueOf check is supposed to take care of that?  (The function currently allows cases where the context instruction is before the llvm.assume call.)


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

https://reviews.llvm.org/D56867