Skip to content

这个域管什么 ​

v1 中「编译产物形态」在 re/core/01 出现,「类型系统实现」在 lang 出现,

「混淆变换」在 protect 出现——三者其实共享同一套编译理论。独立成域。

v1 中「编译产物形态」在 re/core/01 出现,「类型系统实现」在 lang 出现, 「混淆变换」在 protect 出现——三者其实共享同一套编译理论。独立成域。

名称进度说明
词法与语法分析○正则/自动机、LL/LR、递归下降、错误恢复
语义分析○符号表、类型检查与推导实现、作用域
中间表示○AST、SSA、LLVM IR、MLIR、CFG/DFG
优化○数据流分析、内联、循环变换、别名分析、PGO
代码生成○指令选择、寄存器分配、指令调度、Peephole
ABI 与运行时布局○调用约定、名字修饰、异常展开、RTTI、虚表
链接与加载○静态/动态链接、重定位、PLT/GOT、符号解析
JIT 与解释器○字节码、分层编译、内联缓存、去优化
垃圾回收○标记清除、分代、并发 GC、写屏障
程序变换○混淆变换的编译原理、去优化还原、超优化

WIZARD