xref: /llvm-project/clang/test/CoverageMapping/mcdc-scratch-space.c (revision 4a011ac84fa16f7eed34c309bdac5591d9553da7)
1f9e9e599SWentao Zhang // RUN: %clang_cc1 -triple %itanium_abi_triple -std=c99 -fcoverage-mcdc -fprofile-instrument=clang -fcoverage-mapping -dump-coverage-mapping -emit-llvm-only %s | FileCheck %s
2896bceb9SNAKAMURA Takumi 
3f9e9e599SWentao Zhang // CHECK: builtin_macro0:
4896bceb9SNAKAMURA Takumi int builtin_macro0(int a) {
571f8b441SNAKAMURA Takumi   // CHECK: Decision,File 0, [[@LINE+1]]:11 -> [[@LINE+2]]:15 = M:3, C:2
6*4a011ac8SNAKAMURA Takumi   return (__LINE__ // CHECK: Branch,File 0, [[@LINE]]:11 -> [[@LINE]]:11 = #1, 0 [1,2,0]
7f9e9e599SWentao Zhang           && a); //   CHECK: Branch,File 0, [[@LINE]]:14 -> [[@LINE]]:15 = #2, (#1 - #2) [2,0,0]
8896bceb9SNAKAMURA Takumi }
9896bceb9SNAKAMURA Takumi 
10f9e9e599SWentao Zhang // CHECK: builtin_macro1:
11896bceb9SNAKAMURA Takumi int builtin_macro1(int a) {
1271f8b441SNAKAMURA Takumi   // CHECK: Decision,File 0, [[@LINE+1]]:11 -> [[@LINE+2]]:22 = M:3, C:2
13f9e9e599SWentao Zhang   return (a // CHECK: Branch,File 0, [[@LINE]]:11 -> [[@LINE]]:12 = (#0 - #1), #1 [1,0,2]
14*4a011ac8SNAKAMURA Takumi           || __LINE__); // CHECK: Branch,File 0, [[@LINE]]:14 -> [[@LINE]]:14 = (#1 - #2), 0 [2,0,0]
15896bceb9SNAKAMURA Takumi }
16896bceb9SNAKAMURA Takumi 
17896bceb9SNAKAMURA Takumi #define PRE(x) pre_##x
18896bceb9SNAKAMURA Takumi 
19f9e9e599SWentao Zhang // CHECK: pre0:
20896bceb9SNAKAMURA Takumi int pre0(int pre_a, int b_post) {
2171f8b441SNAKAMURA Takumi   // CHECK: Decision,File 0, [[@LINE+2]]:11 -> [[@LINE+3]]:20 = M:3, C:2
22f9e9e599SWentao Zhang   // CHECK: Expansion,File 0, [[@LINE+1]]:11 -> [[@LINE+1]]:14 = #0 (Expanded file = 1)
23896bceb9SNAKAMURA Takumi   return (PRE(a)
24896bceb9SNAKAMURA Takumi           && b_post);
25f9e9e599SWentao Zhang   // CHECK: Branch,File 0, [[@LINE-1]]:14 -> [[@LINE-1]]:20 = #2, (#1 - #2) [2,0,0]
26f9e9e599SWentao Zhang   // CHECK: Branch,File 1, [[@LINE-9]]:16 -> [[@LINE-9]]:22 = #1, (#0 - #1) [1,2,0]
27f9e9e599SWentao Zhang }
28f9e9e599SWentao Zhang 
29f9e9e599SWentao Zhang #define pre_foo pre_a
30f9e9e599SWentao Zhang 
31f9e9e599SWentao Zhang // CHECK: pre1:
32f9e9e599SWentao Zhang int pre1(int pre_a, int b_post) {
3371f8b441SNAKAMURA Takumi   // CHECK: Decision,File 0, [[@LINE+3]]:11 -> [[@LINE+4]]:20 = M:3, C:2
34f9e9e599SWentao Zhang   // CHECK: Expansion,File 0, [[@LINE+2]]:11 -> [[@LINE+2]]:14 = #0 (Expanded file = 1)
35f9e9e599SWentao Zhang   // CHECK: Branch,File 0, [[@LINE+2]]:14 -> [[@LINE+2]]:20 = #2, (#1 - #2) [2,0,0]
36f9e9e599SWentao Zhang   return (PRE(foo)
37f9e9e599SWentao Zhang           && b_post);
38f9e9e599SWentao Zhang   // CHECK: Expansion,File 1, 17:16 -> 17:20 = #0 (Expanded file = 2)
39f9e9e599SWentao Zhang   // CHECK: Branch,File 2, 29:17 -> 29:22 = #1, (#0 - #1) [1,2,0]
40896bceb9SNAKAMURA Takumi }
41896bceb9SNAKAMURA Takumi 
42896bceb9SNAKAMURA Takumi #define POST(x) x##_post
43896bceb9SNAKAMURA Takumi 
44f9e9e599SWentao Zhang // CHECK: post0:
45896bceb9SNAKAMURA Takumi int post0(int pre_a, int b_post) {
4671f8b441SNAKAMURA Takumi   // CHECK: Decision,File 0, [[@LINE+2]]:11 -> [[@LINE+3]]:18 = M:3, C:2
47f9e9e599SWentao Zhang   // CHECK: Branch,File 0, [[@LINE+1]]:11 -> [[@LINE+1]]:16 = (#0 - #1), #1 [1,0,2]
48896bceb9SNAKAMURA Takumi   return (pre_a
49896bceb9SNAKAMURA Takumi           || POST(b));
50f9e9e599SWentao Zhang   // CHECK: Expansion,File 0, [[@LINE-1]]:14 -> [[@LINE-1]]:18 = #1 (Expanded file = 1)
51f9e9e599SWentao Zhang   // CHECK: Branch,File 1, [[@LINE-9]]:17 -> [[@LINE-9]]:20 = (#1 - #2), #2 [2,0,0]
52f9e9e599SWentao Zhang }
53f9e9e599SWentao Zhang 
54f9e9e599SWentao Zhang #define bar_post b_post
55f9e9e599SWentao Zhang 
56f9e9e599SWentao Zhang // CHECK: post1:
57f9e9e599SWentao Zhang int post1(int pre_a, int b_post) {
5871f8b441SNAKAMURA Takumi   // CHECK: Decision,File 0, [[@LINE+3]]:11 -> [[@LINE+4]]:18 = M:3, C:2
59f9e9e599SWentao Zhang   // CHECK: Branch,File 0, [[@LINE+2]]:11 -> [[@LINE+2]]:16 = (#0 - #1), #1 [1,0,2]
60f9e9e599SWentao Zhang   // CHECK: Expansion,File 0, [[@LINE+2]]:14 -> [[@LINE+2]]:18 = 0 (Expanded file = 1)
61f9e9e599SWentao Zhang   return (pre_a
62f9e9e599SWentao Zhang           || POST(bar));
63f9e9e599SWentao Zhang   // CHECK: Expansion,File 1, 42:17 -> 42:18 = #1 (Expanded file = 2)
64f9e9e599SWentao Zhang   // CHECK: Branch,File 2, 54:18 -> 54:24 = (#1 - #2), #2 [2,0,0]
65896bceb9SNAKAMURA Takumi }
66