Description
本期进入编译器代码生成：从指令选择、寄存器分配到指令排序，讲清 SSA 后删 phi、干涉图着色与溢出、JIT 线性扫描；再谈流水线停顿、乱序/顺序核心、代码布局、栈帧、调用约定、ABI 与红区，最后用窥孔优化清理死指令。因 NP 完全和不可判定，多数步骤只能靠启发式。下期交给汇编器和链接器生成机器码与可执行文件。
----------------------------------------------------------------
00:00:00 引言
00:00:59 目标架构与格式
00:02:47 代码生成概述
00:05:05 指令选择
00:07:01 广告：Brilliant
00:07:02 寄存器分配
00:09:37 指令排序
00:11:58 栈帧与调用约定
00:14:34 窥孔优化
00:15:59 结语
----------------------------------------------------------------
原标题：Handling Infinite Variables in a Compiler
原作者：Premature Abstraction
发布日期：2026-09-09
视频链接：https://www.youtube.com/watch?v=YlFYXewYJ8M
Comments
对于了解处理器底层机制的人来说，这个视频还是太下饭了[doge]图片里的内容是基于ArmCortexA53编写的裸机启动代码，你能够掌握处理器初始化阶段的所有底层内容，有种一切尽在掌握之中的感觉[doge_金箍]
♥ 50 ↩ 20
寄器器是什么
♥ 5 ↩ 1
跟去年的华为杯数学建模比赛A题很像
♥ 3
我有个疑问，，国内北大清华，到底有没人在研究底层的这些东西？为国内何没人尝试做一款自己认为好用的编程语言，或者做一个编译器呢？？国外大神开发语言就像玩一样，开发自己的东西只因看不顺眼，已有的不好用，就开干了[吃瓜]
♥ 6 ↩ 14
可以搬运一下整个系列嘛
♥ 8 ↩ 1
读研的时候做过java的ir相关研究 尤其是soot的jimple和simple 还给wala这些项目交过不少issue和pr（软工顶会是双盲所以都是匿名账号） 虽然不干计算机了 这些概念听着还挺怀念的
♥ 12
🎀 小喵来巡逻啦~ 路过看到这个视频就顺便总结了一下喵 喵~ 这个视频讲的是编译器如何处理无限变量的超级复杂话题喵~ (=^･ω･^=) 视频主题是编译器系列的第八期，专门讲代码生成阶段喵~ [星星眼] 核心观点有三点喵~： 编译器面临的大难题：程序有无限个变量，但CPU只有几个寄存器喵~ [doge] 代码生成的三大任务：指令选择、寄存器分配、指令排序，每个都是NP完全问题喵~ [思考] 编译器只能靠猜测，数学上不可能生成最优代码喵~ [笑哭] 重要结论喵~： 能生成最优代码的编译器在数学上是不可能的喵~ [捂脸] 每个编译器都只能靠启发式方法，靠猜测来工作喵~ [黑猫] 但现代编译器几毫秒内生成的代码已经很少值得手工优化了喵~ [OK] 视频还讲了不同处理器架构（RISC、CISC、堆栈）的差异，调用约定和栈帧管理，还有窥孔优化这些细节喵~ [妙啊] 总的来说，编译器就像一个聪明的魔法师，虽然不能做到完美，但已经足够厉害了喵~ (=^･ω･^=) ——✨ 自动巡逻小喵 ✨
这应该是目前计算机科学领域最好的YT频道之一了，至少编译器和编译优化这块没得说
♥ 12 ↩ 8
这个频道 + core dumped 真的带我飞
♥ 7
感谢让已毕业6年的我重温了一遍计算机组成原理
不就是寄存器分配吗[doge]
♥ 3
这个真的讲得很好[星星眼]感觉基本找不到可视化编译器优化原理的
♥ 1
有点好奇，即使是栈里的变量，因为存在可能的指针操作，都不能保证没有意外的修改吧。那编译器怎么能保证一直存在寄存器里就没问题呢？
♥ 7 ↩ 10
关于Fortran有个挺讽刺的事：语言开发者其实在编译器里实现了递归，但没把它放进语言规范里
♥ 3
这人印度口音啊
内存: 666把我晾一边去了