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

[Christian Ulmann]

Dinistro wrote:

> What is blocked on this right now? Where do we actually need to support this?

>From what I understood, this is blocking the import of some "valid" LLVM IR. In my experience this IR always stems from illegal input, but given that this kind of IR was now incorporated into the LangRef, we probably should support or at least handle it.

That being said, we should first consider what this implies for existing code, as things like inlining strongly assumes sane types. IIRC, the original import converted incompatible calls into indirect calls to circumvent this, but that is also a hack IMO.

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