Displaying 1 result from an estimated 1 matches for "dcce858e".
2014 Jul 23
3
[LLVMdev] On semantics of add instruction - nsw,nuw flags
> Then why does the Release Note say
> " the operation is guaranteed to not overflow".
It means that the person who wrote the IR has guaranteed that there's
no overflow (by some means) so LLVM can assume it during optimisation.
This guarantee might come from doing explicit checks before executing
the add/sub; or perhaps from performing the operation after a sext so
that the