Loop distribution with multiple exits
Bor-Ming Hsieh, Michael Hind, et al.
ACM/IEEE SC 1992
We present a method that combines a deep analysis of program dependences with a broad analysis of the interaction among procedures. The method is more efficient than existing methods: we reduce many tests, performed separately by existing methods, to a single test. The method is more precise than existing methods with respect to references to multi-dimensional arrays and dependence information hidden by procedure calls. The method is more general than existing methods: we accommodate potentially aliased variables and structures of differing shapes that share storage. We accomplish the above through a unified approach that integrates subscript analysis with aliasing and interprocedural information. © 1986, ACM. All rights reserved.
Bor-Ming Hsieh, Michael Hind, et al.
ACM/IEEE SC 1992
Ron Cytron, Andy Lowry, et al.
POPL 1986
Jong-Deok Choi, Ron Cytron, et al.
POPL 1991
Michael Burke, Ron Cytron
SIGPLAN Symposium on Compiler Construction 1986