[PATCH] fix for PR16393: miscompile with struct byval

[Manman Ren]

On Jul 11, 2013, at 6:40 PM, Jakob Stoklund Olesen wrote:

> 
> On Jul 11, 2013, at 12:07 PM, Manman Ren <mren at apple.com> wrote:
> 
>> Modify MachineVerifier to make sure
>> 1> on every path through the CFG, a FrameSetup <n> is always followed by a
>>   FrameDestroy <n> and a FrameDestroy is always followed by a FrameSetup.
>> 2> stack adjustments are identical on all CFG edges to a merge point.
> 
> One more thing: You need to verify that the frame is destroyed at the end of a return block.
Good point, I can add this extra check.

Manman

> 
> /jakob
> 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20130711/b88a7697/attachment.html>