https://github.com/kuhar requested changes to this pull request. We shouldn't be verifying non-local properties loke constant values https://mlir.llvm.org/getting_started/DeveloperGuide/#ir-verifier https://github.com/llvm/llvm-project/pull/177778