[llvm-bugs] [Bug 32515] New: Assertion "DELETED_NODE in CSEMap!" fires a lot with -march=skx

[via llvm-bugs]

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

            Bug ID: 32515
           Summary: Assertion "DELETED_NODE in CSEMap!" fires a lot with
                    -march=skx
           Product: libraries
           Version: trunk
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: normal
          Priority: P
         Component: GlobalISel
          Assignee: unassignedbugs at nondot.org
          Reporter: babokin at gmail.com
                CC: llvm-bugs at lists.llvm.org

Created attachment 18216
  --> https://bugs.llvm.org/attachment.cgi?id=18216&action=edit
reproducer

> cat f.cpp
extern unsigned long long int var_8;
extern unsigned short var_26;
struct struct_1 {
    unsigned short member_1_1;
};
extern struct_1 struct_obj_2;
void foo() {
  if (struct_obj_2.member_1_1 == 0) {
    short a(var_26 != 7);
    bool b((1 & var_26) << var_8 & var_26 != 7);
  }
}

> clang++ -std=c++11 -w -O0 -march=skx -c f.cpp
clang-5.0:
/home/dybaboki/llvm/llvm-trunk-20170331/lib/CodeGen/SelectionDAG/SelectionDAG.cpp:746:
bool llvm::SelectionDAG::RemoveNodeFromCSEMaps(llvm::SDNode *): Assertion
`N->getOpcode() != ISD::DELETED_
NODE && "DELETED_NODE in CSEMap!"' failed.
#0 0x0000000001263c3f llvm::sys::PrintStackTrace(llvm::raw_ostream&)
(/home/dybaboki/llvm/bin-trunk-20170331/bin/clang-5.0+0x1263c3f)
#1 0x0000000001263f46 SignalHandler(int)
(/home/dybaboki/llvm/bin-trunk-20170331/bin/clang-5.0+0x1263f46)
#2 0x00007fb20a413370 __restore_rt (/lib64/libpthread.so.0+0xf370)
#3 0x00007fb208f901d7 __GI_raise (/lib64/libc.so.6+0x351d7)
#4 0x00007fb208f918c8 __GI_abort (/lib64/libc.so.6+0x368c8)
#5 0x00007fb208f89146 __assert_fail_base (/lib64/libc.so.6+0x2e146)
#6 0x00007fb208f891f2 (/lib64/libc.so.6+0x2e1f2)
#7 0x0000000001954e43 llvm::SelectionDAG::RemoveNodeFromCSEMaps(llvm::SDNode*)
(/home/dybaboki/llvm/bin-trunk-20170331/bin/clang-5.0+0x1954e43)
#8 0x000000000195515f llvm::SelectionDAG::DeleteNode(llvm::SDNode*)
(/home/dybaboki/llvm/bin-trunk-20170331/bin/clang-5.0+0x195515f)
#9 0x000000000186cabb (anonymous
namespace)::DAGCombiner::CombineTo(llvm::SDNode*, llvm::SDValue const*,
unsigned int, bool)
(/home/dybaboki/llvm/bin-trunk-20170331/bin/clang-5.0+0x186cabb)
#10 0x00000000018a4910 (anonymous
namespace)::DAGCombiner::visitZERO_EXTEND(llvm::SDNode*)
(/home/dybaboki/llvm/bin-trunk-20170331/bin/clang-5.0+0x18a4910)
#11 0x00000000018744d6 (anonymous namespace)::DAGCombiner::visit(llvm::SDNode*)
(/home/dybaboki/llvm/bin-trunk-20170331/bin/clang-5.0+0x18744d6)
#12 0x000000000186edec (anonymous
namespace)::DAGCombiner::combine(llvm::SDNode*)
(/home/dybaboki/llvm/bin-trunk-20170331/bin/clang-5.0+0x186edec)
#13 0x000000000186db28 llvm::SelectionDAG::Combine(llvm::CombineLevel,
llvm::AAResults&, llvm::CodeGenOpt::Level)
(/home/dybaboki/llvm/bin-trunk-20170331/bin/clang-5.0+0x186db28)
<...>

I see quite a lot of fails like this one.

There's also bug 27747 mentioning this assertion, but it contains test case
which doesn't fail anymore.

-- 
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/20170404/d987c272/attachment.html>