[all-commits] [llvm/llvm-project] 615702: [BasicAA][ValueTracking] Increase depth for underl...

[Nikita Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 6157028fea93ff14af18b173dd01eb431cfb6aef
      https://github.com/llvm/llvm-project/commit/6157028fea93ff14af18b173dd01eb431cfb6aef
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2025-06-12 (Thu, 12 Jun 2025)

  Changed paths:
    M llvm/include/llvm/Analysis/ValueTracking.h
    M llvm/test/Analysis/BasicAA/gep-decomposition-limit.ll
    M llvm/test/Analysis/LoopAccessAnalysis/underlying-objects-2.ll
    M llvm/test/Transforms/Inline/inline-noalias-unidentify-object.ll

  Log Message:
  -----------
  [BasicAA][ValueTracking] Increase depth for underlying object search (#143714)

This depth limits a linear search (rather than the usual potentially
exponential one) and is not particularly important for compile-time in
practice.

The change in #137297 is going to increase the length of GEP chains, so
I'd like to increase this limit a bit to reduce the chance of
regressions (https://github.com/dtcxzyw/llvm-opt-benchmark/pull/2419
showed a 13% increase in SearchLimitReached). There is no particular
significance to the new value of 10.

Compile-time is neutral.



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