Nikita Popov 462cb3cd6c

[InstCombine] Infer nusw + nneg -> nuw for getelementptr (#111144) ...

If the gep is nusw (usually via inbounds) and the offset is
non-negative, we can infer nuw.

Proof: https://alive2.llvm.org/ce/z/ihztLy

2024-12-05 14:36:40 +01:00

..

basic-unrolling.ll

…

lit.local.cfg

…