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

struct S
{
    ubyte[3] vals;
}

void func(ubyte[3] v)
{
}

void main()
{
    S s;
    func(s.vals);
}