作者shane87123 (阳光大肥宅)
看板CompilerDev
标题[问题] inst sink 是否只有llvm实作以及O3 pass
时间Fri Jan 7 21:03:48 2022
标题下得有点武断，如果有错，还请多多指教。
近期研究到这个 Optimization Algorithm，他好像是在 instcombine (peephole)这个 p
ass 完成的，
细部的一些机制没有很深入研究，
大致上的原理是将某一个 IR 指令搬移，使需要用到他的时候才去执行他。
通常都是搬移到 Successor。
感觉上，要把他实作在 assembly code 蛮难的，把他实作在 source code 也不太容易，
是不是做在 IR 上是最合适的？全部都以 basic block 为单位
想深入了解但这个 Algorithm 的文章好像不多
另外，我们都知道 O3 的 pass 安排上有他的道理在，
那，我想知道 "为什麽" 目前的 O3 pass 是这样安排的，这个安排的原因要去哪里查询
比较好？
--
※ 发信站: 批踢踢实业坊(ptt.cc), 来自: 49.216.89.29 (台湾)
※ 文章网址: https://webptt.com/cn.aspx?n=bbs/CompilerDev/M.1641560630.A.95E.html
1F：→ Lipraxde: Instruction sink 记得是为何可以在有 conditional bra 01/07 22:58
2F：→ Lipraxde: nch 时避免执行到不用的指令，另一个附带的好处是可以 01/07 22:58
3F：→ Lipraxde: 减少 live range (对 compilation time 有帮助)。只要 01/07 22:58
4F：→ Lipraxde: IR 上还保有 data dependency 应该就还能做。不过...这 01/07 22:58
5F：→ Lipraxde: 是做在 instcombine 里面的！？ 01/07 22:58
在 instcombining.cpp 中，好像是 3730 行那里有相关实作
https://llvm.org/doxygen/InstructionCombining_8cpp_source.html
但确实我有找到一份纯粹是 Sink.cpp 的 source code，
https://llvm.org/doxygen/Sink_8cpp_source.html
不晓得两者差在哪里，看起来实作内容有差
其中，sink.cpp 这个 pass 可以透过 opt 去应用
opt -enable-new-pm=0 -sink source_ir.ll -S -o dest_ir.ll
不过在 O3 中，并没有应用这个 sink pass，
而是整并在 instcombine 里面
想问 Lipraxde 大，所谓的 “IR 上还保有 data dependency 应该就还能做”
是什麽意思呢？
※ 编辑: shane87123 (220.141.73.237 台湾), 01/08/2022 11:09:31
※ 编辑: shane87123 (220.141.73.237 台湾), 01/08/2022 11:10:09
6F：→ Lipraxde: 其实可以用 git blame 的功能 (github 好用) 看看当初 01/08 13:24
7F：→ Lipraxde: 的源头为什麽会有 sink pass以及为什麽会在 instructio 01/08 13:24
8F：→ Lipraxde: n combine 里做 sink (我猜是因为 2004 年还没有 sink 01/08 13:24
9F：→ Lipraxde: pass，作者直接做在 instruction combine 里图个方便) 01/08 13:24
10F：→ Lipraxde: ，至於为什麽 sink pass 做到後来没出现在 o3 pass、为 01/08 13:24
11F：→ Lipraxde: 什麽有了独立的 pass 大家还是继续改在 instruction co 01/08 13:24
12F：→ Lipraxde: mbine 里呢...这就需要更深的考古学功力了，LLVM 可不 01/08 13:24
13F：→ Lipraxde: 止这两个地方有实作 sink，而且看起来可能也不是同时/ 01/08 13:24
14F：→ Lipraxde: 人做的，都有他们个自的理由，作为一个拥有大量贡献者 01/08 13:24
15F：→ Lipraxde: 的开源专案来说，采用理想中最好的方案并不是唯一且必 01/08 13:24
16F：→ Lipraxde: 要的考量，因此建议是不必太细究这些。 01/08 13:24
17F：→ Lipraxde: 「IR 上还保有 data dependency 应该就还能做」算是一 01/08 13:35
18F：→ Lipraxde: 个比较简略的说法，你想想：将某一个 IR 指令搬移，使 01/08 13:35
19F：→ Lipraxde: 「需要用到他的时候」才去执行他。想知道什麽时候需要 01/08 13:35
20F：→ Lipraxde: 用到它自然是需要知道 data dependency 的，总不能不看 01/08 13:35
21F：→ Lipraxde: 就搬XD 01/08 13:35