[llvm-bugs] [Bug 25054] New: new ICE with r248719 on vector i1 compares

[via llvm-bugs]

https://llvm.org/bugs/show_bug.cgi?id=25054

            Bug ID: 25054
           Summary: new ICE with r248719 on vector i1 compares
           Product: libraries
           Version: trunk
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: normal
          Priority: P
         Component: Global Analyses
          Assignee: unassignedbugs at nondot.org
          Reporter: arnaud.degrandmaison at arm.com
                CC: llvm-bugs at lists.llvm.org
    Classification: Unclassified

Commit r248719 introduced a new ICE when attempting to simplify i1 vector
compare instructions. A reproducer is attached to this issue.

> opt -S -early-cse < simplifyVecCmp.ll
opt: ../lib/Analysis/InstructionSimplify.cpp:2140: bool implies(llvm::Value *,
llvm::Value *): Assertion `A->getType()->isIntegerTy(1) &&
B->getType()->isIntegerTy(1)' failed.
#0 0x7f3c208f58be llvm::sys::PrintStackTrace(llvm::raw_ostream&)
/home/arnaud/Software/LLVM/llvm.git/build-arm-dbg/../lib/Support/Unix/Signals.inc:404:15
#1 0x7f3c208f7409 PrintStackTraceSignalHandler(void*)
/home/arnaud/Software/LLVM/llvm.git/build-arm-dbg/../lib/Support/Unix/Signals.inc:463:1
#2 0x7f3c208f3d37 llvm::sys::RunSignalHandlers()
/home/arnaud/Software/LLVM/llvm.git/build-arm-dbg/../lib/Support/Signals.cpp:35:5
#3 0x7f3c208f7690 SignalHandler(int)
/home/arnaud/Software/LLVM/llvm.git/build-arm-dbg/../lib/Support/Unix/Signals.inc:211:1
#4 0x7f3c1ef3fad0 (/lib64/libc.so.6+0x33ad0)
#5 0x7f3c1ef3fa57 gsignal (/lib64/libc.so.6+0x33a57)
#6 0x7f3c1ef40dea abort (/lib64/libc.so.6+0x34dea)
#7 0x7f3c1ef388ad (/lib64/libc.so.6+0x2c8ad)
#8 0x7f3c1ef38962 (/lib64/libc.so.6+0x2c962)
#9 0x7f3c2390d72d implies(llvm::Value*, llvm::Value*)
/home/arnaud/Software/LLVM/llvm.git/build-arm-dbg/../lib/Analysis/InstructionSimplify.cpp:2143:7
#10 0x7f3c23900397 SimplifyICmpInst(unsigned int, llvm::Value*, llvm::Value*,
(anonymous namespace)::Query const&, unsigned int)
/home/arnaud/Software/LLVM/llvm.git/build-arm-dbg/../lib/Analysis/InstructionSimplify.cpp:2257:11
#11 0x7f3c239028be SimplifyICmpInst(unsigned int, llvm::Value*, llvm::Value*,
(anonymous namespace)::Query const&, unsigned int)
/home/arnaud/Software/LLVM/llvm.git/build-arm-dbg/../lib/Analysis/InstructionSimplify.cpp:2571:22
#12 0x7f3c238fff01 llvm::SimplifyICmpInst(unsigned int, llvm::Value*,
llvm::Value*, llvm::DataLayout const&, llvm::TargetLibraryInfo const*,
llvm::DominatorTree const*, llvm::AssumptionCache*, llvm::Instruction*)
/home/arnaud/Software/LLVM/llvm.git/build-arm-dbg/../lib/Analysis/InstructionSimplify.cpp:3149:3
#13 0x7f3c23909a6e llvm::SimplifyInstruction(llvm::Instruction*,
llvm::DataLayout const&, llvm::TargetLibraryInfo const*, llvm::DominatorTree
const*, llvm::AssumptionCache*)
/home/arnaud/Software/LLVM/llvm.git/build-arm-dbg/../lib/Analysis/InstructionSimplify.cpp:4081:12
#14 0x7f3c20bbf546 (anonymous
namespace)::EarlyCSE::processNode(llvm::DomTreeNodeBase<llvm::BasicBlock>*)
/home/arnaud/Software/LLVM/llvm.git/build-arm-dbg/../lib/Transforms/Scalar/EarlyCSE.cpp:523:16
#15 0x7f3c20bbdc06 (anonymous namespace)::EarlyCSE::run()
/home/arnaud/Software/LLVM/llvm.git/build-arm-dbg/../lib/Transforms/Scalar/EarlyCSE.cpp:698:18
#16 0x7f3c20bc8743 (anonymous
namespace)::EarlyCSELegacyPass::runOnFunction(llvm::Function&)
/home/arnaud/Software/LLVM/llvm.git/build-arm-dbg/../lib/Transforms/Scalar/EarlyCSE.cpp:768:12
#17 0x7f3c226d0c4f llvm::FPPassManager::runOnFunction(llvm::Function&)
/home/arnaud/Software/LLVM/llvm.git/build-arm-dbg/../lib/IR/LegacyPassManager.cpp:1528:23
#18 0x7f3c226d0f65 llvm::FPPassManager::runOnModule(llvm::Module&)
/home/arnaud/Software/LLVM/llvm.git/build-arm-dbg/../lib/IR/LegacyPassManager.cpp:1549:16
#19 0x7f3c226d1b83 (anonymous
namespace)::MPPassManager::runOnModule(llvm::Module&)
/home/arnaud/Software/LLVM/llvm.git/build-arm-dbg/../lib/IR/LegacyPassManager.cpp:1605:23
#20 0x7f3c226d1226 llvm::legacy::PassManagerImpl::run(llvm::Module&)
/home/arnaud/Software/LLVM/llvm.git/build-arm-dbg/../lib/IR/LegacyPassManager.cpp:1708:16
#21 0x7f3c226d2681 llvm::legacy::PassManager::run(llvm::Module&)
/home/arnaud/Software/LLVM/llvm.git/build-arm-dbg/../lib/IR/LegacyPassManager.cpp:1739:3
#22 0x4474f4 main
/home/arnaud/Software/LLVM/llvm.git/build-arm-dbg/../tools/opt/opt.cpp:599:3
#23 0x7f3c1ef2bfa0 __libc_start_main (/lib64/libc.so.6+0x1ffa0)
#24 0x41a2e6 _start
(/home/arnaud/Software/LLVM/llvm.git/build-arm-dbg/bin/opt+0x41a2e6)
Stack dump:
0.    Program arguments: ./bin/opt -S -early-cse 
1.    Running pass 'Function Pass Manager' on module '<stdin>'.
2.    Running pass 'Early CSE' on function '@foo'

-- 
You are receiving this mail because:
You are on the CC list for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-bugs/attachments/20151005/aaa77a21/attachment.html>