[LLVMbugs] [Bug 13026] New: Assertion in SelectionDAGISel

[bugzilla-daemon at llvm.org]

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

             Bug #: 13026
           Summary: Assertion in SelectionDAGISel
           Product: libraries
           Version: trunk
          Platform: All
        OS/Version: All
            Status: NEW
          Severity: normal
          Priority: P
         Component: Common Code Generator Code
        AssignedTo: unassignedbugs at nondot.org
        ReportedBy: css20 at mail.ru
                CC: llvmbugs at cs.uiuc.edu
    Classification: Unclassified


Created attachment 8683
  --> http://llvm.org/bugs/attachment.cgi?id=8683
bitcode that cause an assertion

For reproduce run:
llc bugpoint-reduced-simplified.bc

llc:
/HDD/build/build/llvm-tot/src/lib/CodeGen/SelectionDAG/LegalizeTypes.h:192:
llvm::SDValue llvm::DAGTypeLegalizer::GetPromotedInteger(llvm::SDValue):
Assertion `PromotedOp.getNode() && "Operand wasn't promoted?"' failed.
0  llc             0x0000000000f8761f
1  llc             0x0000000000f87b29
2  libpthread.so.0 0x00007fdf5ee88bc0
3  libc.so.6       0x00007fdf5e17ead5 gsignal + 53
4  libc.so.6       0x00007fdf5e17ff4b abort + 379
5  libc.so.6       0x00007fdf5e17798e
6  libc.so.6       0x00007fdf5e177a32
7  llc             0x0000000000ae9310
8  llc             0x0000000000ae10f3
9  llc             0x0000000000ae88fc
10 llc             0x0000000000a91ce1
11 llc             0x0000000000a9297b llvm::SelectionDAG::LegalizeTypes() + 475
12 llc             0x0000000000a35b7f
llvm::SelectionDAGISel::CodeGenAndEmitDAG() + 639
13 llc             0x0000000000a3eea6
llvm::SelectionDAGISel::SelectAllBasicBlocks(llvm::Function const&) + 1574
14 llc             0x0000000000a40447
llvm::SelectionDAGISel::runOnMachineFunction(llvm::MachineFunction&) + 1239
15 llc             0x0000000000f259bf
llvm::FPPassManager::runOnFunction(llvm::Function&) + 591
16 llc             0x0000000000f25a33
llvm::FPPassManager::runOnModule(llvm::Module&) + 51
17 llc             0x0000000000f256d4
llvm::MPPassManager::runOnModule(llvm::Module&) + 532
18 llc             0x0000000000f26cbb llvm::PassManagerImpl::run(llvm::Module&)
+ 171
19 llc             0x0000000000539587 main + 3239
20 libc.so.6       0x00007fdf5e16b3dd __libc_start_main + 237
21 llc             0x00000000005483cd
Stack dump:
0.      Program arguments: Release+Asserts/bin/llc
/HDD/build/test/llvm31/stress-test/bugpoint/bugpoint-reduced-simplified.bc 
1.      Running pass 'Function Pass Manager' on module
'/HDD/build/test/llvm31/stress-test/bugpoint/bugpoint-reduced-simplified.bc'.
2.      Running pass 'X86 DAG->DAG Instruction Selection' on function
'@autogen_SD15'

Bitcode contains this IR with many undef values used as operands.

define void @autogen_SD15() {
BB:
  br label %CF1698

CF1698:                                           ; preds = %CF1698, %BB
  %Cmp10 = icmp ne <1 x i64> zeroinitializer, zeroinitializer
  br i1 undef, label %CF1698, label %CF1697

CF1697:                                           ; preds = %CF1698
  br label %CF1703

CF1703:                                           ; preds = %CF1703, %CF1697
  br i1 undef, label %CF1703, label %CF1717

CF1717:                                           ; preds = %CF1717, %CF1703
  %Sl163 = select i1 undef, <1 x i1> undef, <1 x i1> %Cmp10
  br i1 undef, label %CF1717, label %CF1807

CF1807:                                           ; preds = %CF1807, %CF1717
  %Sl724 = select i1 undef, <1 x i1> undef, <1 x i1> %Sl163
  br label %CF1807
}

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