[trans-mem] fix irrevocable CFG problems

[Richard Henderson]

On 07/22/2009 11:37 AM, Aldy Hernandez wrote:
> The test below causes a CFG inconsistensy ("control flow in the middle
> of basic block") which this patch fixes.
>
> Calls to TM_IRREVOKABLE are considered control altering, so they cannot
> exist in the middle of a basic block.  I have fixed this by putting
> TM_IRREVOKABLE in a separate basic block.
>
> Regtested for C on x86-64 Linux.
>
> OK for branch?

Ok.

> p.s. Yes, irrevocable is spelled wrong everywhere.  Let's see who gets
> frustrated first and fixes it :)

That'll probably be you; I didn't notice.  =)


r~