Displaying 2 results from an estimated 2 matches for "countermappingregion".
2020 Jan 24
4
Adding support for LLVM Branch Condition Coverage
...his applies to decision points in control flow (if, for, while, ...) as well as individual conditions on logical operators ("&&", "||") in Boolean expressions.
In sketching out a design, there are three primary areas in the design that I am proposing:
1.) Add a new CounterMappingRegion kind for branch conditions
a. This new region kind would track two counters, one for the "True" branch taken count of a branch condition, and one for the "False" branch taken count.
i. Alternatively, I could use two...
2020 Jan 24
2
Adding support for LLVM Branch Condition Coverage
...his applies to decision points in control flow (if, for, while, ...) as well as individual conditions on logical operators ("&&", "||") in Boolean expressions.
In sketching out a design, there are three primary areas in the design that I am proposing:
1.) Add a new CounterMappingRegion kind for branch conditions
a. This new region kind would track two counters, one for the "True" branch taken count of a branch condition, and one for the "False" branch taken count.
i. Alternative...