A删除冗余或无用代码，代码外提B强度削弱，循环合并C代码外提，删除归纳变量D删除多余运算，常量合并和传播