在中间代码优化中循环上的优化主要有不变表达式外提和削减运算强度。