go ssa 的一些知识

之前借助 ssa 写过一个 staticcheck 检查所有 type A coerced into type B 的地方。一开始在 ast 层面捣鼓了很久没弄出来，后来发现用 ssa 简直太容易了

挺有用 不过现在我都是用 github copilot 来，写这片的逻辑 太多常量需要记忆了

@nagisaushio 是的，ssa 在生成 ir 过程中做了很多的处理，对于语义层面的解析非常有帮助。

@lointo 嗯是的，同意你的观点，但是如果一些具体的概念不了解的话，一点点的试效率很低，这也是我写这个小册子的原因（太忙了只能一点点写了）。另外如果有 llvm 背景的话，其实这些 ir 很好理解，只需要关注 go 是如何组织各种结构的 ir 代码