[all-commits] [llvm/llvm-project] 0b1283: [llvm-diff] Respect AllowAssumptions in diffCallSi...

[lijinpei-amd via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 0b128394b9c796ebe4efd9e0dde38976fb291798
      https://github.com/llvm/llvm-project/commit/0b128394b9c796ebe4efd9e0dde38976fb291798
  Author: lijinpei-amd <jinpli at amd.com>
  Date:   2026-06-12 (Fri, 12 Jun 2026)

  Changed paths:
    A llvm/test/tools/llvm-diff/callsite-assumption-passing.ll
    M llvm/tools/llvm-diff/lib/DifferenceEngine.cpp

  Log Message:
  -----------
  [llvm-diff] Respect AllowAssumptions in diffCallSites (#203597)

diffCallSites always built an AssumptionContext, so call sites made
optimistic equivalence assumptions even when the caller disabled them.
This made matchForBlockDiff over-match, and the re-check in unify() then
hit the "structural differences second time around?" assertion.

Thread the caller's AssumptionContext into diffCallSites so call sites
honor the no-assumptions request like every other instruction kind.

Fixes #184133



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