xref: /llvm-project/llvm/test/Transforms/GCOVProfiling/nosanitize.ll (revision 693a1b7024b81655760e209b73b3ef339e161d76)
1;; Ensure that the loads, stores, and atomicrmw adds for gcov have nosanitize metadata.
2; RUN: rm -rf %t && mkdir %t && cd %t
3; RUN: opt < %s -S -passes=insert-gcov-profiling | FileCheck %s
4; RUN: opt < %s -S -passes=insert-gcov-profiling -gcov-atomic-counter | FileCheck %s --check-prefixes=CHECK-ATOMIC-COUNTER
5
6; CHECK-LABEL: void @empty()
7; CHECK-NEXT:  entry:
8; CHECK-NEXT:    %gcov_ctr = load i64, ptr @__llvm_gcov_ctr, align 4, !dbg [[DBG:![0-9]+]], !nosanitize [[NOSANITIZE:![0-9]+]]
9; CHECK-NEXT:    %0 = add i64 %gcov_ctr, 1, !dbg [[DBG]]
10; CHECK-NEXT:    store i64 %0, ptr @__llvm_gcov_ctr, align 4, !dbg [[DBG]], !nosanitize [[NOSANITIZE]]
11; CHECK-NEXT:    ret void, !dbg [[DBG]]
12
13; CHECK-ATOMIC-COUNTER-LABEL: void @empty()
14; CHECK-ATOMIC-COUNTER-NEXT:  entry:
15; CHECK-ATOMIC-COUNTER-NEXT:    %0 = atomicrmw add ptr @__llvm_gcov_ctr, i64 1 monotonic, align 8, !dbg [[DBG:![0-9]+]], !nosanitize [[NOSANITIZE:![0-9]+]]
16; CHECK-ATOMIC-COUNTER-NEXT:    ret void, !dbg [[DBG]]
17
18define dso_local void @empty() !dbg !5 {
19entry:
20  ret void, !dbg !8
21}
22
23!llvm.dbg.cu = !{!0}
24!llvm.module.flags = !{!3, !4}
25
26!0 = distinct !DICompileUnit(language: DW_LANG_C99, file: !1, emissionKind: FullDebug, enums: !2)
27!1 = !DIFile(filename: "a.c", directory: "")
28!2 = !{}
29!3 = !{i32 7, !"Dwarf Version", i32 5}
30!4 = !{i32 2, !"Debug Info Version", i32 3}
31!5 = distinct !DISubprogram(name: "empty", scope: !1, file: !1, line: 1, type: !6, scopeLine: 1, flags: DIFlagAllCallsDescribed, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !0, retainedNodes: !2)
32!6 = !DISubroutineType(types: !7)
33!7 = !{null}
34!8 = !DILocation(line: 2, column: 1, scope: !5)
35