[LLVMbugs] [Bug 3393] New: llc abort with -enable-legalize-types-checking

[bugzilla-daemon at cs.uiuc.edu]

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

           Summary: llc abort with -enable-legalize-types-checking
           Product: libraries
           Version: trunk
          Platform: PC
        OS/Version: Linux
            Status: NEW
          Severity: normal
          Priority: P2
         Component: Common Code Generator Code
        AssignedTo: unassignedbugs at nondot.org
        ReportedBy: gohman at apple.com
                CC: llvmbugs at cs.uiuc.edu


The following testcase gets an llc abort on x86-32 with
-enable-legalize-types-checking enabled.

define void @foo(i32 inreg %x) {
        %t709 = select i1 false, i32 0, i32 %x          ; <i32> [#uses=1]
        %t711 = add i32 %t709, 1                ; <i32> [#uses=4]
        %t801 = icmp slt i32 %t711, 0           ; <i1> [#uses=1]
        %t712 = zext i32 %t711 to i64           ; <i64> [#uses=1]
        %t804 = select i1 %t801, i64 0, i64 %t712       ; <i64> [#uses=1]
        store i64 %t804, i64* null
        %t815 = icmp slt i32 %t711, 0           ; <i1> [#uses=1]
        %t814 = sext i32 %t711 to i64           ; <i64> [#uses=1]
        %t816 = select i1 %t815, i64 0, i64 %t814               ; <i64>
[#uses=1]
        store i64 %t816, i64* null
        unreachable
}

llc: lib/CodeGen/SelectionDAG/LegalizeTypes.cpp:86: void
llvm::DAGTypeLegalizer::PerformExpensiveChecks(): Assertion `UI->getNodeId() ==
NewNode && "Remapped value has non-trivial use!"' failed.


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