[LLVMbugs] [Bug 3405] New: Assertion `FromBr->isUnconditional() && " FromBB should end with uncond br!"' failed.

[bugzilla-daemon at cs.uiuc.edu]

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

           Summary: Assertion `FromBr->isUnconditional() && "FromBB should
                    end with uncond br!"' 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 -condprop on the attached bitcode file causes an assertion failure.

Revision is today's trunk and architecture is amd64.

---------------------------------------------------------
$ opt -condprop bugpoint-reduced-simplified.bc
opt: CondPropagate.cpp:197:
void<unnamed>::CondProp::RevectorBlockTo(llvm::BasicBlock*, llvm::BasicBlock*):
Assertion `FromBr->isUnconditional() && "FromBB should end with uncond br!"'
failed.
0   opt       0x000000000078440f
1   libc.so.6 0x00007f98a5b7ef60
2   libc.so.6 0x00007f98a5b7eed5 gsignal + 53
3   libc.so.6 0x00007f98a5b803f3 abort + 387
4   libc.so.6 0x00007f98a5b77dc9 __assert_fail + 233
5   opt       0x00000000004f3713
6   opt       0x00000000004f3bb0
7   opt       0x000000000072199b
llvm::FPPassManager::runOnFunction(llvm::Function&) + 347
8   opt       0x0000000000721bd6
llvm::FPPassManager::runOnModule(llvm::Module&) + 166
9   opt       0x0000000000721577
llvm::MPPassManager::runOnModule(llvm::Module&) + 199
10  opt       0x0000000000721776 llvm::PassManagerImpl::run(llvm::Module&) +
134
11  opt       0x0000000000497166 main + 3046
12  libc.so.6 0x00007f98a5b6b1a6 __libc_start_main + 230
13  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"

define i32 @main(i32 %argc, i8** %argv) nounwind {
entry:
        br label %bb2

bb2:            ; preds = %bb.bb2_crit_edge, %entry
        br i1 false, label %bb5.thread2, label %bb

bb:             ; preds = %bb2
        br i1 false, label %bb3, label %bb.bb2_crit_edge

bb.bb2_crit_edge:               ; preds = %bb
        br label %bb2

bb3:            ; preds = %bb
        %.lcssa4 = phi i1 [ false, %bb ]                ; <i1> [#uses=1]
        br i1 %.lcssa4, label %bb5.thread, label %bb6

bb5.thread:             ; preds = %bb3
        br label %bb7

bb7:            ; preds = %bb5.thread2, %bb5.thread
        br label %UnifiedReturnBlock

bb6:            ; preds = %bb3
        br label %UnifiedReturnBlock

bb5.thread2:            ; preds = %bb2
        br label %bb7

UnifiedReturnBlock:             ; preds = %bb6, %bb7
        ret i32 0
}
---------------------------------------------------------


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