32 lines · plain
1; RUN: opt < %s -O0 -S -mtriple=wasm32-unknown-unknown | FileCheck %s2; REQUIRES: webassembly-registered-target3 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 413 %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 void15}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 null26}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