[PATCH] D56867: [ValueTracking] Early out of isValidAssumeForContext if the assume and the context instruction are the same
Eli Friedman via Phabricator via llvm-commits
llvm-commits at lists.llvm.org
Thu Jan 17 16:23:24 PST 2019
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
More information about the llvm-commits
mailing list