[LLVMbugs] [Bug 12721] New: Assertion `N->getValueType(0) == RV.getValueType() && N->getNumValues() == 1 && "Type mismatch"' failed.

[bugzilla-daemon at llvm.org]

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

             Bug #: 12721
           Summary: Assertion `N->getValueType(0) == RV.getValueType() &&
                    N->getNumValues() == 1 && "Type mismatch"' failed.
           Product: new-bugs
           Version: trunk
          Platform: PC
        OS/Version: Linux
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: new bugs
        AssignedTo: unassignedbugs at nondot.org
        ReportedBy: baldrick at free.fr
                CC: llvmbugs at cs.uiuc.edu
    Classification: Unclassified


Created attachment 8485
  --> http://llvm.org/bugs/attachment.cgi?id=8485
testcase .ll

This is a recent regression.

$ llc mismatch.ll
llc: llvm/lib/CodeGen/SelectionDAG/DAGCombiner.cpp:1048: void
{anonymous}::DAGCombiner::Run(llvm::CombineLevel): Assertion
`N->getValueType(0) == RV.getValueType() && N->getNumValues() == 1 && "Type
mismatch"' failed.
...
8  llc       0x0000000000c833f1 llvm::SelectionDAG::Combine(llvm::CombineLevel,
llvm::AliasAnalysis&, llvm::CodeGenOpt::Level) + 95
9  llc       0x0000000000d3bcf1 llvm::SelectionDAGISel::CodeGenAndEmitDAG() +
3119
10 llc       0x0000000000d3ad88
llvm::SelectionDAGISel::SelectBasicBlock(llvm::ilist_iterator<llvm::Instruction
const>, llvm::ilist_iterator<llvm:

At a glance it seems to be because the X86 combine code assumes that a type is
i32, but it is i16.

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