[LLVMbugs] [Bug 6126] SROA assertion: argument of incompatible type!

[bugzilla-daemon at cs.uiuc.edu]

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


Bob Wilson <bob.wilson at apple.com> changed:

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




--- Comment #4 from Bob Wilson <bob.wilson at apple.com>  2010-01-25 12:27:35 ---
The problem here is that Value::getUnderlyingObject was changed to only look
back through 6 instructions:

r69151 | nicholas | 2009-04-14 23:23:41 -0700 (Tue, 14 Apr 2009) | 3 lines
Limit the number of times we're willing to chase pointers. Removes an O(n^2)
problem from instcombine.

SROA::ConvertUsesToScalar is assuming that getUnderlyingObject will always
succeed in getting back to the underlying AllocaInst.  It really needs that
information to decide how to translate the memcpy/memmove.

Fixed in svn r94433.


-- 
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.