`n`is a constant, and`b`has no other definitions in the loop.

__REPLACING MULTIPLICATIONS BY ADDITIONS__ can be performed by the following
algorithms.

- Find every variable
`c`in the loop- with a single definition
- of the form
`c := b*m` - where
`m`is a constant and`b`is a basic induction variable.

- After each occurrence of
`b:= b + n`(or`b := b - n`) add a statement`t := t +p`, where`p`is theconstant`n*m` - Replace statement
`c := b*m`by`c := t`. - Add a statement
`t := b*m`into the pre-header (initialization) after possible definition of`b`.

2004-12-02