[llvm-cov] Improve error messaging for function mismatches

Passing "-dump" to llvm-cov will now print more detailed information
about function hash and counter mismatches. This should make it easier
to debug *.profdata files which contain incorrect records, and to debug
other scenarios where coverage goes missing due to mismatch issues.

llvm-svn: 313853
This commit is contained in:
Vedant Kumar 2017-09-21 01:11:30 +00:00
parent fdcdd88d57
commit 18dd9e88ed
4 changed files with 43 additions and 6 deletions

View File

@ -508,7 +508,8 @@ public:
class CoverageMapping { class CoverageMapping {
StringSet<> FunctionNames; StringSet<> FunctionNames;
std::vector<FunctionRecord> Functions; std::vector<FunctionRecord> Functions;
unsigned MismatchedFunctionCount = 0; std::vector<std::pair<std::string, uint64_t>> FuncHashMismatches;
std::vector<std::pair<std::string, uint64_t>> FuncCounterMismatches;
CoverageMapping() = default; CoverageMapping() = default;
@ -535,7 +536,25 @@ public:
/// ///
/// This is a count of functions whose profile is out of date or otherwise /// This is a count of functions whose profile is out of date or otherwise
/// can't be associated with any coverage information. /// can't be associated with any coverage information.
unsigned getMismatchedCount() { return MismatchedFunctionCount; } unsigned getMismatchedCount() const {
return FuncHashMismatches.size() + FuncCounterMismatches.size();
}
/// A hash mismatch occurs when a profile record for a symbol does not have
/// the same hash as a coverage mapping record for the same symbol. This
/// returns a list of hash mismatches, where each mismatch is a pair of the
/// symbol name and its coverage mapping hash.
ArrayRef<std::pair<std::string, uint64_t>> getHashMismatches() const {
return FuncHashMismatches;
}
/// A counter mismatch occurs when there is an error when evaluating the
/// counter expressions in a coverage mapping record. This returns a list of
/// counter mismatches, where each mismatch is a pair of the symbol name and
/// the number of valid evaluated counter expressions.
ArrayRef<std::pair<std::string, uint64_t>> getCounterMismatches() const {
return FuncCounterMismatches;
}
/// Returns a lexicographically sorted, unique list of files that are /// Returns a lexicographically sorted, unique list of files that are
/// covered. /// covered.

View File

@ -217,7 +217,7 @@ Error CoverageMapping::loadFunctionRecord(
Record.FunctionHash, Counts)) { Record.FunctionHash, Counts)) {
instrprof_error IPE = InstrProfError::take(std::move(E)); instrprof_error IPE = InstrProfError::take(std::move(E));
if (IPE == instrprof_error::hash_mismatch) { if (IPE == instrprof_error::hash_mismatch) {
MismatchedFunctionCount++; FuncHashMismatches.emplace_back(Record.FunctionName, Record.FunctionHash);
return Error::success(); return Error::success();
} else if (IPE != instrprof_error::unknown_function) } else if (IPE != instrprof_error::unknown_function)
return make_error<InstrProfError>(IPE); return make_error<InstrProfError>(IPE);
@ -237,7 +237,8 @@ Error CoverageMapping::loadFunctionRecord(
Function.pushRegion(Region, *ExecutionCount); Function.pushRegion(Region, *ExecutionCount);
} }
if (Function.CountedRegions.size() != Record.MappingRegions.size()) { if (Function.CountedRegions.size() != Record.MappingRegions.size()) {
MismatchedFunctionCount++; FuncCounterMismatches.emplace_back(Record.FunctionName,
Function.CountedRegions.size());
return Error::success(); return Error::success();
} }

View File

@ -7,6 +7,9 @@ REQUIRES: shell
# of the same template function are properly merged in show # of the same template function are properly merged in show
# output. # output.
// RUN: llvm-cov show %S/Inputs/binary-formats.v1.linux64l -instr-profile %S/Inputs/elf_binary_comdat.profdata -path-equivalence=/tmp,%S/Inputs %S/Inputs/instrprof-comdat.h | FileCheck --check-prefix=HEADER %S/Inputs/instrprof-comdat.h // RUN: llvm-cov show %S/Inputs/binary-formats.v1.linux64l -instr-profile %S/Inputs/elf_binary_comdat.profdata -path-equivalence=/tmp,%S/Inputs %S/Inputs/instrprof-comdat.h -dump 2> %t.err | FileCheck --check-prefix=HEADER %S/Inputs/instrprof-comdat.h
// RUN: FileCheck --check-prefix=ERROR -input-file %t.err %s
// ERROR: hash-mismatch: No profile record found for 'main' with hash = 0xA
// RUN: llvm-cov show %S/Inputs/binary-formats.v2.linux64l -instr-profile %S/Inputs/elf_binary_comdat.profdata -path-equivalence=/root/llvm/test/tools,%S/.. %S/Inputs/instrprof-comdat.h | FileCheck --check-prefix=HEADER %S/Inputs/instrprof-comdat.h // RUN: llvm-cov show %S/Inputs/binary-formats.v2.linux64l -instr-profile %S/Inputs/elf_binary_comdat.profdata -path-equivalence=/root/llvm/test/tools,%S/.. %S/Inputs/instrprof-comdat.h | FileCheck --check-prefix=HEADER %S/Inputs/instrprof-comdat.h
// RUN: llvm-cov show %S/Inputs/binary-formats.v2.linux32l -instr-profile %S/Inputs/elf_binary_comdat.profdata -path-equivalence=/root/llvm/R/../test/tools,%S/.. %S/Inputs/instrprof-comdat.h | FileCheck --check-prefix=HEADER %S/Inputs/instrprof-comdat.h // RUN: llvm-cov show %S/Inputs/binary-formats.v2.linux32l -instr-profile %S/Inputs/elf_binary_comdat.profdata -path-equivalence=/root/llvm/R/../test/tools,%S/.. %S/Inputs/instrprof-comdat.h | FileCheck --check-prefix=HEADER %S/Inputs/instrprof-comdat.h

View File

@ -350,9 +350,23 @@ std::unique_ptr<CoverageMapping> CodeCoverageTool::load() {
} }
auto Coverage = std::move(CoverageOrErr.get()); auto Coverage = std::move(CoverageOrErr.get());
unsigned Mismatched = Coverage->getMismatchedCount(); unsigned Mismatched = Coverage->getMismatchedCount();
if (Mismatched) if (Mismatched) {
warning(utostr(Mismatched) + " functions have mismatched data"); warning(utostr(Mismatched) + " functions have mismatched data");
if (ViewOpts.Debug) {
for (const auto &HashMismatch : Coverage->getHashMismatches())
errs() << "hash-mismatch: "
<< "No profile record found for '" << HashMismatch.first << "'"
<< " with hash = 0x" << utohexstr(HashMismatch.second) << "\n";
for (const auto &CounterMismatch : Coverage->getCounterMismatches())
errs() << "counter-mismatch: "
<< "Coverage mapping for " << CounterMismatch.first
<< " only has " << CounterMismatch.second
<< " valid counter expressions\n";
}
}
remapPathNames(*Coverage); remapPathNames(*Coverage);
if (!SourceFiles.empty()) if (!SourceFiles.empty())