Account for aligned basic blocks and fixed BB margin calculation in function splitter