[llvm-bugs] [Bug 32316] New: Assertion `N1.getValueType() == N2.getValueType() && N1.getValueType() == VT && "Binary operator types must match!"' failed with -O1 -march=skx

[via llvm-bugs]

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

            Bug ID: 32316
           Summary: Assertion `N1.getValueType() == N2.getValueType() &&
                    N1.getValueType() == VT && "Binary operator types must
                    match!"' failed with -O1 -march=skx
           Product: new-bugs
           Version: trunk
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: new bugs
          Assignee: unassignedbugs at nondot.org
          Reporter: Vsevolod.Livinskij at frtk.ru
                CC: llvm-bugs at lists.llvm.org

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

Clang fails with assertion with -O3 -march=skx option.

Reproducer:
unsigned char a, b, c, d;

void foo() {
  d = (!b > c) + (a != 0);
}

Error:
>$ clang++ -w -O3 -march=skx -c repr.cpp
llvm-trunk/lib/CodeGen/SelectionDAG/SelectionDAG.cpp:3975: llvm::SDValue
llvm::SelectionDAG::getNode(unsigned int, const llvm::SDLoc&, llvm::EVT,
llvm::SDValue, llvm::SDValue, const llvm::SDNodeFlags*): Assertion
`N1.getValueType() == N2.getValueType() && N1.getValueType() == VT && "Binary
operator types must match!"' failed.

1.      <eof> parser at end of file
2.      Code generation
3.      Running pass 'Function Pass Manager' on module
'func_reduced_clang_skx_opt.cpp'.
4.      Running pass 'X86 DAG->DAG Instruction Selection' on function
'@_Z3foov'

LLVM version:
clang version 5.0.0 (trunk 297835)
Target: x86_64-unknown-linux-gnu
Thread model: posix
InstalledDir: /home/vsevolod/workspace/llvm/bin-trunk/bin
Found candidate GCC installation: /usr/lib/gcc/i686-linux-gnu/5
Found candidate GCC installation: /usr/lib/gcc/i686-linux-gnu/5.4.0
Found candidate GCC installation: /usr/lib/gcc/i686-linux-gnu/6
Found candidate GCC installation: /usr/lib/gcc/i686-linux-gnu/6.0.0
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/5
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/5.4.0
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/6
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/6.0.0
Selected GCC installation: /usr/lib/gcc/x86_64-linux-gnu/5.4.0
Candidate multilib: .;@m64
Candidate multilib: 32;@m32
Candidate multilib: x32;@mx32
Selected multilib: .;@m64

-- 
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/20170316/e600a6a5/attachment.html>