[LLVMdev] Proposing a new 'alloca' parameter attribute to implement the Microsoft C++ ABI

[Rafael Espíndola]

> This proposal puts this complexity in the backend.  The backend will lay out
> the outgoing argument slots as required by the ABI, and alloca pointer will
> be resolved to point to the appropriate outgoing argument slot.

OK, so it makes the backend and verifier a bit more complex, but has a
smaller IR extension. That is probably a good tradeoff.

Thanks,
Rafael