Code Optimization - Compilers: Principles, Techniques, and Tools (Dragon Book)

2 this one is called "loop-induction variable elimination") that work particularly well on idiomatic usage. The moral of this story is that most often you should write code that is easier to understand and let the compiler do the optimization. Correctness

dragonbook.stanford.edu