[NewIR] Add parser to deserialize

[xingmingyyj]

PR types

Others

PR changes

Others

Description

该PR为Paddle增加Parser模块，该模块可以完成将文本文件分序列化为计算图的功能。Parser主要支持Attribute、Type和Program的反序列化。

设计文档

Parser设计文档

如何反序列化Program

参考代码如下：

ir::IrContext *ctx = ir::IrContext::Instance();
ctx->GetOrRegisterDialect<PaddleDialect>();

std::ifstream program_text(file_path);
std::unique_ptr<ir::Program> program = ir::Program::Parse(program_text,ctx);
std::cout << *program << std::endl;

可以参考test/cpp/ir/core/program_translator_test.cc的IrParserTest，提供了例子。

如何反序列化Type/Attribute

Type和Attribute的Parse方式和Program类似，如下：

std::stringstream attr_text("(Array)[(pd.DataType)bool,(pd.DataType)float32,(pd.DataType)float64]");
auto attribute = ir::Program::Parse(ctx, attr_text);
std::cout << attribute << std::endl;

可以参考test/cpp/ir/core/ir_parser_test.cc和test/cpp/ir/core/TestParserText.txt。

如果新定义了一个dialect，如何为它自定义parser？

在定义dialect时，需要重载下面几个方法：

virtual Type ParseType(IrParser &parser) {  // NOLINT
  IR_THROW("dialect has no registered type parsing hook");
}

virtual Attribute ParseAttribute(IrParser &parser) {  // NOLINT
  IR_THROW("dialect has no registered attribute parsing hook");
}

virtual Operation ParseOperation(IrParser &parser) {  // NOLINT
  IR_THROW("dialect has no registered operation parsing hook");
}

可以参考test/cpp/ir/core/add_dialect_parser_test.cc。

[kangguangli]

关于文件结构，可以把parser相关的文件在 ir/core路径下单独建一个子文件夹如ir/core/parser处理，把token.h/lexer.h/lexer.cc/ir_parser.cc放在里面，就留ir_parser.h在外面吧
记得顺便更改下ir/core/CMakeLists

[paddle-ci-bot]

Sorry to inform you that 17baf61's CIs have passed for more than 7 days. To prevent PR conflicts, you need to re-run all CIs manually.

[kangguangli]

@xingmingyyj 麻烦完善下PR描述，结合这里的单测说明下新加入的parser模块的用法，如果有的话，可以把文档里面写好的部分粘贴过来，没有的话麻烦补充下。

[kangguangli]

Suggested change

	#include <gtest/gtest.h>
	#include <fstream>
	#include <iostream>
	#include <gtest/gtest.h>

这个顺序更合适些

[xingmingyyj]

@xingmingyyj 麻烦完善下PR描述，结合这里的单测说明下新加入的parser模块的用法，如果有的话，可以把文档里面写好的部分粘贴过来，没有的话麻烦补充下。

已添加

[kangguangli]

Good job!

[risemeup1]

LGTM

[risemeup1]

建议将cc_test_old改为cc_test，link静态库会导致可执行文件比较大，会在连接的时候占用更多的内存，可能导致内存打满，coverage编译挂掉，鉴于此PR编译出来的单测可执行文件小与500M，可提前approve，建议合入之后，改为cc_test，或者使用cc_test_old依赖libpaddle.so

[xingmingyyj]

好的👌

[XiaoguangHu01]

LGTM

[kangguangli]

@xingmingyyj 恭喜PR合入了，可以先解决下上面提到的cc_test_old的问题，替换成cc_test试试，看看有没有什么问题

[xingmingyyj]

@xingmingyyj 恭喜PR合入了，可以先解决下上面提到的cc_test_old的问题，替换成cc_test试试，看看有没有什么问题

好的好的👌