OSR can introduce equal induction variables. Thus, the … a global technique that can handle values flowing … al. will discover identical values [POPL 1988; Click and Cooper, ACM Trans Programming Languages and Systems, 1995], as will … [Cooper and Simson, Rice, TR95636, 1995; Briggs et al, Software Practice & Experience, 1997] … [p. 621] After strength reduction, the transformed code often … test replacement may be able to convert them … [p. 622] The compiler should look for comparisons between an induction variable …
Google-1
Google-2
Copyright clearance needed for quotation.