[all-commits] [llvm/llvm-project] 412745: [mlir][tosa] Fix check for isolated regions in `to...

[Luke Hutton via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 41274582fdff16bbce3db80e56cad5fe4133b16b
      https://github.com/llvm/llvm-project/commit/41274582fdff16bbce3db80e56cad5fe4133b16b
  Author: Luke Hutton <luke.hutton at arm.com>
  Date:   2025-07-21 (Mon, 21 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] Fix check for isolated regions in `tosa.cond_if` (#143772)

This commit fixes a check in the validation pass which intended to
validate whether a `tosa.cond_if` operation was conformant to the
specification. The specification requires all values used in the
then/else regions are explicitly declared within the regions. This
change checks that these regions are 'isolated from above', to ensure
this requirement is true.



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