[LLVMbugs] [Bug 1769] New: opt -cee crashes with " Instruction does not dominate all uses!"

[bugzilla-daemon at cs.uiuc.edu]

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

           Summary: opt -cee crashes with "Instruction does not dominate all
                    uses!"
           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: edwintorok at gmail.com
                CC: llvmbugs at cs.uiuc.edu


Created an attachment (id=1194)
 --> (http://llvm.org/bugs/attachment.cgi?id=1194)
bugpoint simplified testcase, crashes on opt -cee

Standard optimizations, and code generation works, I assume the testcase
is valid llvm bitcode:
$ opt -verify -verify-each -std-compile-opts bugpoint-reduced-simplified.bc  -o
x.bc -f
$ llc bugpoint-reduced-simplified.bc -f

However opt -cee crashes:
$ opt -cee bugpoint-reduced-simplified.bc  -o x.bc -f
Instruction does not dominate all uses!
        %tmp604683 = icmp sgt i64 %tmp460, 0            ; <i1> [#uses=4]
        %tmp604683.fw_frontier = phi i1 [ %tmp604683.fw_merge1,
%bb482.bb484_crit_edge ], [ %tmp604683, %cond_next473 ]          ; <i1>
[#uses=0]
Broken module found, compilation aborted!
opt[0x9c16ba]
opt[0x9c1926]
/lib/libc.so.6[0x32d1c31710]
/lib/libc.so.6(gsignal+0x35)[0x32d1c316a5]
/lib/libc.so.6(abort+0x110)[0x32d1c33100]
opt[0x978940]
opt[0x982aa4]
opt(llvm::FPPassManager::runOnFunction(llvm::Function&)+0x10e)[0x953f92]
opt(llvm::FPPassManager::runOnModule(llvm::Module&)+0x52)[0x954100]
opt(llvm::MPPassManager::runOnModule(llvm::Module&)+0xec)[0x953c8c]
opt(llvm::PassManagerImpl::run(llvm::Module&)+0x74)[0x953e1c]
opt(llvm::PassManager::run(llvm::Module&)+0x20)[0x953e7e]
opt(main+0x986)[0x6bfe78]
/lib/libc.so.6(__libc_start_main+0xf4)[0x32d1c1db44]
opt(cos+0x119)[0x6b1609]
Aborted


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