[LLVMbugs] [Bug 979] NEW: condprop pass asserts on test case

[bugzilla-daemon at cs.uiuc.edu]

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

           Summary: condprop pass asserts on test case
           Product: libraries
           Version: trunk
          Platform: PC
        OS/Version: Linux
            Status: NEW
          Severity: normal
          Priority: P2
         Component: Scalar Optimizations
        AssignedTo: unassignedbugs at nondot.org
        ReportedBy: criswell at uiuc.edu


The condprop pass asserts out with the following error on the given testcase:

opt: CondPropagate.cpp:203: void
<unnamed>::CondProp::RevectorBlockTo(llvm::BasicBlock*, llvm::BasicBlock*):
Assertion `!isa<PHINode>(ToBB->begin()) && "Critical Edge Found!"' failed.
/localhome/criswell/latestllvm/Debug/bin/opt((anonymous
namespace)::PrintStackTrace()+0x1a)[0x870c752]
/localhome/criswell/latestllvm/Debug/bin/opt((anonymous
namespace)::SignalHandler(int)+0x102)[0x870c9fa]
/lib/tls/libc.so.6[0x4caa58]
/lib/tls/libc.so.6(abort+0x1d2)[0x4cc342]
/lib/tls/libc.so.6(__assert_fail+0x108)[0x4c4338]
/localhome/criswell/latestllvm/Debug/bin/opt((anonymous
namespace)::CondProp::RevectorBlockTo(llvm::BasicBlock*,
llvm::BasicBlock*)+0xb7)[0x84f807d]
/localhome/criswell/latestllvm/Debug/bin/opt((anonymous
namespace)::CondProp::SimplifyPredecessors(llvm::BranchInst*)+0x156)[0x84f7e1e]
/localhome/criswell/latestllvm/Debug/bin/opt((anonymous
namespace)::CondProp::SimplifyBlock(llvm::BasicBlock*)+0x99)[0x84f7a8d]
/localhome/criswell/latestllvm/Debug/bin/opt((anonymous
namespace)::CondProp::runOnFunction(llvm::Function&)+0x6b)[0x84f79c9]
/localhome/criswell/latestllvm/Debug/bin/opt(llvm::FunctionPassManagerT::runPass(llvm::FunctionPass*,
llvm::Function*)+0x1f)[0x86ab359]
/localhome/criswell/latestllvm/Debug/bin/opt(llvm::PassManagerT<llvm::FTraits>::runPasses(llvm::Function*,
std::map<llvm::Pass*, std::vector<llvm::Pass*, std::allocator<llvm::Pass*> >,
std::less<llvm::Pass*>, std::allocator<std::pair<llvm::Pass* const,
std::vector<llvm::Pass*, std::allocator<llvm::Pass*> > > > >&)+0x136)[0x86a9b96]
/localhome/criswell/latestllvm/Debug/bin/opt(llvm::PassManagerT<llvm::FTraits>::runOnUnit(llvm::Function*)+0x177)[0x86a9a4b]
/localhome/criswell/latestllvm/Debug/bin/opt(llvm::FunctionPassManagerT::runOnFunction(llvm::Function&)+0x25)[0x86ab3f7]
/localhome/criswell/latestllvm/Debug/bin/opt(llvm::FunctionPass::runOnModule(llvm::Module&)+0xa5)[0x869858f]
/localhome/criswell/latestllvm/Debug/bin/opt(llvm::ModulePassManager::runPass(llvm::ModulePass*,
llvm::Module*)+0x1f)[0x86acd91]
/localhome/criswell/latestllvm/Debug/bin/opt(llvm::PassManagerT<llvm::MTraits>::runPasses(llvm::Module*,
std::map<llvm::Pass*, std::vector<llvm::Pass*, std::allocator<llvm::Pass*> >,
std::less<llvm::Pass*>, std::allocator<std::pair<llvm::Pass* const,
std::vector<llvm::Pass*, std::allocator<llvm::Pass*> > > > >&)+0x136)[0x86abc10]
/localhome/criswell/latestllvm/Debug/bin/opt(llvm::PassManagerT<llvm::MTraits>::runOnUnit(llvm::Module*)+0x177)[0x86abac5]
/localhome/criswell/latestllvm/Debug/bin/opt(llvm::ModulePassManager::runOnModule(llvm::Module&)+0x25)[0x869781d]
/localhome/criswell/latestllvm/Debug/bin/opt(llvm::PassManager::run(llvm::Module&)+0x23)[0x8697b23]
/localhome/criswell/latestllvm/Debug/bin/opt(main+0xaaa)[0x841c636]
/lib/tls/libc.so.6(__libc_start_main+0xf0)[0x4b8770]
/localhome/criswell/latestllvm/Debug/bin/opt(std::__throw_logic_error(char
const*)+0x59)[0x840f8e1]
Abort (core dumped)



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