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

Juan Manuel Martinez CaamaƱo via llvm-dev llvm-dev at lists.llvm.org
Fri Jan 6 01:32:01 PST 2017


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.



More information about the llvm-dev mailing list