[LLVMbugs] [Bug 1853] New: Assert being triggered on valid ExtractElementInst

bugzilla-daemon at cs.uiuc.edu bugzilla-daemon at cs.uiuc.edu
Mon Dec 10 12:15:48 PST 2007


           Summary: Assert being triggered on valid ExtractElementInst
           Product: new-bugs
           Version: unspecified
          Platform: PC
        OS/Version: other
            Status: NEW
          Severity: enhancement
          Priority: P2
         Component: new bugs
        AssignedTo: unassignedbugs at nondot.org
        ReportedBy: cfr at adobe.com
                CC: llvmbugs at cs.uiuc.edu

Created an attachment (id=1284)
 --> (http://llvm.org/bugs/attachment.cgi?id=1284)
Modification of the fibonacci example to repro the bug.

Here is the LLVM IR.  Basic idea is that you have a pointer to a <4 x float>
and a i32 index.  You load the vector, extract the specified element and return

; ModuleID = 'test'

define float @floatVectorSelect(<4 x float>* %floatVectorPtr, i32 %index) {
        %floatVector = load <4 x float>* %floatVectorPtr, align 1
; <<4 x float>> [#uses=1]
        %selectedFloat = extractelement <4 x float> %floatVector, i32 %index
        ; <float> [#uses=1]
        ret float %selectedFloat
verifying... Assertion failed: N2C && "Bad EXTRACT_VECTOR_ELT!", file
CodeGen\SelectionDAG\SelectionDAG.cpp, line 2111

I found this under the x86 JIT using the attached modification to the fibonacci
program.  I am synced to the mainline as of 11am 10-Dec-2007.


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