吹爆 Intellisense

Size: px

Start display at page:

Download "吹爆 Intellisense"

念瓦苍
4 years ago
Views:

1 Lab1-3 Lab2-1 zevin

2 前言

3 吹爆 Intellisense

4 吹爆 Intellisense

5 吹爆 Intellisense

6 吹爆 Intellisense

7 吹爆 Intellisense

8 代码效率 Max

9 Lab1-3

10 Lab1-3 分析项目结构学习并理解 visitor pattern 完成代码回答问题

11 Lab1-3 分析项目结构 - CMakeLists.txt

12 Lab1-3 分析项目结构 - CMakeLists.txt 1. 设置版本, 路径等参数 : 如 :

13 Lab1-3 分析项目结构 - CMakeLists.txt 1. 设置版本, 路径等参数 : 如 :

14 Lab1-3 分析项目结构 - CMakeLists.txt 1. 设置版本, 路径等参数 2.build antlr4cpp: 找到 ExternalAntlr4Cpp.cmake, load and run.

15 Lab1-3 分析项目结构 - CMakeLists.txt 1. 设置版本, 路径等参数 2.build antlr4cpp 3. 用 antlr4cpp 处理 lexer 和 grammar 得到 target 的依赖

16 Lab1-3 分析项目结构 - CMakeLists.txt 1. 设置版本, 路径等参数 2.build antlr4cpp 3. 用 antlr4cpp 处理 lexer 和 grammar 得到 target 的依赖

17 Lab1-3 分析项目结构 - CMakeLists.txt 1. 设置版本, 路径等参数 2.build antlr4cpp 3. 用 antlr4cpp 处理 lexer 和 grammar 得到 target 的依赖 4. 添加 rapidjson 的引用

18 Lab1-3 分析项目结构 - CMakeLists.txt 1. 设置版本, 路径等参数 2.build antlr4cpp 3. 用 antlr4cpp 处理 lexer 和 grammar 得到 target 的依赖 4. 添加 rapidjson 的引用 5. 编译生成的 grammar 文件, 添加依赖关系, 链接

19 Lab1-3 分析项目结构 - CMakeLists.txt 1. 设置版本, 路径等参数 2.build antlr4cpp 3. 用 antlr4cpp 处理 lexer 和 grammar 得到 target 的依赖 4. 添加 rapidjson 的引用 5. 编译生成的 grammar 文件, 添加依赖关系, 链接 6. 编译生成可执行文件 c1r_test

20 Lab1-3 分析项目结构 - CMakeLists.txt 1. 设置版本, 路径等参数 2.build antlr4cpp 3. 用 antlr4cpp 处理 lexer 和 grammar 得到 target 的依赖 4. 添加 rapidjson 的引用 5. 编译生成的 grammar 文件, 添加依赖关系, 链接 6. 编译生成可执行文件 c1r_test 7. 生成 c1recognizer 的 installation rules, 以支持 Lab2.

21 Lab1-3 分析项目结构 - 功能模块

22 Lab1-3 分析项目结构功能模块 1.recognizer: 主要模块通过 C1Lexer lexer(input) 以及 CommonTokenStream tokens(&lexer) 得到 token 流 ; 通过 C1Parser parser(&tokens) 以及 parser.compilationunit() 得到 parse tree; 通过 ast = ast_builder(tree) 调用 syntax_tree_builder, 构建 AST; 得到的 AST 在 main.cpp 转换为 JSON 格式输出 ;

23 Lab1-3 分析项目结构功能模块 1.recognizer: 主要模块 2.antlr4cpp:.g4 -> c++ 源代码通过.g4 生成 lexer 和 parser 的 C++ 代码

24 Lab1-3 分析项目结构功能模块 1.recognizer: 主要模块 2.antlr4cpp:.g4 -> c++ 源代码 3.syntax_tree_builder: parse tree -> AST 本次实验主要需要完成的部分, 通过访问者模式遍历 parse tree, 生成 AST

