[all-commits] [llvm/llvm-project] 46a574: [InstSimplify] Fold icmp of allocas based on offse...

[hanbum via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 46a574501731dcf313f52e20cd5bc56111a2a492
      https://github.com/llvm/llvm-project/commit/46a574501731dcf313f52e20cd5bc56111a2a492
  Author: Hanbum Park <kese111 at gmail.com>
  Date:   2023-06-29 (Thu, 29 Jun 2023)

  Changed paths:
    M llvm/lib/Analysis/InstructionSimplify.cpp
    M llvm/test/Transforms/InstSimplify/cmp-alloca-offsets.ll
    M llvm/test/Transforms/InstSimplify/past-the-end.ll

  Log Message:
  -----------
  [InstSimplify] Fold icmp of allocas based on offset difference

Strengthen the fold for icmps of non-overlapping storage, by
working on the difference of offsets, rather than considering
both offsets independently. In particular, this allows handling
comparisons of pointers to the end of equal-sized allocations.

Proofs: https://alive2.llvm.org/ce/z/Po2nL4

Differential Revision: https://reviews.llvm.org/D153752