You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
...and there's a seemingly simple fix, but the original patch didn't include any tests for UADDO / SADDO, so we could just remove those as the fast fix.
Extended Description
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
The text was updated successfully, but these errors were encountered: