[LLVMbugs] [Bug 3408] New: looprotate: Assertion `index != -1 && " Expected incoming value from Original PreHeader"' failed.

[bugzilla-daemon at cs.uiuc.edu]

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

           Summary: looprotate: Assertion `index != -1 && "Expected incoming
                    value from Original PreHeader"' failed.
           Product: libraries
           Version: trunk
          Platform: Other
        OS/Version: Linux
            Status: NEW
          Severity: normal
          Priority: P2
         Component: Global Analyses
        AssignedTo: unassignedbugs at nondot.org
        ReportedBy: sliedes at cc.hut.fi
                CC: llvmbugs at cs.uiuc.edu


Running

  opt -loop-rotate

on the attached bitcode file causes this assertion failure:

------------------------------------------------------------
$ opt bugpoint-reduced-simplified.bc -loop-rotate
opt: LoopRotation.cpp:473:
void<unnamed>::LoopRotate::preserveCanonicalLoopForm(llvm::LPPassManager&):
Assertion `index != -1 && "Expected incoming value from Original PreHeader"'
failed.
0   opt       0x000000000078440f
1   libc.so.6 0x00007f7ab36e9f60
2   libc.so.6 0x00007f7ab36e9ed5 gsignal + 53
3   libc.so.6 0x00007f7ab36eb3f3 abort + 387
4   libc.so.6 0x00007f7ab36e2dc9 __assert_fail + 233
5   opt       0x0000000000571165
6   opt       0x00000000005725a6
7   opt       0x0000000000572b33
8   opt       0x000000000065dcbb
llvm::LPPassManager::runOnFunction(llvm::Function&) + 955
9   opt       0x000000000072199b
llvm::FPPassManager::runOnFunction(llvm::Function&) + 347
10  opt       0x0000000000721bd6
llvm::FPPassManager::runOnModule(llvm::Module&) + 166
11  opt       0x0000000000721577
llvm::MPPassManager::runOnModule(llvm::Module&) + 199
12  opt       0x0000000000721776 llvm::PassManagerImpl::run(llvm::Module&) +
134
13  opt       0x0000000000497166 main + 3046
14  libc.so.6 0x00007f7ab36d61a6 __libc_start_main + 230
15  opt       0x000000000048be39 sinh + 65
Aborted
------------------------------------------------------------

Here's the bitcode disassembled:

------------------------------------------------------------
; 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:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128"
target triple = "x86_64-unknown-linux-gnu"
        %struct.Cls = type { i32, i8, [2 x %struct.Cls*], [2 x %struct.Lit*] }
        %struct.Lit = type { i8 }

define void @picosat_main_bb13.i.i71.outer_bb132.i.i.i.outer(%struct.Cls**,
%struct.Cls**, i32 %collect.i.i.i.1.lcssa, i32 %lcollect.i.i.i.2.lcssa,
%struct.Cls*** %rhead.tmp.0236.out, i32* %collect.i.i.i.2.out, i32*
%lcollect.i.i.i.3.ph.ph.ph.out) nounwind {
newFuncRoot:
        br label %codeRepl

bb133.i.i.i.exitStub:           ; preds = %codeRepl
        ret void

bb130.i.i.i:            ; preds = %codeRepl
        %rhead.tmp.0236.lcssa82 = phi %struct.Cls** [ null, %codeRepl ]        
; <%struct.Cls**> [#uses=0]
        br label %codeRepl

codeRepl:               ; preds = %bb130.i.i.i, %newFuncRoot
        br i1 false, label %bb130.i.i.i, label %bb133.i.i.i.exitStub
}
------------------------------------------------------------


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