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

int f()
{
    return 42;
}

void main()
{
    int i = f() < 25 ? -1 : 1;
    /*int j = f() > 25 ? 1 : -1;
    assert(i);
    assert(!j);*/
}