[llvm-bugs] [Bug 35272] New: [AVX512] Assertion "Invalid sext node, dst < src!" in llvm::SelectionDAG::getNode()

[via llvm-bugs]

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

            Bug ID: 35272
           Summary: [AVX512] Assertion "Invalid sext node, dst < src!" in
                    llvm::SelectionDAG::getNode()
           Product: new-bugs
           Version: trunk
          Hardware: PC
                OS: All
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: new bugs
          Assignee: unassignedbugs at nondot.org
          Reporter: babokin at gmail.com
                CC: llvm-bugs at lists.llvm.org

clang trunk, rev 317725, x86_64

> cat f.cpp
char a() {
  char b;
  return b;
}
struct d {
  bool ac : 27;
  long e : 14;
  bool f;
} h;
struct i {
  d j;
  unsigned ae : 6;
} k[3];
bool l;
char c, g;
int m, p;
long n, o;
void q() {
  c = p | k[1].j.ac ? : k[0].ae | unsigned (m ? (int(h .e) - o) * g : p ? n ?
k[2] .j  .ac : k[1] .j  .ac : 0) * - ((k[1] .j.ac ? : a()) - k[0] .ae) -
(unsigned (m ? (int(h .e) - o) * g : p ? n ? k[2] .j  .ac : k[1] .j  .ac : 0) *
- ((k[1] .j.ac ? : a()) - k[0] .ae) - lon
g (p ? k[31] .j .ac : l) ) ;
}

> clang++ -O2 -march=skx -c f.cpp
clang-6.0:
/localdisk2/users/dybaboki/llvm/llvm-trunk-20171108/lib/CodeGen/SelectionDAG/SelectionDAG.cpp:3777:
llvm::SDValue llvm::SelectionDAG::getNode(unsigned int, const llvm::SDLoc &,
llvm::EVT, llvm::SDValue, const llvm::SDNodeFlags): Assertion
`Operand.getValueType(
).bitsLT(VT) && "Invalid sext node, dst < src!"' failed.
#0 0x00000000013b2c0f llvm::sys::PrintStackTrace(llvm::raw_ostream&)
(/localdisk2/users/dybaboki/llvm/bin-trunk-20171108/bin/clang-6.0+0x13b2c0f)
#1 0x00000000013b2f16 SignalHandler(int)
(/localdisk2/users/dybaboki/llvm/bin-trunk-20171108/bin/clang-6.0+0x13b2f16)
#2 0x00007f9d4fab85e0 __restore_rt (/lib64/libpthread.so.0+0xf5e0)
#3 0x00007f9d4e6331f7 __GI_raise (/lib64/libc.so.6+0x351f7)
#4 0x00007f9d4e6348e8 __GI_abort (/lib64/libc.so.6+0x368e8)
#5 0x00007f9d4e62c266 __assert_fail_base (/lib64/libc.so.6+0x2e266)
#6 0x00007f9d4e62c312 (/lib64/libc.so.6+0x2e312)
#7 0x0000000001b0d3f6 llvm::SelectionDAG::getNode(unsigned int, llvm::SDLoc
const&, llvm::EVT, llvm::SDValue, llvm::SDNodeFlags)
(/localdisk2/users/dybaboki/llvm/bin-trunk-20171108/bin/clang-6.0+0x1b0d3f6)
#8 0x0000000001b8afbf
llvm::DAGTypeLegalizer::PromoteTargetBoolean(llvm::SDValue, llvm::EVT)
(/localdisk2/users/dybaboki/llvm/bin-trunk-20171108/bin/clang-6.0+0x1b8afbf)
#9 0x0000000001becccf
llvm::DAGTypeLegalizer::PromoteIntOp_SELECT(llvm::SDNode*, unsigned int)
(/localdisk2/users/dybaboki/llvm/bin-trunk-20171108/bin/clang-6.0+0x1becccf)
#10 0x0000000001beb06d
llvm::DAGTypeLegalizer::PromoteIntegerOperand(llvm::SDNode*, unsigned int)
(/localdisk2/users/dybaboki/llvm/bin-trunk-20171108/bin/clang-6.0+0x1beb06d)
#11 0x0000000001b85b0a llvm::DAGTypeLegalizer::run()
(/localdisk2/users/dybaboki/llvm/bin-trunk-20171108/bin/clang-6.0+0x1b85b0a)
#12 0x0000000001b8bf1e llvm::SelectionDAG::LegalizeTypes()
(/localdisk2/users/dybaboki/llvm/bin-trunk-20171108/bin/clang-6.0+0x1b8bf1e)
#13 0x0000000001b4b088 llvm::SelectionDAGISel::CodeGenAndEmitDAG()
(/localdisk2/users/dybaboki/llvm/bin-trunk-20171108/bin/clang-6.0+0x1b4b088)
#14 0x0000000001b4940c
llvm::SelectionDAGISel::SelectAllBasicBlocks(llvm::Function const&)
(/localdisk2/users/dybaboki/llvm/bin-trunk-20171108/bin/clang-6.0+0x1b4940c)
#15 0x0000000001b45cc4
llvm::SelectionDAGISel::runOnMachineFunction(llvm::MachineFunction&)
(/localdisk2/users/dybaboki/llvm/bin-trunk-20171108/bin/clang-6.0+0x1b45cc4)
#16 0x000000000084a0f1 (anonymous
namespace)::X86DAGToDAGISel::runOnMachineFunction(llvm::MachineFunction&)
(/localdisk2/users/dybaboki/llvm/bin-trunk-20171108/bin/clang-6.0+0x84a0f1)
#17 0x0000000000c112a8
llvm::MachineFunctionPass::runOnFunction(llvm::Function&)
(/localdisk2/users/dybaboki/llvm/bin-trunk-20171108/bin/clang-6.0+0xc112a8)
#18 0x0000000000f31e5f llvm::FPPassManager::runOnFunction(llvm::Function&)
(/localdisk2/users/dybaboki/llvm/bin-trunk-20171108/bin/clang-6.0+0xf31e5f)
#19 0x0000000000f32123 llvm::FPPassManager::runOnModule(llvm::Module&)
(/localdisk2/users/dybaboki/llvm/bin-trunk-20171108/bin/clang-6.0+0xf32123)
<...>

-- 
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/20171110/a65170fa/attachment.html>