[irgen] Make AsyncLetBegin and AsyncLetFinish UNKNOWN_MEMEFFECTS instead of ArgMemOnly.

In a discussion with @rjmccall, we agreed that these should really be
UNKNOWN_MEMEFFECTS so we are conservative.

Just slicing this off from a larger patch stream.
This commit is contained in:
Michael Gottesman
2025-11-14 15:08:01 -08:00
parent dc7f30fac9
commit 01c2e0fde9

View File

@@ -2570,7 +2570,7 @@ FUNCTION(AsyncLetBegin,
),
ATTRS(NoUnwind),
EFFECT(RuntimeEffect::Concurrency),
MEMEFFECTS(ArgMemOnly))
UNKNOWN_MEMEFFECTS)
/// void swift_asyncLet_finish(
/// AsyncLet *alet,
@@ -2592,7 +2592,7 @@ FUNCTION(AsyncLetFinish,
),
ATTRS(NoUnwind),
EFFECT(RuntimeEffect::Concurrency),
MEMEFFECTS(ArgMemOnly))
UNKNOWN_MEMEFFECTS)
/// void swift_task_run_inline(
/// OpaqueValue *result,