CPU中Program Counter是否必须始终自增1？能否设置非1增量？

答案是不需要，程序计数器（PC）的增量逻辑完全取决于CPU架构和指令集设计，以下是具体场景说明：

• 指令长度非单字节的架构：很多现代CPU的指令长度不是1字节，PC的增量会匹配指令长度。比如ARM架构的普通32位指令，执行后PC会自增4；如果是Thumb 16位指令集，PC则自增2。MIPS架构的指令也是32位，PC同样每次加4，这是这类架构的常规操作。

• 特殊指令或硬件机制导致的非1增量：部分架构会有特殊设计让PC产生非固定常规值的增量。比如一些DSP处理器为了优化循环效率，支持直接设置PC的增量值（比如循环时每次加2或减某个数值），不用每次执行跳转指令回到循环开头；还有些架构的延迟槽指令，在跳转指令执行后，PC的增量会适配延迟槽的指令数量，产生不同于常规的值。

• 关于“任意非1增量”的可行性：通用CPU架构里，正常执行指令时PC的增量是固定的（由指令长度决定），不能随意设置任意值。但在一些定制化的嵌入式CPU、DSP或者自研CPU中，可能通过特殊指令或硬件配置修改PC的增量逻辑，不过这属于小众场景，不是通用CPU的标准行为。另外，跳转指令是直接将PC赋值为目标地址，不属于“增量”范畴，是直接修改PC的值。

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