[all-commits] [llvm/llvm-project] 59d770: Bound ISL operations during DeLICM scalar collapsi...

[Shikhar Jain via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 59d7709ee9352df286bfb9b7a3b97c38deae5495
      https://github.com/llvm/llvm-project/commit/59d7709ee9352df286bfb9b7a3b97c38deae5495
  Author: Shikhar Jain <shikharj at qti.qualcomm.com>
  Date:   2026-07-16 (Thu, 16 Jul 2026)

  Changed paths:
    M polly/lib/Transform/DeLICM.cpp
    A polly/test/DeLICM/outofquota-greedycollapse.ll

  Log Message:
  -----------
  Bound ISL operations during DeLICM scalar collapsing (#203073)

The IslMaxOperationsGuard in DeLICM previously covered only the zone
analysis performed in computeZone(). The subsequent greedyCollapse() ->
collapseScalarsToStore() path calls computeScalarReachingOverwrite(),
which performs an unbounded ISL lexmin().
Share a single[already present], dormant IslMaxOperationsGuard across
both regions and arm it narrowly around each operation intensive
computation via IslQuotaScope, so the same operations budget covers both
computeZone() and the scalar collapsing. When the quota is exceeded
during scalar collapsing, bail out cleanly: increment DeLICMOutOfQuota
and emit an "OutOfQuota" analysis remark.

Fixes: https://github.com/llvm/llvm-project/issues/202045



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