324                                 AffineExprKind opKind) {  in isDivisibleBySymbol()  argument
326   assert((opKind == AffineExprKind::Mod || opKind == AffineExprKind::FloorDiv ||  in isDivisibleBySymbol()
327           opKind == AffineExprKind::CeilDiv) &&  in isDivisibleBySymbol()
339     return isDivisibleBySymbol(binaryExpr.getLHS(), symbolPos, opKind) &&  in isDivisibleBySymbol()
340            isDivisibleBySymbol(binaryExpr.getRHS(), symbolPos, opKind);  in isDivisibleBySymbol()
357     return isDivisibleBySymbol(binaryExpr.getLHS(), symbolPos, opKind) ||  in isDivisibleBySymbol()
358            isDivisibleBySymbol(binaryExpr.getRHS(), symbolPos, opKind);  in isDivisibleBySymbol()
371     if (opKind != expr.getKind())  in isDivisibleBySymbol()
383                                  AffineExprKind opKind) {  in symbolicDivide()  argument
385   assert((opKind == AffineExprKind::Mod || opKind == AffineExprKind::FloorDiv ||  in symbolicDivide()
386           opKind == AffineExprKind::CeilDiv) &&  in symbolicDivide()
401         expr.getKind(), symbolicDivide(binaryExpr.getLHS(), symbolPos, opKind),  in symbolicDivide()
402         symbolicDivide(binaryExpr.getRHS(), symbolPos, opKind));  in symbolicDivide()
415     if (!isDivisibleBySymbol(binaryExpr.getLHS(), symbolPos, opKind))  in symbolicDivide()
417              symbolicDivide(binaryExpr.getRHS(), symbolPos, opKind);  in symbolicDivide()
418     return symbolicDivide(binaryExpr.getLHS(), symbolPos, opKind) *  in symbolicDivide()