You can not select more than 25 topics Topics must start with a chinese character,a letter or number, can include dashes ('-') and can be up to 35 characters long.

lib_test.cc 30 kB

5 years ago
5 years ago
123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613
  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. #include <iostream>
  17. #include <memory>
  18. #include "common/common_test.h"
  19. #include "common/py_func_graph_fetcher.h"
  20. #include "ir/anf.h"
  21. #include "ir/func_graph.h"
  22. #include "ir/func_graph_cloner.h"
  23. #include "ir/manager.h"
  24. #include "ir/value.h"
  25. #include "frontend/operator/ops.h"
  26. #include "frontend/optimizer/irpass.h"
  27. #include "pipeline/jit/resource.h"
  28. #include "include/common/debug/draw.h"
  29. #include "pipeline/jit/parse/data_converter.h"
  30. #include "include/common/utils/convert_utils.h"
  31. namespace mindspore {
  32. namespace opt {
  33. using abstract::AnalysisResult;
  34. class TestOptLib : public UT::Common {
  35. public:
  36. TestOptLib() : getPyFun("gtest_input.optimizer.opt_test", true), irpass() {}
  37. void SetUp() {
  38. UT::InitPythonPath();
  39. parse::data_converter::ClearObjectCache();
  40. auto ms_context = MsContext::GetInstance();
  41. MS_EXCEPTION_IF_NULL(ms_context);
  42. ms_context->set_param<int>(MS_CTX_EXECUTION_MODE, kGraphMode);
  43. }
  44. FuncGraphPtr RunTransform(FuncGraphPtr gbefore, const SubstitutionList &transform) {
  45. equiv_node.clear();
  46. equiv_graph.clear();
  47. FuncGraphPtr gbefore_clone = BasicClone(gbefore);
  48. OptimizerPtr optimizer = std::make_shared<Optimizer>("ut_test", std::make_shared<pipeline::Resource>());
  49. transform(gbefore_clone, optimizer);
  50. return gbefore_clone;
  51. }
  52. FuncGraphPtr RunSubs(FuncGraphPtr before, std::vector<SubstitutionPtr> opts = {}) {
  53. SubstitutionList eq(opts);
  54. return RunTransform(before, eq);
  55. }
  56. bool CheckTransform(FuncGraphPtr gbefore, FuncGraphPtr gafter, const SubstitutionList &transform,
  57. bool save_graphs = false) {
  58. equiv_node.clear();
  59. equiv_graph.clear();
  60. FuncGraphPtr gbefore_clone = BasicClone(gbefore);
  61. OptimizerPtr optimizer = std::make_shared<Optimizer>("ut_test", std::make_shared<pipeline::Resource>());
  62. transform(gbefore_clone, optimizer);
  63. return Isomorphic(gbefore_clone, gafter, &equiv_graph, &equiv_node);
  64. }
  65. bool CheckOpt(FuncGraphPtr before, FuncGraphPtr after, std::vector<SubstitutionPtr> opts = {},
  66. bool save_graphs = false) {
  67. if (nullptr == before || nullptr == after) {
  68. return false;
  69. }
  70. SubstitutionList eq(opts);
  71. return CheckTransform(before, after, eq, save_graphs);
  72. }
  73. public:
  74. UT::PyFuncGraphFetcher getPyFun;
  75. FuncGraphPairMapEquiv equiv_graph;
  76. NodeMapEquiv equiv_node;
  77. irpass::OptimizeIRPassLib irpass;
  78. };
  79. TEST_F(TestOptLib, test_simplify_always_true_false) {
  80. FuncGraphPtr before1 = getPyFun.CallAndParseRet("test_simplify_always_true_false", "before_1");
  81. FuncGraphPtr before2 = getPyFun.CallAndParseRet("test_simplify_always_true_false", "before_2");
  82. FuncGraphPtr after = getPyFun.CallAndParseRet("test_simplify_always_true_false", "after");
  83. auto patterns = std::vector<SubstitutionPtr>({irpass.switch_simplify_});
  84. ASSERT_TRUE(CheckOpt(before1, after, patterns));
  85. ASSERT_TRUE(CheckOpt(before2, after, patterns));
  86. }
  87. TEST_F(TestOptLib, test_inline) {
  88. FuncGraphPtr before1 = getPyFun.CallAndParseRet("test_inline", "before");
  89. FuncGraphPtr after = getPyFun.CallAndParseRet("test_inline", "after");
  90. // add infer and renormalize
  91. std::shared_ptr<mindspore::pipeline::Resource> res = std::make_shared<mindspore::pipeline::Resource>();
  92. AbstractBasePtrList args_spec_list;
  93. tensor::TensorPtr x_tensor = std::make_shared<tensor::Tensor>(kFloat32->type_id(), std::vector<int64_t>{2, 3});
  94. tensor::TensorPtr y_tensor = std::make_shared<tensor::Tensor>(kFloat32->type_id(), std::vector<int64_t>{2, 3});
  95. AbstractBasePtr abstract_v1 = abstract::FromValue(x_tensor, true);
  96. AbstractBasePtr abstract_v2 = abstract::FromValue(y_tensor, true);
  97. args_spec_list.push_back(abstract_v1);
  98. args_spec_list.push_back(abstract_v2);
  99. AnalysisResult result = pipeline::AbstractAnalyze(res, before1, args_spec_list);
  100. FuncGraphPtr new_graph = pipeline::ProgramSpecialize(res, before1, result.context);
  101. auto patterns = std::vector<SubstitutionPtr>({irpass.arithmetic_simplify_, irpass.switch_simplify_, irpass.inline_});
  102. ASSERT_TRUE(CheckOpt(new_graph, after, patterns));
  103. }
  104. TEST_F(TestOptLib, test_inline_successively) {
  105. FuncGraphPtr before = getPyFun.CallAndParseRet("test_inline_successively", "before");
  106. FuncGraphPtr after = getPyFun.CallAndParseRet("test_inline_successively", "after");
  107. auto patterns = std::vector<SubstitutionPtr>({irpass.inline_});
  108. ASSERT_TRUE(CheckOpt(before, after, patterns));
  109. }
  110. TEST_F(TestOptLib, test_inline_closure) {
  111. FuncGraphPtr before = getPyFun.CallAndParseRet("test_inline_closure", "before");
  112. FuncGraphPtr after = getPyFun.CallAndParseRet("test_inline_closure", "after");
  113. auto patterns = std::vector<SubstitutionPtr>({irpass.inline_});
  114. ASSERT_TRUE(CheckOpt(before, after, patterns));
  115. }
  116. TEST_F(TestOptLib, test_inline_deep_closure) {
  117. FuncGraphPtr before = getPyFun.CallAndParseRet("test_inline_deep_closure", "before");
  118. FuncGraphPtr after = getPyFun.CallAndParseRet("test_inline_deep_closure", "after");
  119. auto patterns = std::vector<SubstitutionPtr>({irpass.inline_});
  120. ASSERT_TRUE(CheckOpt(before, after, patterns));
  121. }
  122. TEST_F(TestOptLib, test_inline_new_closure) {
  123. FuncGraphPtr before = getPyFun.CallAndParseRet("test_inline_new_closure", "before");
  124. FuncGraphPtr after = getPyFun.CallAndParseRet("test_inline_new_closure", "after");
  125. auto patterns = std::vector<SubstitutionPtr>({irpass.inline_});
  126. ASSERT_TRUE(CheckOpt(before, after, patterns));
  127. }
  128. TEST_F(TestOptLib, test_inline_while) {
  129. FuncGraphPtr before = getPyFun.CallAndParseRet("test_inline_while", "before");
  130. auto patterns = std::vector<SubstitutionPtr>({irpass.inline_});
  131. FuncGraphPtr after = RunSubs(before, patterns);
  132. ASSERT_TRUE(CheckOpt(before, after, patterns, true));
  133. }
  134. TEST_F(TestOptLib, test_arithmetic) {
  135. FuncGraphPtr b1_0 = getPyFun.CallAndParseRet("test_arithmetic", "multiply_by_zero_l");
  136. FuncGraphPtr b2_0 = getPyFun.CallAndParseRet("test_arithmetic", "multiply_by_zero_r");
  137. FuncGraphPtr b1 = getPyFun.CallAndParseRet("test_arithmetic", "multiply_by_one_l");
  138. FuncGraphPtr b2 = getPyFun.CallAndParseRet("test_arithmetic", "multiply_by_one_r");
  139. FuncGraphPtr b3 = getPyFun.CallAndParseRet("test_arithmetic", "add_zero_l");
  140. FuncGraphPtr b4 = getPyFun.CallAndParseRet("test_arithmetic", "add_zero_r");
  141. FuncGraphPtr b5 = getPyFun.CallAndParseRet("test_arithmetic", "elim_identity");
  142. FuncGraphPtr after = getPyFun.CallAndParseRet("test_arithmetic", "after");
  143. FuncGraphPtr after_0 = getPyFun.CallAndParseRet("test_arithmetic", "after_0");
  144. auto patterns = std::vector<SubstitutionPtr>({irpass.arithmetic_simplify_});
  145. ASSERT_TRUE(CheckOpt(b1_0, after_0, patterns));
  146. ASSERT_TRUE(CheckOpt(b2_0, after_0, patterns));
  147. ASSERT_TRUE(CheckOpt(b1, after, patterns));
  148. ASSERT_TRUE(CheckOpt(b2, after, patterns));
  149. ASSERT_TRUE(CheckOpt(b3, after, patterns));
  150. ASSERT_TRUE(CheckOpt(b4, after, patterns));
  151. ASSERT_TRUE(CheckOpt(b5, after, patterns));
  152. }
  153. TEST_F(TestOptLib, test_elim_cast_same_dtype) {
  154. FuncGraphPtr before = getPyFun.CallAndParseRet("test_elim_cast_same_dtype", "fp32_cast_fp32");
  155. FuncGraphPtr after = getPyFun.CallAndParseRet("test_elim_cast_same_dtype", "after");
  156. // construct such case that cast srcT equal dstT
  157. auto &inputs = before->output()->cast<CNodePtr>()->inputs();
  158. if (inputs.size() > 2) {
  159. auto cast_node = inputs[0];
  160. auto cast_py = cast_node->cast<ValueNodePtr>()->value()->cast<PrimitivePyPtr>();
  161. cast_py->set_attr("SrcT", TypeIdToType(kNumberTypeFloat32));
  162. cast_py->set_attr("DstT", TypeIdToType(kNumberTypeFloat32));
  163. auto x_node = inputs[1];
  164. std::vector<int64_t> shp = {2, 3};
  165. tensor::TensorPtr x_tensor = std::make_shared<tensor::Tensor>(kFloat32->type_id(), shp);
  166. auto x_abstract = x_tensor->ToAbstract();
  167. x_node->set_abstract(x_abstract);
  168. TypePtr t = std::make_shared<TensorType>(std::make_shared<Float>(32));
  169. ValueNodePtr val = std::make_shared<ValueNode>(t);
  170. auto t_abstract = t->ToAbstract();
  171. val->set_abstract(t_abstract);
  172. before->output()->cast<CNodePtr>()->set_input(2, val);
  173. }
  174. FuncGraphPtr gbefore_clone = BasicClone(before);
  175. auto patterns = std::vector<SubstitutionPtr>({irpass.cast_eliminate_});
  176. ASSERT_TRUE(CheckOpt(before, after, patterns));
  177. TypePtr t = std::make_shared<Float>(32);
  178. ValueNodePtr val = std::make_shared<ValueNode>(t);
  179. auto t_abstract = t->ToAbstract();
  180. val->set_abstract(t_abstract);
  181. gbefore_clone->output()->cast<CNodePtr>()->set_input(2, val);
  182. ASSERT_TRUE(CheckOpt(gbefore_clone, after, patterns));
  183. }
  184. TEST_F(TestOptLib, test_elim_reshape_same_shape) {
  185. FuncGraphPtr before = getPyFun.CallAndParseRet("elim_reshape_same_shape", "reshape_to_2_3");
  186. FuncGraphPtr after = getPyFun.CallAndParseRet("elim_reshape_same_shape", "after");
  187. // construct such case that shape is equal to reshape target
  188. auto &inputs = before->output()->cast<CNodePtr>()->inputs();
  189. if (inputs.size() > 1) {
  190. auto x_node = inputs[1];
  191. std::vector<int64_t> shp = {2, 3};
  192. tensor::TensorPtr x_tensor = std::make_shared<tensor::Tensor>(kFloat32->type_id(), shp);
  193. auto x_abstract = x_tensor->ToAbstract();
  194. x_node->set_abstract(x_abstract);
  195. before->output()->set_abstract(x_abstract);
  196. }
  197. auto patterns = std::vector<SubstitutionPtr>({irpass.reshape_eliminate_});
  198. ASSERT_TRUE(CheckOpt(before, after, patterns));
  199. if (inputs.size() > 1) {
  200. auto x_node = inputs[1];
  201. std::vector<int64_t> shp = {3, 2};
  202. tensor::TensorPtr x_tensor = std::make_shared<tensor::Tensor>(kFloat32->type_id(), shp);
  203. auto x_abstract = x_tensor->ToAbstract();
  204. x_node->set_abstract(x_abstract);
  205. }
  206. ASSERT_FALSE(CheckOpt(before, after, patterns));
  207. }
  208. TEST_F(TestOptLib, elim_two_reshape) {
  209. FuncGraphPtr before = getPyFun.CallAndParseRet("elim_two_reshape", "before");
  210. FuncGraphPtr after = getPyFun.CallAndParseRet("elim_two_reshape", "after");
  211. auto patterns = std::vector<SubstitutionPtr>({irpass.reshape_eliminate_});
  212. ASSERT_TRUE(CheckOpt(before, after, patterns));
  213. }
  214. TEST_F(TestOptLib, elim_two_cast) {
  215. FuncGraphPtr before = getPyFun.CallAndParseRet("elim_two_cast", "before");
  216. FuncGraphPtr after = getPyFun.CallAndParseRet("elim_two_cast", "after");
  217. auto patterns = std::vector<SubstitutionPtr>({irpass.cast_eliminate_});
  218. ASSERT_TRUE(CheckOpt(before, after, patterns));
  219. }
  220. TEST_F(TestOptLib, test_elim_transpose) {
  221. FuncGraphPtr before = getPyFun.CallAndParseRet("test_elim_transpose", "before");
  222. FuncGraphPtr after = getPyFun.CallAndParseRet("test_elim_transpose", "after");
  223. auto patterns = std::vector<SubstitutionPtr>({irpass.transpose_eliminate_});
  224. ASSERT_TRUE(CheckOpt(before, after, patterns));
  225. }
  226. TEST_F(TestOptLib, test_elim_depend_value) {
  227. FuncGraphPtr before = getPyFun.CallAndParseRet("test_elim_depend_value", "before");
  228. FuncGraphPtr after = getPyFun.CallAndParseRet("test_elim_depend_value", "after");
  229. auto patterns = std::vector<SubstitutionPtr>({irpass.depend_value_elim_});
  230. ASSERT_TRUE(CheckOpt(before, after, patterns));
  231. }
  232. TEST_F(TestOptLib, test_elim_tile_multiply_one) {
  233. FuncGraphPtr before = getPyFun.CallAndParseRet("test_elim_tile_multiply_one", "before");
  234. FuncGraphPtr after = getPyFun.CallAndParseRet("test_elim_tile_multiply_one", "after");
  235. auto patterns = std::vector<SubstitutionPtr>({irpass.tile_eliminate_});
  236. // Because can't get shape of x, not eliminate tile(x, (1,1,1)) to x.
  237. // to get shape of x need re-normalize before tile
  238. ASSERT_FALSE(CheckOpt(before, after, patterns, true));
  239. }
  240. TEST_F(TestOptLib, test_elim_reduce_mean_shape_one) {
  241. FuncGraphPtr before = getPyFun.CallAndParseRet("test_elim_reduce_mean_shape_one", "before");
  242. FuncGraphPtr after = getPyFun.CallAndParseRet("test_elim_reduce_mean_shape_one", "after");
  243. // construct such case that input x shape is (1), keepdims is true
  244. auto inputs = before->output()->cast<CNodePtr>()->inputs();
  245. if (inputs.size() > 2) {
  246. auto x_node = inputs[1];
  247. std::vector<int64_t> shp = {1};
  248. tensor::TensorPtr x_tensor = std::make_shared<tensor::Tensor>(kFloat32->type_id(), shp);
  249. auto x_abstract = x_tensor->ToAbstract();
  250. x_node->set_abstract(x_abstract);
  251. auto reduce_node = inputs[0];
  252. auto reduce = reduce_node->cast<ValueNodePtr>()->value()->cast<PrimitivePtr>();
  253. reduce->set_attr("keep_dims", std::make_shared<BoolImm>(true));
  254. }
  255. auto patterns = std::vector<SubstitutionPtr>({irpass.reduce_eliminate_});
  256. ASSERT_TRUE(CheckOpt(before, after, patterns));
  257. }
  258. TEST_F(TestOptLib, test_elim_all_shape_one) {
  259. FuncGraphPtr before = getPyFun.CallAndParseRet("test_elim_all_shape_one", "before");
  260. FuncGraphPtr after = getPyFun.CallAndParseRet("test_elim_all_shape_one", "after");
  261. // construct such case that input x shape is (1) keep_dims is true
  262. auto inputs = before->output()->cast<CNodePtr>()->inputs();
  263. if (inputs.size() > 2) {
  264. auto x_node = inputs[1];
  265. std::vector<int64_t> shp = {1};
  266. tensor::TensorPtr x_tensor = std::make_shared<tensor::Tensor>(kFloat32->type_id(), shp);
  267. auto x_abstract = x_tensor->ToAbstract();
  268. x_node->set_abstract(x_abstract);
  269. auto reduce_node = inputs[0];
  270. auto reduce = reduce_node->cast<ValueNodePtr>()->value()->cast<PrimitivePtr>();
  271. reduce->set_attr("keep_dims", std::make_shared<BoolImm>(true));
  272. }
  273. auto patterns = std::vector<SubstitutionPtr>({irpass.reduce_eliminate_});
  274. ASSERT_TRUE(CheckOpt(before, after, patterns));
  275. }
  276. TEST_F(TestOptLib, test_elim_sum_shape_one) {
  277. FuncGraphPtr before = getPyFun.CallAndParseRet("test_elim_sum_shape_one", "before");
  278. FuncGraphPtr after = getPyFun.CallAndParseRet("test_elim_sum_shape_one", "after");
  279. // construct such case that input x shape is (1) keepdims is true
  280. auto inputs = before->output()->cast<CNodePtr>()->inputs();
  281. if (inputs.size() > 2) {
  282. auto x_node = inputs[1];
  283. std::vector<int64_t> shp = {1};
  284. tensor::TensorPtr x_tensor = std::make_shared<tensor::Tensor>(kFloat32->type_id(), shp);
  285. auto x_abstract = x_tensor->ToAbstract();
  286. x_node->set_abstract(x_abstract);
  287. auto reduce_node = inputs[0];
  288. auto reduce = reduce_node->cast<ValueNodePtr>()->value()->cast<PrimitivePtr>();
  289. reduce->set_attr("keep_dims", std::make_shared<BoolImm>(true));
  290. }
  291. auto patterns = std::vector<SubstitutionPtr>({irpass.reduce_eliminate_});
  292. ASSERT_TRUE(CheckOpt(before, after, patterns));
  293. }
  294. TEST_F(TestOptLib, test_tuple_getitem) {
  295. FuncGraphPtr make_get_0 = getPyFun.CallAndParseRet("test_tuple_getitem", "make_get_0");
  296. FuncGraphPtr make_get_1 = getPyFun.CallAndParseRet("test_tuple_getitem", "make_get_1");
  297. FuncGraphPtr after_0 = getPyFun.CallAndParseRet("test_tuple_getitem", "after_0");
  298. FuncGraphPtr after_1 = getPyFun.CallAndParseRet("test_tuple_getitem", "after_1");
  299. FuncGraphPtr make_get_const = std::make_shared<FuncGraph>();
  300. auto value_node_1 = NewValueNode(static_cast<int64_t>(1));
  301. auto value_node_2 = NewValueNode(static_cast<int64_t>(2));
  302. std::vector<int64_t> vec{1, 2};
  303. auto value_node_tuple = NewValueNode(MakeValue(vec));
  304. std::vector<AnfNodePtr> node_list{NewValueNode(prim::kPrimTupleGetItem), value_node_tuple, value_node_1};
  305. auto get_item = make_get_const->NewCNode(node_list);
  306. make_get_const->set_output(get_item);
  307. FuncGraphPtr after_2 = std::make_shared<FuncGraph>();
  308. after_2->set_output(value_node_2);
  309. auto patterns = std::vector<SubstitutionPtr>(
  310. {irpass.tuple_list_get_item_eliminator_, irpass.tuple_list_get_item_const_eliminator_,
  311. irpass.tuple_list_set_item_eliminator_, irpass.tuple_list_get_set_item_eliminator_,
  312. irpass.tuple_list_get_item_depend_reorder_, irpass.tuple_list_convert_item_index_to_positive_});
  313. ASSERT_TRUE(CheckOpt(make_get_0, after_0, patterns));
  314. ASSERT_TRUE(CheckOpt(make_get_1, after_1, patterns));
  315. ASSERT_TRUE(CheckOpt(make_get_const, after_2, patterns));
  316. }
  317. TEST_F(TestOptLib, test_tuple_setitem) {
  318. FuncGraphPtr before_0 = getPyFun.CallAndParseRet("test_tuple_setitem", "before_0");
  319. FuncGraphPtr before_1 = getPyFun.CallAndParseRet("test_tuple_setitem", "before_1");
  320. FuncGraphPtr after_0 = getPyFun.CallAndParseRet("test_tuple_setitem", "after_0");
  321. FuncGraphPtr after_1 = getPyFun.CallAndParseRet("test_tuple_setitem", "after_1");
  322. auto patterns = std::vector<SubstitutionPtr>(
  323. {irpass.tuple_list_get_item_eliminator_, irpass.tuple_list_get_item_const_eliminator_,
  324. irpass.tuple_list_set_item_eliminator_, irpass.tuple_list_get_set_item_eliminator_,
  325. irpass.tuple_list_get_item_depend_reorder_, irpass.tuple_list_convert_item_index_to_positive_});
  326. ASSERT_TRUE(CheckOpt(before_0, after_0, patterns));
  327. ASSERT_TRUE(CheckOpt(before_1, after_1, patterns));
  328. }
  329. TEST_F(TestOptLib, test_tuple_get_set_item) {
  330. FuncGraphPtr before_0 = getPyFun.CallAndParseRet("test_tuple_get_set_item", "before_0");
  331. FuncGraphPtr after_0 = getPyFun.CallAndParseRet("test_tuple_get_set_item", "after_0");
  332. FuncGraphPtr before_1 = getPyFun.CallAndParseRet("test_tuple_get_set_item", "before_0");
  333. FuncGraphPtr after_1 = getPyFun.CallAndParseRet("test_tuple_get_set_item", "after_0");
  334. auto patterns = std::vector<SubstitutionPtr>(
  335. {irpass.tuple_list_get_item_eliminator_, irpass.tuple_list_get_item_const_eliminator_,
  336. irpass.tuple_list_set_item_eliminator_, irpass.tuple_list_get_set_item_eliminator_,
  337. irpass.tuple_list_get_item_depend_reorder_, irpass.tuple_list_convert_item_index_to_positive_});
  338. ASSERT_TRUE(CheckOpt(before_0, after_0, patterns));
  339. ASSERT_TRUE(CheckOpt(before_1, after_1, patterns));
  340. }
  341. TEST_F(TestOptLib, test_partial) {
  342. FuncGraphPtr before = getPyFun.CallAndParseRet("test_partial", "before");
  343. FuncGraphPtr after = getPyFun.CallAndParseRet("test_partial", "after");
  344. auto patterns = std::vector<SubstitutionPtr>({irpass.partial_eliminate_});
  345. ASSERT_TRUE(CheckOpt(before, after, patterns));
  346. }
  347. TEST_F(TestOptLib, test_replace_applicator) {
  348. FuncGraphPtr before1 = getPyFun.CallAndParseRet("test_replace_applicator", "before1");
  349. FuncGraphPtr before2 = getPyFun.CallAndParseRet("test_replace_applicator", "before2");
  350. FuncGraphPtr before3 = getPyFun.CallAndParseRet("test_replace_applicator", "before3");
  351. FuncGraphPtr after = getPyFun.CallAndParseRet("test_replace_applicator", "after");
  352. auto patterns = std::vector<SubstitutionPtr>({irpass.replace_applicator_});
  353. ASSERT_TRUE(CheckOpt(before1, after, patterns));
  354. ASSERT_TRUE(CheckOpt(before2, after, patterns));
  355. ASSERT_TRUE(CheckOpt(before3, before3, patterns));
  356. }
  357. TEST_F(TestOptLib, test_specialize_on_graph_arguments) {
  358. FuncGraphPtr before = getPyFun.CallAndParseRet("test_specialize_on_graph_arguments", "before");
  359. FuncGraphPtr after = getPyFun.CallAndParseRet("test_specialize_on_graph_arguments", "after");
  360. auto patterns = std::vector<SubstitutionPtr>({irpass.specialize_transform_});
  361. ASSERT_TRUE(CheckOpt(before, after, patterns));
  362. }
  363. TEST_F(TestOptLib, test_incorporate_call) {
  364. FuncGraphPtr before = getPyFun.CallAndParseRet("test_incorporate_call", "before");
  365. FuncGraphPtr after = getPyFun.CallAndParseRet("test_incorporate_call", "after");
  366. auto patterns = std::vector<SubstitutionPtr>({irpass.incorporate_call_});
  367. ASSERT_TRUE(CheckOpt(before, after, patterns));
  368. }
  369. TEST_F(TestOptLib, test_incorporate_call_through_switch) {
  370. FuncGraphPtr before = getPyFun.CallAndParseRet("test_incorporate_call_through_switch", "before");
  371. FuncGraphPtr after = getPyFun.CallAndParseRet("test_incorporate_call_through_switch", "after");
  372. auto patterns = std::vector<SubstitutionPtr>({
  373. irpass.incorporate_call_switch_,
  374. irpass.incorporate_call_,
  375. irpass.arithmetic_simplify_,
  376. });
  377. ASSERT_TRUE(CheckOpt(before, after, patterns));
  378. }
  379. TEST_F(TestOptLib, test_float_tuple_getitem_through_switch) {
  380. FuncGraphPtr before = getPyFun.CallAndParseRet("test_float_tuple_getitem_through_switch", "before");
  381. FuncGraphPtr after = getPyFun.CallAndParseRet("test_float_tuple_getitem_through_switch", "after");
  382. auto patterns = std::vector<SubstitutionPtr>({irpass.float_tuple_getitem_switch_});
  383. ASSERT_TRUE(CheckOpt(before, after, patterns));
  384. }
  385. TEST_F(TestOptLib, test_merge_addn) {
  386. FuncGraphPtr before = getPyFun.CallAndParseRet("test_merge_addn", "before");
  387. FuncGraphPtr after = getPyFun.CallAndParseRet("test_merge_addn", "after");
  388. auto patterns = std::vector<SubstitutionPtr>({irpass.merge_addn_});
  389. ASSERT_TRUE(CheckOpt(before, after, patterns));
  390. }
  391. TEST_F(TestOptLib, test_filter_addn_zero) {
  392. FuncGraphPtr before1 = getPyFun.CallAndParseRet("test_addn_zero", "before_1");
  393. FuncGraphPtr after = getPyFun.CallAndParseRet("test_addn_zero", "after");
  394. FuncGraphPtr before2 = getPyFun.CallAndParseRet("test_addn_zero", "before_2");
  395. FuncGraphPtr before3 = getPyFun.CallAndParseRet("test_addn_zero", "before_3");
  396. FuncGraphPtr before4 = getPyFun.CallAndParseRet("test_addn_zero", "before_4");
  397. auto patterns = std::vector<SubstitutionPtr>({irpass.addn_zero_filter_});
  398. ASSERT_TRUE(CheckOpt(before1, after, patterns));
  399. ASSERT_TRUE(CheckOpt(before2, after, patterns));
  400. ASSERT_TRUE(CheckOpt(before3, after, patterns));
  401. ASSERT_TRUE(CheckOpt(before4, before4, patterns));
  402. }
  403. TEST_F(TestOptLib, test_minmax_grad) {
  404. FuncGraphPtr before11 = getPyFun.CallAndParseRet("test_minmax_grad", "before_11");
  405. FuncGraphPtr before12 = getPyFun.CallAndParseRet("test_minmax_grad", "before_12");
  406. FuncGraphPtr before2 = getPyFun.CallAndParseRet("test_minmax_grad", "before_2");
  407. FuncGraphPtr before31 = getPyFun.CallAndParseRet("test_minmax_grad", "before_31");
  408. FuncGraphPtr before32 = getPyFun.CallAndParseRet("test_minmax_grad", "before_32");
  409. FuncGraphPtr before4 = getPyFun.CallAndParseRet("test_minmax_grad", "before_4");
  410. auto patterns = std::vector<SubstitutionPtr>({irpass.minmaximum_grad_});
  411. ASSERT_TRUE(CheckOpt(before11, before11, patterns));
  412. ASSERT_TRUE(CheckOpt(before12, before12, patterns));
  413. ASSERT_TRUE(CheckOpt(before2, before2, patterns));
  414. ASSERT_TRUE(CheckOpt(before31, before31, patterns));
  415. ASSERT_TRUE(CheckOpt(before32, before32, patterns));
  416. ASSERT_TRUE(CheckOpt(before4, before4, patterns));
  417. }
  418. TEST_F(TestOptLib, test_reducesum_one) {
  419. FuncGraphPtr before1 = getPyFun.CallAndParseRet("test_reducesum_one", "before_1");
  420. FuncGraphPtr before2 = getPyFun.CallAndParseRet("test_reducesum_one", "before_2");
  421. FuncGraphPtr before3 = getPyFun.CallAndParseRet("test_reducesum_one", "before_3");
  422. FuncGraphPtr before4 = getPyFun.CallAndParseRet("test_reducesum_one", "before_4");
  423. FuncGraphPtr after1 = getPyFun.CallAndParseRet("test_reducesum_one", "after_1");
  424. FuncGraphPtr after2 = getPyFun.CallAndParseRet("test_reducesum_one", "after_2");
  425. FuncGraphPtr after3 = getPyFun.CallAndParseRet("test_reducesum_one", "after_3");
  426. auto patterns = std::vector<SubstitutionPtr>({irpass.reduce_eliminate_});
  427. std::vector<int64_t> shp = {3, 2, 2, 1};
  428. tensor::TensorPtr x_tensor = std::make_shared<tensor::Tensor>(kFloat32->type_id(), shp);
  429. auto x_abstract = x_tensor->ToAbstract();
  430. std::vector<int64_t> shp2 = {3, 2, 1, 1};
  431. tensor::TensorPtr x_tensor2 = std::make_shared<tensor::Tensor>(kFloat32->type_id(), shp2);
  432. auto x_abstract2 = x_tensor2->ToAbstract();
  433. auto inputs = before1->output()->cast<CNodePtr>()->inputs();
  434. if (inputs.size() > 1) {
  435. auto x_node = inputs[1];
  436. x_node->set_abstract(x_abstract);
  437. }
  438. ASSERT_TRUE(CheckOpt(before1, after1, patterns));
  439. auto inputs2 = before2->output()->cast<CNodePtr>()->inputs();
  440. if (inputs2.size() > 1) {
  441. auto x_node2 = inputs2[1];
  442. x_node2->set_abstract(x_abstract2);
  443. }
  444. ASSERT_TRUE(CheckOpt(before2, after1, patterns));
  445. auto inputs3 = before2->output()->cast<CNodePtr>()->inputs();
  446. if (inputs3.size() > 1) {
  447. auto x_node3 = inputs3[1];
  448. x_node3->set_abstract(x_abstract);
  449. }
  450. ASSERT_TRUE(CheckOpt(before2, before2, patterns));
  451. auto inputs4 = before3->output()->cast<CNodePtr>()->inputs();
  452. if (inputs4.size() > 1) {
  453. auto x_node4 = inputs4[1];
  454. x_node4->set_abstract(x_abstract);
  455. }
  456. ASSERT_TRUE(CheckOpt(before3, after2, patterns));
  457. auto inputs5 = before4->output()->cast<CNodePtr>()->inputs();
  458. if (inputs5.size() > 1) {
  459. auto x_node5 = inputs5[1];
  460. x_node5->set_abstract(x_abstract2);
  461. }
  462. ASSERT_TRUE(CheckOpt(before4, after3, patterns));
  463. }
  464. #ifndef ENABLE_SECURITY
  465. TEST_F(TestOptLib, test_print_tuple_wrapper) {
  466. FuncGraphPtr before1 = getPyFun.CallAndParseRet("test_print_tuple_wrapper", "before1");
  467. FuncGraphPtr before2 = getPyFun.CallAndParseRet("test_print_tuple_wrapper", "before2");
  468. FuncGraphPtr before3 = getPyFun.CallAndParseRet("test_print_tuple_wrapper", "before3");
  469. FuncGraphPtr after1 = getPyFun.CallAndParseRet("test_print_tuple_wrapper", "after1");
  470. FuncGraphPtr after2 = getPyFun.CallAndParseRet("test_print_tuple_wrapper", "after2");
  471. auto patterns = std::vector<SubstitutionPtr>({irpass.print_tuple_wrapper_});
  472. ASSERT_TRUE(CheckOpt(before1, after1, patterns));
  473. ASSERT_TRUE(CheckOpt(before2, after2, patterns));
  474. ASSERT_TRUE(CheckOpt(before3, before3, patterns));
  475. }
  476. #endif
  477. TEST_F(TestOptLib, test_constant_duplicate_mul) {
  478. FuncGraphPtr beforell = getPyFun.CallAndParseRet("test_constant_duplicate_mul", "beforell");
  479. FuncGraphPtr beforelr = getPyFun.CallAndParseRet("test_constant_duplicate_mul", "beforelr");
  480. FuncGraphPtr beforerl = getPyFun.CallAndParseRet("test_constant_duplicate_mul", "beforerl");
  481. FuncGraphPtr beforerr = getPyFun.CallAndParseRet("test_constant_duplicate_mul", "beforerr");
  482. FuncGraphPtr after = getPyFun.CallAndParseRet("test_constant_duplicate_mul", "after");
  483. auto patterns = std::vector<SubstitutionPtr>({irpass.arithmetic_simplify_});
  484. ASSERT_TRUE(CheckOpt(beforell, after, patterns));
  485. ASSERT_TRUE(CheckOpt(beforelr, after, patterns));
  486. ASSERT_TRUE(CheckOpt(beforerl, after, patterns));
  487. ASSERT_TRUE(CheckOpt(beforerr, after, patterns));
  488. }
  489. TEST_F(TestOptLib, test_adjust_allreduce_mul_add) {
  490. FuncGraphPtr beforell = getPyFun.CallAndParseRet("test_adjust_allreduce_mul_add", "beforell");
  491. FuncGraphPtr beforelr = getPyFun.CallAndParseRet("test_adjust_allreduce_mul_add", "beforelr");
  492. FuncGraphPtr beforerl = getPyFun.CallAndParseRet("test_adjust_allreduce_mul_add", "beforerl");
  493. FuncGraphPtr beforerr = getPyFun.CallAndParseRet("test_adjust_allreduce_mul_add", "beforerr");
  494. FuncGraphPtr after1 = getPyFun.CallAndParseRet("test_adjust_allreduce_mul_add", "after1");
  495. FuncGraphPtr before2r = getPyFun.CallAndParseRet("test_adjust_allreduce_mul_add", "before2r");
  496. FuncGraphPtr before2l = getPyFun.CallAndParseRet("test_adjust_allreduce_mul_add", "before2l");
  497. FuncGraphPtr after2 = getPyFun.CallAndParseRet("test_adjust_allreduce_mul_add", "after2");
  498. auto patterns = std::vector<SubstitutionPtr>({irpass.adjust_all_reduce_mul_add_});
  499. ASSERT_TRUE(CheckOpt(beforell, after1, patterns, true));
  500. ASSERT_TRUE(CheckOpt(beforelr, after1, patterns));
  501. ASSERT_TRUE(CheckOpt(beforerl, after1, patterns));
  502. ASSERT_TRUE(CheckOpt(beforerr, after1, patterns));
  503. }
  504. TEST_F(TestOptLib, test_row_tensor) {
  505. FuncGraphPtr before_get_indices = getPyFun.CallAndParseRet("test_row_tensor", "before_get_indices");
  506. FuncGraphPtr after_get_indices = getPyFun.CallAndParseRet("test_row_tensor", "after_get_indices");
  507. FuncGraphPtr before_get_values = getPyFun.CallAndParseRet("test_row_tensor", "before_get_values");
  508. FuncGraphPtr after_get_values = getPyFun.CallAndParseRet("test_row_tensor", "after_get_values");
  509. FuncGraphPtr before_get_dense_shape = getPyFun.CallAndParseRet("test_row_tensor", "before_get_dense_shape");
  510. FuncGraphPtr after_get_dense_shape = getPyFun.CallAndParseRet("test_row_tensor", "after_get_dense_shape");
  511. auto patterns = std::vector<SubstitutionPtr>({irpass.row_tensor_eliminate_});
  512. ASSERT_TRUE(CheckOpt(before_get_indices, after_get_indices, patterns));
  513. ASSERT_TRUE(CheckOpt(before_get_values, after_get_values, patterns));
  514. ASSERT_TRUE(CheckOpt(before_get_dense_shape, after_get_dense_shape, patterns));
  515. }
  516. TEST_F(TestOptLib, test_sparse_tensor) {
  517. FuncGraphPtr before_get_indices = getPyFun.CallAndParseRet("test_sparse_tensor", "before_get_indices");
  518. FuncGraphPtr after_get_indices = getPyFun.CallAndParseRet("test_sparse_tensor", "after_get_indices");
  519. FuncGraphPtr before_get_values = getPyFun.CallAndParseRet("test_sparse_tensor", "before_get_values");
  520. FuncGraphPtr after_get_values = getPyFun.CallAndParseRet("test_sparse_tensor", "after_get_values");
  521. FuncGraphPtr before_get_dense_shape = getPyFun.CallAndParseRet("test_sparse_tensor", "before_get_dense_shape");
  522. FuncGraphPtr after_get_dense_shape = getPyFun.CallAndParseRet("test_sparse_tensor", "after_get_dense_shape");
  523. auto patterns = std::vector<SubstitutionPtr>({irpass.sparse_tensor_eliminate_});
  524. ASSERT_TRUE(CheckOpt(before_get_indices, after_get_indices, patterns));
  525. ASSERT_TRUE(CheckOpt(before_get_values, after_get_values, patterns));
  526. ASSERT_TRUE(CheckOpt(before_get_dense_shape, after_get_dense_shape, patterns));
  527. }
  528. } // namespace opt
  529. } // namespace mindspore