考虑下面的代码：
unsigned idx;
//.. some work with idx
if( idx >= idx_max )
idx %= idx_max;
可以简化为只有第二行：
idx %= idx_max;
并且将会达到相同的结果。
我遇到过几次下面的代码：
unsigned x;
//... some work with x
if( x!=0 )
x=0;
可以简化为
x=0;
问题：
if语句？特别是在ARM Thumb指令集下。if语句能否省略？int div(unsigned int num, unsigned int num2) {
if( num >= num2 ) return num % num2;
return num;
}
int div2(unsigned int num, unsigned int num2) {
return num % num2;
}
生成：
div(unsigned int, unsigned int): # @div(unsigned int, unsigned int)
mov eax, edi
cmp eax, esi
jb .LBB0_2
xor edx, edx
div esi
mov eax, edx
.LBB0_2:
ret
div2(unsigned int, unsigned int): # @div2(unsigned int, unsigned int)
xor edx, edx
mov eax, edi
div esi
mov eax, edx
ret
基本上，编译器出于特定且合理的原因将不会优化该分支。如果整数除法与比较大致相同的代价，那么该分支就将是毫无意义的。但是整数除法（通常与模操作一起执行）实际上是非常昂贵的：http://www.agner.org/optimize/instruction_tables.pdf。这些数字在架构和整数大小方面差异很大，但通常的延迟时间可以从15个到接近100个周期。
通过在执行模操作之前进行分支，您实际上可以节省很多工作量。请注意：编译器在汇编级别也不会将没有分支的代码转换为分支。因为分支也有一个缺点：如果最终仍需要使用模操作，那么您浪费了一些时间。
在不知道 idx < idx_max 相对频率的情况下，无法进行合理的优化决策。因此，编译器（gcc 和 clang 做的一样）选择以相对透明的方式映射代码，将此选择交给开发人员处理。
因此，该分支可能是一个非常合理的选择。
第二个分支应该完全没有意义，因为比较和赋值的代价是相当的。尽管如此，您可以在链接中看到，如果编译器具有对变量的引用，它们仍将不执行此优化。如果值是局部变量（就像您演示的代码中那样），则编译器将优化该分支。
总之，第一段代码可能是一个合理的优化，而第二段代码可能只是一个疲惫的程序员。
volatile。唯��的例外情况，可能适用于这里的情况是，在main()开始后发生的对变量的所有写操作将存��相同的值，并且无论一个CPU的任何存储是否在另一个CPU中可见，代码都会正确运行。如果多次执行某些操作会很浪费但并没有什么害处，并且变量的目的是表示是否需要执行此操作，则很多实现可以生成比使用volatile限定符更好的代码，前提是它们不尝试通过使写操作无条件来提高效率。const对象（其中某个字段为零），或非const对象（该对象应将该字段设置为零），则可能需要类似上述的代码才能确保两种情况下均具有定义行为。volatile生效，否则“无用”的写操作可能不会真正发生。 - Ben Voigt关于第一个代码块：这是基于Chandler Carruth对Clang的建议进行微优化（更多信息请参见此处），但是它不一定以这种形式（使用if而不是三元运算符）或在任何给定编译器上都是有效的微优化。
取模是一项相当昂贵的操作，如果代码经常执行并且有强烈的统计倾向于条件的一侧，CPU的分支预测（在现代CPU上）将显着降低分支指令的成本。
在我的看法中，使用if语句似乎不是一个好主意。
你是正确的。无论 idx >= idx_max 是否成立，在执行 idx %= idx_max 后，它都将小于 idx_max。如果 idx < idx_max，那么无论是否跟随if语句，它都不会改变。
虽然你可能认为绕过取模运算可以节省时间，但我想说的是，当分支被执行时，现代CPU的流水线必须重置，这会花费相对较多的时间。最好不要执行分支，而是执行整数除法，其花费的时间大致相同。
编辑：事实证明，与分支相比，取模运算相当缓慢，正如其他人在此处建议的那样。以下是一位研究这个问题的人的讲解: CppCon 2015: Chandler Carruth "Tuning C++: Benchmarks, and CPUs, and Compilers! Oh My!"（在另一个SO问题的链接中建议）。
这个人编写编译器，认为去掉分支会更快；但是他的基准测试证明他错了。即使只有20%的情况需要分支，加入分支也能提高速度。