[all-commits] [llvm/llvm-project] 01d079: [LAA] Make Ptr argument optional in isNoWrap. (#12...

[Florian Hahn via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 01d0793a69ad4c5c54815138ebe945b5cdce2aca
      https://github.com/llvm/llvm-project/commit/01d0793a69ad4c5c54815138ebe945b5cdce2aca
  Author: Florian Hahn <flo at fhahn.com>
  Date:   2025-02-19 (Wed, 19 Feb 2025)

  Changed paths:
    M llvm/lib/Analysis/LoopAccessAnalysis.cpp
    M llvm/test/Analysis/LoopAccessAnalysis/retry-runtime-checks-after-dependence-analysis-forked-pointers.ll

  Log Message:
  -----------
  [LAA] Make Ptr argument optional in isNoWrap. (#127410)

Update isNoWrap to make the IR Ptr argument optional. This allows using
isNoWrap when dealing with things like pointer-selects, where a select
is translated to multiple pointer SCEV expressions, but there is no IR
value that can be used. We don't try to retrieve pointer values for the
pointer SCEVs and using info from the IR would not be safe. For example,
we cannot use inbounds, because the pointer may never be accessed.

PR: https://github.com/llvm/llvm-project/pull/127410



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