[LLVMbugs] [Bug 13256] New: Assertion failed: (getOperand(0)->getType() == getOperand(1)->getType() && "Both operands to ICmp instruction are not of the same type!"), function ICmpInst, file include/llvm/Instructions.h, line 960.

[bugzilla-daemon at llvm.org]

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

             Bug #: 13256
           Summary: Assertion failed: (getOperand(0)->getType() ==
                    getOperand(1)->getType() && "Both operands to ICmp
                    instruction are not of the same type!"), function
                    ICmpInst, file include/llvm/Instructions.h, line 960.
           Product: libraries
           Version: trunk
          Platform: PC
        OS/Version: All
            Status: NEW
          Severity: normal
          Priority: P
         Component: Scalar Optimizations
        AssignedTo: unassignedbugs at nondot.org
        ReportedBy: benny.kra at gmail.com
                CC: llvmbugs at cs.uiuc.edu
    Classification: Unclassified


Created attachment 8818
  --> http://llvm.org/bugs/attachment.cgi?id=8818
reduced test case

$ opt -S -inline -simplifycfg < t.ll
Assertion failed: (getOperand(0)->getType() == getOperand(1)->getType() &&
"Both operands to ICmp instruction are not of the same type!"), function
ICmpInst, file /Users/d0k/build/llvm/include/llvm/Instructions.h, line 960.
0  libLLVM-3.2svn.dylib 0x00000001020872ae _ZL15PrintStackTracePv + 46
1  libLLVM-3.2svn.dylib 0x00000001020878c8 _ZL13SignalHandleri + 408
2  libsystem_c.dylib    0x00007fff8f183cfa _sigtramp + 26
3  libsystem_c.dylib    0x00000400606fea60 _sigtramp + 18446607737779891584
4  libLLVM-3.2svn.dylib 0x000000010208757b raise + 27
5  libLLVM-3.2svn.dylib 0x0000000102087632 abort + 18
6  libLLVM-3.2svn.dylib 0x0000000102087611 __assert_rtn + 129
7  libLLVM-3.2svn.dylib 0x00000001010e8c82
llvm::ICmpInst::ICmpInst(llvm::CmpInst::Predicate, llvm::Value*, llvm::Value*,
llvm::Twine const&) + 402
8  libLLVM-3.2svn.dylib 0x00000001010e8ae3
llvm::ICmpInst::ICmpInst(llvm::CmpInst::Predicate, llvm::Value*, llvm::Value*,
llvm::Twine const&) + 51
9  libLLVM-3.2svn.dylib 0x00000001015c0fab llvm::IRBuilder<true,
llvm::ConstantFolder, llvm::IRBuilderDefaultInserter<true>
>::CreateICmp(llvm::CmpInst::Predicate, llvm::Value*, llvm::Value*, llvm::Twine
const&) + 235
10 libLLVM-3.2svn.dylib 0x00000001015c08b4 llvm::IRBuilder<true,
llvm::ConstantFolder, llvm::IRBuilderDefaultInserter<true>
>::CreateICmpEQ(llvm::Value*, llvm::Value*, llvm::Twine const&) + 52
11 libLLVM-3.2svn.dylib 0x000000010211d114
llvm::ConstantFoldTerminator(llvm::BasicBlock*, bool) + 1572
12 libLLVM-3.2svn.dylib 0x000000010215f785 (anonymous
namespace)::SimplifyCFGOpt::run(llvm::BasicBlock*) + 501
13 libLLVM-3.2svn.dylib 0x000000010215f54d llvm::SimplifyCFG(llvm::BasicBlock*,
llvm::TargetData const*) + 45
14 libLLVM-3.2svn.dylib 0x00000001021617b0 (anonymous
namespace)::SimplifyCFGOpt::SimplifySwitch(llvm::SwitchInst*,
llvm::IRBuilder<true, llvm::ConstantFolder,
llvm::IRBuilderDefaultInserter<true> >&) + 160
15 libLLVM-3.2svn.dylib 0x000000010215fa7a (anonymous
namespace)::SimplifyCFGOpt::run(llvm::BasicBlock*) + 1258
16 libLLVM-3.2svn.dylib 0x000000010215f54d llvm::SimplifyCFG(llvm::BasicBlock*,
llvm::TargetData const*) + 45
17 libLLVM-3.2svn.dylib 0x0000000101d74221
_ZL20IterativeSimplifyCFGRN4llvm8FunctionEPKNS_10TargetDataE + 129
18 libLLVM-3.2svn.dylib 0x0000000101d737f1 (anonymous
namespace)::CFGSimplifyPass::runOnFunction(llvm::Function&) + 97
19 libLLVM-3.2svn.dylib 0x000000010171962a
llvm::FPPassManager::runOnFunction(llvm::Function&) + 442
20 libLLVM-3.2svn.dylib 0x000000010234f75b (anonymous
namespace)::CGPassManager::RunPassOnSCC(llvm::Pass*, llvm::CallGraphSCC&,
llvm::CallGraph&, bool&, bool&) + 763
21 libLLVM-3.2svn.dylib 0x000000010234f005 (anonymous
namespace)::CGPassManager::RunAllPassesOnSCC(llvm::CallGraphSCC&,
llvm::CallGraph&, bool&) + 869
22 libLLVM-3.2svn.dylib 0x000000010234e7ed (anonymous
namespace)::CGPassManager::runOnModule(llvm::Module&) + 493
23 libLLVM-3.2svn.dylib 0x0000000101719e3c
llvm::MPPassManager::runOnModule(llvm::Module&) + 1196
24 libLLVM-3.2svn.dylib 0x000000010171a7e7
llvm::PassManagerImpl::run(llvm::Module&) + 167
25 libLLVM-3.2svn.dylib 0x000000010171aa11
llvm::PassManager::run(llvm::Module&) + 33
26 opt                  0x0000000100b1c4db main + 9659
27 opt                  0x0000000100b01d74 start + 52
Stack dump:
0.    Program arguments: opt -S -inline -simplifycfg 
1.    Running pass 'CallGraph Pass Manager' on module '<stdin>'.
2.    Running pass 'Simplify the CFG' on function
'@_ZNK4llvm10TrackingVHINS_6MDNodeEE13CheckValidityEv'
[1]    79229 illegal hardware instruction  opt -S -inline -simplifycfg < t.ll

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