[all-commits] [llvm/llvm-project] e624f1: [CoroSplit] Never collect allocas used by catchpad...

[Weibo He via All-commits]

  Branch: refs/heads/release/22.x
  Home:   https://github.com/llvm/llvm-project
  Commit: e624f1204282bef96279d07a03bf9ec27056ff5e
      https://github.com/llvm/llvm-project/commit/e624f1204282bef96279d07a03bf9ec27056ff5e
  Author: Weibo He <NewSigma at 163.com>
  Date:   2026-05-26 (Tue, 26 May 2026)

  Changed paths:
    M llvm/docs/Coroutines.rst
    M llvm/lib/Transforms/Coroutines/SpillUtils.cpp
    A llvm/test/Transforms/Coroutines/coro-alloca-10.ll

  Log Message:
  -----------
  [CoroSplit] Never collect allocas used by catchpad into frame (#186728)

Windows EH requires exception objects allocated on stack. But there is
no reliable way to identify them. CoroSplit employs a best-effort
algorithm to determine whether allocas persist on the stack or the
frame, which may result in miscompilation when Windows exceptions are
used.
This patch proposes that we treat allocas used by catchpad as exception
objects and never place them on the frame. A verifier check is added to
enforce that operands of catchpad are either constants or allocas.

Close #143235 Close #153949 Close #182584



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