关于Vulkan SPIR-V中continue target定义的技术问询

首先明确SPIR-V OpLoopMerge指令里的Continue Target核心作用：它是所有触发“继续循环”语义（包括循环体正常结束、显式continue语句）的跳转目标，必须对应C语言for循环中「执行增量表达式→回到条件检查」的逻辑链。

针对你提到的5块拆分示例：

• 块2是循环条件检查块，负责判断是否继续循环；如果把它设为Continue Target，会跳过for循环的增量步骤，直接进入条件判断，完全违背C语言continue的语义（continue不会跳过增量，只会跳过当前循环体剩余代码）。
• 块3是循环体块，若设为Continue Target，会导致执行continue时直接回到循环体开头，陷入无意义的循环，也不符合continue跳过体的逻辑。
• 块4是处理循环增量（for循环第三个表达式）的块：不管是循环体正常执行完毕，还是遇到continue，程序都会跳转到这里完成增量操作，随后再回到Loop Header（块1）进入下一轮循环的条件检查——这完全匹配continue的语义要求，因此它才是合法的Continue Target。

总结选择规则：

• Continue Target必须是循环中**统一处理循环收尾步骤（如增量、状态更新）**的块，确保所有“继续循环”的路径都先完成这些必要操作，再回到循环的判断/入口逻辑。
• 它必须与C语言循环的语义对齐，保证continue语句的行为和原生语言一致。

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