为何Rust编译器生成溢出检测intrinsics调用，而Clang生成普通add指令？

核心原因是两种语言对整数运算溢出的默认行为定义完全不同：

• C语言中，有符号整数溢出属于未定义行为（UB）。Clang生成普通add/sub指令时，若配合nsw/nuw关键字，是在向LLVM承诺“该运算不会发生有符号/无符号溢出”——一旦溢出，结果会是poison值，编译器可基于“溢出不会发生”做任意优化，无需生成溢出检查逻辑。
• Rust的默认整数运算（调试模式下）会主动检查溢出并触发panic。为实现这个逻辑，rustc会调用llvm.ssub.with.overflow这类指令，生成的IR示例如下：

%38 = call { i32, i1 } @llvm.ssub.with.overflow.i32(i32 %37, i32 5), !dbg !597
%39 = extractvalue { i32, i1 } %38, 0, !dbg !597
%40 = extractvalue { i32, i1 } %38, 1, !dbg !597
%41 = call i1 @llvm.expect.i1(i1 %40, i1 false), !dbg !597
br i1 %41, label %panic1, label %bb9, !dbg !597

该指令会同时返回运算结果和溢出标记位，后续通过extractvalue提取标记位，判断是否跳转到panic分支，确保溢出时的行为是可预测的（而非UB）。

分不同场景讨论：

• Rust发布模式 vs C默认编译：Rust发布模式下默认整数溢出行为是“环绕（wrap）”，即二进制补码溢出后的正常结果，此时rustc会生成和Clang类似的普通加法/减法汇编指令，与C的输出一致。
• Rust调试模式 vs C默认编译：Rust调试模式会保留溢出检查逻辑，汇编中会多出溢出判断指令（比如x86平台的jo/jno）和panic跳转代码，这和C的汇编差异明显。
• C手动添加溢出检查 vs Rust调试模式：如果C代码使用__builtin_sub_overflow这类内置函数手动实现溢出检查，Clang生成的汇编会和Rust调试模式的输出基本一致。

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