Strength reduction via SSAPRE [chapter]

Robert Kennedy, Fred Chow, Peter Dahl, Shin-Ming Liu, Raymond Lo, Mark Streich
1998 Lecture Notes in Computer Science  
We present techniques that allow strength reduction to be performed concurrently with partial redundancy elimination in the SSAPRE framework. By sharing the characteristics inherent to SSAPRE, the resulting strength reduction algorithm exhibits many interesting attributes. We compare various aspects of the new strength reduction algorithm with previous strength reduction algorithms. We also outline and discuss our implementation of the closely related linear function test replacement optimization under the same framework.
doi:10.1007/bfb0026428 fatcat:brvirl6qfvh57fnar4xuqtyhc4