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

struct S
{
    int i;
    long l;
}

void main()
{
    S s;
    s.i = 0x__FFFF_FF00;
    s.l = 0xFF00FF_FF00;
    s.i &= s.l;
}