25 Lab1-3 分析项目结构功能模块 1.recognizer: 主要模块 2.antlr4cpp:.g4 -> c++ 源代码 3.syntax_tree_builder: parse tree -> AST 4.syntax_tree_serializer: AST ->.json 将 Recognizer 中构建好的 AST 进行序列化, 通过 rapidjson 得到 JSON 格式的输出

26 Lab1-3 visitor pattern

27 Lab1-3 visitor pattern Lab2-2 也会涉及到

28 Lab1-3 visitor pattern visitor pattern 解决的问题? It should be possible to define a new operation for (some) classes of an object structure without changing the classes. 每次都弄一个新的 subclass 不够灵活怎么做的?

29 Lab1-3 结合 Lab1-3 理解 Visitor Pattern 在 visitexp() 中, 当表达式是 number 时, 调用 visit(number)

30 Lab1-3 结合 Lab1-3 理解 Visitor Pattern 在 visitexp() 中, 当表达式是 number 时, 调用 visit(number) syntax_tree_builder 继承自 AbstractParseTreeVisitor

31 Lab1-3 结合 Lab1-3 理解 Visitor Pattern 在 visitexp() 中, 当表达式是 number 时, 调用 visit(number) syntax_tree_builder 继承自 AbstractParseTreeVisitor 所以继续执行 number->accept(syntax_tree_builder* )

32 Lab1-3 结合 Lab1-3 理解 Visitor Pattern 在 visitexp() 中, 当表达式是 number 时, 调用 visit(number) syntax_tree_builder 继承自 AbstractParseTreeVisitor 所以继续执行 number->accept(syntax_tree_builder* ) 继续执行 syntax_tree_builder->visitnumber(number)

33 Lab1-3 结合 Lab1-3 理解 Visitor Pattern 在 visitexp() 中, 当表达式是 number 时, 调用 visit(number) syntax_tree_builder 继承自 AbstractParseTreeVisitor 所以继续执行 number->accept(syntax_tree_builder* ) 继续执行 syntax_tree_builder->visitnumber(number) 好处?

34 Lab1-3 完成代码

35 Lab1-3 完成代码要得到 TerminalNode 直接 ctx-> RightBracket() // not exists -> nullptr 要得到 NonTerminalNode 直接 ctx-> exp() // not exists -> nullptr

36 Lab1-3 完成代码判断具体是哪个产生式 (alternative): 可以用该 alternative 特有的 terminalnode 或者 nonterminalnode 判断 terminalnode 举例 : 比如 ctx-> RightBracket() // not exists -> nullptr -> bool : false // exists -> not nullptr -> bool : true nonterminalnode 举例 : 比如 (decl funcdef)+ 可以 ctx->children 得到 vector 这里 vector 的元素顺序不能打乱, 否则影响程序语义. 然后对其中元素, 通过 dynamic_cast<c1parser::declcontext *>() 判断

37 Lab1-3 完成代码 1. block_syntax 里只有 stmt_syntax?decl 呢? 2. var_def_stmt_syntax 继承自 stmt_syntax 作为 stmt 的一种, 但是 EBNF 文法描述中,VarDef 并不是 Stmt 多个选择之一? syntax_tree.h 里的 var_def_stmt_syntax 是具体实现, 和理论文法不用一一对应. 可以体会一下这么实现带来的好处

38 Lab1-3 完成代码类型问题 : std::bad_cast 的错误指什么?antlrcpp::Any 又是干嘛的?

39 Lab1-3 完成代码类型问题 : ptr_list 应该怎么赋值? 用 vector 的方法 push_back(visit(somepointer).as<*_syntax *>()) 报错说没有匹配的函数没有匹配的函数是因为函数的参数类型不对查看 ptr_list 定义

40 Lab1-3 完成代码类型问题 : ptr_list 应该怎么赋值? 用 vector 的方法 push_back(visit(somepointer).as<*_syntax *>()) 报错说没有匹配的函数然后根据 vector 的类型, 以及 somepointer 的类型, 如果 vector 是 ptr_list<t> 就在 visit(somepointer).as<*_syntax *>() 外面再套一层类型转换如果本身是智能指针, 那就套 dynamic_pointer_cast() 或者 static_pointer_cast(). 如果是普通指针, 那就套 ptr()

