[llvm-dev] Structurizing multi-exit regions

[Matt Arsenault via llvm-dev]

> On Mar 1, 2017, at 18:31, Daniel Berlin via llvm-dev <llvm-dev at lists.llvm.org> wrote:
> 
> 
> 
> On Wed, Mar 1, 2017 at 5:39 PM, Matt Arsenault via llvm-dev <llvm-dev at lists.llvm.org <mailto:llvm-dev at lists.llvm.org>> wrote:
> Hi,
> 
> I'm trying to solve a problem from StructurizeCFG not actually handling regions with multiple exits.
> 
> SEME or MEME or both?

SEME. I don’t think I need to worry about MEME.



>  
> Sample IR attached.
> 
> This is an example that just exhibits undefined behavior.
> Is there one that doesn't?
> IE if i change the unreachables to ret something, is that still an example of something you care about? 

Yes, changing to ret also has the same problem. It just happens bugpoint found the unreachable case in the original problem

-Matt
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20170301/35d38036/attachment.html>