[PATCH] fix for PR16393: miscompile with struct byval

[Jakob Stoklund Olesen]

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.

/jakob

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