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

[Johannes Doerfert via Phabricator via llvm-commits]

jdoerfert added a comment.

In D88669#2328607 <https://reviews.llvm.org/D88669#2328607>, @scui wrote:

> In D88669#2328334 <https://reviews.llvm.org/D88669#2328334>, @efriedma wrote:
>
>> What does the third operand of an align bundle mean?  It doesn't seem to be documented in LangRef.
>
> You are right. My understanding is that align bundle of (p, 32, 24) assumes (p-24) is 32-byte aligned.

That's correct. It matches the old `llvm.assume` alignment encoding via instructions.
I mentioned before that we should probably just create a gep with the offset instead of keeping it as a third operand but as long as we do we should have a helper to extract it from the bundle.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D88669