================ ---------------- rengolin wrote: Where do we validate that there are K nested loops? In `break`, `loop` or as a normalization/canonicalization/verification pass? https://github.com/llvm/llvm-project/pull/166688