把循环里「每轮算的都一样」的式子提到循环外，叫【0】。
循环优化模型：is_invariant(用到的变量, 循环变量)=式子不含循环变量就是循环不变、可外提；hoistable 数能外提的条数；循环跑 n 次、展开因子 factor，unroll_count=n//factor、remainder=n%factor。
is_invariant(用到的变量, 循环变量)
hoistable
unroll_count
remainder
全部评论