[LLVMbugs] [Bug 14478] New: Assertion failed: (canConvertValue(DL, V->getType(), Ty) && "Value not convertable to type")

[bugzilla-daemon at llvm.org]

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

             Bug #: 14478
           Summary: Assertion failed: (canConvertValue(DL, V->getType(),
                    Ty) && "Value not convertable to type")
           Product: libraries
           Version: trunk
          Platform: PC
        OS/Version: All
            Status: NEW
          Severity: normal
          Priority: P
         Component: Scalar Optimizations
        AssignedTo: unassignedbugs at nondot.org
        ReportedBy: benny.kra at gmail.com
                CC: chandlerc at gmail.com, hfinkel at anl.gov,
                    llvmbugs at cs.uiuc.edu
    Classification: Unclassified


Created attachment 9629
  --> http://llvm.org/bugs/attachment.cgi?id=9629
reduced testcase

The test case (reduced from MultiSource/Benchmarks/Bullet) seems to be very
fragile. I'm not sure if the crash is SROA's or bb-vectorize's fault.

$ opt -mtriple=x86_64-apple-darwin12 -inline -sroa -memcpyopt -bb-vectorize
-instcombine -S t.ll
Assertion failed: (canConvertValue(DL, V->getType(), Ty) && "Value not
convertable to type"), function convertValue, file
llvm/lib/Transforms/Scalar/SROA.cpp, line 2063.
Stack dump:
0.    Program arguments: opt -mtriple=x86_64-apple-darwin12 -inline -sroa
-memcpyopt -bb-vectorize -instcombine -S t.ll 
1.    Running pass 'CallGraph Pass Manager' on module 't.ll'.
2.    Running pass 'SROA' on function
'@_ZN7RagDollC2EP15btDynamicsWorldRK9btVector3f'

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