[all-commits] [llvm/llvm-project] 188c04: [LAA] Don't check for free in evaluatePtrAddRecAtM...

[Nikita Popov via All-commits]

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

  Changed paths:
    M llvm/lib/Analysis/LoopAccessAnalysis.cpp
    M llvm/test/Analysis/LoopAccessAnalysis/early-exit-runtime-checks.ll
    M llvm/test/Transforms/LoopVectorize/early-exit-calls.ll

  Log Message:
  -----------
  [LAA] Don't check for free in evaluatePtrAddRecAtMaxBTCWillNotWrap() (#202341)

The fact that an object of a certain size existed at the the location at
some point is sufficient to prove the desired nowrap fact. Whether the
object still exists there doesn't matter in this context.



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