blob: 2a22d6cca45189d769b335668add6a6a23632039 [file] [log] [blame]
Zequan Wu9caa3fbe2020-09-02 14:50:32 -07001// RUN: %clang_cc1 -mllvm -emptyline-comment-coverage=false -fprofile-instrument=clang -fcoverage-mapping -dump-coverage-mapping -emit-llvm-only -main-file-name logical.cpp %s | FileCheck %s
Alan Phipps8b2bdfb2024-01-01 11:40:55 -06002// RUN: %clang_cc1 -mllvm -emptyline-comment-coverage=false -fcoverage-mcdc -fprofile-instrument=clang -fcoverage-mapping -dump-coverage-mapping -emit-llvm-only -main-file-name logical.cpp %s | FileCheck %s -check-prefix=MCDC
Alex Lorenz34ac9b52014-08-19 17:32:30 +00003
Alan Phipps8b2bdfb2024-01-01 11:40:55 -06004int main() { // CHECK: File 0, [[@LINE]]:12 -> [[@LINE+23]]:2 = #0
Alex Lorenz34ac9b52014-08-19 17:32:30 +00005 bool bt = true;
NAKAMURA Takumi71f8b442024-06-13 20:09:02 +09006 bool bf = false; // MCDC: Decision,File 0, [[@LINE+1]]:12 -> [[@LINE+1]]:20 = M:3, C:2
Vedant Kumare5f06a82017-10-17 06:51:54 +00007 bool a = bt && bf; // CHECK-NEXT: File 0, [[@LINE]]:12 -> [[@LINE]]:14 = #0
Alan Phipps9f2967b2020-12-28 11:20:48 -06008 // CHECK-NEXT: Branch,File 0, [[@LINE-1]]:12 -> [[@LINE-1]]:14 = #1, (#0 - #1)
9 // CHECK-NEXT: File 0, [[@LINE-2]]:18 -> [[@LINE-2]]:20 = #1
10 // CHECK-NEXT: Branch,File 0, [[@LINE-3]]:18 -> [[@LINE-3]]:20 = #2, (#1 - #2)
NAKAMURA Takumi71f8b442024-06-13 20:09:02 +090011 // MCDC: Decision,File 0, [[@LINE+1]]:7 -> [[@LINE+2]]:9 = M:6, C:2
Vedant Kumare5f06a82017-10-17 06:51:54 +000012 a = bt && // CHECK-NEXT: File 0, [[@LINE]]:7 -> [[@LINE]]:9 = #0
Alan Phipps9f2967b2020-12-28 11:20:48 -060013 bf; // CHECK-NEXT: Branch,File 0, [[@LINE-1]]:7 -> [[@LINE-1]]:9 = #3, (#0 - #3)
14 // CHECK-NEXT: File 0, [[@LINE-1]]:7 -> [[@LINE-1]]:9 = #3
15 // CHECK-NEXT: Branch,File 0, [[@LINE-2]]:7 -> [[@LINE-2]]:9 = #4, (#3 - #4)
NAKAMURA Takumi71f8b442024-06-13 20:09:02 +090016 // MCDC: Decision,File 0, [[@LINE+1]]:7 -> [[@LINE+1]]:15 = M:9, C:2
Vedant Kumare5f06a82017-10-17 06:51:54 +000017 a = bf || bt; // CHECK-NEXT: File 0, [[@LINE]]:7 -> [[@LINE]]:9 = #0
Alan Phipps9f2967b2020-12-28 11:20:48 -060018 // CHECK-NEXT: Branch,File 0, [[@LINE-1]]:7 -> [[@LINE-1]]:9 = (#0 - #5), #5
19 // CHECK-NEXT: File 0, [[@LINE-2]]:13 -> [[@LINE-2]]:15 = #5
20 // CHECK-NEXT: Branch,File 0, [[@LINE-3]]:13 -> [[@LINE-3]]:15 = (#5 - #6), #6
NAKAMURA Takumi71f8b442024-06-13 20:09:02 +090021 // MCDC: Decision,File 0, [[@LINE+1]]:7 -> [[@LINE+2]]:9 = M:12, C:2
Vedant Kumare5f06a82017-10-17 06:51:54 +000022 a = bf || // CHECK-NEXT: File 0, [[@LINE]]:7 -> [[@LINE]]:9 = #0
Alan Phipps9f2967b2020-12-28 11:20:48 -060023 bt; // CHECK-NEXT: Branch,File 0, [[@LINE-1]]:7 -> [[@LINE-1]]:9 = (#0 - #7), #7
24 // CHECK-NEXT: File 0, [[@LINE-1]]:7 -> [[@LINE-1]]:9 = #7
25 // CHECK-NEXT: Branch,File 0, [[@LINE-2]]:7 -> [[@LINE-2]]:9 = (#7 - #8), #8
Alex Lorenz34ac9b52014-08-19 17:32:30 +000026 return 0;
27}