[PATCH] D68342: [Analysis] Don't assume that unsigned overflow can't happen in EmitGEPOffset

[Mikhail Maltsev via Phabricator via llvm-commits]

miyuki updated this revision to Diff 224989.
miyuki retitled this revision from "[Analysis] Don't assume that overflow can't happen in EmitGEPOffset" to "[Analysis] Don't assume that unsigned overflow can't happen in EmitGEPOffset".
miyuki edited the summary of this revision.
miyuki added a comment.

Added the NSW flag. This discussion thread also suggests that signed overflows should not occur in the inbounds GEPs: https://lists.llvm.org/pipermail/llvm-dev/2017-November/118914.html


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D68342/new/

https://reviews.llvm.org/D68342

Files:
  llvm/include/llvm/Analysis/Utils/Local.h
  llvm/test/Transforms/InstCombine/gep-custom-dl.ll
  llvm/test/Transforms/InstCombine/getelementptr.ll
  llvm/test/Transforms/InstCombine/icmp-custom-dl.ll
  llvm/test/Transforms/InstCombine/icmp.ll
  llvm/test/Transforms/InstCombine/sub.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D68342.224989.patch
Type: text/x-patch
Size: 12267 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20191015/e9667848/attachment.bin>