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

bugzilla-daemon at cs.uiuc.edu bugzilla-daemon at cs.uiuc.edu
Mon Jan 25 10:27:36 PST 2010


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.

More information about the llvm-bugs mailing list