41 Lab1-3 完成代码类型问题 : 总结其实就是 : 调用的时候参数类型和函数声明的参数类型一致使用返回值的时候和函数定义最后 return 的类型一致

42 Lab1-3 回答问题 - 三个函数

43 Lab1-3 回答问题 - 三个函数 enterrecursionrule : 作用是做递归前的准备工作 unrollrecursioncontexts : 作用是做递归结束后的恢复和保存工作 adaptivepredict : 论文中描述的 adaptivepredict 过程对于产生式存在谓词的非终结符, 利用上下文和栈进行预测, 即 LL 分析 ; 否则进行 SLL 分析 ( 不需要用到栈 )

44 Lab1-3 回答问题 - 错误处理

45 Lab1-3 回答问题 - 错误处理具体实现 : DefaultErrorStrategy 代码实现及详尽解释见 DefaultErrorStrategy.(cpp/h)

46 Lab1-3 回答问题 - 错误处理具体实现 : DefaultErrorStrategy. 代码实现及详尽解释见 DefaultErrorStrategy.(cpp/h) 接口 : DefaultErrorStrategy::reportError() DefaultErrorStrategy::recover() DefaultErrorStrategy::consumeUntil() 等

47 Lab1-3 回答问题三个 *LL SLL:

48 Lab1-3 回答问题三个 *LL LL:

49 Lab1-3 回答问题三个 *LL LL(k) 是不需要回溯的, 其根据已经使用的产生式以及读入的 k 个符号来判断使用哪一个产生式而 SLL(k) 不需要其上文, 只需要根据接下来的 k 个符号即可判断使用哪一个产生式,SLL(k) 是 LLL(k) 的一个子集, 从而 SLL(k) 也不需要回溯综上 SLL 和 LL 是不试探回溯的并且, SLL(k) LL(k) 均不允许二义文法

50 Lab1-3 回答问题三个 *LL ALL(*) 采用的方法是在每个不确定的决策点启动多个子分析器, 每个分析器对应一种可能它们以伪并行的方式遍历所有的可能, 当某个子分析器匹配失败的时候即被杀掉, 直到最后只剩一个匹配成功的子分析器如果直到文件结尾还有多个存活的子分析器, 则分析器会优先选择使用了编号较小的产生式的那个分析器从而,ALL(*) 没有回溯, 但是允许文法二义不是指两阶段 ALL(*)

51 Lab2-1 预热

52 准备 : 将 llvm-install/bin 添加到 PATH. 注意环境变量添加记得 ": 比如 export LD_LIBRARY_PATH=./Libs_for_c1r_ref

53 准备 : 将 llvm-install/bin 添加到 PATH. 观察 clang -S -emit-llvm 输出的结果可以发现 : 每个函数对应一个独立的计数过程. 每个 label 占用一个计数值. 存储 return 值占用一个技术值. 每个 BB 对应没有分支的顺序的过程. 每个 BB 除了最后一个, 都以 br 结束. 等

54 准备 : 将 llvm-install/bin 添加到 PATH. 观察 clang -S -emit-llvm 输出的结果查看理解 alloca,align 理解 add,nsw,store,load,call 理解 if,br,ret 理解类型, 函数类型, 函数定义

55 准备 : 将 llvm-install/bin 添加到 PATH. 观察 clang -S -emit-llvm 输出的结果查看阅读 Kaleidoscope 的例子 ( 阅读 Code Generation Setup 阅读 Function Code Generation 理解函数定义方式, 参数使用方式理解 BB 的基本流程 BasicBlock::Create 先 SetInsertPoint 后 CreateBr

56 准备 : 将 llvm-install/bin 添加到 PATH. 观察 clang -S -emit-llvm 输出的结果查看阅读 Kaleidoscope 的例子合理配置 Intellisense, 参考文档获取所需 API

57 再次吹爆 Intellisense

58 Thanks

59 最后! 代码注释!!!

60 最后! 代码注释!!!

61 最后! 代码注释!!!