[jiggy2011]

I think the question is how can you be confident that the optimised code does exactly the same thing as the non-optimised code.