[LLVMbugs] [Bug 11389] New: integer-promotion of CONCAT_VECTORS failing

[bugzilla-daemon at llvm.org]

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

             Bug #: 11389
           Summary: integer-promotion of CONCAT_VECTORS failing
           Product: libraries
           Version: trunk
          Platform: Macintosh
        OS/Version: MacOS X
            Status: NEW
          Severity: normal
          Priority: P
         Component: Common Code Generator Code
        AssignedTo: unassignedbugs at nondot.org
        ReportedBy: tonic at nondot.org
                CC: llvmbugs at cs.uiuc.edu
    Classification: Unclassified


Created attachment 7619
  --> http://llvm.org/bugs/attachment.cgi?id=7619
testcase for DAG crash

r140372 added handling for the integer-promotion of CONCAT_VECTORS. This
appears to cause a new assertion to trigger for my program. I've attached a
reduced test case.

To reproduce:
llc crash.ll -o crash.s

Output:
Assertion failed: (NumElem0 + NumElem1 == NumOutElem && "Invalid number of
incoming elements"), function PromoteIntRes_CONCAT_VECTORS, file
LegalizeIntegerTypes.cpp, line 2945.
0  llc               0x0000000100f66cb5 _ZL15PrintStackTracePv + 53
1  llc               0x0000000100f67329 _ZL13SignalHandleri + 361
2  libsystem_c.dylib 0x00007fff8fd70cfa _sigtramp + 26
3  libsystem_c.dylib 0x0000040002e0ca70 _sigtramp + 18446607736197725584
4  llc               0x0000000100f66ffb raise + 27
5  llc               0x0000000100f670bc abort + 28
6  llc               0x0000000100f67091 __assert_rtn + 129
7  llc               0x0000000100750d6b
llvm::DAGTypeLegalizer::PromoteIntRes_CONCAT_VECTORS(llvm::SDNode*) + 859
8  llc               0x000000010074b120
llvm::DAGTypeLegalizer::PromoteIntegerResult(llvm::SDNode*, unsigned int) +
2320
9  llc               0x00000001007712db llvm::DAGTypeLegalizer::run() + 1003
10 llc               0x0000000100777555 llvm::SelectionDAG::LegalizeTypes() +
53
11 llc               0x0000000100867b02
llvm::SelectionDAGISel::CodeGenAndEmitDAG() + 1362
12 llc               0x00000001008675a3
llvm::SelectionDAGISel::SelectBasicBlock(llvm::ilist_iterator<llvm::Instruction
const>, llvm::ilist_iterator<llvm::Instruction const>, bool&) + 259
13 llc               0x000000010086740c
llvm::SelectionDAGISel::SelectAllBasicBlocks(llvm::Function const&) + 3036
14 llc               0x0000000100865a0f
llvm::SelectionDAGISel::runOnMachineFunction(llvm::MachineFunction&) + 911
15 llc               0x0000000100a19c9e
llvm::MachineFunctionPass::runOnFunction(llvm::Function&) + 110
16 llc               0x0000000100e5f1b1
llvm::FPPassManager::runOnFunction(llvm::Function&) + 497
17 llc               0x0000000100e5f51d
llvm::FPPassManager::runOnModule(llvm::Module&) + 125
18 llc               0x0000000100e5f7a5
llvm::MPPassManager::runOnModule(llvm::Module&) + 549
19 llc               0x0000000100e5fefc
llvm::PassManagerImpl::run(llvm::Module&) + 172
20 llc               0x0000000100e603e1 llvm::PassManager::run(llvm::Module&) +
33
21 llc               0x000000010010d505 main + 3973
22 llc               0x000000010010c534 start + 52
Stack dump:
0.    Program arguments:
/Volumes/Data/lattner/work/llvm-current/llvm-old/Debug+Asserts/bin/llc crash.ll
-o crash.s 
1.    Running pass 'Function Pass Manager' on module 'crash.ll'.
2.    Running pass 'X86 DAG->DAG Instruction Selection' on function
'@sample_test'
Illegal instruction

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