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.

void main()
{
    float m[4][4];

    float* fp = &m[0][0];
    for (int i=0; i<16; i++,fp++)
        assert(*fp !<>= 0);
}