[Mlir-commits] [mlir] [mlir][TD] Allow op printing flags as `transform.print` attrs (PR #86846)

Jakub Kuderski llvmlistbot at llvm.org
Wed Mar 27 14:28:01 PDT 2024


kuhar wrote:

> Seems to me that testing these behavior is possible: for example the "assume verified" should print the custom assembly of an operation which does not pass the verifier, which seems fairly easy to setup with the test dialect.

I tried that with `"test.verifiers"` and verification happens before we get to printing (in parseAsmSourceFile). Can you explain how to make this work?

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


More information about the Mlir-commits mailing list