在计算机科学中，分支（）是在电脑程式中的一段序列程式码。它会视情况而执行，主要是看控制流程在这个情况下，是否决定执行它。在高阶语言与组合语言，乃至于机器码写成的程式中，都可以看到分支的存在。在高阶语言中，通常会使用条件语句的形式，把分支包起来，并决定在何种状况下，应该要执行哪一个分支指令。在组合语言与机器码层级中，则使用跳跃指令（jump instructions），以标记定义出相对应的分支码。