[LLVMbugs] [Bug 4501] New: iv-users asserts

[bugzilla-daemon at cs.uiuc.edu]

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

           Summary: iv-users asserts
           Product: tools
           Version: trunk
          Platform: PC
        OS/Version: Linux
            Status: NEW
          Severity: normal
          Priority: P2
         Component: opt
        AssignedTo: unassignedbugs at nondot.org
        ReportedBy: rafael.espindola at gmail.com
                CC: llvmbugs at cs.uiuc.edu


"opt  -iv-users" fails on the input

------------------------------------------------
define void @test() {
entry:
        br label %bb7

bb7:
        %size.12 = phi i32 [ %t1, %bb7 ], [ undef, %entry ]
        %0 = load i16* undef, align 1
        %1 = lshr i16 %0, 8
        %2 = and i16 %1, 3
        %3 = zext i16 %2 to i32
        %4 = load i8* undef, align 1
        %5 = lshr i8 %4, 4
        %6 = and i8 %5, 1
        %7 = zext i8 %6 to i32
        %t1 = add i32 %3, %7
        br  label %bb7

bb10:
        ret void
}
--------------------------------------------------

The error is
lib/Support/APInt.cpp:492: bool llvm::APInt::ult(const llvm::APInt&) const:
Assertion `BitWidth == RHS.BitWidth && "Bit widths must be same for
comparison"' 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.