[PATCH] Update optimization passes to handle inalloca arguments

[Chris Lattner]

On Dec 19, 2013, at 2:43 PM, Reid Kleckner <rnk at google.com> wrote:

> I searched Transforms/ and Analysis/ for 'ByVal' and updated those call
> sites to check for inalloca if appropriate.
> 
> I added tests for any change that would allow an optimization to fire on
> inalloca.

I don't see how this is sufficient.  How do you ensure that optimization passes avoid breaking the invariant you require?

-Chris