Induction Variable Transformation

Some compilers transform the induction variable to allow simplified subscripting expressions:


    (:= I 1)
    (LABEL 1)
    (IF (< = I 1000)
        (PROGN ... (AREF X (+ -8 (* 8 I)))
               (:= I (+ I 1))
               (GOTO L1)))
might be transformed to:

    (:= I' 0)
    (LABEL 1)
    (IF (< = I' 7992)
        (PROGN ... (AREF X I')
               (:= I' (+ I' 8))
               (GOTO L1)))
Note that the loop index has no meaning outside the loop and may not have storage assigned to it. Some machines can automatically increment an index register after it is used (called postincrement).

Contents    Page-10    Prev    Next    Page+10    Index