[Mlir-commits] [mlir] [mlir][LLVM] Add dedicated operations for assume align and separate_storage (PR #113317)

[Sirui Mu]

Lancern wrote:

> Why aren't we modeling the llvm.assume instrinsic 1:1 ? Is this because of the question of how to model the operand bundles?

Yes I try to model the different [assume operand bundles](https://llvm.org/docs/LangRef.html#assume-operand-bundles) with dedicated operations, since I do not find a way to check whether an arbitrary operand bundle passed to `llvm.intr.assume` is valid or not. Is this possible?

> Is your plan to match on these OPs somehow or would it be good enough to have a convenience builder that builds normal assume operations with the specific tags?

I agree that having convenience builders for assume operand bundles would be great enough, since the only point of this PR is to have some degree of convenience when building assume intrinsics with tags.

https://github.com/llvm/llvm-project/pull/113317