1; RUN: opt < %s -passes='module(coro-early),cgscc(coro-split,coro-split)' -S | FileCheck %s 2; RUN: opt --try-experimental-debuginfo-iterators < %s -passes='module(coro-early),cgscc(coro-split,coro-split)' -S | FileCheck %s 3 4; Checks whether the dbg.declare for `__coro_frame` are created. 5 6; CHECK-LABEL: define void @f( 7; CHECK: coro.init: 8; CHECK: %[[begin:.*]] = call noalias nonnull ptr @llvm.coro.begin( 9; CHECK: #dbg_declare(ptr %[[begin]], ![[CORO_FRAME:[0-9]+]], !DIExpression(), 10; 11; CHECK: define internal fastcc void @f.resume( 12; CHECK: entry.resume: 13; CHECK: %[[FramePtr_RESUME:.*]] = alloca ptr 14; CHECK: #dbg_declare(ptr %[[FramePtr_RESUME]], ![[CORO_FRAME_IN_RESUME:[0-9]+]], !DIExpression(DW_OP_deref) 15; 16; CHECK-DAG: ![[FILE:[0-9]+]] = !DIFile(filename: "coro-debug.cpp" 17; CHECK-DAG: ![[RAMP:[0-9]+]] = distinct !DISubprogram(name: "foo", linkageName: "_Z3foov", 18; CHECK-DAG: ![[CORO_FRAME]] = !DILocalVariable(name: "__coro_frame", scope: ![[RAMP]], file: ![[FILE]], line: [[CORO_FRAME_LINE:[0-9]+]], type: ![[FRAME_TYPE:[0-9]+]], flags: DIFlagArtificial) 19; CHECK-DAG: ![[FRAME_TYPE]] = !DICompositeType(tag: DW_TAG_structure_type, name: "f.coro_frame_ty", {{.*}}elements: ![[ELEMENTS:[0-9]+]] 20; CHECK-DAG: ![[ELEMENTS]] = !{![[RESUME_FN:[0-9]+]], ![[DESTROY_FN:[0-9]+]], ![[PROMISE:[0-9]+]], ![[VECTOR_TYPE:[0-9]+]], ![[INT64_0:[0-9]+]], ![[DOUBLE_1:[0-9]+]], ![[INT64_PTR:[0-9]+]], ![[INT32_2:[0-9]+]], ![[INT32_3:[0-9]+]], ![[UNALIGNED_UNKNOWN:[0-9]+]], ![[STRUCT:[0-9]+]], ![[CORO_INDEX:[0-9]+]], ![[SMALL_UNKNOWN:[0-9]+]] 21; CHECK-DAG: ![[RESUME_FN]] = !DIDerivedType(tag: DW_TAG_member, name: "__resume_fn"{{.*}}, baseType: ![[RESUME_FN_TYPE:[0-9]+]]{{.*}}, flags: DIFlagArtificial 22; CHECK-DAG: ![[RESUME_FN_TYPE]] = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: null, size: 64) 23; CHECK-DAG: ![[DESTROY_FN]] = !DIDerivedType(tag: DW_TAG_member, name: "__destroy_fn"{{.*}}, baseType: ![[RESUME_FN_TYPE]]{{.*}}, flags: DIFlagArtificial 24; CHECK-DAG: ![[PROMISE]] = !DIDerivedType(tag: DW_TAG_member, name: "__promise",{{.*}}baseType: ![[PROMISE_BASE:[0-9]+]] 25; CHECK-DAG: ![[PROMISE_BASE]] = !DIDerivedType(tag: DW_TAG_typedef, name: "promise_type" 26; CHECK-DAG: ![[VECTOR_TYPE]] = !DIDerivedType(tag: DW_TAG_member, name: "_0",{{.*}}baseType: ![[VECTOR_TYPE_BASE:[0-9]+]], size: 128 27; CHECK-DAG: ![[VECTOR_TYPE_BASE]] = !DICompositeType(tag: DW_TAG_array_type, baseType: ![[UNKNOWN_TYPE_BASE:[0-9]+]], size: 128, align: 16, elements: ![[VECTOR_TYPE_BASE_ELEMENTS:[0-9]+]]) 28; CHECK-DAG: ![[UNKNOWN_TYPE_BASE]] = !DIBasicType(name: "UnknownType", size: 8, encoding: DW_ATE_unsigned_char, flags: DIFlagArtificial) 29; CHECK-DAG: ![[VECTOR_TYPE_BASE_ELEMENTS]] = !{![[VECTOR_TYPE_BASE_SUBRANGE:[0-9]+]]} 30; CHECK-DAG: ![[VECTOR_TYPE_BASE_SUBRANGE]] = !DISubrange(count: 16, lowerBound: 0) 31; CHECK-DAG: ![[INT64_0]] = !DIDerivedType(tag: DW_TAG_member, name: "__int_64_1", scope: ![[FRAME_TYPE]], file: ![[FILE]], line: [[CORO_FRAME_LINE]], baseType: ![[I64_BASE:[0-9]+]],{{.*}}, flags: DIFlagArtificial 32; CHECK-DAG: ![[I64_BASE]] = !DIBasicType(name: "__int_64", size: 64, encoding: DW_ATE_signed, flags: DIFlagArtificial) 33; CHECK-DAG: ![[DOUBLE_1]] = !DIDerivedType(tag: DW_TAG_member, name: "__double__2", scope: ![[FRAME_TYPE]], file: ![[FILE]], line: [[CORO_FRAME_LINE]], baseType: ![[DOUBLE_BASE:[0-9]+]]{{.*}}, flags: DIFlagArtificial 34; CHECK-DAG: ![[DOUBLE_BASE]] = !DIBasicType(name: "__double_", size: 64, encoding: DW_ATE_float, flags: DIFlagArtificial) 35; CHECK-DAG: ![[INT32_2]] = !DIDerivedType(tag: DW_TAG_member, name: "__int_32_4", scope: ![[FRAME_TYPE]], file: ![[FILE]], line: [[CORO_FRAME_LINE]], baseType: ![[I32_BASE:[0-9]+]]{{.*}}, flags: DIFlagArtificial 36; CHECK-DAG: ![[I32_BASE]] = !DIBasicType(name: "__int_32", size: 32, encoding: DW_ATE_signed, flags: DIFlagArtificial) 37; CHECK-DAG: ![[INT32_3]] = !DIDerivedType(tag: DW_TAG_member, name: "__int_32_5", scope: ![[FRAME_TYPE]], file: ![[FILE]], line: [[CORO_FRAME_LINE]], baseType: ![[I32_BASE]] 38; CHECK-DAG: ![[UNALIGNED_UNKNOWN]] = !DIDerivedType(tag: DW_TAG_member, name: "_6",{{.*}}baseType: ![[UNALIGNED_UNKNOWN_BASE:[0-9]+]], size: 9 39; CHECK-DAG: ![[UNALIGNED_UNKNOWN_BASE]] = !DICompositeType(tag: DW_TAG_array_type, baseType: ![[UNKNOWN_TYPE_BASE]], size: 16,{{.*}} elements: ![[UNALIGNED_UNKNOWN_ELEMENTS:[0-9]+]]) 40; CHECK-DAG: ![[UNALIGNED_UNKNOWN_ELEMENTS]] = !{![[UNALIGNED_UNKNOWN_SUBRANGE:[0-9]+]]} 41; CHECk-DAG: ![[UNALIGNED_UNKNOWN_SUBRANGE]] = !DISubrange(count: 2, lowerBound: 0) 42; CHECK-DAG: ![[STRUCT]] = !DIDerivedType(tag: DW_TAG_member, name: "struct_big_structure_7", scope: ![[FRAME_TYPE]], file: ![[FILE]], line: [[CORO_FRAME_LINE]], baseType: ![[STRUCT_BASE:[0-9]+]] 43; CHECK-DAG: ![[STRUCT_BASE]] = !DICompositeType(tag: DW_TAG_structure_type, name: "struct_big_structure"{{.*}}, align: 64, flags: DIFlagArtificial, elements: ![[STRUCT_ELEMENTS:[0-9]+]] 44; CHECK-DAG: ![[STRUCT_ELEMENTS]] = !{![[MEM_TYPE:[0-9]+]]} 45; CHECK-DAG: ![[MEM_TYPE]] = !DIDerivedType(tag: DW_TAG_member,{{.*}} baseType: ![[MEM_TYPE_BASE:[0-9]+]], size: 4000 46; CHECK-DAG: ![[MEM_TYPE_BASE]] = !DICompositeType(tag: DW_TAG_array_type, baseType: ![[UNKNOWN_TYPE_BASE]], size: 4000, 47; CHECK-DAG: ![[CORO_INDEX]] = !DIDerivedType(tag: DW_TAG_member, name: "__coro_index" 48; CHECK-DAG: ![[SMALL_UNKNOWN]] = !DIDerivedType(tag: DW_TAG_member, name: "UnknownType_8",{{.*}} baseType: ![[UNKNOWN_TYPE_BASE]], size: 5 49; CHECK-DAG: ![[PROMISE_VAR:[0-9]+]] = !DILocalVariable(name: "__promise", scope: ![[RAMP_SCOPE:[0-9]+]], file: ![[FILE]] 50; CHECK-DAG: ![[RAMP_SCOPE]] = distinct !DILexicalBlock(scope: ![[RAMP]], file: ![[FILE]], line: 23 51; CHECK-DAG: ![[BAR_FUNC:[0-9]+]] = distinct !DISubprogram(name: "bar", linkageName: "_Z3barv", 52; CHECK-DAG: ![[BAR_SCOPE:[0-9]+]] = distinct !DILexicalBlock(scope: ![[BAR_FUNC]], file: !1 53; CHECK-DAG: ![[FRAME_TYPE_IN_BAR:[0-9]+]] = !DICompositeType(tag: DW_TAG_structure_type, name: "bar.coro_frame_ty", file: ![[FILE]], line: [[BAR_LINE:[0-9]+]]{{.*}}elements: ![[ELEMENTS_IN_BAR:[0-9]+]] 54; CHECK-DAG: ![[ELEMENTS_IN_BAR]] = !{![[RESUME_FN_IN_BAR:[0-9]+]], ![[DESTROY_FN_IN_BAR:[0-9]+]], ![[PROMISE_IN_BAR:[0-9]+]], ![[VECTOR_TYPE_IN_BAR:[0-9]+]], ![[INT64_IN_BAR:[0-9]+]], ![[DOUBLE_IN_BAR:[0-9]+]], ![[INT64_PTR_IN_BAR:[0-9]+]], ![[INT32_IN_BAR:[0-9]+]], ![[STRUCT_IN_BAR:[0-9]+]], ![[CORO_INDEX_IN_BAR:[0-9]+]] 55; CHECK-DAG: ![[PROMISE_IN_BAR]] = !DIDerivedType(tag: DW_TAG_member, name: "__promise",{{.*}}baseType: ![[PROMISE_BASE]] 56; CHECK-DAG: ![[VECTOR_TYPE_IN_BAR]] = !DIDerivedType(tag: DW_TAG_member, name: "_0", scope: ![[FRAME_TYPE_IN_BAR]], file: ![[FILE]], line: [[BAR_LINE]], baseType: ![[VECTOR_TYPE_BASE]] 57; CHECK-DAG: ![[INT64_IN_BAR]] = !DIDerivedType(tag: DW_TAG_member, name: "__int_64_1", scope: ![[FRAME_TYPE_IN_BAR]], file: ![[FILE]], line: [[BAR_LINE]], baseType: ![[I64_BASE]] 58; CHECK-DAG: ![[DOUBLE_IN_BAR]] = !DIDerivedType(tag: DW_TAG_member, name: "__double__2", scope: ![[FRAME_TYPE_IN_BAR]], file: ![[FILE]], line: [[BAR_LINE]], baseType: ![[DOUBLE_BASE]] 59; CHECK-DAG: ![[INT32_IN_BAR]] = !DIDerivedType(tag: DW_TAG_member, name: "__int_32_4", scope: ![[FRAME_TYPE_IN_BAR]], file: ![[FILE]], line: [[BAR_LINE]], baseType: ![[I32_BASE]] 60; CHECK-DAG: ![[STRUCT_IN_BAR]] = !DIDerivedType(tag: DW_TAG_member, name: "struct_big_structure_5", scope: ![[FRAME_TYPE_IN_BAR]], file: ![[FILE]], line: [[BAR_LINE]], baseType: ![[STRUCT_BASE_IN_BAR:[0-9]+]] 61; CHECK-DAG: ![[STRUCT_BASE_IN_BAR]] = !DICompositeType(tag: DW_TAG_structure_type, name: "struct_big_structure", scope: ![[FRAME_TYPE_IN_BAR]], file: ![[FILE]], line: [[BAR_LINE]],{{.*}}, align: 64 62; CHECK-DAG: ![[CORO_FRAME_IN_RESUME]] = !DILocalVariable(name: "__coro_frame",{{.*}}type: ![[FRAME_TYPE]] 63 64 65%promise_type = type { i32, i32, double } 66%struct.big_structure = type { [500 x i8] } 67declare void @produce(ptr) 68declare void @consume(ptr) 69declare void @produce_vector(ptr) 70declare void @consume_vector(ptr) 71declare void @produce_vectori5(ptr) 72declare void @consume_vectori5(ptr) 73declare void @produce_vectori9(ptr) 74declare void @consume_vectori9(ptr) 75declare void @pi32(ptr) 76declare void @pi64(ptr) 77declare void @pdouble(ptr) 78declare void @pi64p(ptr) 79 80define void @f(i32 %a, i32 %b, i64 %c, double %d, ptr %e) presplitcoroutine !dbg !8 { 81entry: 82 %__promise = alloca %promise_type, align 8 83 %a.alloc = alloca i32, align 4 84 %b.alloc = alloca i32, align 4 85 %c.alloc = alloca i64, align 4 86 %d.alloc = alloca double, align 4 87 %e.alloc = alloca ptr, align 4 88 store i32 %a, ptr %a.alloc 89 store i32 %b, ptr %b.alloc 90 store i64 %c, ptr %c.alloc 91 store double %d, ptr %d.alloc 92 store ptr %e, ptr %e.alloc 93 %struct.data = alloca %struct.big_structure, align 1 94 call void @produce(ptr %struct.data) 95 ; We treat vector type as unresolved type now for test coverage. 96 %unresolved_data = alloca <4 x i32> 97 call void @produce_vector(ptr %unresolved_data) 98 %unresolved_data2 = alloca <5 x i1> 99 call void @produce_vectori5(ptr %unresolved_data2) 100 %unresolved_data3 = alloca <9 x i1> 101 call void @produce_vectori9(ptr %unresolved_data3) 102 %id = call token @llvm.coro.id(i32 16, ptr %__promise, ptr null, ptr null) 103 %alloc = call i1 @llvm.coro.alloc(token %id) 104 br i1 %alloc, label %coro.alloc, label %coro.init 105 106coro.alloc: ; preds = %entry 107 %size = call i64 @llvm.coro.size.i64() 108 %memory = call ptr @new(i64 %size) 109 br label %coro.init 110 111coro.init: ; preds = %coro.alloc, %entry 112 %phi.entry.alloc = phi ptr [ null, %entry ], [ %memory, %coro.alloc ] 113 %begin = call ptr @llvm.coro.begin(token %id, ptr %phi.entry.alloc) 114 call void @llvm.dbg.declare(metadata ptr %__promise, metadata !6, metadata !DIExpression()), !dbg !18 115 %ready = call i1 @await_ready() 116 br i1 %ready, label %init.ready, label %init.suspend 117 118init.suspend: ; preds = %coro.init 119 %save = call token @llvm.coro.save(ptr null) 120 call void @await_suspend() 121 %suspend = call i8 @llvm.coro.suspend(token %save, i1 false) 122 switch i8 %suspend, label %coro.ret [ 123 i8 0, label %init.ready 124 i8 1, label %init.cleanup 125 ] 126 127init.cleanup: ; preds = %init.suspend 128 br label %cleanup 129 130init.ready: ; preds = %init.suspend, %coro.init 131 call void @await_resume() 132 %ready.again = call zeroext i1 @await_ready() 133 br i1 %ready.again, label %await.ready, label %await.suspend 134 135await.suspend: ; preds = %init.ready 136 %save.again = call token @llvm.coro.save(ptr null) 137 %from.address = call ptr @from_address(ptr %begin) 138 call void @await_suspend() 139 %suspend.again = call i8 @llvm.coro.suspend(token %save.again, i1 false) 140 switch i8 %suspend.again, label %coro.ret [ 141 i8 0, label %await.ready 142 i8 1, label %await.cleanup 143 ] 144 145await.cleanup: ; preds = %await.suspend 146 br label %cleanup 147 148await.ready: ; preds = %await.suspend, %init.ready 149 call void @await_resume() 150 store i32 1, ptr %__promise, align 8 151 %j.i = getelementptr inbounds %promise_type, ptr %__promise, i64 0, i32 1 152 store i32 2, ptr %j.i, align 4 153 %k.i = getelementptr inbounds %promise_type, ptr %__promise, i64 0, i32 2 154 store double 3.000000e+00, ptr %k.i, align 8 155 call void @consume(ptr %struct.data) 156 call void @consume_vector(ptr %unresolved_data) 157 call void @consume_vectori5(ptr %unresolved_data2) 158 call void @consume_vectori9(ptr %unresolved_data3) 159 call void @pi32(ptr %a.alloc) 160 call void @pi32(ptr %b.alloc) 161 call void @pi64(ptr %c.alloc) 162 call void @pdouble(ptr %d.alloc) 163 call void @pi64p(ptr %e.alloc) 164 call void @return_void() 165 br label %coro.final 166 167coro.final: ; preds = %await.ready 168 call void @final_suspend() 169 %coro.final.await_ready = call i1 @await_ready() 170 br i1 %coro.final.await_ready, label %final.ready, label %final.suspend 171 172final.suspend: ; preds = %coro.final 173 %final.suspend.coro.save = call token @llvm.coro.save(ptr null) 174 %final.suspend.from_address = call ptr @from_address(ptr %begin) 175 call void @await_suspend() 176 %final.suspend.coro.suspend = call i8 @llvm.coro.suspend(token %final.suspend.coro.save, i1 true) 177 switch i8 %final.suspend.coro.suspend, label %coro.ret [ 178 i8 0, label %final.ready 179 i8 1, label %final.cleanup 180 ] 181 182final.cleanup: ; preds = %final.suspend 183 br label %cleanup 184 185final.ready: ; preds = %final.suspend, %coro.final 186 call void @await_resume() 187 br label %cleanup 188 189cleanup: ; preds = %final.ready, %final.cleanup, %await.cleanup, %init.cleanup 190 %cleanup.dest.slot.0 = phi i32 [ 0, %final.ready ], [ 2, %final.cleanup ], [ 2, %await.cleanup ], [ 2, %init.cleanup ] 191 %free.memory = call ptr @llvm.coro.free(token %id, ptr %begin) 192 %free = icmp ne ptr %free.memory, null 193 br i1 %free, label %coro.free, label %after.coro.free 194 195coro.free: ; preds = %cleanup 196 call void @delete(ptr %free.memory) 197 br label %after.coro.free 198 199after.coro.free: ; preds = %coro.free, %cleanup 200 switch i32 %cleanup.dest.slot.0, label %unreachable [ 201 i32 0, label %cleanup.cont 202 i32 2, label %coro.ret 203 ] 204 205cleanup.cont: ; preds = %after.coro.free 206 br label %coro.ret 207 208coro.ret: ; preds = %cleanup.cont, %after.coro.free, %final.suspend, %await.suspend, %init.suspend 209 %end = call i1 @llvm.coro.end(ptr null, i1 false, token none) 210 ret void 211 212unreachable: ; preds = %after.coro.free 213 unreachable 214 215} 216 217; bar is used to check that we wouldn't create duplicate DIType 218define void @bar(i32 %a, i64 %c, double %d, ptr %e) presplitcoroutine !dbg !19 { 219entry: 220 %__promise = alloca %promise_type, align 8 221 %a.alloc = alloca i32, align 4 222 %c.alloc = alloca i64, align 4 223 %d.alloc = alloca double, align 4 224 %e.alloc = alloca ptr, align 4 225 store i32 %a, ptr %a.alloc 226 store i64 %c, ptr %c.alloc 227 store double %d, ptr %d.alloc 228 store ptr %e, ptr %e.alloc 229 %struct.data = alloca %struct.big_structure, align 1 230 call void @produce(ptr %struct.data) 231 ; We treat vector type as unresolved type now for test coverage. 232 %unresolved_data = alloca <4 x i32> 233 call void @produce_vector(ptr %unresolved_data) 234 %id = call token @llvm.coro.id(i32 16, ptr %__promise, ptr null, ptr null) 235 %alloc = call i1 @llvm.coro.alloc(token %id) 236 br i1 %alloc, label %coro.alloc, label %coro.init 237 238coro.alloc: ; preds = %entry 239 %size = call i64 @llvm.coro.size.i64() 240 %memory = call ptr @new(i64 %size) 241 br label %coro.init 242 243coro.init: ; preds = %coro.alloc, %entry 244 %phi.entry.alloc = phi ptr [ null, %entry ], [ %memory, %coro.alloc ] 245 %begin = call ptr @llvm.coro.begin(token %id, ptr %phi.entry.alloc) 246 call void @llvm.dbg.declare(metadata ptr %__promise, metadata !21, metadata !DIExpression()), !dbg !22 247 %ready = call i1 @await_ready() 248 br i1 %ready, label %init.ready, label %init.suspend 249 250init.suspend: ; preds = %coro.init 251 %save = call token @llvm.coro.save(ptr null) 252 call void @await_suspend() 253 %suspend = call i8 @llvm.coro.suspend(token %save, i1 false) 254 switch i8 %suspend, label %coro.ret [ 255 i8 0, label %init.ready 256 i8 1, label %init.cleanup 257 ] 258 259init.cleanup: ; preds = %init.suspend 260 br label %cleanup 261 262init.ready: ; preds = %init.suspend, %coro.init 263 call void @await_resume() 264 %ready.again = call zeroext i1 @await_ready() 265 br i1 %ready.again, label %await.ready, label %await.suspend 266 267await.suspend: ; preds = %init.ready 268 %save.again = call token @llvm.coro.save(ptr null) 269 %from.address = call ptr @from_address(ptr %begin) 270 call void @await_suspend() 271 %suspend.again = call i8 @llvm.coro.suspend(token %save.again, i1 false) 272 switch i8 %suspend.again, label %coro.ret [ 273 i8 0, label %await.ready 274 i8 1, label %await.cleanup 275 ] 276 277await.cleanup: ; preds = %await.suspend 278 br label %cleanup 279 280await.ready: ; preds = %await.suspend, %init.ready 281 call void @await_resume() 282 store i32 1, ptr %__promise, align 8 283 %j.i = getelementptr inbounds %promise_type, ptr %__promise, i64 0, i32 1 284 store i32 2, ptr %j.i, align 4 285 %k.i = getelementptr inbounds %promise_type, ptr %__promise, i64 0, i32 2 286 store double 3.000000e+00, ptr %k.i, align 8 287 call void @consume(ptr %struct.data) 288 call void @consume_vector(ptr %unresolved_data) 289 call void @pi32(ptr %a.alloc) 290 call void @pi64(ptr %c.alloc) 291 call void @pdouble(ptr %d.alloc) 292 call void @pi64p(ptr %e.alloc) 293 call void @return_void() 294 br label %coro.final 295 296coro.final: ; preds = %await.ready 297 call void @final_suspend() 298 %coro.final.await_ready = call i1 @await_ready() 299 br i1 %coro.final.await_ready, label %final.ready, label %final.suspend 300 301final.suspend: ; preds = %coro.final 302 %final.suspend.coro.save = call token @llvm.coro.save(ptr null) 303 %final.suspend.from_address = call ptr @from_address(ptr %begin) 304 call void @await_suspend() 305 %final.suspend.coro.suspend = call i8 @llvm.coro.suspend(token %final.suspend.coro.save, i1 true) 306 switch i8 %final.suspend.coro.suspend, label %coro.ret [ 307 i8 0, label %final.ready 308 i8 1, label %final.cleanup 309 ] 310 311final.cleanup: ; preds = %final.suspend 312 br label %cleanup 313 314final.ready: ; preds = %final.suspend, %coro.final 315 call void @await_resume() 316 br label %cleanup 317 318cleanup: ; preds = %final.ready, %final.cleanup, %await.cleanup, %init.cleanup 319 %cleanup.dest.slot.0 = phi i32 [ 0, %final.ready ], [ 2, %final.cleanup ], [ 2, %await.cleanup ], [ 2, %init.cleanup ] 320 %free.memory = call ptr @llvm.coro.free(token %id, ptr %begin) 321 %free = icmp ne ptr %free.memory, null 322 br i1 %free, label %coro.free, label %after.coro.free 323 324coro.free: ; preds = %cleanup 325 call void @delete(ptr %free.memory) 326 br label %after.coro.free 327 328after.coro.free: ; preds = %coro.free, %cleanup 329 switch i32 %cleanup.dest.slot.0, label %unreachable [ 330 i32 0, label %cleanup.cont 331 i32 2, label %coro.ret 332 ] 333 334cleanup.cont: ; preds = %after.coro.free 335 br label %coro.ret 336 337coro.ret: ; preds = %cleanup.cont, %after.coro.free, %final.suspend, %await.suspend, %init.suspend 338 %end = call i1 @llvm.coro.end(ptr null, i1 false, token none) 339 ret void 340 341unreachable: ; preds = %after.coro.free 342 unreachable 343 344} 345 346declare void @llvm.dbg.declare(metadata, metadata, metadata) 347declare token @llvm.coro.id(i32, ptr readnone, ptr nocapture readonly, ptr) 348declare i1 @llvm.coro.alloc(token) 349declare i64 @llvm.coro.size.i64() 350declare token @llvm.coro.save(ptr) 351declare ptr @llvm.coro.begin(token, ptr writeonly) 352declare i8 @llvm.coro.suspend(token, i1) 353declare ptr @llvm.coro.free(token, ptr nocapture readonly) 354declare i1 @llvm.coro.end(ptr, i1, token) 355 356declare ptr @new(i64) 357declare void @delete(ptr) 358declare i1 @await_ready() 359declare void @await_suspend() 360declare void @await_resume() 361declare void @print(i32) 362declare ptr @from_address(ptr) 363declare void @return_void() 364declare void @final_suspend() 365 366!llvm.dbg.cu = !{!0} 367!llvm.linker.options = !{} 368!llvm.module.flags = !{!3, !4} 369!llvm.ident = !{!5} 370 371!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) 372!1 = !DIFile(filename: "coro-debug.cpp", directory: ".") 373!2 = !{} 374!3 = !{i32 7, !"Dwarf Version", i32 4} 375!4 = !{i32 2, !"Debug Info Version", i32 3} 376!5 = !{!"clang version 11.0.0"} 377!6 = !DILocalVariable(name: "__promise", scope: !7, file: !1, line: 24, type: !10) 378!7 = distinct !DILexicalBlock(scope: !8, file: !1, line: 23, column: 12) 379!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) 380!9 = !DISubroutineType(types: !2) 381!10 = !DIDerivedType(tag: DW_TAG_typedef, name: "promise_type", scope: !8, file: !1, line: 15, baseType: !11) 382!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") 383!12 = !{!13, !14, !15} 384!13 = !DIDerivedType(tag: DW_TAG_member, name: "i", scope: !8, file: !1, line: 10, baseType: !16, size: 32) 385!14 = !DIDerivedType(tag: DW_TAG_member, name: "j", scope: !8, file: !1, line: 10, baseType: !16, size: 32, offset: 32) 386!15 = !DIDerivedType(tag: DW_TAG_member, name: "k", scope: !8, file: !1, line: 10, baseType: !17, size: 64, offset: 64) 387!16 = !DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed) 388!17 = !DIBasicType(name: "double", size: 64, encoding: DW_ATE_float) 389!18 = !DILocation(line: 8, scope: !7) 390!19 = distinct !DISubprogram(name: "bar", linkageName: "_Z3barv", scope: !19, file: !1, line: 54, type: !9, scopeLine: 54, flags: DIFlagPrototyped, spFlags: DISPFlagDefinition, unit: !0, retainedNodes: !2) 391!20 = distinct !DILexicalBlock(scope: !19, file: !1, line: 23, column: 12) 392!21 = !DILocalVariable(name: "__promise", scope: !20, file: !1, line: 55, type: !10) 393!22 = !DILocation(line: 10, scope: !20) 394