[LLVMbugs] [Bug 13542] Problem with LICM optimization

[bugzilla-daemon at llvm.org]

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

Dan Gohman <gohman at apple.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
                 CC|                            |gohman at apple.com
         Resolution|                            |FIXED

--- Comment #3 from Dan Gohman <gohman at apple.com> 2012-08-08 18:59:46 CDT ---
The given testcase is fixed with r161459.

That commit does not fix the underlying fundamental problem. Unfortunately,
TBAA is unsound in the C and C++ standards. LLVM is attempting to implement it
and achieve the basic optimization benefits while minimizing exposure to the
inevitable correctness problems. There's surely more that could be done to
further minimize correctness problems, so feel free to file new bug reports for
cases that are important to you.

-- 
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.