[LLVMbugs] [Bug 1540] NEW: LiveIntervalAnalysis assertion failure for SPARC back-end

[bugzilla-daemon at cs.uiuc.edu]

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

           Summary: LiveIntervalAnalysis assertion failure for SPARC back-
                    end
           Product: new-bugs
           Version: unspecified
          Platform: PC
        OS/Version: Linux
            Status: NEW
          Severity: normal
          Priority: P2
         Component: new bugs
        AssignedTo: unassignedbugs at nondot.org
        ReportedBy: hvdieren at elis.ugent.be
                CC: hvdieren at elis.ugent.be


I have tried to compile LLVM bytecode for the SPEC CPU2000 benchmark bzip2 to
SPARC assembly in a cross-compiler setting (LLVM running on x86_64). I am using
llvm-2.0 as distributed in a tar-ball from llvm.org.

Bugpoint reduced the error to this case:
; ModuleID = 'bugpoint-reduced-simplified.bc'
target datalayout =
"e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64"
target triple = "x86_64-unknown-linux-gnu"
@seedi = external global i64            ; <i64*> [#uses=1]

define i32 @spec_random_load(i32 %fd) {
entry:
        br i1 false, label %bb, label %bb69

bb:             ; preds = %entry
        br i1 false, label %cond_true12, label %bb56

cond_true12:            ; preds = %bb
        %tmp21 = load i64* @seedi               ; <i64> [#uses=1]
        %tmp24 = srem i64 %tmp21, 127773                ; <i64> [#uses=1]
        %tmp26 = mul i64 %tmp24, 16807          ; <i64> [#uses=1]
        %tmp29 = sub i64 %tmp26, 0              ; <i64> [#uses=1]
        %storemerge = add i64 0, %tmp29         ; <i64> [#uses=1]
        %tmp3940 = sitofp i64 %storemerge to float              ; <float> [#uses=1]
        %tmp41 = mul float %tmp3940, 0x3E00000000000000         ; <float> [#uses=1]
        %tmp4142 = fpext float %tmp41 to double         ; <double> [#uses=1]
        %tmp47 = mul double %tmp4142, 2.560000e+02              ; <double> [#uses=1]
        %tmp4748 = fptosi double %tmp47 to i32          ; <i32> [#uses=1]
        %tmp474849 = trunc i32 %tmp4748 to i8           ; <i8> [#uses=1]
        store i8 %tmp474849, i8* null
        ret i32 0

bb56:           ; preds = %bb
        ret i32 0

bb69:           ; preds = %entry
        ret i32 0
}

the command:
llc -march=sparc -f -o bzip2.s bugpoint-reduced-function.bc

crashes:
llc: /.../llvm/llvm-2.0/include/llvm/CodeGen/LiveIntervalAnalysis.h:121:
llvm::LiveInterval& llvm::LiveIntervals::getInterval(unsigned int): Assertion `I
!= r2iMap_.end() && "Interval does not exist for register"' failed.

Some analysis shows that the error occurs in expanded floating-point bytecodes.



------- You are receiving this mail because: -------
You are on the CC list for the bug, or are watching someone who is.