[LLVMbugs] [Bug 2639] New: opt -loop-deletion -loop-rotate triggers assert in domfrontier

[bugzilla-daemon at cs.uiuc.edu]

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

           Summary: opt -loop-deletion -loop-rotate triggers assert in
                    domfrontier
           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: nlewycky at google.com
                CC: llvmbugs at cs.uiuc.edu


Created an attachment (id=1893)
 --> (http://llvm.org/bugs/attachment.cgi?id=1893)
testcase

$ ~/llvm/Debug/bin/opt b.bc -loop-deletion -loop-rotate -f -o b2.bc
opt: /usr/local/src/llvm/include/llvm/Analysis/Dominators.h:940: void
llvm::DominanceFrontierBase::addBasicBlock(llvm::BasicBlock*, const
std::set<llvm::BasicBlock*, std::less<llvm::BasicBlock*>,
std::allocator<llvm::BasicBlock*> >&): Assertion `find(BB) == end() && "Block
already in DominanceFrontier!"' failed.
/home/nlewycky/llvm/Debug/bin/opt[0x86b097e]
/home/nlewycky/llvm/Debug/bin/opt[0x86b0be0]
[0xffffe500]
[0x6]
/lib/tls/i686/cmov/libc.so.6(abort+0xe9)[0x49739619]
/lib/tls/i686/cmov/libc.so.6(__assert_fail+0x101)[0x49731031]
/home/nlewycky/llvm/Debug/bin/opt(_ZN4llvm21DominanceFrontierBase13addBasicBlockEPNS_10BasicBlockERKSt3setIS2_St4lessIS2_ESaIS2_EE+0x108)[0x8473908]
/home/nlewycky/llvm/Debug/bin/opt(_ZN4llvm17SplitCriticalEdgeEPNS_14TerminatorInstEjPNS_4PassEb+0x71a)[0x84d72da]
/home/nlewycky/llvm/Debug/bin/opt(_ZN4llvm9SplitEdgeEPNS_10BasicBlockES1_PNS_4PassE+0xa9)[0x84d516d]
/home/nlewycky/llvm/Debug/bin/opt[0x8471852]
/home/nlewycky/llvm/Debug/bin/opt[0x8472749]
/home/nlewycky/llvm/Debug/bin/opt[0x84727c8]
/home/nlewycky/llvm/Debug/bin/opt(_ZN4llvm13LPPassManager13runOnFunctionERNS_8FunctionE+0x3cd)[0x856279b]
/home/nlewycky/llvm/Debug/bin/opt(_ZN4llvm13FPPassManager13runOnFunctionERNS_8FunctionE+0x13d)[0x863bf8f]
/home/nlewycky/llvm/Debug/bin/opt(_ZN4llvm13FPPassManager11runOnModuleERNS_6ModuleE+0x6e)[0x863c15a]
/home/nlewycky/llvm/Debug/bin/opt(_ZN4llvm13MPPassManager11runOnModuleERNS_6ModuleE+0x108)[0x863bc0a]
/home/nlewycky/llvm/Debug/bin/opt(_ZN4llvm15PassManagerImpl3runERNS_6ModuleE+0x6e)[0x863bdc4]
/home/nlewycky/llvm/Debug/bin/opt(_ZN4llvm11PassManager3runERNS_6ModuleE+0x1b)[0x863be19]
/home/nlewycky/llvm/Debug/bin/opt(main+0xb54)[0x8374abe]
/lib/tls/i686/cmov/libc.so.6(__libc_start_main+0xd2)[0x49723ec2]
/home/nlewycky/llvm/Debug/bin/opt(__gxx_personality_v0+0x331)[0x8366565]
Aborted

Interestingly enough, you need the "-f -o" part, otherwise it won't trigger,
not even with -verify.


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