Without tree pruning clang has 2,667,552 points.
Wiht only dominators pruning: 1,515,586.
With both dominators & predominators pruning: 1,340,534.
Resubmit of r262103.
Differential D18341
[sancov] do not instrument nodes that are full pre-dominators aizatsky on Mar 21 2016, 4:11 PM. Authored by
Details Without tree pruning clang has 2,667,552 points. Resubmit of r262103.
Diff Detail Event Timeline
|
Maybe inverse logic is be more clear:
bool NotDominatesAll = false;
for (const BasicBlock *SUCC : make_range(succ_begin(BB), succ_end(BB))) {
}
bool NotPreDominatesAll = false;
...
return NotDominatesAll && NotPreDominatesAll;