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