PR Category

CINN

PR Types

New features

Description

1. Upgrade ProveDivisible without AutoSimplify and analyzer.
2. Enrich the ability of IndexExpr, constant must be at the rhs operand in Add and Mul. e.g.

3 + S0 ===> S0 + 3 
(S0 + 2) + S1 ===> S0 + S1 + 2

3. Constant should be fold in Add and Mul now . e.g.

2 + 3 ===> 5
(S0 + 2) + 3 ===> S0 + 5

4. Implemented the associative law of Add for constants. e.g.

S0 * 3 + S0 * 4 ===> S0 * 7

5. Implemented IsSumPartialBySymbol func for Add and IsDivisiblieBySymbol func for Div, It can judge whether the expression can be simplified. if return true, then will apply SimplifySymbolicAdd and SimplifySymbolicDivide to simplify.
6. Implement Normalize func for IndexExpr, Its function is to explicitly reconstruct an IndexExpr and simplify it at the same time. It usually use when an unsimplified Expr is converted to an IndexExpr using as_index(), e.g.

Expr e = (S0 + 2) + 3
e.as_index() ===> (S0 + 2) + 3
e.as_index().Normalize() ===> S0 + 5

Pcard-67164