[all-commits] [llvm/llvm-project] ea6125: [Polly] Fix codegen assertions to account for Defi...

[Karthika Devi C via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: ea612545644d1e3f238ac4cd053758f569f9bf3b
      https://github.com/llvm/llvm-project/commit/ea612545644d1e3f238ac4cd053758f569f9bf3b
  Author: Karthika Devi C <kartc at qti.qualcomm.com>
  Date:   2026-07-15 (Wed, 15 Jul 2026)

  Changed paths:
    M polly/lib/CodeGen/BlockGenerators.cpp
    M polly/lib/CodeGen/IslNodeBuilder.cpp
    A polly/test/CodeGen/issue205732.ll

  Log Message:
  -----------
  [Polly] Fix codegen assertions to account for DefinedBehaviorContext (#209188)

DeLICM may produce new read access relations whose domain is restricted
to the DefinedBehaviorContext (e.g., only valid when a parameter ensures
no UB). The validation in setNewAccessRelation already accounts for
this, but the debug assertions in createNewAccesses and
generateScalarLoads did not, causing false assertion failures during
code generation.

Intersect the checked domains with getBestKnownDefinedBehaviorContext()
to match the contract that DeLICM relies on.

Fixes #205732



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