LLVM IR基本块最多有多少个直接后继？含switch转if分支疑问

1. LLVM IR中基本块最多可以有多少个直接后继？ #

LLVM IR对基本块的直接后继数量没有硬性的语法或IR层面上限，完全取决于该基本块末尾的终止指令类型：

• 若使用switch指令，除默认分支外，可添加任意数量的case分支，每个分支对应一个独立的后继基本块，只要系统内存允许，后继数量可以无限扩展。
• 像br label %bb这类无条件分支指令，仅1个直接后继；br i1 %cond, label %true, label %false这类条件分支指令，有2个直接后继。

2. switch代码块转为if分支后，LLVM IR基本块最多是否可能有两个直接后继？ #

是的。当switch被转换为if-else分支链时，每个基本块的终止指令都会是br i1类型的条件分支指令，这类指令仅会生成两个直接后继：条件为真时跳转的基本块，以及条件为假时跳转的基本块。这种场景下，每个基本块的直接后继数量最多为2个。

内容的提问来源于stack exchange，提问作者Lqs66