Can You Trust a Compiler to Optimize Your Code?