const APInt *MulC;
if (ICmpInst::isEquality(Pred) &&
((match(LHS, m_NUWMul(m_Value(), m_APIntAllowUndef(MulC))) &&
- C->urem(*MulC) != 0) ||
+ *MulC != 0 && C->urem(*MulC) != 0) ||
(match(LHS, m_NSWMul(m_Value(), m_APIntAllowUndef(MulC))) &&
- C->srem(*MulC) != 0)))
+ *MulC != 0 && C->srem(*MulC) != 0)))
return ConstantInt::get(ITy, Pred == ICmpInst::ICMP_NE);
return nullptr;
%r = icmp eq i8 %m, -84
ret i1 %r
}
+
+; Don't crash trying to div/rem-by-zero.
+
+define i1 @mul_nsw_by_zero(i8 %x) {
+; CHECK-LABEL: @mul_nsw_by_zero(
+; CHECK-NEXT: bb1:
+; CHECK-NEXT: br label [[BB3:%.*]]
+; CHECK: bb2:
+; CHECK-NEXT: ret i1 false
+; CHECK: bb3:
+; CHECK-NEXT: br label [[BB2:%.*]]
+;
+bb1:
+ br label %bb3
+bb2:
+ %r = icmp eq i8 %m, 45
+ ret i1 %r
+bb3:
+ %m = mul nsw i8 %x, 0
+ br label %bb2
+}
+
+; Don't crash trying to div/rem-by-zero.
+
+define i1 @mul_nuw_by_zero(i8 %x) {
+; CHECK-LABEL: @mul_nuw_by_zero(
+; CHECK-NEXT: bb1:
+; CHECK-NEXT: br label [[BB3:%.*]]
+; CHECK: bb2:
+; CHECK-NEXT: ret i1 false
+; CHECK: bb3:
+; CHECK-NEXT: br label [[BB2:%.*]]
+;
+bb1:
+ br label %bb3
+bb2:
+ %r = icmp eq i8 %m, 45
+ ret i1 %r
+bb3:
+ %m = mul nuw i8 %x, 0
+ br label %bb2
+}