286                                 AffineExprKind opKind) {  in isDivisibleBySymbol()  argument
288   assert((opKind == AffineExprKind::Mod || opKind == AffineExprKind::FloorDiv ||  in isDivisibleBySymbol()
289           opKind == AffineExprKind::CeilDiv) &&  in isDivisibleBySymbol()
303     return isDivisibleBySymbol(binaryExpr.getLHS(), symbolPos, opKind) &&  in isDivisibleBySymbol()
304            isDivisibleBySymbol(binaryExpr.getRHS(), symbolPos, opKind);  in isDivisibleBySymbol()
321     return isDivisibleBySymbol(binaryExpr.getLHS(), symbolPos, opKind) ||  in isDivisibleBySymbol()
322            isDivisibleBySymbol(binaryExpr.getRHS(), symbolPos, opKind);  in isDivisibleBySymbol()
335     if (opKind != expr.getKind())  in isDivisibleBySymbol()
347                                  AffineExprKind opKind) {  in symbolicDivide()  argument
349   assert((opKind == AffineExprKind::Mod || opKind == AffineExprKind::FloorDiv ||  in symbolicDivide()
350           opKind == AffineExprKind::CeilDiv) &&  in symbolicDivide()
365         expr.getKind(), symbolicDivide(binaryExpr.getLHS(), symbolPos, opKind),  in symbolicDivide()
366         symbolicDivide(binaryExpr.getRHS(), symbolPos, opKind));  in symbolicDivide()
379     if (!isDivisibleBySymbol(binaryExpr.getLHS(), symbolPos, opKind))  in symbolicDivide()
381              symbolicDivide(binaryExpr.getRHS(), symbolPos, opKind);  in symbolicDivide()
382     return symbolicDivide(binaryExpr.getLHS(), symbolPos, opKind) *  in symbolicDivide()