[Mlir-commits] [mlir] [mlir][spirv] Allow yielding values from loop regions (PR #135344)

[Andrea Faulds]

================
@@ -2003,7 +2003,8 @@ LogicalResult ControlFlowStructurizer::structurize() {
   // block inside the selection (`body.back()`). Values produced by block
   // arguments will be yielded by the selection region. We do not update uses or
   // erase original block arguments yet. It will be done later in the code.
-  if (!isLoop) {
+  // We do not currently support block arguments in loop merge blocks.
----------------
andfau-amd wrote:

What does this mean in practice?

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