101 lines · plain
1// Test visualization of MC/DC constructs for branches in macro expansions.2 3// RUN: llvm-profdata merge %S/Inputs/mcdc-macro.proftext -o %t.profdata4// RUN: llvm-cov show --show-expansions --show-branches=count --show-mcdc %S/Inputs/mcdc-macro.o -instr-profile %t.profdata --compilation-dir=%S/Inputs | FileCheck %s5 6// CHECK: | | | Branch (2:11): [Folded - Ignored]7// CHECK: | | | Branch (3:11): [True: 1, False: 0]8// CHECK: | | | Branch (3:23): [True: 1, False: 0]9// CHECK: | Branch (9:7): [True: 1, False: 0]10// CHECK-NEXT: | Branch (9:22): [True: 0, False: 0]11// CHECK-NEXT: ------------------12// CHECK-NEXT: |---> MC/DC Decision Region (9:7) to (9:23)13// CHECK-NEXT: |14// CHECK-NEXT: | Number of Conditions: 515// CHECK-NEXT: | Condition C1 --> (9:7)16// CHECK-NEXT: | Condition C2 --> (9:22)17// CHECK-NEXT: | Condition C3 --> (2:11)18// CHECK-NEXT: | Condition C4 --> (3:11)19// CHECK-NEXT: | Condition C5 --> (3:23)20// CHECK-NEXT: |21// CHECK-NEXT: | Executed MC/DC Test Vectors:22// CHECK-NEXT: |23// CHECK-NEXT: | C1, C2, C3, C4, C5 Result24// CHECK-NEXT: | 1 { T, -, C, T, T = T }25// CHECK-NEXT: |26// CHECK-NEXT: | C1-Pair: not covered27// CHECK-NEXT: | C2-Pair: not covered28// CHECK-NEXT: | C3-Pair: constant folded29// CHECK-NEXT: | C4-Pair: not covered30// CHECK-NEXT: | C5-Pair: not covered31// CHECK-NEXT: | MC/DC Coverage for Decision: 0.00%32// CHECK-NEXT: |33// CHECK-NEXT: ------------------34 35// CHECK: | | | Branch (2:11): [Folded - Ignored]36// CHECK: | Branch (11:7): [True: 1, False: 0]37// CHECK-NEXT: ------------------38// CHECK-NEXT: |---> MC/DC Decision Region (11:7) to (11:13)39// CHECK-NEXT: |40// CHECK-NEXT: | Number of Conditions: 241// CHECK-NEXT: | Condition C1 --> (11:7)42// CHECK-NEXT: | Condition C2 --> (2:11)43// CHECK-NEXT: |44// CHECK-NEXT: | Executed MC/DC Test Vectors:45// CHECK-NEXT: |46// CHECK-NEXT: | C1, C2 Result47// CHECK-NEXT: | 1 { T, C = T }48// CHECK-NEXT: |49// CHECK-NEXT: | C1-Pair: not covered50// CHECK-NEXT: | C2-Pair: constant folded51// CHECK-NEXT: | MC/DC Coverage for Decision: 0.00%52// CHECK-NEXT: |53// CHECK-NEXT: ------------------54 55// CHECK: | | | Branch (1:11): [True: 1, False: 0]56// CHECK: | | | Branch (2:11): [Folded - Ignored]57// CHECK: | | | | | Branch (3:11): [True: 0, False: 0]58// CHECK: | | | | | Branch (3:23): [True: 0, False: 0]59// CHECK: | Branch (13:7): [True: 1, False: 0]60// CHECK-NEXT: | Branch (13:13): [True: 1, False: 0]61// CHECK-NEXT: ------------------62// CHECK-NEXT: |---> MC/DC Decision Region (13:7) to (13:32)63// CHECK-NEXT: |64// CHECK-NEXT: | Number of Conditions: 665// CHECK-NEXT: | Condition C1 --> (13:7)66// CHECK-NEXT: | Condition C2 --> (13:13)67// CHECK-NEXT: | Condition C3 --> (1:11)68// CHECK-NEXT: | Condition C4 --> (2:11)69// CHECK-NEXT: | Condition C5 --> (3:11)70// CHECK-NEXT: | Condition C6 --> (3:23)71// CHECK-NEXT: |72// CHECK-NEXT: | Executed MC/DC Test Vectors:73// CHECK-NEXT: |74// CHECK-NEXT: | C1, C2, C3, C4, C5, C6 Result75// CHECK-NEXT: | 1 { T, T, T, C, -, - = T }76// CHECK-NEXT: |77// CHECK-NEXT: | C1-Pair: not covered78// CHECK-NEXT: | C2-Pair: not covered79// CHECK-NEXT: | C3-Pair: not covered80// CHECK-NEXT: | C4-Pair: constant folded81// CHECK-NEXT: | C5-Pair: not covered82// CHECK-NEXT: | C6-Pair: not covered83// CHECK-NEXT: | MC/DC Coverage for Decision: 0.00%84// CHECK-NEXT: |85// CHECK-NEXT: ------------------86 87Instructions for regenerating the test:88 89cd %S/Inputs # Or copy mcdc-macro.c into the working directory90 91clang -fcoverage-mcdc -fprofile-instr-generate -fcoverage-compilation-dir=. \92 -Os -mllvm -enable-name-compression=false \93 -fcoverage-mapping mcdc-macro.c -c94 95# Instructions for generating proftext96clang -fprofile-instr-generate mcdc-macro.o97rm -f default.prof*98./a.out99llvm-profdata merge --sparse -o default.profdata default.profraw100llvm-profdata merge --text -o mcdc-macro.proftext default.profdata101