nsw和nuw是llvm ir中用于声明整数运算不溢出的编译期契约标记，nsw保证有符号不溢出以支持符号敏感优化，nuw保证无符号不溢出以支持循环展开等优化；不加则默认按模运算处理，限制优化能力。
LLVM IR 中的 nsw 和 nuw 是加法、减法、乘法等整数算术指令上的可选标记，用来向优化器声明“该运算在语义上不会发生有符号/无符号溢出”。它们不是运行时检查，而是编译期契约——一旦违反，行为未定义（UB）。
为什么加这两个标记？不加会怎样
默认情况下，add i32 %a, %b 表示模 2³² 加法：即使溢出，结果也按补码规则截断。这限制了优化器的能力——它不敢把 %x = add i32 %y, 1 替换为 %x = sub i32 %y, -1，也不敢做循环不变量外提，因为溢出可能改变控制流逻辑。
加上 nsw 或 nuw 后，优化器就能基于“永不溢出”这一前提做更强推导：
-
nsw（no signed wrap）：保证结果在有符号整数范围内（如i32是 −2¹⁵ 到 2¹⁵−1），允许做符号敏感优化（如icmp slt %x, 0的常量传播） -
nuw（no unsigned wrap）：保证结果在无符号整数范围内（如i32是 0 到 2³²−1），支持无符号循环展开、指针偏移推理等
clang 什么时候自动加 nsw/nuw
Clang 不是凭空加的，它依赖前端语义和优化上下文。常见触发条件包括：
- C/C++ 标准中明确定义为 UB 的操作，比如有符号加法溢出（
int a = INT_MAX; return a + 1;），Clang 在-O2下通常生成add nsw - 数组索引计算：如
arr[i+1]中的i+1，若i被证明不会是INT_MAX，可能加nsw - 循环变量递增：for (int i = 0; i i++，若
N有界且类型匹配，常被标nsw -
nuw更多出现在指针运算、size_t计算或显式无符号类型表达式中
注意：-fwrapv 会禁用 nsw 插入，因为该 flag 要求有符号溢出必须按模语义处理，与 nsw 矛盾。
手动写 IR 时怎么加？容易踩什么坑
在手写 .ll 文件或用 C++ API 构造指令时，直接在指令后追加即可：
%sum = add nsw i32 %a, %b %ptr = getelementptr nuw i8, i8* %base, i64 %offset
但要注意几个关键点：
-
nsw/nuw只对整数算术指令有效（add、sub、mul、shl），对load、store、icmp无效 - 不能同时加
nsw和nuw—— 它们语义冲突；IR 验证器（llvm-as或opt -verify）会报错 - 加了标记但实际可能溢出，会导致未定义行为，调试器和 sanitizer（如 UBSan）可能捕获不到，因为这是编译期假设，不是运行时检查
-
getelementptr的nuw（和nsw）作用对象是地址计算本身，不是内存访问；它只影响指针算术是否允许绕回，不影响后续load是否越界
真正难的是判断“这里到底能不能加”。很多看似安全的表达式（比如两个 int 相加再转 size_t）在跨平台或不同优化级别下边界行为不一致。与其靠猜，不如让 Clang 先生成 IR 看它怎么判，再反推约束条件——毕竟，nsw/nuw 的本质不是性能开关，而是你向编译器提交的一份语义承诺书。
