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