annotate clang/test/CodeGen/code-coverage.c @ 207:2e18cbf3894f

LLVM12
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Tue, 08 Jun 2021 06:07:14 +0900
parents 0572611fdcc8
children c4bab56944e8
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
207
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
1 /// We support coverage versions 3.4, 4.7 and 4.8.
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
2 /// 3.4 redesigns the format and changed .da to .gcda
173
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
3 /// 4.7 enables cfg_checksum.
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
4 /// 4.8 (default, compatible with gcov 7) emits the exit block the second.
207
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
5 // RUN: %clang_cc1 -emit-llvm -disable-red-zone -fprofile-arcs -coverage-version='304*' %s -o - | \
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
6 // RUN: FileCheck --check-prefixes=CHECK,304 %s
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
7 // RUN: %clang_cc1 -emit-llvm -disable-red-zone -fprofile-arcs -coverage-version='407*' %s -o - | \
173
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
8 // RUN: FileCheck --check-prefixes=CHECK,407 %s
207
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
9 // RUN: %clang_cc1 -emit-llvm -disable-red-zone -fprofile-arcs %s -o - | \
173
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
10 // RUN: FileCheck --check-prefixes=CHECK,408 %s
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
11
207
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
12 // RUN: %clang_cc1 -emit-llvm -disable-red-zone -fprofile-arcs -coverage-notes-file=aaa.gcno -coverage-data-file=bbb.gcda -debug-info-kind=limited -dwarf-version=4 %s -o - | FileCheck %s --check-prefix GCOV_FILE_INFO
150
anatofuz
parents:
diff changeset
13
207
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
14 // RUN: %clang_cc1 -emit-llvm-bc -o /dev/null -fexperimental-new-pass-manager -fdebug-pass-manager -fprofile-arcs %s 2>&1 | FileCheck --check-prefix=NEWPM %s
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
15 // RUN: %clang_cc1 -emit-llvm-bc -o /dev/null -fexperimental-new-pass-manager -fdebug-pass-manager -fprofile-arcs -O3 %s 2>&1 | FileCheck --check-prefix=NEWPM-O3 %s
150
anatofuz
parents:
diff changeset
16
anatofuz
parents:
diff changeset
17 // NEWPM-NOT: Running pass
anatofuz
parents:
diff changeset
18 // NEWPM: Running pass: GCOVProfilerPass
anatofuz
parents:
diff changeset
19
anatofuz
parents:
diff changeset
20 // NEWPM-O3-NOT: Running pass
207
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
21 // NEWPM-O3: Running pass: Annotation2MetadataPass
150
anatofuz
parents:
diff changeset
22 // NEWPM-O3: Running pass: ForceFunctionAttrsPass
anatofuz
parents:
diff changeset
23 // NEWPM-O3: Running pass: GCOVProfilerPass
anatofuz
parents:
diff changeset
24
anatofuz
parents:
diff changeset
25 int test1(int a) {
anatofuz
parents:
diff changeset
26 switch (a % 2) {
anatofuz
parents:
diff changeset
27 case 0:
anatofuz
parents:
diff changeset
28 ++a;
anatofuz
parents:
diff changeset
29 case 1:
anatofuz
parents:
diff changeset
30 a /= 2;
anatofuz
parents:
diff changeset
31 }
anatofuz
parents:
diff changeset
32 return a;
anatofuz
parents:
diff changeset
33 }
anatofuz
parents:
diff changeset
34
anatofuz
parents:
diff changeset
35 int test2(int b) {
anatofuz
parents:
diff changeset
36 return b * 2;
anatofuz
parents:
diff changeset
37 }
anatofuz
parents:
diff changeset
38
207
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
39
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
40 // CHECK: @__llvm_internal_gcov_emit_function_args.0 = internal unnamed_addr constant [2 x %emit_function_args_ty]
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
41 // CHECK-SAME: [%emit_function_args_ty { i32 0, i32 {{[-0-9]+}}, i32 {{[-0-9]+}} }, %emit_function_args_ty { i32 1, i32 {{[-0-9]+}}, i32 {{[-0-9]+}} }]
173
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
42
207
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
43 // CHECK: @__llvm_internal_gcov_emit_file_info = internal unnamed_addr constant [1 x %file_info]
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
44 /// 0x3330342a '3' '0' '4' '*'
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
45 // 304-SAME: i32 858797098
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
46 /// 0x3430372a '4' '0' '7' '*'
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
47 // 407-SAME: i32 875575082
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
48 /// 0x3430382a '4' '0' '8' '*'
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 173
diff changeset
49 // 408-SAME: i32 875575338
150
anatofuz
parents:
diff changeset
50
anatofuz
parents:
diff changeset
51 // Check that the noredzone flag is set on the generated functions.
anatofuz
parents:
diff changeset
52
anatofuz
parents:
diff changeset
53 // CHECK: void @__llvm_gcov_writeout() unnamed_addr [[NRZ:#[0-9]+]]
anatofuz
parents:
diff changeset
54 // CHECK: void @__llvm_gcov_init() unnamed_addr [[NRZ]]
anatofuz
parents:
diff changeset
55
anatofuz
parents:
diff changeset
56 // CHECK: attributes [[NRZ]] = { {{.*}}noredzone{{.*}} }
anatofuz
parents:
diff changeset
57
anatofuz
parents:
diff changeset
58 // GCOV_FILE_INFO: !llvm.gcov = !{![[GCOV:[0-9]+]]}
anatofuz
parents:
diff changeset
59 // GCOV_FILE_INFO: ![[GCOV]] = !{!"aaa.gcno", !"bbb.gcda", !{{[0-9]+}}}