xref: /llvm-project/clang/test/CoverageMapping/mcdc-system-headers.cpp (revision 4a011ac84fa16f7eed34c309bdac5591d9553da7)
13591da9fSAaron Ballman // RUN: %clang_cc1 -std=c++11 -triple %itanium_abi_triple -fprofile-instrument=clang -fcoverage-mapping -dump-coverage-mapping -fcoverage-mcdc -mllvm -system-headers-coverage -emit-llvm-only -o - %s | FileCheck %s --check-prefixes=CHECK,W_SYS
23591da9fSAaron Ballman // RUN: %clang_cc1 -std=c++11 -triple %itanium_abi_triple -fprofile-instrument=clang -fcoverage-mapping -dump-coverage-mapping -fcoverage-mcdc -emit-llvm-only -o - %s | FileCheck %s --check-prefixes=CHECK,X_SYS
3702a2b62SNAKAMURA Takumi 
4702a2b62SNAKAMURA Takumi #ifdef IS_SYSHEADER
5702a2b62SNAKAMURA Takumi 
6702a2b62SNAKAMURA Takumi #pragma clang system_header
7702a2b62SNAKAMURA Takumi #define CONST 42
8702a2b62SNAKAMURA Takumi #define EXPR1(x) (x)
9702a2b62SNAKAMURA Takumi #define EXPR2(x) ((x) && (x))
10702a2b62SNAKAMURA Takumi 
11702a2b62SNAKAMURA Takumi #else
12702a2b62SNAKAMURA Takumi 
13702a2b62SNAKAMURA Takumi #define IS_SYSHEADER
14702a2b62SNAKAMURA Takumi #include __FILE__
15702a2b62SNAKAMURA Takumi 
16702a2b62SNAKAMURA Takumi // CHECK: _Z5func0i:
17702a2b62SNAKAMURA Takumi int func0(int a) {
1871f8b441SNAKAMURA Takumi   // CHECK: Decision,File 0, [[@LINE+3]]:11 -> [[@LINE+3]]:21 = M:3, C:2
19702a2b62SNAKAMURA Takumi   // W_SYS: Expansion,File 0, [[@LINE+2]]:11 -> [[@LINE+2]]:16 = #0 (Expanded file = 1)
20*4a011ac8SNAKAMURA Takumi   // X_SYS: Branch,File 0, [[@LINE+1]]:11 -> [[@LINE+1]]:11 = #1, 0 [1,2,0]
21702a2b62SNAKAMURA Takumi   return (CONST && a);
22702a2b62SNAKAMURA Takumi   // CHECK: Branch,File 0, [[@LINE-1]]:20 -> [[@LINE-1]]:21 = #2, (#1 - #2) [2,0,0]
23*4a011ac8SNAKAMURA Takumi   // W_SYS: Branch,File 1, [[@LINE-16]]:15 -> [[@LINE-16]]:17 = #1, 0 [1,2,0]
24702a2b62SNAKAMURA Takumi }
25702a2b62SNAKAMURA Takumi 
26702a2b62SNAKAMURA Takumi // CHECK: _Z5func1ii:
27702a2b62SNAKAMURA Takumi int func1(int a, int b) {
2871f8b441SNAKAMURA Takumi   // CHECK: Decision,File 0, [[@LINE+2]]:11 -> [[@LINE+2]]:21 = M:3, C:2
29702a2b62SNAKAMURA Takumi   // CHECK: Branch,File 0, [[@LINE+1]]:11 -> [[@LINE+1]]:12 = (#0 - #1), #1 [1,0,2]
30702a2b62SNAKAMURA Takumi   return (a || EXPR1(b));
31702a2b62SNAKAMURA Takumi   // W_SYS: Expansion,File 0, [[@LINE-1]]:16 -> [[@LINE-1]]:21 = #1 (Expanded file = 1)
32702a2b62SNAKAMURA Takumi   // W_SYS: Branch,File 1, [[@LINE-24]]:18 -> [[@LINE-24]]:21 = (#1 - #2), #2 [2,0,0]
33702a2b62SNAKAMURA Takumi   // X_SYS: Branch,File 0, [[@LINE-3]]:16 -> [[@LINE-3]]:16 = (#1 - #2), #2 [2,0,0]
34702a2b62SNAKAMURA Takumi }
35702a2b62SNAKAMURA Takumi 
36702a2b62SNAKAMURA Takumi // CHECK: _Z5func2ii:
37702a2b62SNAKAMURA Takumi int func2(int a, int b) {
3871f8b441SNAKAMURA Takumi   // W_SYS: Decision,File 0, [[@LINE+5]]:11 -> [[@LINE+5]]:28 = M:4, C:3
3971f8b441SNAKAMURA Takumi   // X_SYS: Decision,File 0, [[@LINE+4]]:11 -> [[@LINE+4]]:28 = M:3, C:2
40702a2b62SNAKAMURA Takumi   // W_SYS: Expansion,File 0, [[@LINE+3]]:11 -> [[@LINE+3]]:16 = #0 (Expanded file = 1)
41702a2b62SNAKAMURA Takumi   // W_SYS: Expansion,File 0, [[@LINE+2]]:23 -> [[@LINE+2]]:28 = #1 (Expanded file = 2)
42702a2b62SNAKAMURA Takumi   // X_SYS: Branch,File 0, [[@LINE+1]]:11 -> [[@LINE+1]]:11 = #1, (#0 - #1) [1,2,0]
43702a2b62SNAKAMURA Takumi   return (EXPR2(a) && EXPR1(a));
44702a2b62SNAKAMURA Takumi   // W_SYS: Branch,File 1, [[@LINE-35]]:19 -> [[@LINE-35]]:22 = #3, (#0 - #3) [1,3,0]
45702a2b62SNAKAMURA Takumi   // W_SYS: Branch,File 1, [[@LINE-36]]:26 -> [[@LINE-36]]:29 = #4, (#3 - #4) [3,2,0]
46702a2b62SNAKAMURA Takumi   // W_SYS: Branch,File 2, [[@LINE-38]]:18 -> [[@LINE-38]]:21 = #2, (#1 - #2) [2,0,0]
47702a2b62SNAKAMURA Takumi   // X_SYS: Branch,File 0, [[@LINE-4]]:23 -> [[@LINE-4]]:23 = #2, (#1 - #2) [2,0,0]
48702a2b62SNAKAMURA Takumi }
49702a2b62SNAKAMURA Takumi 
50702a2b62SNAKAMURA Takumi #endif
51