[Mlir-commits] [mlir] [mlir][vector] Always print the in_bounds attribute (PR #96031)

[Mehdi Amini]

joker-eph wrote:

> The transformation is safe, but we can't verify that in_bounds = [false, false] was preserved if it's not printed. That's what I'm trying to fix here. Hope this answers your question - let me know if not.

I don't think it does, because how is it just different from what follows:

> Separately, it's not clear whether the absence of the in_bounds attribute in the printed IR is meant to mean that:

Which seems like the only ambiguity really, which is stemming I believe from having this attribute considered both optional and having a default value! (pick one and you don't have any ambiguity).



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