[LLVMbugs] [Bug 16130] clang produces incorrect code with loop/expression at -O2

[bugzilla-daemon at llvm.org]

http://llvm.org/bugs/show_bug.cgi?id=16130

Andrew Trick <atrick at apple.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|REOPENED                    |RESOLVED
         Resolution|---                         |FIXED

--- Comment #16 from Andrew Trick <atrick at apple.com> ---
The second half of the fix is r183060.

This handles the case when the original source loop is not inlined and we have
multiple loop exits. We normally handle multiple exits conservatively, but loop
unrolling was making an assumption that the loop latch test provided an upper
bound on trip count. I changed it to be conservative.

We could definitely do better at computing trip counts. Tracking that
internally...
rdar:14038809: Optimize trip count computation for multi-exit loops.

-- 
You are receiving this mail because:
You are on the CC list for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-bugs/attachments/20130601/9c4bbd1e/attachment.html>