[all-commits] [llvm/llvm-project] f02b48: [AssumptionCache] Deduplicate affected values in r...

[Krisitan Erik Olsen via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: f02b48182be73c531fb83312da15c85031fadde3
      https://github.com/llvm/llvm-project/commit/f02b48182be73c531fb83312da15c85031fadde3
  Author: Krisitan Erik Olsen <kristian.erik at outlook.com>
  Date:   2026-07-08 (Wed, 08 Jul 2026)

  Changed paths:
    M llvm/lib/Analysis/AssumptionCache.cpp
    A llvm/test/Transforms/DropUnnecessaryAssumes/duplicate-affected-value.ll

  Log Message:
  -----------
  [AssumptionCache] Deduplicate affected values in removeAffectedValues (#205441)

removeAffectedValues can encounter duplicate entries in the Affected
list when a separate_storage bundle uses the same pointer for both
arguments (e.g. "separate_storage"(ptr %p, ptr %p)). The duplicate
entries share both the same value and the same bundle index. The first
iteration handles the value completely and may erase the AffectedValues
entry, causing the second iteration to fail the assertion.

This patch deduplicates entries in removeAffectedValues by (Value *,
Index) pair, matching the deduplication already done in
updateAffectedValues. This also fixes the ExpectedMatches counting in
the debug logic added by #205275, which otherwise miscounts when
duplicates are present.

Fixes #205378.



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