[all-commits] [llvm/llvm-project] 324a53: [InstCombine] propagate 'nsw' on pointer differenc...

[RotateRight via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 324a53205a3af979e3de109fdd52f91781816cba
      https://github.com/llvm/llvm-project/commit/324a53205a3af979e3de109fdd52f91781816cba
  Author: Sanjay Patel <spatel at rotateright.com>
  Date:   2020-09-11 (Fri, 11 Sep 2020)

  Changed paths:
    M llvm/lib/Transforms/InstCombine/InstCombineAddSub.cpp
    M llvm/test/Transforms/InstCombine/sub-gep.ll
    M llvm/test/Transforms/InstCombine/sub.ll

  Log Message:
  -----------
  [InstCombine] propagate 'nsw' on pointer difference of 'inbounds' geps (PR47430)

There's no signed wrap if both geps have 'inbounds':
https://alive2.llvm.org/ce/z/nZkQTg
https://alive2.llvm.org/ce/z/7qFauh