How far are compilers allowed to go with optimizations?

groups.google.com