[Mlir-commits] [mlir] [MLIR][Affine] Check values captured by regions in affine LICM (PR #216605)

[Alessandro Potenza]

alepot55 wrote:

I have read the contribution policies, including the AI Tool Use Policy. AI
assistance was used to write this patch and is noted in the PR description.

I understand the change and can answer questions about it: the pass decides
whether an operation can leave the loop by looking at its operands, and the
values an operation's regions capture are not among them, so a region reading a
value defined inside the loop was never checked. The patch applies the three
existing conditions to those captured values as well. The second test covers the
opposite case, where the regions only read values from outside the loop and the
operation must still be hoisted.

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