LLVM program simplifier.

The LLVM compiler itself already contains a metric crapton of transforms that we don't want to re-implement here. However, these simple things are useful when normalising the code emitted by the code generator, so that the LLVM compiler will actually accept it.