Now that we're using LLVM 2.5, we can stop always running the CFGSimplification pass. The pass was originally added as a workaround for a LLVM 2.4 bug where debug info would reference labels that have been optimized away.

module bug64;

void main()
{
    float f;
    float* p = &f;
    float* end1 = p+1;
    float* end2 = 1+p;
    assert(end1 is end2);
}