I'm considering a transformation aimed at recognizing loops that zero an array and converts them into calls to bzero. In bzip2 there is such a loop which can benefit from such a transformation in environments that have optimized bzero. Where would be an appropriate place to implement such a "loop-conversion" optimization in gcc? Ayal.