Lines Matching defs:simplified
407 // (exps1 ceildiv exp2) floordiv exp3 can not be simplified. 2.if there is a
409 // (exps1 ceildiv exp2) mul exp3 ceildiv exp4 can not be simplified.
541 // simplified to zero, then the remaining summands and x are equal.
658 /// Simplify add expression. Return nullptr if it can't be simplified.
787 if (auto simplified = simplifyAdd(*this, other))
788 return simplified;
795 /// Simplify a multiply expression. Return nullptr if it can't be simplified.
852 if (auto simplified = simplifyMul(*this, other))
853 return simplified;
921 if (auto simplified = simplifyFloorDiv(*this, other))
922 return simplified;
968 if (auto simplified = simplifyCeilDiv(*this, other))
969 return simplified;
1026 if (auto simplified = simplifyMod(*this, other))
1027 return simplified;
1235 // Constructing the simplified semi-affine sum of product/division/mod
1501 // If the divisor cannot be simplified to one, we will have to retain
1502 // the ceil/floor expr (simplified up until here). Add an existential
1536 // simplified tree expression (AffineExpr) corresponding to the quantifier.