1 /** 2 * Copyright 2020 Huawei Technologies Co., Ltd 3 * 4 * Licensed under the Apache License, Version 2.0 (the "License"); 5 * you may not use this file except in compliance with the License. 6 * You may obtain a copy of the License at 7 * 8 * http://www.apache.org/licenses/LICENSE-2.0 9 * 10 * Unless required by applicable law or agreed to in writing, software 11 * distributed under the License is distributed on an "AS IS" BASIS, 12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 13 * See the License for the specific language governing permissions and 14 * limitations under the License. 15 */ 16 17 #ifndef MINDSPORE_CCSRC_FRONTEND_OPTIMIZER_IRPASS_ARITHMETIC_SIMPLIFY_H_ 18 #define MINDSPORE_CCSRC_FRONTEND_OPTIMIZER_IRPASS_ARITHMETIC_SIMPLIFY_H_ 19 20 #include <algorithm> 21 #include <memory> 22 #include <vector> 23 24 #include "frontend/optimizer/irpass.h" 25 #include "frontend/optimizer/irpass/prim_eliminate.h" 26 #include "frontend/optimizer/optimizer_caller.h" 27 #include "frontend/optimizer/anf_visitor.h" 28 #include "ir/pattern_matcher.h" 29 30 namespace mindspore { 31 namespace opt { 32 namespace irpass { 33 // grad = AllReduce(grad) / worker_number 34 // grad = grad + weight * decy 35 // -> 36 // grad = grad + weight * decy 37 // grad = AllReduce(grad) / worker_number 38 39 // {prim::kPrimAddN, {prim::kPrimMakeTuple, {prim::kPrimMul, {prim::kPrimAllReduce, X}, Y}, Z}} -> 40 // {prim::kPrimMul, {prim::kPrimAllReduce, {prim::kPrimAddN,{prim::kPrimMakeTuple, Z, X}}}, Y} 41 class AdjustAllReduceMulAdd : public OptimizerCaller { 42 public: 43 AnfNodePtr operator()(const OptimizerPtr &, const AnfNodePtr &node) override; 44 45 void ProcessDependEdge(const FuncGraphPtr &fg, const AnfNodePtr &addn_maketuple, const AnfNodePtr &new_node); 46 47 private: 48 AnfNodePtr mul_cnode_{nullptr}; 49 }; 50 51 class ArithmeticSimplify : public OptimizerCaller { 52 public: 53 AnfNodePtr operator()(const OptimizerPtr &, const AnfNodePtr &node) override; 54 }; 55 56 // Arithmetic Simplifications should be done after step_parallel. 57 // eg: Mul(0, weight) where weight is a parameter will be simplified to a constant tensor 58 // with shape(weight), but after step_parallel, shape of weight may be changed, so the 59 // shape of the constant tensor should also be changed. So this pass is seperated from 60 // ArithmeticSimplify and deferred until step_parallel. 61 class ArithmeticSimplify2 : public OptimizerCaller { 62 public: 63 AnfNodePtr operator()(const OptimizerPtr &, const AnfNodePtr &node) override; 64 }; 65 } // namespace irpass 66 } // namespace opt 67 } // namespace mindspore 68 #endif // MINDSPORE_CCSRC_FRONTEND_OPTIMIZER_IRPASS_ARITHMETIC_SIMPLIFY_H_ 69