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

typedef int int_t = 42;

void main()
{
    auto i = typeid(int_t).init;
    assert(i.length == int_t.sizeof);
    assert(*cast(int_t*)i.ptr == 42);
}