This will result in cleaner IR, which ought to be easier to understand by some of LLVM's phases.
Not valid now that we're doing B3.