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 typeinfo4;

void main()
{
    auto ti = typeid(void*);
    assert(ti.toString() == "void*");
    assert(ti.tsize() == size_t.sizeof);
    void* a = null;
    void* b = a + 1;
    assert(ti.compare(&a,&b) < 0);
}