5 ms·

Don't know about the C spec, but this is a very popular optimisation. It's called Loop-invariant code motion.