| // RUN: %clang_cc1 -triple x86_64-unknown-linux-gnu -fcoroutines-ts -std=c++1z -emit-llvm %s -o - -disable-llvm-passes | FileCheck %s |
| |
| namespace std::experimental { |
| template <typename... T> struct coroutine_traits; |
| |
| template <class Promise = void> struct coroutine_handle { |
| coroutine_handle() = default; |
| static coroutine_handle from_address(void *) { return {}; } |
| }; |
| template <> struct coroutine_handle<void> { |
| static coroutine_handle from_address(void *) { return {}; } |
| coroutine_handle() = default; |
| template <class PromiseType> |
| coroutine_handle(coroutine_handle<PromiseType>) {} |
| }; |
| } |
| |
| struct suspend_always { |
| bool await_ready(); |
| void await_suspend(std::experimental::coroutine_handle<>); |
| void await_resume(); |
| }; |
| |
| template <> struct std::experimental::coroutine_traits<void> { |
| struct promise_type { |
| void get_return_object(); |
| suspend_always initial_suspend(); |
| suspend_always final_suspend(); |
| void return_void(); |
| }; |
| }; |
| |
| // CHECK-LABEL: f0( |
| extern "C" void f0() { |
| // CHECK: %__promise = alloca %"struct.std::experimental::coroutine_traits<void>::promise_type" |
| // CHECK: %call = call i8* @_Znwm( |
| // CHECK: call void @_ZNSt12experimental16coroutine_traitsIJvEE12promise_type11return_voidEv(%"struct.std::experimental::coroutine_traits<void>::promise_type"* %__promise) |
| // CHECK: call void @_ZdlPv |
| co_return; |
| } |
| |
| template<> |
| struct std::experimental::coroutine_traits<int> { |
| struct promise_type { |
| int get_return_object(); |
| suspend_always initial_suspend(); |
| suspend_always final_suspend(); |
| void return_value(int); |
| }; |
| }; |
| |
| // CHECK-LABEL: f1( |
| extern "C" int f1() { |
| // CHECK: %__promise = alloca %"struct.std::experimental::coroutine_traits<int>::promise_type" |
| // CHECK: %call = call i8* @_Znwm( |
| // CHECK: call void @_ZNSt12experimental16coroutine_traitsIJiEE12promise_type12return_valueEi(%"struct.std::experimental::coroutine_traits<int>::promise_type"* %__promise, i32 42) |
| // CHECK: call void @_ZdlPv |
| co_return 42; |
| } |