The cla ic compiler optimizatio, such as dead co de elimination, co tant folding, co tant propagation, elimination of partial redundancies, loop unrolling, etc. , are static analyses.
典型的编译器最优化，如死代码消除、常数合并、常数传送、部分冗余的消除、循环展开等等，是静态分析。
2
Floating point representation, Gaussian elimination with partial pivoting, scaling of computations with matrix size, banded and tri-diagonal systems, LU decomposition.