17a7e6055SDimitry Andric //===- CoverageMappingWriter.cpp - Code coverage mapping writer -----------===//
23ca95b02SDimitry Andric //
33ca95b02SDimitry Andric // The LLVM Compiler Infrastructure
43ca95b02SDimitry Andric //
53ca95b02SDimitry Andric // This file is distributed under the University of Illinois Open Source
63ca95b02SDimitry Andric // License. See LICENSE.TXT for details.
73ca95b02SDimitry Andric //
83ca95b02SDimitry Andric //===----------------------------------------------------------------------===//
93ca95b02SDimitry Andric //
103ca95b02SDimitry Andric // This file contains support for writing coverage mapping data for
113ca95b02SDimitry Andric // instrumentation based coverage.
123ca95b02SDimitry Andric //
133ca95b02SDimitry Andric //===----------------------------------------------------------------------===//
143ca95b02SDimitry Andric
15db17bf38SDimitry Andric #include "llvm/ProfileData/Coverage/CoverageMappingWriter.h"
167a7e6055SDimitry Andric #include "llvm/ADT/ArrayRef.h"
177a7e6055SDimitry Andric #include "llvm/ADT/SmallVector.h"
183ca95b02SDimitry Andric #include "llvm/Support/LEB128.h"
197a7e6055SDimitry Andric #include "llvm/Support/raw_ostream.h"
207a7e6055SDimitry Andric #include <algorithm>
217a7e6055SDimitry Andric #include <cassert>
227a7e6055SDimitry Andric #include <limits>
237a7e6055SDimitry Andric #include <vector>
243ca95b02SDimitry Andric
253ca95b02SDimitry Andric using namespace llvm;
263ca95b02SDimitry Andric using namespace coverage;
273ca95b02SDimitry Andric
write(raw_ostream & OS)283ca95b02SDimitry Andric void CoverageFilenamesSectionWriter::write(raw_ostream &OS) {
293ca95b02SDimitry Andric encodeULEB128(Filenames.size(), OS);
303ca95b02SDimitry Andric for (const auto &Filename : Filenames) {
313ca95b02SDimitry Andric encodeULEB128(Filename.size(), OS);
323ca95b02SDimitry Andric OS << Filename;
333ca95b02SDimitry Andric }
343ca95b02SDimitry Andric }
353ca95b02SDimitry Andric
363ca95b02SDimitry Andric namespace {
377a7e6055SDimitry Andric
38*4ba319b5SDimitry Andric /// Gather only the expressions that are used by the mapping
393ca95b02SDimitry Andric /// regions in this function.
403ca95b02SDimitry Andric class CounterExpressionsMinimizer {
413ca95b02SDimitry Andric ArrayRef<CounterExpression> Expressions;
427a7e6055SDimitry Andric SmallVector<CounterExpression, 16> UsedExpressions;
433ca95b02SDimitry Andric std::vector<unsigned> AdjustedExpressionIDs;
443ca95b02SDimitry Andric
453ca95b02SDimitry Andric public:
CounterExpressionsMinimizer(ArrayRef<CounterExpression> Expressions,ArrayRef<CounterMappingRegion> MappingRegions)467a7e6055SDimitry Andric CounterExpressionsMinimizer(ArrayRef<CounterExpression> Expressions,
477a7e6055SDimitry Andric ArrayRef<CounterMappingRegion> MappingRegions)
487a7e6055SDimitry Andric : Expressions(Expressions) {
497a7e6055SDimitry Andric AdjustedExpressionIDs.resize(Expressions.size(), 0);
507a7e6055SDimitry Andric for (const auto &I : MappingRegions)
517a7e6055SDimitry Andric mark(I.Count);
527a7e6055SDimitry Andric for (const auto &I : MappingRegions)
537a7e6055SDimitry Andric gatherUsed(I.Count);
547a7e6055SDimitry Andric }
557a7e6055SDimitry Andric
mark(Counter C)563ca95b02SDimitry Andric void mark(Counter C) {
573ca95b02SDimitry Andric if (!C.isExpression())
583ca95b02SDimitry Andric return;
593ca95b02SDimitry Andric unsigned ID = C.getExpressionID();
603ca95b02SDimitry Andric AdjustedExpressionIDs[ID] = 1;
613ca95b02SDimitry Andric mark(Expressions[ID].LHS);
623ca95b02SDimitry Andric mark(Expressions[ID].RHS);
633ca95b02SDimitry Andric }
643ca95b02SDimitry Andric
gatherUsed(Counter C)653ca95b02SDimitry Andric void gatherUsed(Counter C) {
663ca95b02SDimitry Andric if (!C.isExpression() || !AdjustedExpressionIDs[C.getExpressionID()])
673ca95b02SDimitry Andric return;
683ca95b02SDimitry Andric AdjustedExpressionIDs[C.getExpressionID()] = UsedExpressions.size();
693ca95b02SDimitry Andric const auto &E = Expressions[C.getExpressionID()];
703ca95b02SDimitry Andric UsedExpressions.push_back(E);
713ca95b02SDimitry Andric gatherUsed(E.LHS);
723ca95b02SDimitry Andric gatherUsed(E.RHS);
733ca95b02SDimitry Andric }
743ca95b02SDimitry Andric
getExpressions() const753ca95b02SDimitry Andric ArrayRef<CounterExpression> getExpressions() const { return UsedExpressions; }
763ca95b02SDimitry Andric
77*4ba319b5SDimitry Andric /// Adjust the given counter to correctly transition from the old
783ca95b02SDimitry Andric /// expression ids to the new expression ids.
adjust(Counter C) const793ca95b02SDimitry Andric Counter adjust(Counter C) const {
803ca95b02SDimitry Andric if (C.isExpression())
813ca95b02SDimitry Andric C = Counter::getExpression(AdjustedExpressionIDs[C.getExpressionID()]);
823ca95b02SDimitry Andric return C;
833ca95b02SDimitry Andric }
843ca95b02SDimitry Andric };
857a7e6055SDimitry Andric
867a7e6055SDimitry Andric } // end anonymous namespace
873ca95b02SDimitry Andric
88*4ba319b5SDimitry Andric /// Encode the counter.
893ca95b02SDimitry Andric ///
903ca95b02SDimitry Andric /// The encoding uses the following format:
913ca95b02SDimitry Andric /// Low 2 bits - Tag:
923ca95b02SDimitry Andric /// Counter::Zero(0) - A Counter with kind Counter::Zero
933ca95b02SDimitry Andric /// Counter::CounterValueReference(1) - A counter with kind
943ca95b02SDimitry Andric /// Counter::CounterValueReference
953ca95b02SDimitry Andric /// Counter::Expression(2) + CounterExpression::Subtract(0) -
963ca95b02SDimitry Andric /// A counter with kind Counter::Expression and an expression
973ca95b02SDimitry Andric /// with kind CounterExpression::Subtract
983ca95b02SDimitry Andric /// Counter::Expression(2) + CounterExpression::Add(1) -
993ca95b02SDimitry Andric /// A counter with kind Counter::Expression and an expression
1003ca95b02SDimitry Andric /// with kind CounterExpression::Add
1013ca95b02SDimitry Andric /// Remaining bits - Counter/Expression ID.
encodeCounter(ArrayRef<CounterExpression> Expressions,Counter C)1023ca95b02SDimitry Andric static unsigned encodeCounter(ArrayRef<CounterExpression> Expressions,
1033ca95b02SDimitry Andric Counter C) {
1043ca95b02SDimitry Andric unsigned Tag = unsigned(C.getKind());
1053ca95b02SDimitry Andric if (C.isExpression())
1063ca95b02SDimitry Andric Tag += Expressions[C.getExpressionID()].Kind;
1073ca95b02SDimitry Andric unsigned ID = C.getCounterID();
1083ca95b02SDimitry Andric assert(ID <=
1093ca95b02SDimitry Andric (std::numeric_limits<unsigned>::max() >> Counter::EncodingTagBits));
1103ca95b02SDimitry Andric return Tag | (ID << Counter::EncodingTagBits);
1113ca95b02SDimitry Andric }
1123ca95b02SDimitry Andric
writeCounter(ArrayRef<CounterExpression> Expressions,Counter C,raw_ostream & OS)1133ca95b02SDimitry Andric static void writeCounter(ArrayRef<CounterExpression> Expressions, Counter C,
1143ca95b02SDimitry Andric raw_ostream &OS) {
1153ca95b02SDimitry Andric encodeULEB128(encodeCounter(Expressions, C), OS);
1163ca95b02SDimitry Andric }
1173ca95b02SDimitry Andric
write(raw_ostream & OS)1183ca95b02SDimitry Andric void CoverageMappingWriter::write(raw_ostream &OS) {
1192cab237bSDimitry Andric // Check that we don't have any bogus regions.
1202cab237bSDimitry Andric assert(all_of(MappingRegions,
1212cab237bSDimitry Andric [](const CounterMappingRegion &CMR) {
1222cab237bSDimitry Andric return CMR.startLoc() <= CMR.endLoc();
1232cab237bSDimitry Andric }) &&
1242cab237bSDimitry Andric "Source region does not begin before it ends");
1252cab237bSDimitry Andric
1263ca95b02SDimitry Andric // Sort the regions in an ascending order by the file id and the starting
127d88c1a5aSDimitry Andric // location. Sort by region kinds to ensure stable order for tests.
128d88c1a5aSDimitry Andric std::stable_sort(
129d88c1a5aSDimitry Andric MappingRegions.begin(), MappingRegions.end(),
130d88c1a5aSDimitry Andric [](const CounterMappingRegion &LHS, const CounterMappingRegion &RHS) {
131d88c1a5aSDimitry Andric if (LHS.FileID != RHS.FileID)
132d88c1a5aSDimitry Andric return LHS.FileID < RHS.FileID;
133d88c1a5aSDimitry Andric if (LHS.startLoc() != RHS.startLoc())
134d88c1a5aSDimitry Andric return LHS.startLoc() < RHS.startLoc();
135d88c1a5aSDimitry Andric return LHS.Kind < RHS.Kind;
136d88c1a5aSDimitry Andric });
1373ca95b02SDimitry Andric
1383ca95b02SDimitry Andric // Write out the fileid -> filename mapping.
1393ca95b02SDimitry Andric encodeULEB128(VirtualFileMapping.size(), OS);
1403ca95b02SDimitry Andric for (const auto &FileID : VirtualFileMapping)
1413ca95b02SDimitry Andric encodeULEB128(FileID, OS);
1423ca95b02SDimitry Andric
1433ca95b02SDimitry Andric // Write out the expressions.
1443ca95b02SDimitry Andric CounterExpressionsMinimizer Minimizer(Expressions, MappingRegions);
1453ca95b02SDimitry Andric auto MinExpressions = Minimizer.getExpressions();
1463ca95b02SDimitry Andric encodeULEB128(MinExpressions.size(), OS);
1473ca95b02SDimitry Andric for (const auto &E : MinExpressions) {
1483ca95b02SDimitry Andric writeCounter(MinExpressions, Minimizer.adjust(E.LHS), OS);
1493ca95b02SDimitry Andric writeCounter(MinExpressions, Minimizer.adjust(E.RHS), OS);
1503ca95b02SDimitry Andric }
1513ca95b02SDimitry Andric
1523ca95b02SDimitry Andric // Write out the mapping regions.
1533ca95b02SDimitry Andric // Split the regions into subarrays where each region in a
1543ca95b02SDimitry Andric // subarray has a fileID which is the index of that subarray.
1553ca95b02SDimitry Andric unsigned PrevLineStart = 0;
1563ca95b02SDimitry Andric unsigned CurrentFileID = ~0U;
1573ca95b02SDimitry Andric for (auto I = MappingRegions.begin(), E = MappingRegions.end(); I != E; ++I) {
1583ca95b02SDimitry Andric if (I->FileID != CurrentFileID) {
1593ca95b02SDimitry Andric // Ensure that all file ids have at least one mapping region.
1603ca95b02SDimitry Andric assert(I->FileID == (CurrentFileID + 1));
1613ca95b02SDimitry Andric // Find the number of regions with this file id.
1623ca95b02SDimitry Andric unsigned RegionCount = 1;
1633ca95b02SDimitry Andric for (auto J = I + 1; J != E && I->FileID == J->FileID; ++J)
1643ca95b02SDimitry Andric ++RegionCount;
1653ca95b02SDimitry Andric // Start a new region sub-array.
1663ca95b02SDimitry Andric encodeULEB128(RegionCount, OS);
1673ca95b02SDimitry Andric
1683ca95b02SDimitry Andric CurrentFileID = I->FileID;
1693ca95b02SDimitry Andric PrevLineStart = 0;
1703ca95b02SDimitry Andric }
1713ca95b02SDimitry Andric Counter Count = Minimizer.adjust(I->Count);
1723ca95b02SDimitry Andric switch (I->Kind) {
1733ca95b02SDimitry Andric case CounterMappingRegion::CodeRegion:
1742cab237bSDimitry Andric case CounterMappingRegion::GapRegion:
1753ca95b02SDimitry Andric writeCounter(MinExpressions, Count, OS);
1763ca95b02SDimitry Andric break;
1773ca95b02SDimitry Andric case CounterMappingRegion::ExpansionRegion: {
1783ca95b02SDimitry Andric assert(Count.isZero());
1793ca95b02SDimitry Andric assert(I->ExpandedFileID <=
1803ca95b02SDimitry Andric (std::numeric_limits<unsigned>::max() >>
1813ca95b02SDimitry Andric Counter::EncodingCounterTagAndExpansionRegionTagBits));
1823ca95b02SDimitry Andric // Mark an expansion region with a set bit that follows the counter tag,
1833ca95b02SDimitry Andric // and pack the expanded file id into the remaining bits.
1843ca95b02SDimitry Andric unsigned EncodedTagExpandedFileID =
1853ca95b02SDimitry Andric (1 << Counter::EncodingTagBits) |
1863ca95b02SDimitry Andric (I->ExpandedFileID
1873ca95b02SDimitry Andric << Counter::EncodingCounterTagAndExpansionRegionTagBits);
1883ca95b02SDimitry Andric encodeULEB128(EncodedTagExpandedFileID, OS);
1893ca95b02SDimitry Andric break;
1903ca95b02SDimitry Andric }
1913ca95b02SDimitry Andric case CounterMappingRegion::SkippedRegion:
1923ca95b02SDimitry Andric assert(Count.isZero());
1933ca95b02SDimitry Andric encodeULEB128(unsigned(I->Kind)
1943ca95b02SDimitry Andric << Counter::EncodingCounterTagAndExpansionRegionTagBits,
1953ca95b02SDimitry Andric OS);
1963ca95b02SDimitry Andric break;
1973ca95b02SDimitry Andric }
1983ca95b02SDimitry Andric assert(I->LineStart >= PrevLineStart);
1993ca95b02SDimitry Andric encodeULEB128(I->LineStart - PrevLineStart, OS);
2003ca95b02SDimitry Andric encodeULEB128(I->ColumnStart, OS);
2013ca95b02SDimitry Andric assert(I->LineEnd >= I->LineStart);
2023ca95b02SDimitry Andric encodeULEB128(I->LineEnd - I->LineStart, OS);
2033ca95b02SDimitry Andric encodeULEB128(I->ColumnEnd, OS);
2043ca95b02SDimitry Andric PrevLineStart = I->LineStart;
2053ca95b02SDimitry Andric }
2063ca95b02SDimitry Andric // Ensure that all file ids have at least one mapping region.
2073ca95b02SDimitry Andric assert(CurrentFileID == (VirtualFileMapping.size() - 1));
2083ca95b02SDimitry Andric }
209