[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