Rust编译器rustc是否会对常见数学表达式做位运算等价优化

注意：这些等价转换优化不会在默认 debug 构建中生效，只有开启非零优化级别（加编译参数-O 对应1级优化，默认release构建是3级优化）时，rustc 才会执行这类转换。

典型场景的实际优化行为 #

关于 2*x 和 x << 1 的转换 #

不管是有符号还是无符号整数，只要你写的乘法是固定的2的幂次常量（比如2、4、8这类），rustc 都会把它转成对应位数的左移操作。反过来如果你直接写 x <<1，编译器也不会反向转回乘法，最终生成的机器指令是等价的，本质是根据目标架构选效率最高的实现，没有固定的单向转换逻辑。

关于 x/2 和 x >>1 的转换 #

这个优化只对无符号整数成立：

• 无符号数除以2的幂次，和逻辑右移对应位数的语义完全一致，rustc 会直接把除法替换成移位操作
• 有符号整数的除法是向零取整，而算术右移是向负无穷取整，二者对负数的计算结果不一致，rustc 不会直接做简单替换，会生成额外的调整指令来保证除法语义正确。

关于 x % 8 和 x &7 的转换 #

同样只对无符号整数生效：

• 无符号数对2的幂次取模，和与上「2^k -1」的位与操作结果完全等价，rustc 会直接把取模替换成位与运算
• 有符号整数的取模结果符号和被除数保持一致，直接和掩码按位与得到的结果符号完全相反，rustc 不会直接做替换，会生成对应调整指令保证取模语义正确。

其他同类优化行为 #

• 这类常量运算优化绝大多数不是 rustc 前端直接实现的，而是交给后端的 LLVM 优化器完成，只要 LLVM 支持的同类等价转换，rustc 都会继承生效
• 所有「整数和2的幂次常量做乘/除/取模」的场景，都会按照上述有符号/无符号的差异做对应优化
• 遇到非2的幂次的常量乘法时，rustc 会优先用「移位+加法」组合、x86 架构下的lea指令替代成本较高的原生乘法运算，比如x *3会被优化成x + (x <<1)
• 简单的常量折叠（比如直接计算字面量2*3得到6）在所有优化级别下都会生效

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