[llvm] [CoroEarly][IR] Clarify semantic of llvm.coro.end (PR #191752)

Weibo He via llvm-commits llvm-commits at lists.llvm.org
Mon Apr 13 02:09:38 PDT 2026


NewSigma wrote:

> How does this relate to https://github.com/llvm/llvm-project/pull/151067 ?

Since `llvm.coro.id` may capture the pointer to promise, I believe DSE must assume that `llvm.coro.id` could store that pointer into a global variable, and that `coro.end` might subsequently read from it. Currently, neither `coro.end` nor its parameters have any memory attributes defined.

https://github.com/llvm/llvm-project/pull/191752


More information about the llvm-commits mailing list