This post discusses LLVM's BranchProbabilityInfo component, which assigns probabilities to multi-successor terminators in control flow graphs (CFGs). It explains the heuristic used when no profile is available, focusing on how certain blocks affect probability distributions and the treatment of loops in this context.