[Mlir-commits] [mlir] [MLIR][LLVMIR] Relax mismatching calls (PR #135895)

[Bruno Cardoso Lopes]

bcardosolopes wrote:

I actually tried to fix the LLVM verifier (see this draft PR: https://github.com/llvm/llvm-project/pull/136052) but got around 124 `check-llvm` failures. I think there's enough evidence that even though this is undefined behavior, its one that the world depends on. Looks like the best that can be done right now is use `opt -passes=lint` to get a hint, see https://godbolt.org/z/q19vhbq6K.

IMO the llvm importer should support this until LLVM proper if fixed (if ever). Best we can do right now is to issue a warning (moral equivalent of `-passes=lint`, I guess). Unfortunately I don't have the time to go chase that battle in the LLVM side. Happy to keep this as a downstream patch if MLIR doesn't want it.

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