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

union U
{
    float f;
    int i;
}

void main()
{
    float f = 2;
    U u = U(f);
    assert(u.i == *cast(int*)&f);
}