[PATCH] D90456: [IndVars] Use more precise context when eliminating narrowing

[Max Kazantsev via Phabricator via llvm-commits]

mkazantsev created this revision.
Herald added subscribers: llvm-commits, hiraditya.
Herald added a project: LLVM.
mkazantsev requested review of this revision.

When deciding to widen narrow use, instead of taking this very instruction
as context for proving predicates, we can take common dominator of all its
users.


https://reviews.llvm.org/D90456

Files:
  llvm/lib/Transforms/Scalar/IndVarSimplify.cpp
  llvm/test/Transforms/IndVarSimplify/widen-loop-comp.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D90456.301860.patch
Type: text/x-patch
Size: 4388 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20201030/bc9e2f0a/attachment-0001.bin>