[llvm-dev] Caller and Callee with different calling conventions

[Juan Manuel Martinez Caamaño via llvm-dev]

Hello,

If a call instruction and the function being called differ in their call
convention, InstructionCombine will insert a "store true, undef", then
CFGSimplify transforms this store to a llvm.trap() call, and finally,
during execution an InvalidInstruction exception is signaled.

Is there any reason not to detect the calling convention mismatch in the
verifier ? I would like to add such check.


Cheers,

Juan