Merge pull request PaddlePaddle#22 from tc20042008/xk-cinn-trivalop-fuse

Xk cinn trivalop fuse

paddle/cinn/api/ops_topo_pattern.h → paddle/cinn/api/op_topo_pattern.h

@@ -23,11 +23,16 @@ using ShardableReductionsPattern = std::vector<std::variant<ReductionPattern<T>,
 // fuse rules:
 //  1. IS * PS -> PS
 //  2. PS * PS -> PS
-//  3. R * PS -> RS
-//  4. RS * (PS | R) -> RS
+//  3. PS * R -> R
+//  4. IS * R -> R
 
-// OpsTopoPattern := IS | SR
+// lifting rules:
+//  1. R -> SR
+//  2. PS -> SR
+//  3. SR * SR -> SR
+
+// OpTopoPattern := IS | SR
 template <typename T>
-using OpsTopoPattern = std::variant<InjectiveSourcePattern<T>, ShardableReductionsPattern<T>>;
+using OpTopoPattern = std::variant<InjectiveSourcePattern<T>, ShardableReductionsPattern<T>>;
 
 }