1 // RUN: %clang_cc1 -triple x86_64-unknown-linux-gnu -emit-llvm -std=c++20 \
2 // RUN:   -fexperimental-new-pass-manager -O0 %s -o - | FileCheck %s
3 // RUN: %clang_cc1 -triple x86_64-unknown-linux-gnu -emit-llvm -std=c++20 \
4 // RUN:   -fexperimental-new-pass-manager -fno-inline -O0 %s -o - | FileCheck %s
5 
6 // RUN: %clang_cc1 -triple x86_64-unknown-linux-gnu -emit-llvm -std=c++20 \
7 // RUN:   -O0 %s -o - | FileCheck %s
8 // RUN: %clang_cc1 -triple x86_64-unknown-linux-gnu -emit-llvm -std=c++20 \
9 // RUN:   -fno-inline -O0 %s -o - | FileCheck %s
10 
11 namespace std {
12 
13 struct handle {};
14 
15 struct awaitable {
16   bool await_ready() noexcept { return true; }
17   // CHECK-NOT: await_suspend
18   inline void __attribute__((__always_inline__)) await_suspend(handle) noexcept {}
19   bool await_resume() noexcept { return true; }
20 };
21 
22 template <typename T>
23 struct coroutine_handle {
24   static handle from_address(void *address) noexcept { return {}; }
25 };
26 
27 template <typename T = void>
28 struct coroutine_traits {
29   struct promise_type {
30     awaitable initial_suspend() { return {}; }
31     awaitable final_suspend() noexcept { return {}; }
32     void return_void() {}
33     T get_return_object() { return T(); }
34     void unhandled_exception() {}
35   };
36 };
37 } // namespace std
38 
39 // CHECK-LABEL: @_Z3foov
40 // CHECK-LABEL: entry:
41 // CHECK: [[CAST0:%[0-9]+]] = bitcast %"struct.std::awaitable"* %ref.tmp{{.*}} to i8*
42 // CHECK-NEXT: call void @llvm.lifetime.start.p0i8(i64 1, i8* [[CAST0]])
43 // CHECK: [[CAST1:%[0-9]+]] = bitcast %"struct.std::awaitable"* %ref.tmp{{.*}} to i8*
44 // CHECK-NEXT: call void @llvm.lifetime.end.p0i8(i64 1, i8* [[CAST1]])
45 
46 // CHECK: [[CAST2:%[0-9]+]] = bitcast %"struct.std::awaitable"* %ref.tmp{{.*}} to i8*
47 // CHECK-NEXT: call void @llvm.lifetime.start.p0i8(i64 1, i8* [[CAST2]])
48 // CHECK: [[CAST3:%[0-9]+]] = bitcast %"struct.std::awaitable"* %ref.tmp{{.*}} to i8*
49 // CHECK-NEXT: call void @llvm.lifetime.end.p0i8(i64 1, i8* [[CAST3]])
50 void foo() { co_return; }
51