2018-01-15 19:19:55 +08:00
|
|
|
#!/usr/bin/env python3
|
2020-11-13 03:18:11 +08:00
|
|
|
|
2018-01-15 19:19:55 +08:00
|
|
|
import argparse
|
|
|
|
|
import json
|
|
|
|
|
from collections import defaultdict
|
|
|
|
|
|
2020-11-13 03:18:11 +08:00
|
|
|
|
2018-01-15 19:19:55 +08:00
|
|
|
def lines2phabricator(filename, lines):
|
|
|
|
|
ret = ""
|
|
|
|
|
numlines = 0
|
|
|
|
|
with open(filename) as f:
|
|
|
|
|
for row in f:
|
|
|
|
|
numlines += 1
|
|
|
|
|
for i in range(1, numlines + 1):
|
2020-11-13 03:18:11 +08:00
|
|
|
if i not in lines:
|
|
|
|
|
ret += "N"
|
|
|
|
|
elif lines[i] == 0:
|
|
|
|
|
ret += "U"
|
|
|
|
|
else:
|
|
|
|
|
ret += "C"
|
2018-01-15 19:19:55 +08:00
|
|
|
return ret
|
|
|
|
|
|
2020-11-13 03:18:11 +08:00
|
|
|
|
2018-01-15 19:19:55 +08:00
|
|
|
parser = argparse.ArgumentParser(description='Parse llvm-cov export data.')
|
|
|
|
|
parser.add_argument('input', help='input file')
|
|
|
|
|
parser.add_argument('coverage', help='coverage output file')
|
|
|
|
|
parser.add_argument('summary', help='summary output file')
|
|
|
|
|
parser.add_argument('files', nargs='+', help='files to process')
|
|
|
|
|
args = parser.parse_args()
|
|
|
|
|
|
|
|
|
|
# for specification of the format see:
|
|
|
|
|
# https://github.com/llvm-mirror/llvm/blob/master/tools/llvm-cov/CoverageExporterJson.cpp
|
|
|
|
|
|
|
|
|
|
data = json.load(open(args.input, "r"))
|
|
|
|
|
|
|
|
|
|
totals = defaultdict(lambda: defaultdict(int))
|
2018-06-05 20:13:56 +08:00
|
|
|
sources = defaultdict(lambda: defaultdict(int))
|
2018-01-15 19:19:55 +08:00
|
|
|
for export in data["data"]:
|
|
|
|
|
for cfile in export["files"]:
|
|
|
|
|
for segment in cfile["segments"]:
|
|
|
|
|
filename = cfile["filename"]
|
2020-11-13 03:18:11 +08:00
|
|
|
if filename not in args.files:
|
|
|
|
|
continue
|
|
|
|
|
line, col, count, has_count, is_region_entry, is_gap_region = \
|
|
|
|
|
segment
|
2018-06-05 20:13:56 +08:00
|
|
|
sources[filename][line] += count
|
2018-01-15 19:19:55 +08:00
|
|
|
for function in export["functions"]:
|
|
|
|
|
for region in function["regions"]:
|
|
|
|
|
line_start, column_start, line_end, column_end, execution_count, \
|
2020-11-13 03:18:11 +08:00
|
|
|
file_id, expanded_file_id, kind = region
|
2018-01-15 19:19:55 +08:00
|
|
|
filename = function["filenames"][file_id]
|
2020-11-13 03:18:11 +08:00
|
|
|
if filename not in args.files:
|
|
|
|
|
continue
|
2018-01-15 19:19:55 +08:00
|
|
|
for i in range(line_start, line_end + 1):
|
2018-06-05 20:13:56 +08:00
|
|
|
sources[filename][i] += execution_count
|
2018-01-15 19:19:55 +08:00
|
|
|
for total, values in export["totals"].items():
|
|
|
|
|
for key, value in values.items():
|
|
|
|
|
totals[total][key] += value
|
|
|
|
|
|
|
|
|
|
coverage = {}
|
|
|
|
|
for filename, lines in sources.items():
|
|
|
|
|
path = "/".join(filename.split("/")[3:])
|
|
|
|
|
coverage[path] = lines2phabricator(filename, lines)
|
|
|
|
|
|
|
|
|
|
with open(args.coverage, "w") as f:
|
|
|
|
|
json.dump(coverage, f)
|
|
|
|
|
|
2020-11-13 03:18:11 +08:00
|
|
|
summary = """<!DOCTYPE html>
|
|
|
|
|
<h1>Code coverage</h1>
|
2018-01-15 19:19:55 +08:00
|
|
|
<table>
|
|
|
|
|
<tr><th>Coverage</th><th>Total</th></tr>
|
|
|
|
|
"""
|
|
|
|
|
ROW = "<tr><td>{name}</td><td>{covered} / {count} ({percent:.2%})</td></tr>\n"
|
|
|
|
|
for what in ["functions", "instantiations", "lines", "regions"]:
|
|
|
|
|
now = totals[what]
|
|
|
|
|
now["percent"] = now["covered"] / now["count"]
|
|
|
|
|
summary += ROW.format(**dict(totals[what], name=what.capitalize()))
|
|
|
|
|
summary += "</table>\n"
|
|
|
|
|
|
|
|
|
|
with open(args.summary, "w") as f:
|
|
|
|
|
f.write(summary)
|
