LLVM 中间表示优化 Pass 在编译器后端的自定义扩展与自动向量化
LLVM 中间表示优化 Pass 在编译器后端的自定义扩展与自动向量化——从底层原理到生产落地的工程化思考，包含完整代码示例与性能数据。
编译器
现代编译器后端优化：从SSA IR到目标代码生成的指令选择与寄存器分配
现代编译器后端优化：从SSA IR到目标代码生成的指令选择与寄存器分配
MLIR多级中间表示编译器基础设施：从 AI 框架到硬件后端的统一编译管道
深入 MLIR 多级中间表示编译器基础设施，解析 Dialect 抽象层次、渐进式 lowering 优化与 AI 框架到异构硬件的统一编译管道设计
MLIR 编译器多级中间表示框架深度解析：从 Dialect 设计到 AI 编译优化
深度解析 MLIR 编译器框架——从 Dialect 可扩展架构、渐进式降级管线、算子融合与循环优化，到 IREE/Torch-MLIR/Triton 等 AI 编译实战
TypeScript 7 原生编译器深度工程实战：从类型检查引擎内部、共享内存并发到生产级迁移路径
拆解 TypeScript 7.0 原生 Go 编译器的四层内核：binder/checker 两阶段模型、结构化类型关系缓存、泛型实例化爆炸、checker pool 并发调度。结合 8~12x 实测数据（VS Code 125.7s→10.6s）、--checkers/--builders 并发旋钮、7.0 破坏性默认值清单与 tsgo/tsc 双轨迁移方案。
Rust async fn 的编译器状态机解糖：从 Generator 到 Pin 安全保证的底层机制
深入解析 Rust async fn 的编译器解糖过程：状态机如何从 .await 点构建、Generator trait 驱动状态迁移、Pin 类型保证自引用结构体内存安全、以及 tokio 运行时如何调度和驱动这些状态机。涵盖 MIR/LLVM IR 层面的实现细节、生产环境陷阱与最佳实践。
HotSpot C2 JIT 编译器深度工程实战：从分层编译、Sea-of-Nodes 理想图、IGVN 到逃逸分析与反优化 OopMap 的全链路解析
拆解 HotSpot C2 编译器全链路：分层编译与 OSR、Sea-of-Nodes 理想图与内存状态链、IGVN/CCP 不动点优化、内联与多态内联缓存、逃逸分析与标量替换、SuperWord 向量化，以及投机优化的兜底机制——Uncommon Trap、OopMap 与 Deopt 风暴，附生产调优清单。
多面体编译模型深度工程实战：从依赖多面体、仿射调度到 Tiling 与 GPU 代码生成的全链路解析
沿真实工程链路拆解多面体编译：迭代域与访问函数的仿射表示、依赖分析从 GCD/Banerjee 到 Farkas+ILP 的精确化路径、Feautrier/PLuTo 仿射调度搜索、Tiling 与 isl AST 代码生成，以及在 Polly、PPCG、MLIR Affine Dialect 中的工业落地形态与工程边界。
Luau 语言运行时与渐进类型系统深度工程实战：从类型推断、寄存器 VM 到原生代码生成的全链路解析
从渐进类型系统、sealed table 与类型状态归一，到寄存器 VM、GETIMPORT 常量折叠、fastcall 快路径、增量 GC 与 AOT 原生代码生成，逐层拆解 Luau 如何在不破坏 Lua 5.1 兼容性的前提下同时获得静态类型安全与接近系统语言的性能。
Julia 运行时深度工程实战：从多重分派特化、类型推断到 LLVM JIT 与无 GC 热路径
沿 Julia 编译-运行时链路逐层拆解：多重分派与 MethodInstance 特化、分派内联缓存与 Union 拆分、类型推断的收敛条件与四类失效场景、函数屏障手法、LLVM JIT 造成的首次调用延迟与三层治理、非分代 mark-sweep GC 与 isbits 零分配热路径、Task 与线程双层并发，最后给出可落地的性能检查清单。
