Bump version to 19.1.0-rc3
[llvm-project.git] / llvm / test / Transforms / Coroutines / coro-debug-frame-variable-inlined.ll
blobff070d9b02acce1dfab0d60386d7a5c3f0b64300
1 ; RUN: opt < %s -passes='module(coro-early),cgscc(inline,coro-split)' -S | FileCheck %s
2 ; RUN: opt --try-experimental-debuginfo-iterators < %s -passes='module(coro-early),cgscc(inline,coro-split)' -S | FileCheck %s
4 ; Simplified version from pr#75104.
5 ; Make sure we do not update debug location for hosited dbg.declare intrinsics when optimizing coro frame.
7 ; CHECK-NOT: mismatched subprogram between llvm.dbg.declare variable and !dbg attachment
9 %"struct.std::coroutine_handle" = type { i8 }
11 define void @_Z1fv() presplitcoroutine {
12 entry:
13   %0 = call token @llvm.coro.id(i32 0, ptr null, ptr null, ptr null)
14   %1 = call ptr @llvm.coro.begin(token %0, ptr null), !dbg !10
15   br label %for.cond
17 for.cond:                                         ; preds = %for.cond, %entry
18   call void @_ZN1BD1Ev()
19   %2 = call token @llvm.coro.save(ptr null)
20   %3 = call i8 @llvm.coro.suspend(token none, i1 false)
21   br label %for.cond
24 declare token @llvm.coro.id(i32, ptr readnone, ptr nocapture readonly, ptr)
25 declare ptr @llvm.coro.begin(token, ptr writeonly)
26 declare void @llvm.dbg.declare(metadata, metadata, metadata)
27 declare token @llvm.coro.save(ptr)
28 declare i8 @llvm.coro.suspend(token, i1)
30 define void @_ZN1BD1Ev() {
31 entry:
32   %b11 = alloca [0 x [0 x %"struct.std::coroutine_handle"]], i32 0, align 1
33   call void @llvm.dbg.declare(metadata ptr %b11, metadata !13, metadata !DIExpression()), !dbg !21
34   %call = call i1 @_ZNSt16coroutine_handleIvEcvbEv(ptr %b11), !dbg !21
35   ret void
38 declare i1 @_ZNSt16coroutine_handleIvEcvbEv(ptr)
40 !llvm.dbg.cu = !{!0}
41 !llvm.module.flags = !{!9}
43 !0 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus_14, file: !1, producer: "clang version 18.0.0git", isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug, globals: !2, splitDebugInlining: false, nameTableKind: None)
44 !1 = !DIFile(filename: "<stdin>", directory: "")
45 !2 = !{!3}
46 !3 = !DIGlobalVariableExpression(var: !4, expr: !DIExpression())
47 !4 = distinct !DIGlobalVariable(name: "a", scope: !0, file: !5, line: 17, type: !6, isLocal: false, isDefinition: true)
48 !5 = !DIFile(filename: "bad.cpp", directory: "")
49 !6 = distinct !DICompositeType(tag: DW_TAG_structure_type, name: "coroutine_handle<void>", scope: !7, file: !5, line: 2, size: 8, flags: DIFlagTypePassByValue, elements: !8, templateParams: !8, identifier: "_ZTSSt16coroutine_handleIvE")
50 !7 = !DINamespace(name: "std", scope: null)
51 !8 = !{}
52 !9 = !{i32 2, !"Debug Info Version", i32 3}
53 !10 = !DILocation(line: 31, column: 7, scope: !11)
54 !11 = distinct !DISubprogram(name: "f", linkageName: "_Z1fv", scope: !5, file: !5, line: 31, type: !12, scopeLine: 31, flags: DIFlagPrototyped, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !0, retainedNodes: !8)
55 !12 = distinct !DISubroutineType(types: !8)
56 !13 = !DILocalVariable(name: "b", scope: !14, file: !5, line: 27, type: !6)
57 !14 = distinct !DILexicalBlock(scope: !15, file: !5, line: 27, column: 14)
58 !15 = distinct !DILexicalBlock(scope: !16, file: !5, line: 26, column: 8)
59 !16 = distinct !DISubprogram(name: "~B", linkageName: "_ZN1BD2Ev", scope: !17, file: !5, line: 26, type: !18, scopeLine: 26, flags: DIFlagPrototyped, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !0, declaration: !20, retainedNodes: !8)
60 !17 = distinct !DICompositeType(tag: DW_TAG_structure_type, name: "B", file: !5, line: 18, size: 8, flags: DIFlagTypePassByReference | DIFlagNonTrivial, elements: !8, identifier: "_ZTS1B")
61 !18 = !DISubroutineType(types: !19)
62 !19 = !{null}
63 !20 = !DISubprogram(name: "~B", scope: !17, file: !5, line: 26, type: !18, scopeLine: 26, flags: DIFlagPrototyped, spFlags: DISPFlagOptimized)
64 !21 = !DILocation(line: 27, column: 14, scope: !14)