xref: /llvm-project/llvm/test/Transforms/Coroutines/coro-async-notail-wasm.ll (revision 8c5c4d9a63bd0cba7f025431e06f63d032010393)
1; RUN: opt < %s -O0 -S -mtriple=wasm32-unknown-unknown | FileCheck %s
2; REQUIRES: webassembly-registered-target
3
4%swift.async_func_pointer = type <{ i32, i32 }>
5@checkTu = global %swift.async_func_pointer <{ i32 ptrtoint (ptr @check to i32), i32 8 }>
6
7define swiftcc void @check(ptr %0) {
8entry:
9  %1 = call token @llvm.coro.id.async(i32 0, i32 0, i32 0, ptr @checkTu)
10  %2 = call ptr @llvm.coro.begin(token %1, ptr null)
11  %3 = call ptr @llvm.coro.async.resume()
12  store ptr %3, ptr %0, align 4
13  %4 = call { ptr, i32 } (i32, ptr, ptr, ...) @llvm.coro.suspend.async.sl_p0i32s(i32 0, ptr %3, ptr @__swift_async_resume_project_context, ptr @check.0, ptr null, ptr null)
14  ret void
15}
16
17declare swiftcc void @check.0()
18declare { ptr, i32 } @llvm.coro.suspend.async.sl_p0i32s(i32, ptr, ptr, ...)
19declare token @llvm.coro.id.async(i32, i32, i32, ptr)
20declare ptr @llvm.coro.begin(token, ptr writeonly)
21declare ptr @llvm.coro.async.resume()
22
23define ptr @__swift_async_resume_project_context(ptr %0) {
24entry:
25  ret ptr null
26}
27
28; Verify that the resume call is not marked as musttail.
29; CHECK-LABEL: define swiftcc void @check(
30; CHECK-NOT: musttail call swiftcc void @check.0()
31; CHECK:     call swiftcc void @check.0()
32