[llvm-bugs] [Bug 51238] New: [DAG] Assertion in DAGCombiner::visitADDLike - Binary operator types must match!

[via llvm-bugs]

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

            Bug ID: 51238
           Summary: [DAG] Assertion in DAGCombiner::visitADDLike - Binary
                    operator types must match!
           Product: libraries
           Version: trunk
          Hardware: PC
                OS: Windows NT
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: Common Code Generator Code
          Assignee: unassignedbugs at nondot.org
          Reporter: llvm-dev at redking.me.uk
                CC: llvm-bugs at lists.llvm.org

Reduced from https://bugs.chromium.org/p/oss-fuzz/issues/detail?id=36608

; ModuleID = 'bugpoint-reduced-simplified.bc'
source_filename = "llvm/test/Transforms/InstCombine/max-of-nots.ll"
target triple = "x86_64-unknown-linux-gnu"

define i8 @umin3_not(i8 %x, i8 %y, i8 %z) {
bb:
   %ny = xor i8 %y, -1
   %nz = xor i8 %z, -1
   %minxz = select i1 undef, i8 undef, i8 %nz
   %cmpyz = icmp ult i8 %ny, %nz
   %B1 = add i1 %cmpyz, true
   %minyz = select i1 %B1, i8 0, i8 %nz
   %r = select i1 undef, i8 %minxz, i8 %minyz
   ret i8 %r
}

E:\llvm>ninja\bin\llc fuzz.ll -o -
        .text
        .file   "max-of-nots.ll"
Assertion failed: N1.getValueType() == N2.getValueType() && N1.getValueType()
== VT && "Binary operator types must match!", file
E:\llvm\llvm-project\llvm\lib\CodeGen\SelectionDAG\SelectionDAG.cpp, line 5605

-- 
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/20210728/003f14fb/attachment.html>