[all-commits] [llvm/llvm-project] bc0976: [LAA] Strip non-inbounds offset in getPointerDiff(...

Nikita Popov via All-commits all-commits at lists.llvm.org
Tue Dec 10 04:05:55 PST 2024


  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: bc0976ed1f96c20546796d4aa18abf3acfc0850f
      https://github.com/llvm/llvm-project/commit/bc0976ed1f96c20546796d4aa18abf3acfc0850f
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2024-12-10 (Tue, 10 Dec 2024)

  Changed paths:
    M llvm/lib/Analysis/LoopAccessAnalysis.cpp

  Log Message:
  -----------
  [LAA] Strip non-inbounds offset in getPointerDiff() (NFC) (#118665)

I believe that this code doesn't care whether the offsets are known to
be inbounds a priori. For the same reason the change is not testable, as
the SCEV based fallback code will look through non-inbounds offsets
anyway. So make it clear that there is no special inbounds requirement
here.



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications


More information about the All-commits mailing list