编译步骤/优化/跨文件优化/跨文件优化入口。豫
yuyan · 77 行 · 4062 字节 · UTF-8
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77
寻观「标准库」之书。
寻观「编译器核心」之「编译数据」之「抽象绑定树结构」之「抽象语法树」之「总集」之书。
寻观「编译器核心」之「编译数据」之「抽象绑定树结构」之「模块操作」之书。
寻观「编译器核心」之「编译数据」之「编译配置」之「全局配置」之书。
寻观「编译器核心」之「编译数据」之「编译配置」之「编译期输出」之书。
寻观「编译器核心」之「编译数据」之「操作符」之「操作符数据结构」之书。
寻观「编译器核心」之「编译数据」之「抽象绑定树结构」之「命名环境术」之书。
寻观「编译器核心」之「编译步骤」之「优化」之「前优化入口」之书。
寻观「编译器核心」之「编译步骤」之「总体过程」之「编译文件缓存工具」之书。
寻观「编译器核心」之「编译步骤」之「优化」之「跨文件优化」之「去柯里化」之书。
寻观「编译器核心」之「编译步骤」之「优化」之「跨文件优化」之「常量内联」之书。
「所有跨文件优化步骤」乃化「字符串」而化「文件定义列」而「文件定义列」也。
「所有跨文件优化步骤」者会「路径」而会「式」而
虑「无」者「写引用」于「本卷内联路径」于「路径」而
虑「无」者「写引用」于「本卷内联候选」于「罄」而
若（「等」于（「读引用」于「执行优化总轮数」）于「零」）则
「式」
否则
（
若（「路径不应当优化」于「路径」）则
「式」
否则
（
递归虑「优化定义列」其化「命名环境」而化「文件定义列」而「文件定义列」者
会「境」而会「定义列」而
鉴「定义列」而
有「罄」则「罄」
或有（「缀」于（「定义名」与「定义公开性」与「原定义式」）于「后定义列」）
则（
虑「定义式」者
「所有跨文件前优化步骤」于
「路径」于「原定义式」
而
虑「定义式」者
（若（「读引用」于「执行去柯里化优化」）则（「去柯里化顶层」于「路径」于「定义式」）
否则
「定义式」）
而
虑「定义式」者
（
若（「读引用」于「执行函数内联优化」）则（「常量内联带环境顶层」于「路径」于「境」于「定义式」）
否则
「定义式」
）
而
虑「定义式」者
「所有跨文件优化后优化步骤」于「路径」于
「定义式」
而
虑「无」者
「写引用」
于「本卷内联候选」
于（「附加」
于（「原语内联候选」于（「列」【「定义名」与「定义公开性」与「定义式」】））
于（「读引用」于「本卷内联候选」））
而
虑「后境」者
「添加声明不改变名」
于『跨文件优化』于「境」于
「定义名」于「定义式」
而
「文件定义列前加」
于「定义名」
于
「定义式」
于（「优化定义列」于「后境」于「后定义列」）
）
而
「优化定义列」于「罄」于「式」
）
）
也。