[all-commits] [llvm/llvm-project] d8857d: [mlir][tosa] Check for isolated regions in `tosa.w...

[Luke Hutton via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: d8857d55d3a397ba047cbe9e8b11cecf3e1cedfd
      https://github.com/llvm/llvm-project/commit/d8857d55d3a397ba047cbe9e8b11cecf3e1cedfd
  Author: Luke Hutton <luke.hutton at arm.com>
  Date:   2025-07-22 (Tue, 22 Jul 2025)

  Changed paths:
    M mlir/lib/Dialect/Tosa/Transforms/TosaValidation.cpp
    M mlir/test/Dialect/Tosa/error_if_check.mlir

  Log Message:
  -----------
  [mlir][tosa] Check for isolated regions in `tosa.while_loop` (#144865)

Similarly to `tosa.cond_if`, this patch checks that the cond/body
regions of `tosa.while_loop` are isolated from above. This is required
since the specification requires all values used in the cond/body
regions are explicitly declared within the regions.



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications