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

[Christian Ulmann]

https://github.com/Dinistro commented:

As Mehdi points out, this is UB and causes various issues. How to properly deal with this on the LLVM side is unclear to me, though.

Note that supporting this leads to various invariant violations and verifier problems in MLIR, thus supporting this broken input is undesired for many users. If users somehow want to support this, they can implement an LLVM pass that pre-processes the IR accordingly, for example constructing a wrapper function to bypass the incompatibility.

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