fn split_block( basic_blocks: &mut IndexVec<BasicBlock, BasicBlockData<'_>>, location: Location, ) -> BasicBlock