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