https://github.com/kuhar commented: Would it be possible to validate this with alive? IIRC there's a script by @Hardcode84 that could be modified to help with this: https://github.com/llvm/llvm-project/blob/main/mlir/utils/verify-canon/verify_canon.py. https://github.com/llvm/llvm-project/pull/106696