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

bugzilla-daemon at cs.uiuc.edu bugzilla-daemon at cs.uiuc.edu
Thu Jul 5 00:45:16 PDT 2007


           Summary: LiveIntervalAnalysis assertion failure for SPARC back-
           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 =
target triple = "x86_64-unknown-linux-gnu"
@seedi = external global i64            ; <i64*> [#uses=1]

define i32 @spec_random_load(i32 %fd) {
        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

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.

More information about the llvm-bugs mailing list