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.

// bug #191

int[3] a = [0: 0, 2: 42, 1: 1];

void main()
{
  assert(a[0] == 0);
  assert(a[1] == 1); // fails!
  assert(a[2] == 42);
}