[InstCombine] Reassociate (C * X) * Y in foldICmpMulConstant

[junaire]

Summary

The existing logic in foldICmpMulConstant can only optimize the
constant if we have (X * Y) * C. However, reassociate pass currently
produces this form with the constant on the inner multiply, so let's
reassociate it in foldICmpMulConstant to enable further optimizations.

Related issue: https://github.com/llvm/llvm-project/issues/61538

Signed-off-by: Jun Zhang <[e-mail]>

[junaire]

llvm/lib/Transforms/InstCombine/InstCombineCompares.cpp

2032 ↗

(On Diff #513152)

There's one corner case this doesn't handle, consider:
2 * X * Y > 0
2 * X will be folded into a shl. I'll appreciate it if anyone can suggest a more general way to match this.

[junaire]

dummy update to trigger CI

[nikic]

As I understand it, this is a reassociation problem. Once you reassociate the multiply from (X * C) * Y to (X * Y) * C this will automatically fold via the existing logic in foldICmpMulConstant(). I don't really want this logic to be duplicated.

It looks like reassociate currently produces this form with the constant on the inner multiply, but I'm not sure whether that's something that can be changed or not.

[junaire]

In D148210#4264628, @nikic wrote:

As I understand it, this is a reassociation problem. Once you reassociate the multiply from (X * C) * Y to (X * Y) * C this will automatically fold via the existing logic in foldICmpMulConstant(). I don't really want this logic to be duplicated.

It looks like reassociate currently produces this form with the constant on the inner multiply, but I'm not sure whether that's something that can be changed or not.

Thanks, that makes sense and solve my confusion when I wrote this. Should I try to fix the missing optimization by looking into the reassociate issue or the patch doesn't make sense at all?

[nikic]

In D148210#4264657, @junaire wrote:

In D148210#4264628, @nikic wrote:

As I understand it, this is a reassociation problem. Once you reassociate the multiply from (X * C) * Y to (X * Y) * C this will automatically fold via the existing logic in foldICmpMulConstant(). I don't really want this logic to be duplicated.

It looks like reassociate currently produces this form with the constant on the inner multiply, but I'm not sure whether that's something that can be changed or not.

Thanks, that makes sense and solve my confusion when I wrote this. Should I try to fix the missing optimization by looking into the reassociate issue or the patch doesn't make sense at all?

I took a quick look at reassociate, and I don't think it's possible to change what it does. Reversing the order is not really compatible with the ranking it performs.

In that case, I think we do want to handle this here, but we should try to extract the common code from foldICmpMulConstant(). I'm thinking that the helper function should accept the multiply constant, the icmp constant, the predicate and the OBO flags, and then return the new predicate and constant if possible. Then we'll call that function to check whether the reassociated form can fold and if so, we can actually materialize the new multiply and the new icmp.

[junaire]

In D148210#4264845, @nikic wrote:

In D148210#4264657, @junaire wrote:

In D148210#4264628, @nikic wrote:

As I understand it, this is a reassociation problem. Once you reassociate the multiply from (X * C) * Y to (X * Y) * C this will automatically fold via the existing logic in foldICmpMulConstant(). I don't really want this logic to be duplicated.

It looks like reassociate currently produces this form with the constant on the inner multiply, but I'm not sure whether that's something that can be changed or not.

Thanks, that makes sense and solve my confusion when I wrote this. Should I try to fix the missing optimization by looking into the reassociate issue or the patch doesn't make sense at all?

I took a quick look at reassociate, and I don't think it's possible to change what it does. Reversing the order is not really compatible with the ranking it performs.

In that case, I think we do want to handle this here, but we should try to extract the common code from foldICmpMulConstant(). I'm thinking that the helper function should accept the multiply constant, the icmp constant, the predicate and the OBO flags, and then return the new predicate and constant if possible. Then we'll call that function to check whether the reassociated form can fold and if so, we can actually materialize the new multiply and the new icmp.

Thanks, I'll try what you proposed.

[junaire]

Make a helper function.

[junaire]

In D148210#4264845, @nikic wrote:

In D148210#4264657, @junaire wrote:

In D148210#4264628, @nikic wrote:

As I understand it, this is a reassociation problem. Once you reassociate the multiply from (X * C) * Y to (X * Y) * C this will automatically fold via the existing logic in foldICmpMulConstant(). I don't really want this logic to be duplicated.

It looks like reassociate currently produces this form with the constant on the inner multiply, but I'm not sure whether that's something that can be changed or not.

Thanks, that makes sense and solve my confusion when I wrote this. Should I try to fix the missing optimization by looking into the reassociate issue or the patch doesn't make sense at all?

I took a quick look at reassociate, and I don't think it's possible to change what it does. Reversing the order is not really compatible with the ranking it performs.

In that case, I think we do want to handle this here, but we should try to extract the common code from foldICmpMulConstant(). I'm thinking that the helper function should accept the multiply constant, the icmp constant, the predicate and the OBO flags, and then return the new predicate and constant if possible. Then we'll call that function to check whether the reassociated form can fold and if so, we can actually materialize the new multiply and the new icmp.

I tried to unify icmp((MulC * X) * Y, C) and icmp(X * MulC, C) but it looks like adds more complexity. Because we have to extract the MulC bit by bit in case 1 in order to also get the nsw flags. And for case 2 MulC is needed in the below folds (MulC can't be zero or X * MulC == C --> X == C/MulC doesn't work anymore). What's more C < 0 is OK for case 2 but it doesn't apply to case 1. That said, though these cases have almost the same effect, they don't actually share too much common code...

[junaire]

Maybe we can just make helper function for icmp((MulC * X) * Y, C) as a special case

[junaire]

.

[junaire]

early bail out

[junaire]

Simplify

[nikic]

In D148210#4271709, @junaire wrote:

I tried to unify icmp((MulC * X) * Y, C) and icmp(X * MulC, C) but it looks like adds more complexity. Because we have to extract the MulC bit by bit in case 1 in order to also get the nsw flags. And for case 2 MulC is needed in the below folds (MulC can't be zero or X * MulC == C --> X == C/MulC doesn't work anymore). What's more C < 0 is OK for case 2 but it doesn't apply to case 1. That said, though these cases have almost the same effect, they don't actually share too much common code...

I'm not sure what you mean here. Why does MulC need to be extracted bit by bit? Don't we just need to implement these two rules on whether nuw/nsw can be preserved during reassociation? https://alive2.llvm.org/ce/z/KKtP62 https://alive2.llvm.org/ce/z/jgrYGB

[goldstein.w.n]

llvm/lib/Transforms/InstCombine/InstCombineCompares.cpp

2049 ↗

(On Diff #513968)

Swap order of this conditions.

2057 ↗

(On Diff #513968)

match(Mul, m_c_Mul(m_Mul(m_Value(X), m_APInt(C)), m_Value(Y))

You don't need m_c_Mul when you are searching for constant being of canonicalization.

Also to avoid excessive scope depth, can you invert if the if i.e:
if(!match(...)) return nullptr

Likewise below when checking nsw/MulC s> 0

2060 ↗

(On Diff #513968)

the "mul" tag is probably not needed. Also I think generally you shouldn't be creating instructions unless you know its going to be used. You can still return nullptr here.

2061 ↗

(On Diff #513968)

ConstantInt:: -> Constant::

[bcl5980]

llvm/lib/Transforms/InstCombine/InstCombineCompares.cpp

2056 ↗

(On Diff #513968)

It looks we need to limit both * to one-use.

[bcl5980]

llvm/lib/Transforms/InstCombine/InstCombineCompares.cpp

2056 ↗

(On Diff #513968)

At least outer mul need one-use.

[junaire]

Try what @nikic proposed.

[junaire]

In D148210#4271835, @nikic wrote:

In D148210#4271709, @junaire wrote:

I tried to unify icmp((MulC * X) * Y, C) and icmp(X * MulC, C) but it looks like adds more complexity. Because we have to extract the MulC bit by bit in case 1 in order to also get the nsw flags. And for case 2 MulC is needed in the below folds (MulC can't be zero or X * MulC == C --> X == C/MulC doesn't work anymore). What's more C < 0 is OK for case 2 but it doesn't apply to case 1. That said, though these cases have almost the same effect, they don't actually share too much common code...

I'm not sure what you mean here. Why does MulC need to be extracted bit by bit? Don't we just need to implement these two rules on whether nuw/nsw can be preserved during reassociation? https://alive2.llvm.org/ce/z/KKtP62 https://alive2.llvm.org/ce/z/jgrYGB

Thanks, I think I get your ideas. Note I didn't add folds for nuw since I found the existing logic works great for it (https://alive2.llvm.org/ce/z/r_oHlt)
Note we should also reassociate for shl since X * Power_Of_N will be fold to X << N, I left it as a TODO. But I'm OK with that if you want to do it in this patch :)

[junaire]

Fix comments

[junaire]

handle shl cuz why not

[junaire]

Rebase

[junaire]

clang-format

[goldstein.w.n]

llvm/lib/Transforms/InstCombine/InstCombineCompares.cpp

2071 ↗

(On Diff #515004)

1 << C, not C << C?

llvm/test/Transforms/InstCombine/icmp.ll

4967–5803

Add some tests for the shl case. Better yet split adding the shl logic to a follow up patch.

[bcl5980]

llvm/lib/Transforms/InstCombine/InstCombineCompares.cpp

2043 ↗

(On Diff #515004)

I'm not sure what are you going to do now. If you just want to reassociate C to outer mul, there is no extra condition. https://alive2.llvm.org/ce/z/v-f92Q
The code should be simple:

BinaryOperator *InnerMul;
Value *Y;
Constant *InnerC;
if (match(Mul, m_OneUse(m_c_Mul(m_BinOp(InnerMul), m_Value(Y)))) &&
    match(InnerMul, m_Mul(m_Value(X), m_Constant(InnerC)))) {
  Value *NewInner = Builder.CreateMul(X, Y);
  Value *NewMul = Builder.CreateMul(NewInner, InnerC);
  return new ICmpInst(Pred, NewMul, Mul->getOperand(1));
}

If you want to keep nsw/nuw flags, you can set the flag after create NewMul like:

if (!InnerC->isZeroValue() && Mul->hasNoUnsignedWrap() &&
    InnerMul->hasNoUnsignedWrap()) {
  cast<BinaryOperator>(NewInner)->setHasNoUnsignedWrap();
  cast<BinaryOperator>(NewMul)->setHasNoUnsignedWrap();
} else {
  Constant *Zero = Constant::getNullValue(InnerC->getType());
  Constant *InnerCSleZero =
      ConstantExpr::getCompare(ICmpInst::ICMP_SLE, InnerC, Zero);
  if (InnerCSleZero->isZeroValue() && Mul->hasNoSignedWrap() &&
      InnerMul->hasNoSignedWrap()) {
    cast<BinaryOperator>(NewInner)->setHasNoSignedWrap();
    cast<BinaryOperator>(NewMul)->setHasNoSignedWrap();
  }
}

2052 ↗

(On Diff #515004)

Do we really need llvm:: here? There is already using namespace llvm in this file at line 30.

[junaire]

llvm/lib/Transforms/InstCombine/InstCombineCompares.cpp

2043 ↗

(On Diff #515004)

IIUC we want to reassociate (X * C) * Y to (X * Y) * C if they both has nsw/nuw flags so they can be folded by the existing logic in foldICmpMulConstant.

I'm not sure what are you going to do now. If you just want to reassociate C to outer mul, there is no extra condition. https://alive2.llvm.org/ce/z/v-f92Q
The code should be simple:

BinaryOperator *InnerMul;
Value *Y;
Constant *InnerC;
if (match(Mul, m_OneUse(m_c_Mul(m_BinOp(InnerMul), m_Value(Y)))) &&
    match(InnerMul, m_Mul(m_Value(X), m_Constant(InnerC)))) {
  Value *NewInner = Builder.CreateMul(X, Y);
  Value *NewMul = Builder.CreateMul(NewInner, InnerC);
  return new ICmpInst(Pred, NewMul, Mul->getOperand(1));
}

The issue is that if the inner mul's constant operand is a power of 2, it will be folded to an shl. like:

%mul = shl nsw i8 %a, i8 1
%mul2 = mul nsw i8 %b, %mul

Then the pattern match you proposed doesn't work anymore.

If you want to keep nsw/nuw flags, you can set the flag after create NewMul like:

if (!InnerC->isZeroValue() && Mul->hasNoUnsignedWrap() &&
    InnerMul->hasNoUnsignedWrap()) {
  cast<BinaryOperator>(NewInner)->setHasNoUnsignedWrap();
  cast<BinaryOperator>(NewMul)->setHasNoUnsignedWrap();
} else {
  Constant *Zero = Constant::getNullValue(InnerC->getType());
  Constant *InnerCSleZero =
      ConstantExpr::getCompare(ICmpInst::ICMP_SLE, InnerC, Zero);
  if (InnerCSleZero->isZeroValue() && Mul->hasNoSignedWrap() &&
      InnerMul->hasNoSignedWrap()) {
    cast<BinaryOperator>(NewInner)->setHasNoSignedWrap();
    cast<BinaryOperator>(NewMul)->setHasNoSignedWrap();
  }
}

2052 ↗

(On Diff #515004)

Do we really need llvm:: here? There is already using namespace llvm in this file at line 30.

Thanks, fixed.

2071 ↗

(On Diff #515004)

1 << C, not C << C?

good catch, fixed. Thx.

llvm/test/Transforms/InstCombine/icmp.ll

4967–5803

I thought I already added tests for mul(shl(X, C), Y)? I don't have a strong opinion about whether we should delay shl support, I think that's easy to do?

[junaire]

Address comments.

[junaire]

fix nit.

[bcl5980]

llvm/lib/Transforms/InstCombine/InstCombineCompares.cpp

2105 ↗

(On Diff #515240)

should be

return new ICmpInst(Pred, NewMul, Mul->getOperand(1));

2043 ↗

(On Diff #515004)

SHL is not the main thing I discuss here, we can support shl similar to mul. What I mean is do we really need to limit the transform to nsw/nuw. Always hoist C to outer mul should be a more general solution I think.

[junaire]

llvm/lib/Transforms/InstCombine/InstCombineCompares.cpp

2105 ↗

(On Diff #515240)

Why return it? It doesn't make sense to me. I thought what we want to do is reassociate (X * C) * Y to (X * Y) * C so the later code can recognize the pattern and fold it. Thus we reuse the existing logic.

2043 ↗

(On Diff #515004)

Yeah, we can always hoist C to outer mul but does that have any benefit? We hoist it here cuz we know we can eliminate it later in foldICmpMulConstant. Can we do the same thing for muls that doesn't have nsw/nuw? I took a quick look at foldICmpMulConstant and believe the answer it no. Correct me if I'm wrong.

[bcl5980]

llvm/lib/Transforms/InstCombine/InstCombineCompares.cpp

2105 ↗

(On Diff #515240)

After return you still can reuse existing. I'm not sure if currect code will break something or not but I don't think we have similar usage in instcombine.

2043 ↗

(On Diff #515004)

That is not for foldICmpMulConstant only. Constant may match more patterns generally. For example, In foldICmpBinOp:
icmp eq/ne (X * C), (Y * C) --> icmp (X & Mask), (Y & Mask)
@nikic What do you think about this?

[junaire]

Always reassociate despite we have OBO flags or not.

[junaire]

llvm/lib/Transforms/InstCombine/InstCombineCompares.cpp

2105 ↗

(On Diff #515240)

Hi @bcl5980, thanks for your suggestion, I appreciate it. However, after I tried to replace replaceInstUsesWith(*Mul, NewMul); to return new ICmpInst(Pred, NewMul, Mul->getOperand(1));, the folds in my tests stop working. I took another deep look and I think your suggestion should be right, let me try to investigate why... (any more comments are welcome

2043 ↗

(On Diff #515004)

OK! I updated the patch and added a test when we don't have nsw.

[junaire]

Simplify

[junaire]

replace replaceInstUsesWith(*Mul, NewMul); with return new ICmpInst(Pred, NewMul, ConstantInt::get(Mul->getType(), C));

[junaire]

llvm/lib/Transforms/InstCombine/InstCombineCompares.cpp

2105 ↗

(On Diff #515240)

So that's new ICmpInst(Pred, NewMul, ConstantInt::get(Mul->getType(), C));, not return new ICmpInst(Pred, NewMul, Mul->getOperand(1));. Fixed, thanks!

[goldstein.w.n]

llvm/test/Transforms/InstCombine/icmp.ll

4967–5803

I don't see any tests with nuw or for the comination of the flags.

[junaire]

Add tests for nuw

[junaire]

llvm/test/Transforms/InstCombine/icmp.ll

4967–5803

Thanks, I added more tests. PTAL :)

[junaire]

The review process seems to be stuck. What's your take on the patch? @nikic

[junaire]

gentle ping :)

[junaire]

Rebase + ping :)

[junaire]

Ooops, updated a wrong diff, sorry

[nikic]

The reassociation code itself looks basically fine. The problem is how it's used. There is two ways we can do this:

1. Say that InstCombine is always going to reassociate the constant to the outside, in opposition to -reassociate. (Is there precedent for this?)
2. Factor out the logic for "will this fold" from the logic for "do the fold" in foldICmpMulConstant(). Then only "virtually" reassociate and only perform the transform if it's actually going to simplify.

The current implementation is in between those two: It only reassociates if there's a comparison, but there's no actual guarantee that the resulting reassociation will actually fold (unless I'm missing something).

Option 2 is what I was suggesting before. I'm open to considering option 1, but I don't full understand the implications. I think one problem could be that this breaks up a multiply that would otherwise be loop invariant.

llvm/lib/Transforms/InstCombine/InstCombineCompares.cpp

2047 ↗

(On Diff #522119)

IRBuilderBase &

2050 ↗

(On Diff #522119)

It looks like this variable declaration can be moved into the if block below.

2053 ↗

(On Diff #522119)

I'd probably accept CI as APInt here as well, and move creation of the ConstantInt into this helper.

2073 ↗

(On Diff #522119)

Unnecessary newline.

2078 ↗

(On Diff #522119)

Should check here that the shift is valid, otherwise we'll assert. (It will usually get simplified, but is not guaranteed.)

[junaire]

Been busy working on other topics so just address some nit issues to indicate the patch isn't dead yet

llvm/test/Transforms/InstCombine/icmp.ll

 ; CHECK-NEXT:    call void @use_i8(i8 [[B]])
 ; CHECK-NEXT:    [[CMP:%.*]] = icmp sgt i8 [[A]], -1
 ; CHECK-NEXT:    ret i1 [[CMP]]
 ;
   %b = or i8 %a, 24
   call void @use_i8(i8 %b)
   %cmp = icmp sgt i8 %b, 0
   ret i1 %cmp
 }
+
+define i1 @mul_mul_sge_zero(i8 %a, i8 %b) {
+; CHECK-LABEL: @mul_mul_sge_zero(
+; CHECK-NEXT:    [[MUL:%.*]] = mul nsw i8 [[A:%.*]], 42
+; CHECK-NEXT:    [[MUL2:%.*]] = mul nsw i8 [[MUL]], [[B:%.*]]
+; CHECK-NEXT:    [[CMP:%.*]] = icmp sgt i8 [[MUL2]], -1
+; CHECK-NEXT:    ret i1 [[CMP]]
+;
+  %mul = mul nsw i8 %a, 42
+  %mul2 = mul nsw i8 %b, %mul
+  %cmp = icmp sge i8 %mul2, 0
+  ret i1 %cmp
+}
+
+define <2 x i1> @mul_mul_sge_zero_vec(<2 x i8> %a, <2 x i8> %b) {
+; CHECK-LABEL: @mul_mul_sge_zero_vec(
+; CHECK-NEXT:    [[MUL:%.*]] = mul nsw <2 x i8> [[A:%.*]], <i8 42, i8 42>
+; CHECK-NEXT:    [[MUL2:%.*]] = mul nsw <2 x i8> [[MUL]], [[B:%.*]]
+; CHECK-NEXT:    [[CMP:%.*]] = icmp sgt <2 x i8> [[MUL2]], <i8 -1, i8 -1>
+; CHECK-NEXT:    ret <2 x i1> [[CMP]]
+;
+  %mul = mul nsw <2 x i8> %a, <i8 42, i8 42>
+  %mul2 = mul nsw <2 x i8> %b, %mul
+  %cmp = icmp sge <2 x i8> %mul2, <i8 0, i8 0>
+  ret <2 x i1> %cmp
+}
+
+define i1 @mul_mul_sge_one(i8 %a, i8 %b) {
+; CHECK-LABEL: @mul_mul_sge_one(
+; CHECK-NEXT:    [[MUL:%.*]] = mul nsw i8 [[A:%.*]], 42
+; CHECK-NEXT:    [[MUL2:%.*]] = mul nsw i8 [[MUL]], [[B:%.*]]
+; CHECK-NEXT:    [[CMP:%.*]] = icmp sgt i8 [[MUL2]], 0
+; CHECK-NEXT:    ret i1 [[CMP]]
+;
+  %mul = mul nsw i8 %a, 42
+  %mul2 = mul nsw i8 %b, %mul
+  %cmp = icmp sge i8 %mul2, 1
+  ret i1 %cmp
+}
+
+define <2 x i1> @mul_mul_sge_one_vec(<2 x i8> %a, <2 x i8> %b) {
+; CHECK-LABEL: @mul_mul_sge_one_vec(
+; CHECK-NEXT:    [[MUL:%.*]] = mul nsw <2 x i8> [[A:%.*]], <i8 42, i8 42>
+; CHECK-NEXT:    [[MUL2:%.*]] = mul nsw <2 x i8> [[MUL]], [[B:%.*]]
+; CHECK-NEXT:    [[CMP:%.*]] = icmp sgt <2 x i8> [[MUL2]], zeroinitializer
+; CHECK-NEXT:    ret <2 x i1> [[CMP]]
+;
+  %mul = mul nsw <2 x i8> %a, <i8 42, i8 42>
+  %mul2 = mul nsw <2 x i8> %b, %mul
+  %cmp = icmp sge <2 x i8> %mul2, <i8 1, i8 1>
+  ret <2 x i1> %cmp
+}
+
+define i1 @mul_mul_slt_zero(i8 %a, i8 %b) {
+; CHECK-LABEL: @mul_mul_slt_zero(
+; CHECK-NEXT:    [[MUL:%.*]] = mul nsw i8 [[A:%.*]], 42
+; CHECK-NEXT:    [[MUL2:%.*]] = mul nsw i8 [[MUL]], [[B:%.*]]
+; CHECK-NEXT:    [[CMP:%.*]] = icmp slt i8 [[MUL2]], 0
+; CHECK-NEXT:    ret i1 [[CMP]]
+;
+  %mul = mul nsw i8 %a, 42
+  %mul2 = mul nsw i8 %b, %mul
+  %cmp = icmp slt i8 %mul2, 0
+  ret i1 %cmp
+}
+
+define <2 x i1> @mul_mul_slt_zero_vec(<2 x i8> %a, <2 x i8> %b) {
+; CHECK-LABEL: @mul_mul_slt_zero_vec(
+; CHECK-NEXT:    [[MUL:%.*]] = mul nsw <2 x i8> [[A:%.*]], <i8 42, i8 42>
+; CHECK-NEXT:    [[MUL2:%.*]] = mul nsw <2 x i8> [[MUL]], [[B:%.*]]
+; CHECK-NEXT:    [[CMP:%.*]] = icmp slt <2 x i8> [[MUL2]], zeroinitializer
+; CHECK-NEXT:    ret <2 x i1> [[CMP]]
+;
+  %mul = mul nsw <2 x i8> %a, <i8 42, i8 42>
+  %mul2 = mul nsw <2 x i8> %b, %mul
+  %cmp = icmp slt <2 x i8> %mul2, <i8 0, i8 0>
+  ret <2 x i1> %cmp
+}
+
+define i1 @mul_mul_slt_one(i8 %a, i8 %b) {
+; CHECK-LABEL: @mul_mul_slt_one(
+; CHECK-NEXT:    [[MUL:%.*]] = mul nsw i8 [[A:%.*]], 42
+; CHECK-NEXT:    [[MUL2:%.*]] = mul nsw i8 [[MUL]], [[B:%.*]]
+; CHECK-NEXT:    [[CMP:%.*]] = icmp slt i8 [[MUL2]], 1
+; CHECK-NEXT:    ret i1 [[CMP]]
+;
+  %mul = mul nsw i8 %a, 42
+  %mul2 = mul nsw i8 %b, %mul
+  %cmp = icmp slt i8 %mul2, 1
+  ret i1 %cmp
+}
+
+define <2 x i1> @mul_mul_slt_one_vec(<2 x i8> %a, <2 x i8> %b) {
+; CHECK-LABEL: @mul_mul_slt_one_vec(
+; CHECK-NEXT:    [[MUL:%.*]] = mul nsw <2 x i8> [[A:%.*]], <i8 42, i8 42>
+; CHECK-NEXT:    [[MUL2:%.*]] = mul nsw <2 x i8> [[MUL]], [[B:%.*]]
+; CHECK-NEXT:    [[CMP:%.*]] = icmp slt <2 x i8> [[MUL2]], <i8 1, i8 1>
+; CHECK-NEXT:    ret <2 x i1> [[CMP]]
+;
+  %mul = mul nsw <2 x i8> %a, <i8 42, i8 42>
+  %mul2 = mul nsw <2 x i8> %b, %mul
+  %cmp = icmp slt <2 x i8> %mul2, <i8 1, i8 1>
+  ret <2 x i1> %cmp
+}
+
+define i1 @mul_mul_sle_zero(i8 %a, i8 %b) {
+; CHECK-LABEL: @mul_mul_sle_zero(
+; CHECK-NEXT:    [[MUL:%.*]] = mul nsw i8 [[A:%.*]], 42
+; CHECK-NEXT:    [[MUL2:%.*]] = mul nsw i8 [[MUL]], [[B:%.*]]
+; CHECK-NEXT:    [[CMP:%.*]] = icmp slt i8 [[MUL2]], 1
+; CHECK-NEXT:    ret i1 [[CMP]]
+;
+  %mul = mul nsw i8 %a, 42
+  %mul2 = mul nsw i8 %b, %mul
+  %cmp = icmp sle i8 %mul2, 0
+  ret i1 %cmp
+}
+
+define <2 x i1> @mul_mul_sle_zero_vec(<2 x i8> %a, <2 x i8> %b) {
+; CHECK-LABEL: @mul_mul_sle_zero_vec(
+; CHECK-NEXT:    [[MUL:%.*]] = mul nsw <2 x i8> [[A:%.*]], <i8 42, i8 42>
+; CHECK-NEXT:    [[MUL2:%.*]] = mul nsw <2 x i8> [[MUL]], [[B:%.*]]
+; CHECK-NEXT:    [[CMP:%.*]] = icmp slt <2 x i8> [[MUL2]], <i8 1, i8 1>
+; CHECK-NEXT:    ret <2 x i1> [[CMP]]
+;
+  %mul = mul nsw <2 x i8> %a, <i8 42, i8 42>
+  %mul2 = mul nsw <2 x i8> %b, %mul
+  %cmp = icmp sle <2 x i8> %mul2, <i8 0, i8 0>
+  ret <2 x i1> %cmp
+}
+
+define i1 @mul_mul_sle_negone(i8 %a, i8 %b) {
+; CHECK-LABEL: @mul_mul_sle_negone(
+; CHECK-NEXT:    [[MUL:%.*]] = mul nsw i8 [[A:%.*]], 42
+; CHECK-NEXT:    [[MUL2:%.*]] = mul nsw i8 [[MUL]], [[B:%.*]]
+; CHECK-NEXT:    [[CMP:%.*]] = icmp slt i8 [[MUL2]], 0
+; CHECK-NEXT:    ret i1 [[CMP]]
+;
+  %mul = mul nsw i8 %a, 42
+  %mul2 = mul nsw i8 %b, %mul
+  %cmp = icmp sle i8 %mul2, -1
+  ret i1 %cmp
+}
+
+define <2 x i1> @mul_mul_sle_negone_vec(<2 x i8> %a, <2 x i8> %b) {
+; CHECK-LABEL: @mul_mul_sle_negone_vec(
+; CHECK-NEXT:    [[MUL:%.*]] = mul nsw <2 x i8> [[A:%.*]], <i8 42, i8 42>
+; CHECK-NEXT:    [[MUL2:%.*]] = mul nsw <2 x i8> [[MUL]], [[B:%.*]]
+; CHECK-NEXT:    [[CMP:%.*]] = icmp slt <2 x i8> [[MUL2]], zeroinitializer
+; CHECK-NEXT:    ret <2 x i1> [[CMP]]
+;
+  %mul = mul nsw <2 x i8> %a, <i8 42, i8 42>
+  %mul2 = mul nsw <2 x i8> %b, %mul
+  %cmp = icmp sle <2 x i8> %mul2, <i8 -1, i8 -1>
+  ret <2 x i1> %cmp
+}
+
+define i1 @mul_mul_sgt_zero(i8 %a, i8 %b) {
+; CHECK-LABEL: @mul_mul_sgt_zero(
+; CHECK-NEXT:    [[MUL:%.*]] = mul nsw i8 [[A:%.*]], 42
+; CHECK-NEXT:    [[MUL2:%.*]] = mul nsw i8 [[MUL]], [[B:%.*]]
+; CHECK-NEXT:    [[CMP:%.*]] = icmp sgt i8 [[MUL2]], 0
+; CHECK-NEXT:    ret i1 [[CMP]]
+;
+  %mul = mul nsw i8 %a, 42
+  %mul2 = mul nsw i8 %b, %mul
+  %cmp = icmp sgt i8 %mul2, 0
+  ret i1 %cmp
+}
+
+define <2 x i1> @mul_mul_sgt_zero_vec(<2 x i8> %a, <2 x i8> %b) {
+; CHECK-LABEL: @mul_mul_sgt_zero_vec(
+; CHECK-NEXT:    [[MUL:%.*]] = mul nsw <2 x i8> [[A:%.*]], <i8 42, i8 42>
+; CHECK-NEXT:    [[MUL2:%.*]] = mul nsw <2 x i8> [[MUL]], [[B:%.*]]
+; CHECK-NEXT:    [[CMP:%.*]] = icmp sgt <2 x i8> [[MUL2]], zeroinitializer
+; CHECK-NEXT:    ret <2 x i1> [[CMP]]
+;
+  %mul = mul nsw <2 x i8> %a, <i8 42, i8 42>
+  %mul2 = mul nsw <2 x i8> %b, %mul
+  %cmp = icmp sgt <2 x i8> %mul2, <i8 0, i8 0>
+  ret <2 x i1> %cmp
+}
+
+define i1 @mul_mul_sgt_negone(i8 %a, i8 %b) {
+; CHECK-LABEL: @mul_mul_sgt_negone(
+; CHECK-NEXT:    [[MUL:%.*]] = mul nsw i8 [[A:%.*]], 42
+; CHECK-NEXT:    [[MUL2:%.*]] = mul nsw i8 [[MUL]], [[B:%.*]]
+; CHECK-NEXT:    [[CMP:%.*]] = icmp sgt i8 [[MUL2]], -1
+; CHECK-NEXT:    ret i1 [[CMP]]
+;
+  %mul = mul nsw i8 %a, 42
+  %mul2 = mul nsw i8 %b, %mul
+  %cmp = icmp sgt i8 %mul2, -1
+  ret i1 %cmp
+}
+
+define <2 x i1> @mul_mul_sgt_negone_vec(<2 x i8> %a, <2 x i8> %b) {
+; CHECK-LABEL: @mul_mul_sgt_negone_vec(
+; CHECK-NEXT:    [[MUL:%.*]] = mul nsw <2 x i8> [[A:%.*]], <i8 42, i8 42>
+; CHECK-NEXT:    [[MUL2:%.*]] = mul nsw <2 x i8> [[MUL]], [[B:%.*]]
+; CHECK-NEXT:    [[CMP:%.*]] = icmp sgt <2 x i8> [[MUL2]], <i8 -1, i8 -1>
+; CHECK-NEXT:    ret <2 x i1> [[CMP]]
+;
+  %mul = mul nsw <2 x i8> %a, <i8 42, i8 42>
+  %mul2 = mul nsw <2 x i8> %b, %mul
+  %cmp = icmp sgt <2 x i8> %mul2, <i8 -1, i8 -1>
+  ret <2 x i1> %cmp
+}
+
+define i1 @shl_mul_sge_zero(i8 %a, i8 %b) {
+; CHECK-LABEL: @shl_mul_sge_zero(
+; CHECK-NEXT:    [[MUL:%.*]] = shl nsw i8 [[A:%.*]], 1
+; CHECK-NEXT:    [[MUL2:%.*]] = mul nsw i8 [[MUL]], [[B:%.*]]
+; CHECK-NEXT:    [[CMP:%.*]] = icmp sgt i8 [[MUL2]], -1
+; CHECK-NEXT:    ret i1 [[CMP]]
+;
+  %mul = shl nsw i8 %a, 1
+  %mul2 = mul nsw i8 %b, %mul
+  %cmp = icmp sge i8 %mul2, 0
+  ret i1 %cmp
+}
+
+define <2 x i1> @shl_mul_sge_zero_vec(<2 x i8> %a, <2 x i8> %b) {
+; CHECK-LABEL: @shl_mul_sge_zero_vec(
+; CHECK-NEXT:    [[MUL:%.*]] = shl nsw <2 x i8> [[A:%.*]], <i8 1, i8 1>
+; CHECK-NEXT:    [[MUL2:%.*]] = mul nsw <2 x i8> [[MUL]], [[B:%.*]]
+; CHECK-NEXT:    [[CMP:%.*]] = icmp sgt <2 x i8> [[MUL2]], <i8 -1, i8 -1>
+; CHECK-NEXT:    ret <2 x i1> [[CMP]]
+;
+  %mul = shl nsw <2 x i8> %a, <i8 1, i8 1>
+  %mul2 = mul nsw <2 x i8> %b, %mul
+  %cmp = icmp sge <2 x i8> %mul2, <i8 0, i8 0>
+  ret <2 x i1> %cmp
+}
+
+define i1 @shl_mul_sge_one(i8 %a, i8 %b) {
+; CHECK-LABEL: @shl_mul_sge_one(
+; CHECK-NEXT:    [[MUL:%.*]] = shl nsw i8 [[A:%.*]], 1
+; CHECK-NEXT:    [[MUL2:%.*]] = mul nsw i8 [[MUL]], [[B:%.*]]
+; CHECK-NEXT:    [[CMP:%.*]] = icmp sgt i8 [[MUL2]], 0
+; CHECK-NEXT:    ret i1 [[CMP]]
+;
+  %mul = shl nsw i8 %a, 1
+  %mul2 = mul nsw i8 %b, %mul
+  %cmp = icmp sge i8 %mul2, 1
+  ret i1 %cmp
+}
+
+define <2 x i1> @shl_mul_sge_one_vec(<2 x i8> %a, <2 x i8> %b) {
+; CHECK-LABEL: @shl_mul_sge_one_vec(
+; CHECK-NEXT:    [[MUL:%.*]] = shl nsw <2 x i8> [[A:%.*]], <i8 1, i8 1>
+; CHECK-NEXT:    [[MUL2:%.*]] = mul nsw <2 x i8> [[MUL]], [[B:%.*]]
+; CHECK-NEXT:    [[CMP:%.*]] = icmp sgt <2 x i8> [[MUL2]], zeroinitializer
+; CHECK-NEXT:    ret <2 x i1> [[CMP]]
+;
+  %mul = shl nsw <2 x i8> %a, <i8 1, i8 1>
+  %mul2 = mul nsw <2 x i8> %b, %mul
+  %cmp = icmp sge <2 x i8> %mul2, <i8 1, i8 1>
+  ret <2 x i1> %cmp
+}
+
+define i1 @shl_mul_slt_zero(i8 %a, i8 %b) {
+; CHECK-LABEL: @shl_mul_slt_zero(
+; CHECK-NEXT:    [[MUL:%.*]] = shl nsw i8 [[A:%.*]], 1
+; CHECK-NEXT:    [[MUL2:%.*]] = mul nsw i8 [[MUL]], [[B:%.*]]
+; CHECK-NEXT:    [[CMP:%.*]] = icmp slt i8 [[MUL2]], 0
+; CHECK-NEXT:    ret i1 [[CMP]]
+;
+  %mul = shl nsw i8 %a, 1
+  %mul2 = mul nsw i8 %b, %mul
+  %cmp = icmp slt i8 %mul2, 0
+  ret i1 %cmp
+}
+
+define <2 x i1> @shl_mul_slt_zero_vec(<2 x i8> %a, <2 x i8> %b) {
+; CHECK-LABEL: @shl_mul_slt_zero_vec(
+; CHECK-NEXT:    [[MUL:%.*]] = shl nsw <2 x i8> [[A:%.*]], <i8 1, i8 1>
+; CHECK-NEXT:    [[MUL2:%.*]] = mul nsw <2 x i8> [[MUL]], [[B:%.*]]
+; CHECK-NEXT:    [[CMP:%.*]] = icmp slt <2 x i8> [[MUL2]], zeroinitializer
+; CHECK-NEXT:    ret <2 x i1> [[CMP]]
+;
+  %mul = shl nsw <2 x i8> %a, <i8 1, i8 1>
+  %mul2 = mul nsw <2 x i8> %b, %mul
+  %cmp = icmp slt <2 x i8> %mul2, <i8 0, i8 0>
+  ret <2 x i1> %cmp
+}
+
+define i1 @shl_mul_slt_one(i8 %a, i8 %b) {
+; CHECK-LABEL: @shl_mul_slt_one(
+; CHECK-NEXT:    [[MUL:%.*]] = shl nsw i8 [[A:%.*]], 1
+; CHECK-NEXT:    [[MUL2:%.*]] = mul nsw i8 [[MUL]], [[B:%.*]]
+; CHECK-NEXT:    [[CMP:%.*]] = icmp slt i8 [[MUL2]], 1
+; CHECK-NEXT:    ret i1 [[CMP]]
+;
+  %mul = shl nsw i8 %a, 1
+  %mul2 = mul nsw i8 %b, %mul
+  %cmp = icmp slt i8 %mul2, 1
+  ret i1 %cmp
+}
+
+define <2 x i1> @shl_mul_slt_one_vec(<2 x i8> %a, <2 x i8> %b) {
+; CHECK-LABEL: @shl_mul_slt_one_vec(
+; CHECK-NEXT:    [[MUL:%.*]] = shl nsw <2 x i8> [[A:%.*]], <i8 1, i8 1>
+; CHECK-NEXT:    [[MUL2:%.*]] = mul nsw <2 x i8> [[MUL]], [[B:%.*]]
+; CHECK-NEXT:    [[CMP:%.*]] = icmp slt <2 x i8> [[MUL2]], <i8 1, i8 1>
+; CHECK-NEXT:    ret <2 x i1> [[CMP]]
+;
+  %mul = shl nsw <2 x i8> %a, <i8 1, i8 1>
+  %mul2 = mul nsw <2 x i8> %b, %mul
+  %cmp = icmp slt <2 x i8> %mul2, <i8 1, i8 1>
+  ret <2 x i1> %cmp
+}
+
+define i1 @shl_mul_sle_zero(i8 %a, i8 %b) {
+; CHECK-LABEL: @shl_mul_sle_zero(
+; CHECK-NEXT:    [[MUL:%.*]] = shl nsw i8 [[A:%.*]], 1
+; CHECK-NEXT:    [[MUL2:%.*]] = mul nsw i8 [[MUL]], [[B:%.*]]
+; CHECK-NEXT:    [[CMP:%.*]] = icmp slt i8 [[MUL2]], 1
+; CHECK-NEXT:    ret i1 [[CMP]]
+;
+  %mul = shl nsw i8 %a, 1
+  %mul2 = mul nsw i8 %b, %mul
+  %cmp = icmp sle i8 %mul2, 0
+  ret i1 %cmp
+}
+
+define <2 x i1> @shl_mul_sle_zero_vec(<2 x i8> %a, <2 x i8> %b) {
+; CHECK-LABEL: @shl_mul_sle_zero_vec(
+; CHECK-NEXT:    [[MUL:%.*]] = shl nsw <2 x i8> [[A:%.*]], <i8 1, i8 1>
+; CHECK-NEXT:    [[MUL2:%.*]] = mul nsw <2 x i8> [[MUL]], [[B:%.*]]
+; CHECK-NEXT:    [[CMP:%.*]] = icmp slt <2 x i8> [[MUL2]], <i8 1, i8 1>
+; CHECK-NEXT:    ret <2 x i1> [[CMP]]
+;
+  %mul = shl nsw <2 x i8> %a, <i8 1, i8 1>
+  %mul2 = mul nsw <2 x i8> %b, %mul
+  %cmp = icmp sle <2 x i8> %mul2, <i8 0, i8 0>
+  ret <2 x i1> %cmp
+}
+
+define i1 @shl_mul_sle_negone(i8 %a, i8 %b) {
+; CHECK-LABEL: @shl_mul_sle_negone(
+; CHECK-NEXT:    [[MUL:%.*]] = shl nsw i8 [[A:%.*]], 1
+; CHECK-NEXT:    [[MUL2:%.*]] = mul nsw i8 [[MUL]], [[B:%.*]]
+; CHECK-NEXT:    [[CMP:%.*]] = icmp slt i8 [[MUL2]], 0
+; CHECK-NEXT:    ret i1 [[CMP]]
+;
+  %mul = shl nsw i8 %a, 1
+  %mul2 = mul nsw i8 %b, %mul
+  %cmp = icmp sle i8 %mul2, -1
+  ret i1 %cmp
+}
+
+define <2 x i1> @shl_mul_sle_negone_vec(<2 x i8> %a, <2 x i8> %b) {
+; CHECK-LABEL: @shl_mul_sle_negone_vec(
+; CHECK-NEXT:    [[MUL:%.*]] = shl nsw <2 x i8> [[A:%.*]], <i8 1, i8 1>
+; CHECK-NEXT:    [[MUL2:%.*]] = mul nsw <2 x i8> [[MUL]], [[B:%.*]]
+; CHECK-NEXT:    [[CMP:%.*]] = icmp slt <2 x i8> [[MUL2]], zeroinitializer
+; CHECK-NEXT:    ret <2 x i1> [[CMP]]
+;
+  %mul = shl nsw <2 x i8> %a, <i8 1, i8 1>
+  %mul2 = mul nsw <2 x i8> %b, %mul
+  %cmp = icmp sle <2 x i8> %mul2, <i8 -1, i8 -1>
+  ret <2 x i1> %cmp
+}
+
+define i1 @shl_mul_sgt_zero(i8 %a, i8 %b) {
+; CHECK-LABEL: @shl_mul_sgt_zero(
+; CHECK-NEXT:    [[MUL:%.*]] = shl nsw i8 [[A:%.*]], 1
+; CHECK-NEXT:    [[MUL2:%.*]] = mul nsw i8 [[MUL]], [[B:%.*]]
+; CHECK-NEXT:    [[CMP:%.*]] = icmp sgt i8 [[MUL2]], 0
+; CHECK-NEXT:    ret i1 [[CMP]]
+;
+  %mul = shl nsw i8 %a, 1
+  %mul2 = mul nsw i8 %b, %mul
+  %cmp = icmp sgt i8 %mul2, 0
+  ret i1 %cmp
+}
+
+define <2 x i1> @shl_mul_sgt_zero_vec(<2 x i8> %a, <2 x i8> %b) {
+; CHECK-LABEL: @shl_mul_sgt_zero_vec(
+; CHECK-NEXT:    [[MUL:%.*]] = shl nsw <2 x i8> [[A:%.*]], <i8 1, i8 1>
+; CHECK-NEXT:    [[MUL2:%.*]] = mul nsw <2 x i8> [[MUL]], [[B:%.*]]
+; CHECK-NEXT:    [[CMP:%.*]] = icmp sgt <2 x i8> [[MUL2]], zeroinitializer
+; CHECK-NEXT:    ret <2 x i1> [[CMP]]
+;
+  %mul = shl nsw <2 x i8> %a, <i8 1, i8 1>
+  %mul2 = mul nsw <2 x i8> %b, %mul
+  %cmp = icmp sgt <2 x i8> %mul2, <i8 0, i8 0>
+  ret <2 x i1> %cmp
+}
+
+define i1 @shl_mul_sgt_negone(i8 %a, i8 %b) {
+; CHECK-LABEL: @shl_mul_sgt_negone(
+; CHECK-NEXT:    [[MUL:%.*]] = shl nsw i8 [[A:%.*]], 1
+; CHECK-NEXT:    [[MUL2:%.*]] = mul nsw i8 [[MUL]], [[B:%.*]]
+; CHECK-NEXT:    [[CMP:%.*]] = icmp sgt i8 [[MUL2]], -1
+; CHECK-NEXT:    ret i1 [[CMP]]
+;
+  %mul = shl nsw i8 %a, 1
+  %mul2 = mul nsw i8 %b, %mul
+  %cmp = icmp sgt i8 %mul2, -1
+  ret i1 %cmp
+}
+
+define <2 x i1> @shl_mul_sgt_negone_vec(<2 x i8> %a, <2 x i8> %b) {
+; CHECK-LABEL: @shl_mul_sgt_negone_vec(
+; CHECK-NEXT:    [[MUL:%.*]] = shl nsw <2 x i8> [[A:%.*]], <i8 1, i8 1>
+; CHECK-NEXT:    [[MUL2:%.*]] = mul nsw <2 x i8> [[MUL]], [[B:%.*]]
+; CHECK-NEXT:    [[CMP:%.*]] = icmp sgt <2 x i8> [[MUL2]], <i8 -1, i8 -1>
+; CHECK-NEXT:    ret <2 x i1> [[CMP]]
+;
+  %mul = shl nsw <2 x i8> %a, <i8 1, i8 1>
+  %mul2 = mul nsw <2 x i8> %b, %mul
+  %cmp = icmp sgt <2 x i8> %mul2, <i8 -1, i8 -1>
+  ret <2 x i1> %cmp
+}
+
+define i1 @mul_mul_sge_zero_multiuse(i8 %a, i8 %b) {
+; CHECK-LABEL: @mul_mul_sge_zero_multiuse(
+; CHECK-NEXT:    [[MUL:%.*]] = mul nsw i8 [[A:%.*]], 42
+; CHECK-NEXT:    [[MUL2:%.*]] = mul nsw i8 [[MUL]], [[B:%.*]]
+; CHECK-NEXT:    call void @use_i8(i8 [[MUL2]])
+; CHECK-NEXT:    [[CMP:%.*]] = icmp sgt i8 [[MUL2]], -1
+; CHECK-NEXT:    ret i1 [[CMP]]
+;
+  %mul = mul nsw i8 %a, 42
+  %mul2 = mul nsw i8 %b, %mul
+  call void @use_i8(i8 %mul2)
+  %cmp = icmp sge i8 %mul2, 0
+  ret i1 %cmp
+}
+
+define i1 @mul_mul_sge_zero_withouobo(i8 %a, i8 %b) {
+; CHECK-LABEL: @mul_mul_sge_zero_withouobo(
+; CHECK-NEXT:    [[MUL:%.*]] = mul i8 [[A:%.*]], 42
+; CHECK-NEXT:    [[MUL2:%.*]] = mul i8 [[MUL]], [[B:%.*]]
+; CHECK-NEXT:    [[CMP:%.*]] = icmp sgt i8 [[MUL2]], -1
+; CHECK-NEXT:    ret i1 [[CMP]]
+;
+  %mul = mul i8 %a, 42
+  %mul2 = mul i8 %b, %mul
+  %cmp = icmp sge i8 %mul2, 0
+  ret i1 %cmp
+}
+
+define i1 @mul_mul_uge_zero(i8 %a, i8 %b) {
+; CHECK-LABEL: @mul_mul_uge_zero(
+; CHECK-NEXT:    ret i1 true
+;
+  %mul = mul nuw i8 %a, 42
+  %mul2 = mul nuw i8 %b, %mul
+  %cmp = icmp uge i8 %mul2, 0
+  ret i1 %cmp
+}
+
+define <2 x i1> @mul_mul_uge_zero_vec(<2 x i8> %a, <2 x i8> %b) {
+; CHECK-LABEL: @mul_mul_uge_zero_vec(
+; CHECK-NEXT:    ret <2 x i1> <i1 true, i1 true>
+;
+  %mul = mul nuw <2 x i8> %a, <i8 42, i8 42>
+  %mul2 = mul nuw <2 x i8> %b, %mul
+  %cmp = icmp uge <2 x i8> %mul2, <i8 0, i8 0>
+  ret <2 x i1> %cmp
+}
+
+define i1 @mul_mul_uge_one(i8 %a, i8 %b) {
+; CHECK-LABEL: @mul_mul_uge_one(
+; CHECK-NEXT:    [[MUL:%.*]] = mul nuw i8 [[A:%.*]], 42
+; CHECK-NEXT:    [[MUL2:%.*]] = mul nuw i8 [[MUL]], [[B:%.*]]
+; CHECK-NEXT:    [[CMP:%.*]] = icmp ne i8 [[MUL2]], 0
+; CHECK-NEXT:    ret i1 [[CMP]]
+;
+  %mul = mul nuw i8 %a, 42
+  %mul2 = mul nuw i8 %b, %mul
+  %cmp = icmp uge i8 %mul2, 1
+  ret i1 %cmp
+}
+
+define <2 x i1> @mul_mul_uge_one_vec(<2 x i8> %a, <2 x i8> %b) {
+; CHECK-LABEL: @mul_mul_uge_one_vec(
+; CHECK-NEXT:    [[MUL:%.*]] = mul nuw <2 x i8> [[A:%.*]], <i8 42, i8 42>
+; CHECK-NEXT:    [[MUL2:%.*]] = mul nuw <2 x i8> [[MUL]], [[B:%.*]]
+; CHECK-NEXT:    [[CMP:%.*]] = icmp ne <2 x i8> [[MUL2]], zeroinitializer
+; CHECK-NEXT:    ret <2 x i1> [[CMP]]
+;
+  %mul = mul nuw <2 x i8> %a, <i8 42, i8 42>
+  %mul2 = mul nuw <2 x i8> %b, %mul
+  %cmp = icmp uge <2 x i8> %mul2, <i8 1, i8 1>
+  ret <2 x i1> %cmp
+}
+
+define i1 @mul_mul_ult_zero(i8 %a, i8 %b) {
+; CHECK-LABEL: @mul_mul_ult_zero(
+; CHECK-NEXT:    ret i1 false
+;
+  %mul = mul nuw i8 %a, 42
+  %mul2 = mul nuw i8 %b, %mul
+  %cmp = icmp ult i8 %mul2, 0
+  ret i1 %cmp
+}
+
+define <2 x i1> @mul_mul_ult_zero_vec(<2 x i8> %a, <2 x i8> %b) {
+; CHECK-LABEL: @mul_mul_ult_zero_vec(
+; CHECK-NEXT:    ret <2 x i1> zeroinitializer
+;
+  %mul = mul nuw <2 x i8> %a, <i8 42, i8 42>
+  %mul2 = mul nuw <2 x i8> %b, %mul
+  %cmp = icmp ult <2 x i8> %mul2, <i8 0, i8 0>
+  ret <2 x i1> %cmp
+}
+
+define i1 @mul_mul_ult_one(i8 %a, i8 %b) {
+; CHECK-LABEL: @mul_mul_ult_one(
+; CHECK-NEXT:    [[MUL:%.*]] = mul nuw i8 [[A:%.*]], 42
+; CHECK-NEXT:    [[MUL2:%.*]] = mul nuw i8 [[MUL]], [[B:%.*]]
+; CHECK-NEXT:    [[CMP:%.*]] = icmp eq i8 [[MUL2]], 0
+; CHECK-NEXT:    ret i1 [[CMP]]
+;
+  %mul = mul nuw i8 %a, 42
+  %mul2 = mul nuw i8 %b, %mul
+  %cmp = icmp ult i8 %mul2, 1
+  ret i1 %cmp
+}
+
+define <2 x i1> @mul_mul_ult_one_vec(<2 x i8> %a, <2 x i8> %b) {
+; CHECK-LABEL: @mul_mul_ult_one_vec(
+; CHECK-NEXT:    [[MUL:%.*]] = mul nuw <2 x i8> [[A:%.*]], <i8 42, i8 42>
+; CHECK-NEXT:    [[MUL2:%.*]] = mul nuw <2 x i8> [[MUL]], [[B:%.*]]
+; CHECK-NEXT:    [[CMP:%.*]] = icmp eq <2 x i8> [[MUL2]], zeroinitializer
+; CHECK-NEXT:    ret <2 x i1> [[CMP]]
+;
+  %mul = mul nuw <2 x i8> %a, <i8 42, i8 42>
+  %mul2 = mul nuw <2 x i8> %b, %mul
+  %cmp = icmp ult <2 x i8> %mul2, <i8 1, i8 1>
+  ret <2 x i1> %cmp
+}
+
+define i1 @mul_mul_ule_zero(i8 %a, i8 %b) {
+; CHECK-LABEL: @mul_mul_ule_zero(
+; CHECK-NEXT:    [[MUL:%.*]] = mul nuw i8 [[A:%.*]], 42
+; CHECK-NEXT:    [[MUL2:%.*]] = mul nuw i8 [[MUL]], [[B:%.*]]
+; CHECK-NEXT:    [[CMP:%.*]] = icmp eq i8 [[MUL2]], 0
+; CHECK-NEXT:    ret i1 [[CMP]]
+;
+  %mul = mul nuw i8 %a, 42
+  %mul2 = mul nuw i8 %b, %mul
+  %cmp = icmp ule i8 %mul2, 0
+  ret i1 %cmp
+}
+
+define <2 x i1> @mul_mul_ule_zero_vec(<2 x i8> %a, <2 x i8> %b) {
+; CHECK-LABEL: @mul_mul_ule_zero_vec(
+; CHECK-NEXT:    [[MUL:%.*]] = mul nuw <2 x i8> [[A:%.*]], <i8 42, i8 42>
+; CHECK-NEXT:    [[MUL2:%.*]] = mul nuw <2 x i8> [[MUL]], [[B:%.*]]
+; CHECK-NEXT:    [[CMP:%.*]] = icmp eq <2 x i8> [[MUL2]], zeroinitializer
+; CHECK-NEXT:    ret <2 x i1> [[CMP]]
+;
+  %mul = mul nuw <2 x i8> %a, <i8 42, i8 42>
+  %mul2 = mul nuw <2 x i8> %b, %mul
+  %cmp = icmp ule <2 x i8> %mul2, <i8 0, i8 0>
+  ret <2 x i1> %cmp
+}
+
+define i1 @mul_mul_ule_negone(i8 %a, i8 %b) {
+; CHECK-LABEL: @mul_mul_ule_negone(
+; CHECK-NEXT:    ret i1 true
+;
+  %mul = mul nuw i8 %a, 42
+  %mul2 = mul nuw i8 %b, %mul
+  %cmp = icmp ule i8 %mul2, -1
+  ret i1 %cmp
+}
+
+define <2 x i1> @mul_mul_ule_negone_vec(<2 x i8> %a, <2 x i8> %b) {
+; CHECK-LABEL: @mul_mul_ule_negone_vec(
+; CHECK-NEXT:    ret <2 x i1> <i1 true, i1 true>
+;
+  %mul = mul nuw <2 x i8> %a, <i8 42, i8 42>
+  %mul2 = mul nuw <2 x i8> %b, %mul
+  %cmp = icmp ule <2 x i8> %mul2, <i8 -1, i8 -1>
+  ret <2 x i1> %cmp
+}
+
+define i1 @mul_mul_ugt_zero(i8 %a, i8 %b) {
+; CHECK-LABEL: @mul_mul_ugt_zero(
+; CHECK-NEXT:    [[MUL:%.*]] = mul nuw i8 [[A:%.*]], 42
+; CHECK-NEXT:    [[MUL2:%.*]] = mul nuw i8 [[MUL]], [[B:%.*]]
+; CHECK-NEXT:    [[CMP:%.*]] = icmp ne i8 [[MUL2]], 0
+; CHECK-NEXT:    ret i1 [[CMP]]
+;
+  %mul = mul nuw i8 %a, 42
+  %mul2 = mul nuw i8 %b, %mul
+  %cmp = icmp ugt i8 %mul2, 0
+  ret i1 %cmp
+}
+
+define <2 x i1> @mul_mul_ugt_zero_vec(<2 x i8> %a, <2 x i8> %b) {
+; CHECK-LABEL: @mul_mul_ugt_zero_vec(
+; CHECK-NEXT:    [[MUL:%.*]] = mul nuw <2 x i8> [[A:%.*]], <i8 42, i8 42>
+; CHECK-NEXT:    [[MUL2:%.*]] = mul nuw <2 x i8> [[MUL]], [[B:%.*]]
+; CHECK-NEXT:    [[CMP:%.*]] = icmp ne <2 x i8> [[MUL2]], zeroinitializer
+; CHECK-NEXT:    ret <2 x i1> [[CMP]]
+;
+  %mul = mul nuw <2 x i8> %a, <i8 42, i8 42>
+  %mul2 = mul nuw <2 x i8> %b, %mul
+  %cmp = icmp ugt <2 x i8> %mul2, <i8 0, i8 0>
+  ret <2 x i1> %cmp
+}
+
+define i1 @mul_mul_ugt_negone(i8 %a, i8 %b) {
+; CHECK-LABEL: @mul_mul_ugt_negone(
+; CHECK-NEXT:    ret i1 false
+;
+  %mul = mul nuw i8 %a, 42
+  %mul2 = mul nuw i8 %b, %mul
+  %cmp = icmp ugt i8 %mul2, -1
+  ret i1 %cmp
+}
+
+define <2 x i1> @mul_mul_ugt_negone_vec(<2 x i8> %a, <2 x i8> %b) {
+; CHECK-LABEL: @mul_mul_ugt_negone_vec(
+; CHECK-NEXT:    ret <2 x i1> zeroinitializer
+;
+  %mul = mul nuw <2 x i8> %a, <i8 42, i8 42>
+  %mul2 = mul nuw <2 x i8> %b, %mul
+  %cmp = icmp ugt <2 x i8> %mul2, <i8 -1, i8 -1>
+  ret <2 x i1> %cmp
+}
+
+define i1 @shl_mul_uge_zero(i8 %a, i8 %b) {
+; CHECK-LABEL: @shl_mul_uge_zero(
+; CHECK-NEXT:    ret i1 true
+;
+  %mul = shl nuw i8 %a, 1
+  %mul2 = mul nuw i8 %b, %mul
+  %cmp = icmp uge i8 %mul2, 0
+  ret i1 %cmp
+}
+
+define <2 x i1> @shl_mul_uge_zero_vec(<2 x i8> %a, <2 x i8> %b) {
+; CHECK-LABEL: @shl_mul_uge_zero_vec(
+; CHECK-NEXT:    ret <2 x i1> <i1 true, i1 true>
+;
+  %mul = shl nuw <2 x i8> %a, <i8 1, i8 1>
+  %mul2 = mul nuw <2 x i8> %b, %mul
+  %cmp = icmp uge <2 x i8> %mul2, <i8 0, i8 0>
+  ret <2 x i1> %cmp
+}
+
+define i1 @shl_mul_uge_one(i8 %a, i8 %b) {
+; CHECK-LABEL: @shl_mul_uge_one(
+; CHECK-NEXT:    [[MUL:%.*]] = shl nuw i8 [[A:%.*]], 1
+; CHECK-NEXT:    [[MUL2:%.*]] = mul nuw i8 [[MUL]], [[B:%.*]]
+; CHECK-NEXT:    [[CMP:%.*]] = icmp ne i8 [[MUL2]], 0
+; CHECK-NEXT:    ret i1 [[CMP]]
+;
+  %mul = shl nuw i8 %a, 1
+  %mul2 = mul nuw i8 %b, %mul
+  %cmp = icmp uge i8 %mul2, 1
+  ret i1 %cmp
+}
+
+define <2 x i1> @shl_mul_uge_one_vec(<2 x i8> %a, <2 x i8> %b) {
+; CHECK-LABEL: @shl_mul_uge_one_vec(
+; CHECK-NEXT:    [[MUL:%.*]] = shl nuw <2 x i8> [[A:%.*]], <i8 1, i8 1>
+; CHECK-NEXT:    [[MUL2:%.*]] = mul nuw <2 x i8> [[MUL]], [[B:%.*]]
+; CHECK-NEXT:    [[CMP:%.*]] = icmp ne <2 x i8> [[MUL2]], zeroinitializer
+; CHECK-NEXT:    ret <2 x i1> [[CMP]]
+;
+  %mul = shl nuw <2 x i8> %a, <i8 1, i8 1>
+  %mul2 = mul nuw <2 x i8> %b, %mul
+  %cmp = icmp uge <2 x i8> %mul2, <i8 1, i8 1>
+  ret <2 x i1> %cmp
+}
+
+define i1 @shl_mul_ult_zero(i8 %a, i8 %b) {
+; CHECK-LABEL: @shl_mul_ult_zero(
+; CHECK-NEXT:    ret i1 false
+;
+  %mul = shl nuw i8 %a, 1
+  %mul2 = mul nuw i8 %b, %mul
+  %cmp = icmp ult i8 %mul2, 0
+  ret i1 %cmp
+}
+
+define <2 x i1> @shl_mul_ult_zero_vec(<2 x i8> %a, <2 x i8> %b) {
+; CHECK-LABEL: @shl_mul_ult_zero_vec(
+; CHECK-NEXT:    ret <2 x i1> zeroinitializer
+;
+  %mul = shl nuw <2 x i8> %a, <i8 1, i8 1>
+  %mul2 = mul nuw <2 x i8> %b, %mul
+  %cmp = icmp ult <2 x i8> %mul2, <i8 0, i8 0>
+  ret <2 x i1> %cmp
+}
+
+define i1 @shl_mul_ult_one(i8 %a, i8 %b) {
+; CHECK-LABEL: @shl_mul_ult_one(
+; CHECK-NEXT:    [[MUL:%.*]] = shl nuw i8 [[A:%.*]], 1
+; CHECK-NEXT:    [[MUL2:%.*]] = mul nuw i8 [[MUL]], [[B:%.*]]
+; CHECK-NEXT:    [[CMP:%.*]] = icmp eq i8 [[MUL2]], 0
+; CHECK-NEXT:    ret i1 [[CMP]]
+;
+  %mul = shl nuw i8 %a, 1
+  %mul2 = mul nuw i8 %b, %mul
+  %cmp = icmp ult i8 %mul2, 1
+  ret i1 %cmp
+}
+
+define <2 x i1> @shl_mul_ult_one_vec(<2 x i8> %a, <2 x i8> %b) {
+; CHECK-LABEL: @shl_mul_ult_one_vec(
+; CHECK-NEXT:    [[MUL:%.*]] = shl nuw <2 x i8> [[A:%.*]], <i8 1, i8 1>
+; CHECK-NEXT:    [[MUL2:%.*]] = mul nuw <2 x i8> [[MUL]], [[B:%.*]]
+; CHECK-NEXT:    [[CMP:%.*]] = icmp eq <2 x i8> [[MUL2]], zeroinitializer
+; CHECK-NEXT:    ret <2 x i1> [[CMP]]
+;
+  %mul = shl nuw <2 x i8> %a, <i8 1, i8 1>
+  %mul2 = mul nuw <2 x i8> %b, %mul
+  %cmp = icmp ult <2 x i8> %mul2, <i8 1, i8 1>
+  ret <2 x i1> %cmp
+}
+
+define i1 @shl_mul_ule_zero(i8 %a, i8 %b) {
+; CHECK-LABEL: @shl_mul_ule_zero(
+; CHECK-NEXT:    [[MUL:%.*]] = shl nuw i8 [[A:%.*]], 1
+; CHECK-NEXT:    [[MUL2:%.*]] = mul nuw i8 [[MUL]], [[B:%.*]]
+; CHECK-NEXT:    [[CMP:%.*]] = icmp eq i8 [[MUL2]], 0
+; CHECK-NEXT:    ret i1 [[CMP]]
+;
+  %mul = shl nuw i8 %a, 1
+  %mul2 = mul nuw i8 %b, %mul
+  %cmp = icmp ule i8 %mul2, 0
+  ret i1 %cmp
+}
+
+define <2 x i1> @shl_mul_ule_zero_vec(<2 x i8> %a, <2 x i8> %b) {
+; CHECK-LABEL: @shl_mul_ule_zero_vec(
+; CHECK-NEXT:    [[MUL:%.*]] = shl nuw <2 x i8> [[A:%.*]], <i8 1, i8 1>
+; CHECK-NEXT:    [[MUL2:%.*]] = mul nuw <2 x i8> [[MUL]], [[B:%.*]]
+; CHECK-NEXT:    [[CMP:%.*]] = icmp eq <2 x i8> [[MUL2]], zeroinitializer
+; CHECK-NEXT:    ret <2 x i1> [[CMP]]
+;
+  %mul = shl nuw <2 x i8> %a, <i8 1, i8 1>
+  %mul2 = mul nuw <2 x i8> %b, %mul
+  %cmp = icmp ule <2 x i8> %mul2, <i8 0, i8 0>
+  ret <2 x i1> %cmp
+}
+
+define i1 @shl_mul_ule_negone(i8 %a, i8 %b) {
+; CHECK-LABEL: @shl_mul_ule_negone(
+; CHECK-NEXT:    ret i1 true
+;
+  %mul = shl nuw i8 %a, 1
+  %mul2 = mul nuw i8 %b, %mul
+  %cmp = icmp ule i8 %mul2, -1
+  ret i1 %cmp
+}
+
+define <2 x i1> @shl_mul_ule_negone_vec(<2 x i8> %a, <2 x i8> %b) {
+; CHECK-LABEL: @shl_mul_ule_negone_vec(
+; CHECK-NEXT:    ret <2 x i1> <i1 true, i1 true>
+;
+  %mul = shl nuw <2 x i8> %a, <i8 1, i8 1>
+  %mul2 = mul nuw <2 x i8> %b, %mul
+  %cmp = icmp ule <2 x i8> %mul2, <i8 -1, i8 -1>
+  ret <2 x i1> %cmp
+}
+
+define i1 @shl_mul_ugt_zero(i8 %a, i8 %b) {
+; CHECK-LABEL: @shl_mul_ugt_zero(
+; CHECK-NEXT:    [[MUL:%.*]] = shl nuw i8 [[A:%.*]], 1
+; CHECK-NEXT:    [[MUL2:%.*]] = mul nuw i8 [[MUL]], [[B:%.*]]
+; CHECK-NEXT:    [[CMP:%.*]] = icmp ne i8 [[MUL2]], 0
+; CHECK-NEXT:    ret i1 [[CMP]]
+;
+  %mul = shl nuw i8 %a, 1
+  %mul2 = mul nuw i8 %b, %mul
+  %cmp = icmp ugt i8 %mul2, 0
+  ret i1 %cmp
+}
+
+define <2 x i1> @shl_mul_ugt_zero_vec(<2 x i8> %a, <2 x i8> %b) {
+; CHECK-LABEL: @shl_mul_ugt_zero_vec(
+; CHECK-NEXT:    [[MUL:%.*]] = shl nuw <2 x i8> [[A:%.*]], <i8 1, i8 1>
+; CHECK-NEXT:    [[MUL2:%.*]] = mul nuw <2 x i8> [[MUL]], [[B:%.*]]
+; CHECK-NEXT:    [[CMP:%.*]] = icmp ne <2 x i8> [[MUL2]], zeroinitializer
+; CHECK-NEXT:    ret <2 x i1> [[CMP]]
+;
+  %mul = shl nuw <2 x i8> %a, <i8 1, i8 1>
+  %mul2 = mul nuw <2 x i8> %b, %mul
+  %cmp = icmp ugt <2 x i8> %mul2, <i8 0, i8 0>
+  ret <2 x i1> %cmp
+}
+
+define i1 @shl_mul_ugt_negone(i8 %a, i8 %b) {
+; CHECK-LABEL: @shl_mul_ugt_negone(
+; CHECK-NEXT:    ret i1 false
+;
+  %mul = shl nuw i8 %a, 1
+  %mul2 = mul nuw i8 %b, %mul
+  %cmp = icmp ugt i8 %mul2, -1
+  ret i1 %cmp
+}
+
+define <2 x i1> @shl_mul_ugt_negone_vec(<2 x i8> %a, <2 x i8> %b) {
+; CHECK-LABEL: @shl_mul_ugt_negone_vec(
+; CHECK-NEXT:    ret <2 x i1> zeroinitializer
+;
+  %mul = shl nuw <2 x i8> %a, <i8 1, i8 1>
+  %mul2 = mul nuw <2 x i8> %b, %mul
+  %cmp = icmp ugt <2 x i8> %mul2, <i8 -1, i8 -1>
+  ret <2 x i1> %cmp
+}
+
+define i1 @mul_mul_uge_zero_multiuse(i8 %a, i8 %b) {
+; CHECK-LABEL: @mul_mul_uge_zero_multiuse(
+; CHECK-NEXT:    [[MUL:%.*]] = mul nuw i8 [[A:%.*]], 42
+; CHECK-NEXT:    [[MUL2:%.*]] = mul nuw i8 [[MUL]], [[B:%.*]]
+; CHECK-NEXT:    call void @use_i8(i8 [[MUL2]])
+; CHECK-NEXT:    ret i1 true
+;
+  %mul = mul nuw i8 %a, 42
+  %mul2 = mul nuw i8 %b, %mul
+  call void @use_i8(i8 %mul2)
+  %cmp = icmp uge i8 %mul2, 0
+  ret i1 %cmp
+}
+
+define i1 @mul_mul_uge_zero_withouobo(i8 %a, i8 %b) {
+; CHECK-LABEL: @mul_mul_uge_zero_withouobo(
+; CHECK-NEXT:    ret i1 true
+;
+  %mul = mul i8 %a, 42
+  %mul2 = mul i8 %b, %mul
+  %cmp = icmp uge i8 %mul2, 0
+  ret i1 %cmp
+}