I’m pretty sure making an algorithm that converts loops to close forms (I’m sure it detects much more than just a summation) is a little bit complicated.

Maybe you have much more experience than Mr Godbolt in compiliers.