On the topic of trusting compilers:

http://www.dwheeler.com/trusting-trust/