[LLVMbugs] [Bug 5262] New: opt -inline -instcombine -simplifycfg creates code rejected by verifier!

[bugzilla-daemon at cs.uiuc.edu]

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

           Summary: opt -inline -instcombine -simplifycfg creates code
                    rejected by verifier!
           Product: new-bugs
           Version: trunk
          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


llvm-g++ -O2 created an invalid .bc file that is rejected by the verifier.
This initially manifested itself at link time, I reduced it to the following:

~/llvm-git/obj/Release/bin/opt bugpoint-reduced-simplified.bc -inline
-instcombine -simplifycfg
WARNING: You're attempting to print out a bitcode file.
This is inadvisable as it may cause display problems. If
you REALLY want to taste LLVM bitcode first-hand, you
can force output with the `-f' option.

Instruction does not dominate all uses!
  %7 = or i32 %4, 4                               ; <i32> [#uses=1]
  %phitmp = select i1 %phitmp.i, i32 %4, i32 %7   ; <i32> [#uses=1]
Broken module found, compilation aborted!
0   opt             0x000000000075f05f
1   opt             0x0000000000760d29
2   libpthread.so.0 0x000000351a00e9a0
3   libc.so.6       0x0000003519431f45 gsignal + 53
4   libc.so.6       0x0000003519434d80 abort + 384
5   opt             0x0000000000717e7e
6   opt             0x00000000006f10e1
llvm::FPPassManager::runOnFunction(llvm::Function&) + 561
7   opt             0x0000000000588d7a
8   opt             0x00000000005894c2
9   opt             0x00000000006f0abf
llvm::MPPassManager::runOnModule(llvm::Module&) + 303
10  opt             0x00000000006f0d80
llvm::PassManagerImpl::run(llvm::Module&) + 160
11  opt             0x000000000040c863 main + 1171
12  libc.so.6       0x000000351941ea8d __libc_start_main + 253
13  opt             0x0000000000400279
Stack dump:
0.      Running pass 'CallGraph Pass Manager' on module
'bugpoint-reduced-simplified.bc'.
1.      Running pass 'Module Verifier' on function
'@_ZN5clang7CodeGen15CodeGenFunction22EmitArraySubscriptExprEPKNS_18ArraySubscriptExprE'
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.