llvm/test/Transforms/Coroutines/coro-debug-frame-variable-inlined.ll

   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
   3
   4 ; Simplified version from pr#75104.
   5 ; Make sure we do not update debug location for hosited dbg.declare intrinsics when optimizing coro frame.
   6
   7 ; CHECK-NOT: mismatched subprogram between llvm.dbg.declare variable and !dbg attachment
   8
   9 %"struct.std::coroutine_handle" = type { i8 }
  10
  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
  16
  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
  22 }
  23
  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)
  29
  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
  36 }
  37
  38 declare i1 @_ZNSt16coroutine_handleIvEcvbEv(ptr)
  39
  40 !llvm.dbg.cu = !{!0}
  41 !llvm.module.flags = !{!9}
  42
  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)