@@ -5399,16 +5399,16 @@ class slpvectorizer::BoUpSLP {
53995399 // considered as non-commutative, operands reordering does not change
54005400 // the semantics.
54015401 assert(
5402- !IsCommutativeUser ||
5403- (((::isCommutative(User) &&
5404- ::isCommutableOperand(User, User, 0) &&
5405- ::isCommutableOperand(User, User, 1)) ||
5406- (::isCommutative(TE->getMatchingMainOpOrAltOp(User), User) &&
5407- ::isCommutableOperand(TE->getMatchingMainOpOrAltOp(User), User ,
5408- 0) &&
5409- ::isCommutableOperand(TE->getMatchingMainOpOrAltOp(User), User ,
5410- 1 )))) &&
5411- "Expected commutative user with 2 first commutable operands");
5402+ ( !IsCommutativeUser ||
5403+ (((::isCommutative(User) &&
5404+ ::isCommutableOperand(User, User, 0) &&
5405+ ::isCommutableOperand(User, User, 1)) ||
5406+ (::isCommutative(TE->getMatchingMainOpOrAltOp(User), User) &&
5407+ ::isCommutableOperand(TE->getMatchingMainOpOrAltOp(User),
5408+ User, 0) &&
5409+ ::isCommutableOperand(TE->getMatchingMainOpOrAltOp(User),
5410+ User, 1) )))) &&
5411+ "Expected commutative user with 2 first commutable operands");
54125412 bool IsCommutativeWithSameOps =
54135413 IsCommutativeUser && User->getOperand(0) == User->getOperand(1);
54145414 if ((!IsCommutativeUser || IsCommutativeWithSameOps) &&
0 commit comments