Is there any disadvantage to inserting explicit llvm code in a prolog to copy a
parameter, rather than putting the 'byval' attribute on the formal or indirect call?
I have an IR that, without some significant work, does not make enough information
available at an indirect call site to know whether a copy is needed. (The original
source language knows, it just gets lost at an indirect call.)