How gcc optimize sum from 1 to 100 into 5050

Question

I compiled following c program with gcc -O3 -S a.c:

#include 

int main() {
    int sum = 0;