9.1.1 验证器 (Verifier)：确保 IR 良构性

文档摘要

9.1.1 验证器 (Verifier)：确保 IR 良构性在编译器的隐秘腹地，中间表示（IR）从来不是一纸契约，而是一道精密校验的闸门。它不负责执行，却比执行更苛刻；它不生成代码，却比代码生成更不容妥协。当一条指令被构造出来时，它是否真的指向两个已定义、类型匹配、作用域合法的值？当一个基本块以结束时，是否真实存在且可达？当 phi 节点出现在支配边界上，其入边是否与前驱基本块一一对应、类型严格一致？