[llvm-bugs] [Bug 42701] New: Assertion `(ResTy == Op0Ty && ResTy == Op1Ty) && "type mismatch`

[via llvm-bugs]

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

            Bug ID: 42701
           Summary: Assertion `(ResTy == Op0Ty && ResTy == Op1Ty) && "type
                    mismatch`
           Product: libraries
           Version: trunk
          Hardware: PC
                OS: Windows NT
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: GlobalISel
          Assignee: unassignedbugs at nondot.org
          Reporter: llvm-dev at redking.me.uk
                CC: llvm-bugs at lists.llvm.org, quentin.colombet at gmail.com

Identified in https://bugs.chromium.org/p/oss-fuzz/issues/detail?id=15948

; ModuleID = 'bugpoint-reduced-simplified.bc'
source_filename = "llvm/test/Transforms/InstCombine/sdiv-2.ll"
target triple = "aarch64-unknown-unknown"

; Function Attrs: nounwind
define fastcc i32 @func(i32 %length) #0 {
entry:
  %0 = icmp ne i32 %length, -1
  %iftmp.13.0 = select i1 %0, i128 0, i128 200000000
  %1 = sdiv i128 %iftmp.13.0, 10
  br label %bb5

bb5:                                              ; preds = %bb8, %entry
  %v.0 = phi i128 [ 0, %entry ], [ %6, %bb8 ]
  %2 = icmp sgt i128 %v.0, %1
  br i1 %2, label %overflow, label %bb7

bb7:                                              ; preds = %bb5
  %3 = mul i128 %v.0, 10
  %4 = sub i128 %iftmp.13.0, 0
  %5 = icmp slt i128 %4, %3
  br i1 %5, label %overflow, label %bb8

bb8:                                              ; preds = %bb7
  %6 = add i128 0, %3
  br label %bb5

overflow:                                         ; preds = %bb7, %bb5
  ret i32 1
}

attributes #0 = { nounwind }

llc -mtriple=aarch64-- -global-isel fuzz.ll  -o -
        .text
        .file   "sdiv-2.ll"
llc:
/home/simon/LLVM/llvm-project/llvm/lib/CodeGen/GlobalISel/MachineIRBuilder.cpp:907:
void llvm::MachineIRBuilder::validateSelectOp(const llvm::LLT&, const
llvm::LLT&, const llvm::LLT&, const llvm::LLT&): Assertion `(ResTy == Op0Ty &&
ResTy == Op1Ty) && "type mismatch"' failed.

-- 
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/20190721/6a0f7c98/attachment-0001.html>