search for: istrivialloopexitblock

Hello, Yeah, sorry, you are right. My new idea is that only one ExitBB is found because Header ("for.body") is already marked as visited. I'm pretty sure that someone had a good reason to do this that way, but I can't find it out :) Dan, can you look at this patch? Thanks -Jakub -------------- next part -------------- A non-text attachment was scrubbed... Name:

Hello again :) It's been some time since I sent you last patch, but here I'm again. I send the patch for PR5373. Regards -- Jakub Staszak -------------- next part -------------- A non-text attachment was scrubbed... Name: pr5373.patch Type: application/octet-stream Size: 5913 bytes Desc: not available URL:

The last bit here + if (LoopExitBB) { + // It is possible that for both successors isTrivialLoopExitBlock() + // returns different exit blocks. It means that the loop isn't trivial, + // just quit then. + if (LoopExitBB != LoopExitBB2) + return false; + } else if (Val) { + // if LoopExitBB == LoopExitBB2 pick the first one (true). + *Val = Constant...

On Aug 6, 2010, at 11:47 AM, Dale Johannesen wrote: > The last bit here > > + if (LoopExitBB) { > + // It is possible that for both successors isTrivialLoopExitBlock() > + // returns different exit blocks. It means that the loop isn't trivial, > + // just quit then. > + if (LoopExitBB != LoopExitBB2) > + return false; > + } else if (Val) { > + // if LoopExitBB == LoopExitBB2 pick the first one (tru...

...bj> -------------- next part -------------- On Aug 6, 2010, at 2:59 PM, Jakub Staszak wrote: > > On Aug 6, 2010, at 11:47 AM, Dale Johannesen wrote: > >> The last bit here >> >> + if (LoopExitBB) { >> + // It is possible that for both successors isTrivialLoopExitBlock() >> + // returns different exit blocks. It means that the loop isn't trivial, >> + // just quit then. >> + if (LoopExitBB != LoopExitBB2) >> + return false; >> + } else if (Val) { >> + // if LoopExitBB == LoopExitBB2...