Implement branch analysis/xform hooks required by the branch folding pass.