; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: mkdir -p %t && cd %t
; RUN: opt < %s -passes=insert-gcov-profiling -S | FileCheck %s

; Test that the noprofile attribute disables profiling.
define dso_local i32 @no_instr(i32 %a) noprofile !dbg !9 {
; CHECK-LABEL: @no_instr(
; CHECK-NEXT:    ret i32 42, !dbg [[DBG6:![0-9]+]]
;
  ret i32 42, !dbg !27
}

; Test that the skipprofile attribute disables profiling.
define dso_local i32 @skip_instr(i32 %a) skipprofile {
; CHECK-LABEL: @skip_instr(
; CHECK-NEXT:    ret i32 52
;
  ret i32 52
}

define dso_local i32 @instr(i32 %a) !dbg !28 {
; CHECK-LABEL: @instr(
; CHECK-NEXT:    [[GCOV_CTR:%.*]] = load i64, ptr @__llvm_gcov_ctr, align 4, !dbg [[DBG8:![0-9]+]]
; CHECK-NEXT:    [[TMP1:%.*]] = add i64 [[GCOV_CTR]], 1, !dbg [[DBG8]]
; CHECK-NEXT:    store i64 [[TMP1]], ptr @__llvm_gcov_ctr, align 4, !dbg [[DBG8]]
; CHECK-NEXT:    ret i32 42, !dbg [[DBG8]]
;
  ret i32 42, !dbg !44
}

!llvm.dbg.cu = !{!0}
!llvm.module.flags = !{!3}

!0 = distinct !DICompileUnit(language: DW_LANG_C99, file: !1, emissionKind: FullDebug, enums: !2)
!1 = !DIFile(filename: "a.c", directory: "")
!2 = !{}
!3 = !{i32 2, !"Debug Info Version", i32 3}
!9 = distinct !DISubprogram(name: "no_instr", scope: !1, file: !1, line: 5, type: !10, scopeLine: 5, flags: DIFlagPrototyped, spFlags: DISPFlagDefinition, unit: !0, retainedNodes: !2)
!10 = !DISubroutineType(types: !2)
!27 = !DILocation(line: 9, column: 3, scope: !9)
!28 = distinct !DISubprogram(name: "instr", scope: !1, file: !1, line: 12, type: !10, scopeLine: 12, flags: DIFlagPrototyped, spFlags: DISPFlagDefinition, unit: !0, retainedNodes: !2)
!44 = !DILocation(line: 16, column: 3, scope: !28)