[PATCH] D88669: [ValueTracking] Add tracking of the alignment assume bundle

[Shimin Cui via Phabricator via llvm-commits]

scui updated this revision to Diff 298169.
scui added a comment.

Rewrite the code using getKnowledgeValidInContext. The code is much cleaner than the previous version, but the result computed is less accurate if the size of the alignment bundle is three. I'll leave the improvement for the future, together with the improvement of value tracking of GEP (an example is that, with the future improvement, we can fold away the branch "br i1 %3, ...") in f2 of the added case assume-align.ll).


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

https://reviews.llvm.org/D88669

Files:
  llvm/lib/Analysis/ValueTracking.cpp
  llvm/test/Analysis/BasicAA/featuretest.ll
  llvm/test/Analysis/ValueTracking/assume-queries-counter.ll
  llvm/test/Transforms/InstCombine/assume-align.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D88669.298169.patch
Type: text/x-patch
Size: 5728 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20201014/b3fc254a/attachment.bin>