[LLVMbugs] [Bug 8923] New: DAGTypeLegalizer::PerformExpensiveChecks(): Assertion `NewVal.getNode()->getNodeId() != NewNode && "ReplacedValues maps to a new node!"' failed.

[bugzilla-daemon at llvm.org]

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

           Summary: DAGTypeLegalizer::PerformExpensiveChecks(): Assertion
                    `NewVal.getNode()->getNodeId() != NewNode &&
                    "ReplacedValues maps to a new node!"' failed.
           Product: libraries
           Version: 2.8
          Platform: PC
        OS/Version: Linux
            Status: NEW
          Severity: normal
          Priority: P
         Component: Common Code Generator Code
        AssignedTo: unassignedbugs at nondot.org
        ReportedBy: nadav.rotem at intel.com
                CC: llvmbugs at cs.uiuc.edu


llc: lib/CodeGen/SelectionDAG/LegalizeTypes.cpp:106: void
llvm::DAGTypeLegalizer::PerformExpensiveChecks(): Assertion
`NewVal.getNode()->getNodeId() != NewNode && "ReplacedValues maps to a new
node!"' failed.

We hit an assert for the code below (both Linux and Windows):

target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64
f32:32:32-f64:64:64-f80:128:128-v64:64:64-v128:128:128-a0:0:64-f80:32:32
n8:16:32"
target triple = "i686-pc-win32"

define void @test() nounwind {
  %i17 = icmp eq <4 x i8> undef, zeroinitializer
  %cond = extractelement <4 x i1> %i17, i32 0
  %_comp = select i1 %cond, i8 0, i8 undef
  %merge = insertelement <4 x i8> undef, i8 %_comp, i32 0
  %cond3 = extractelement <4 x i1> %i17, i32 1
  %_comp4 = select i1 %cond3, i8 0, i8 undef
  %merge5 = insertelement <4 x i8> %merge, i8 %_comp4, i32 1
  %cond8 = extractelement <4 x i1> %i17, i32 2
  %_comp9 = select i1 %cond8, i8 0, i8 undef
  %m387 = insertelement <4 x i8> %merge5, i8 %_comp9, i32 2
  store <4 x i8> %m387, <4 x i8>* undef
  ret void
}

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