Compiler's optimization techniques that replaces loops for formulas

Question

I\'m aware that compilers (for example, clang and gcc), at least with all optimizations flags enabled, do semantic analysis of your loops to see if you are actually implementing