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.

bool got() { return true; }
extern(C) int printf(char*, ...);
void main()
{
  bool b = true && got();
  printf("%d\n", b ? 1 : 0);
}