[LLVMdev] Correctness of Optimization Phases

[deveshti at comp.nus.edu.sg]

I may sound stupid but can someone tell me that after applying
optimization sequences randomly whether we can surely say that the final
output is correct?

I mean if we apply 12 options in random sequence provided by 'opt' command
is the output is always correct  (i.e. program does the same thing and
results
are same as expected) ?

Is it Yes by implemention of LLVM or we have to check everytime?

Thanks.