1; RUN: opt < %s -passes='module(coro-early),cgscc(coro-split<reuse-storage>),function(sroa)' -S | FileCheck %s
2
3; Checks whether the dbg.declare for `__promise` remains valid under O2.
4
5; CHECK-LABEL: define internal fastcc void @f.resume({{.*}})
6; CHECK:       entry.resume:
7; CHECK:        call void @llvm.dbg.declare(metadata %f.Frame* %FramePtr, metadata ![[PROMISEVAR_RESUME:[0-9]+]], metadata !DIExpression(
8;
9; CHECK: ![[PROMISEVAR_RESUME]] = !DILocalVariable(name: "__promise"
10%promise_type = type { i32, i32, double }
11
12define void @f() presplitcoroutine !dbg !8  {
13entry:
14    %__promise = alloca %promise_type, align 8
15    %0 = bitcast %promise_type* %__promise to i8*
16    %id = call token @llvm.coro.id(i32 16, i8* %0, i8* null, i8* null)
17    %alloc = call i1 @llvm.coro.alloc(token %id)
18    br i1 %alloc, label %coro.alloc, label %coro.init
19
20coro.alloc:                                       ; preds = %entry
21    %size = call i64 @llvm.coro.size.i64()
22    %memory = call i8* @new(i64 %size)
23    br label %coro.init
24
25coro.init:                                        ; preds = %coro.alloc, %entry
26    %phi.entry.alloc = phi i8* [ null, %entry ], [ %memory, %coro.alloc ]
27    %begin = call i8* @llvm.coro.begin(token %id, i8* %phi.entry.alloc)
28    call void @llvm.dbg.declare(metadata %promise_type* %__promise, metadata !6, metadata !DIExpression()), !dbg !18
29    %i.i = getelementptr inbounds %promise_type, %promise_type* %__promise, i64 0, i32 0
30    store i32 1, i32* %i.i, align 8
31    %j.i = getelementptr inbounds %promise_type, %promise_type* %__promise, i64 0, i32 1
32    store i32 2, i32* %j.i, align 4
33    %k.i = getelementptr inbounds %promise_type, %promise_type* %__promise, i64 0, i32 2
34    store double 3.000000e+00, double* %k.i, align 8
35    %ready = call i1 @await_ready()
36    br i1 %ready, label %init.ready, label %init.suspend
37
38init.suspend:                                     ; preds = %coro.init
39    %save = call token @llvm.coro.save(i8* null)
40    call void @await_suspend()
41    %suspend = call i8 @llvm.coro.suspend(token %save, i1 false)
42    switch i8 %suspend, label %coro.ret [
43        i8 0, label %init.ready
44        i8 1, label %init.cleanup
45    ]
46
47init.cleanup:                                     ; preds = %init.suspend
48    br label %cleanup
49
50init.ready:                                       ; preds = %init.suspend, %coro.init
51    call void @await_resume()
52    %ready.again = call zeroext i1 @await_ready()
53    br i1 %ready.again, label %await.ready, label %await.suspend
54
55await.suspend:                                    ; preds = %init.ready
56    %save.again = call token @llvm.coro.save(i8* null)
57    %from.address = call i8* @from_address(i8* %begin)
58    call void @await_suspend()
59    %suspend.again = call i8 @llvm.coro.suspend(token %save.again, i1 false)
60    switch i8 %suspend.again, label %coro.ret [
61        i8 0, label %await.ready
62        i8 1, label %await.cleanup
63    ]
64
65await.cleanup:                                    ; preds = %await.suspend
66    br label %cleanup
67
68await.ready:                                      ; preds = %await.suspend, %init.ready
69    call void @await_resume()
70    call void @return_void()
71    br label %coro.final
72
73coro.final:                                       ; preds = %await.ready
74    call void @final_suspend()
75    %coro.final.await_ready = call i1 @await_ready()
76    br i1 %coro.final.await_ready, label %final.ready, label %final.suspend
77
78final.suspend:                                    ; preds = %coro.final
79    %final.suspend.coro.save = call token @llvm.coro.save(i8* null)
80    %final.suspend.from_address = call i8* @from_address(i8* %begin)
81    call void @await_suspend()
82    %final.suspend.coro.suspend = call i8 @llvm.coro.suspend(token %final.suspend.coro.save, i1 true)
83    switch i8 %final.suspend.coro.suspend, label %coro.ret [
84        i8 0, label %final.ready
85        i8 1, label %final.cleanup
86    ]
87
88final.cleanup:                                    ; preds = %final.suspend
89    br label %cleanup
90
91final.ready:                                      ; preds = %final.suspend, %coro.final
92    call void @await_resume()
93    br label %cleanup
94
95cleanup:                                          ; preds = %final.ready, %final.cleanup, %await.cleanup, %init.cleanup
96    %cleanup.dest.slot.0 = phi i32 [ 0, %final.ready ], [ 2, %final.cleanup ], [ 2, %await.cleanup ], [ 2, %init.cleanup ]
97    %free.memory = call i8* @llvm.coro.free(token %id, i8* %begin)
98    %free = icmp ne i8* %free.memory, null
99    br i1 %free, label %coro.free, label %after.coro.free
100
101coro.free:                                        ; preds = %cleanup
102    call void @delete(i8* %free.memory)
103    br label %after.coro.free
104
105after.coro.free:                                  ; preds = %coro.free, %cleanup
106    switch i32 %cleanup.dest.slot.0, label %unreachable [
107        i32 0, label %cleanup.cont
108        i32 2, label %coro.ret
109    ]
110
111cleanup.cont:                                     ; preds = %after.coro.free
112    br label %coro.ret
113
114coro.ret:                                         ; preds = %cleanup.cont, %after.coro.free, %final.suspend, %await.suspend, %init.suspend
115    %end = call i1 @llvm.coro.end(i8* null, i1 false)
116    ret void
117
118unreachable:                                      ; preds = %after.coro.free
119    unreachable
120
121}
122
123declare void @llvm.dbg.declare(metadata, metadata, metadata)
124declare token @llvm.coro.id(i32, i8* readnone, i8* nocapture readonly, i8*)
125declare i1 @llvm.coro.alloc(token)
126declare i64 @llvm.coro.size.i64()
127declare token @llvm.coro.save(i8*)
128declare i8* @llvm.coro.begin(token, i8* writeonly)
129declare i8 @llvm.coro.suspend(token, i1)
130declare i8* @llvm.coro.free(token, i8* nocapture readonly)
131declare i1 @llvm.coro.end(i8*, i1)
132
133declare i8* @new(i64)
134declare void @delete(i8*)
135declare i1 @await_ready()
136declare void @await_suspend()
137declare void @await_resume()
138declare void @print(i32)
139declare i8* @from_address(i8*)
140declare void @return_void()
141declare void @final_suspend()
142
143!llvm.dbg.cu = !{!0}
144!llvm.linker.options = !{}
145!llvm.module.flags = !{!3, !4}
146!llvm.ident = !{!5}
147
148!0 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus_14, file: !1, producer: "clang version 11.0.0", isOptimized: false, runtimeVersion: 0, emissionKind: FullDebug, enums: !2, retainedTypes: !2, splitDebugInlining: false, nameTableKind: None)
149!1 = !DIFile(filename: "coro-debug.cpp", directory: ".")
150!2 = !{}
151!3 = !{i32 7, !"Dwarf Version", i32 4}
152!4 = !{i32 2, !"Debug Info Version", i32 3}
153!5 = !{!"clang version 11.0.0"}
154!6 = !DILocalVariable(name: "__promise", scope: !7, file: !1, line: 24, type: !10)
155!7 = distinct !DILexicalBlock(scope: !8, file: !1, line: 23, column: 12)
156!8 = distinct !DISubprogram(name: "foo", linkageName: "_Z3foov", scope: !8, file: !1, line: 23, type: !9, scopeLine: 23, flags: DIFlagPrototyped, spFlags: DISPFlagDefinition, unit: !0, retainedNodes: !2)
157!9 = !DISubroutineType(types: !2)
158!10 = !DIDerivedType(tag: DW_TAG_typedef, name: "promise_type", scope: !8, file: !1, line: 15, baseType: !11)
159!11 = distinct !DICompositeType(tag: DW_TAG_structure_type, name: "promise_type", scope: !8, file: !1, line: 10, size: 128, flags: DIFlagTypePassByValue | DIFlagNonTrivial, elements: !12, identifier: "_ZTSN4coro12promise_typeE")
160!12 = !{!13, !14, !15}
161!13 = !DIDerivedType(tag: DW_TAG_member, name: "i", scope: !8, file: !1, line: 10, baseType: !16, size: 32)
162!14 = !DIDerivedType(tag: DW_TAG_member, name: "j", scope: !8, file: !1, line: 10, baseType: !16, size: 32, offset: 32)
163!15 = !DIDerivedType(tag: DW_TAG_member, name: "k", scope: !8, file: !1, line: 10, baseType: !17, size: 64, offset: 64)
164!16 = !DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed)
165!17 = !DIBasicType(name: "double", size: 64, encoding: DW_ATE_float)
166!18 = !DILocation(line: 0, scope: !7)
167
168
169
170
171
172
173