llvm/test/Transforms/Inline/byval-dbg.ll

   1 ; RUN: opt < %s -passes=inline -S | FileCheck %s
   2
   3 ; Check that the memcpy generated by byval lowering is decorated by debuginfo.
   4
   5 target datalayout = "p:32:32-p1:64:64-p2:16:16-n16:32:64"
   6
   7 %struct.ss = type { i32, i64 }
   8
   9 define internal void @f(ptr byval(%struct.ss)  %b) nounwind !dbg !4 {
  10 entry:
  11         %tmp = getelementptr %struct.ss, ptr %b, i32 0, i32 0           ; <ptr> [#uses=2]
  12         %tmp1 = load i32, ptr %tmp, align 4             ; <i32> [#uses=1]
  13         %tmp2 = add i32 %tmp1, 1                ; <i32> [#uses=1]
  14         store i32 %tmp2, ptr %tmp, align 4
  15         ret void
  16 }
  17
  18 define i32 @test1() nounwind !dbg !10 {
  19 entry:
  20         %S = alloca %struct.ss          ; <ptr> [#uses=4]
  21         %tmp1 = getelementptr %struct.ss, ptr %S, i32 0, i32 0          ; <ptr> [#uses=1]
  22         store i32 1, ptr %tmp1, align 8
  23         %tmp4 = getelementptr %struct.ss, ptr %S, i32 0, i32 1          ; <ptr> [#uses=1]
  24         store i64 2, ptr %tmp4, align 4
  25         call void @f(ptr byval(%struct.ss) %S) nounwind, !dbg !14
  26         ret i32 0
  27 ; CHECK: @test1()
  28 ; CHECK: call void @llvm.memcpy{{.*}} !dbg
  29 ; CHECK: ret i32 0
  30 }
  31
  32 !llvm.dbg.cu = !{!0}
  33 !llvm.module.flags = !{!2, !3}
  34
  35 !0 = distinct !DICompileUnit(language: DW_LANG_C99, file: !1, producer: "clang", isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug, splitDebugInlining: false, nameTableKind: None)
  36 !1 = !DIFile(filename: "/app/example.c", directory: "/app")
  37 !2 = !{i32 7, !"Dwarf Version", i32 4}
  38 !3 = !{i32 2, !"Debug Info Version", i32 3}
  39 !4 = distinct !DISubprogram(name: "f", scope: !5, file: !5, line: 1, type: !6, scopeLine: 1, flags: DIFlagPrototyped | DIFlagAllCallsDescribed, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !0, retainedNodes: !9)
  40 !5 = !DIFile(filename: "example.c", directory: "/app")
  41 !6 = !DISubroutineType(types: !7)
  42 !7 = !{null, !8}
  43 !8 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: null, size: 64)
  44 !9 = !{}
  45 !10 = distinct !DISubprogram(name: "test1", scope: !5, file: !5, line: 4, type: !11, scopeLine: 4, flags: DIFlagAllCallsDescribed, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !0, retainedNodes: !9)
  46 !11 = !DISubroutineType(types: !12)
  47 !12 = !{!13}
  48 !13 = !DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed)
  49 !14 = !DILocation(line: 6, column: 1, scope: !10)