[all-commits] [llvm/llvm-project] 030e31: [mlir][linalg][transform][python] Verify modules i...

[Ingo Müller via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 030e315ee771e9da0b6cf40abc5c3e14e84c3954
      https://github.com/llvm/llvm-project/commit/030e315ee771e9da0b6cf40abc5c3e14e84c3954
  Author: Ingo Müller <ingomueller at google.com>
  Date:   2023-08-14 (Mon, 14 Aug 2023)

  Changed paths:
    M mlir/test/python/dialects/transform_structured_ext.py

  Log Message:
  -----------
  [mlir][linalg][transform][python] Verify modules in mix-in tests.

The tests of the mix-in classes of the Python bindings currently passed
even if the ops constructed by the mix-ins under test failed to verify.
This is because the assembled IR is still printed in generic form even
if it does not verify, and the `CHECK` statements are formulated in such
a lenient way that they also match that generic form. This patch adds
explicit verification to the decorator that is used for all test
functions.

Reviewed By: springerm

Differential Revision: https://reviews.llvm.org/D157790