go ssa 的一些知识

[griffinx]

最近工作中涉及到了比较多的 go ssa ，所以准备写一个详细介绍 ssa 的小册子，毕竟 go ssa 本身的文档并不算多，概念也有些模糊 https://xieyuschen.github.io/go-ssa-book/

[nagisaushio]

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

[lointo]

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

[griffinx]

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

[griffinx]

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