[all-commits] [llvm/llvm-project] c04c94: [ValueTracking] Handle chain of single-pred blocks...

[Nikita Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: c04c945d2563297ca75baf13050594e2bd3dcec5
      https://github.com/llvm/llvm-project/commit/c04c945d2563297ca75baf13050594e2bd3dcec5
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2026-06-09 (Tue, 09 Jun 2026)

  Changed paths:
    M llvm/lib/Analysis/ValueTracking.cpp
    M llvm/test/Transforms/LICM/hoist-deref-load.ll
    M llvm/test/Transforms/SLPVectorizer/AArch64/masked-loads-side-effects-after-vec.ll

  Log Message:
  -----------
  [ValueTracking] Handle chain of single-pred blocks in willNotFreeBetween() (#202308)

willNotFreeBetween() currently handles the case where both instructions
are in the same block, or one is in the single predecessor of the other.
This patch extends this to handle a chain of single predecessor blocks.

The budget now applies to all checked instructions, rather than per
block. Also increase the budget by a factor of two (which means that new
budget interpretation should never regress relative to the previous).



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