About Human vs Compiler, I see a very different issue: most developers (especially at Big Corps) only know objects and do not have a clue about how a processor is processing.

As a result, most high level programming has very poor performance - whatever the compiler quality. This is certainly why we keep waiting seconds for simple operations.

Questioning compiler output is a very good exercise to become a better developer, whether you can beat the compiler or not.