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

[Karthika Devi C via All-commits]

  Branch: refs/heads/release/23.x
  Home:   https://github.com/llvm/llvm-project
  Commit: 23780df286c2e5914014d002206f1bfde7d0f1b9
      https://github.com/llvm/llvm-project/commit/23780df286c2e5914014d002206f1bfde7d0f1b9
  Author: Karthika Devi C <kartc at qti.qualcomm.com>
  Date:   2026-07-16 (Thu, 16 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

(cherry picked from commit ea612545644d1e3f238ac4cd053758f569f9bf3b)



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