MCDC Record grouping all information together. More...

#include "llvm/ProfileData/Coverage/CoverageMapping.h"

Classes
class	TestVector
	Emulate SmallVector<CondState> with a pair of BitVector. More...

Public Types
enum	CondState { MCDC_DontCare = -1 , MCDC_False = 0 , MCDC_True = 1 }
	CondState represents the evaluation of a condition in an executed test vector, which can be True or False. More...
using	TestVectors = llvm::SmallVector<std::pair<TestVector, CondState>>
using	BoolVector = std::array<BitVector, 2>
using	TVRowPair = std::pair<unsigned, unsigned>
using	TVPairMap = llvm::DenseMap<unsigned, TVRowPair>
using	CondIDMap = llvm::DenseMap<unsigned, unsigned>
using	LineColPairMap = llvm::DenseMap<unsigned, LineColPair>

Public Member Functions
	MCDCRecord (const CounterMappingRegion &Region, TestVectors &&TV, BoolVector &&Folded, CondIDMap &&PosToID, LineColPairMap &&CondLoc)
LLVM_ABI void	findIndependencePairs ()
const CounterMappingRegion &	getDecisionRegion () const
unsigned	getNumConditions () const
unsigned	getNumTestVectors () const
bool	isCondFolded (unsigned Condition) const
CondState	getTVCondition (unsigned TestVectorIndex, unsigned Condition)
	Return the evaluation of a condition (indicated by Condition) in an executed test vector (indicated by TestVectorIndex), which will be True, False, or DontCare if the condition is unevaluatable.
std::pair< unsigned, unsigned >	getDecisions () const
	Return the number of True and False decisions for all executed test vectors.
CondState	getTVResult (unsigned TestVectorIndex)
	Return the Result evaluation for an executed test vector.
bool	isConditionIndependencePairCovered (unsigned Condition) const
	Determine whether a given condition (indicated by Condition) is covered by an Independence Pair.
TVRowPair	getConditionIndependencePair (unsigned Condition)
	Return the Independence Pair that covers the given condition.
float	getPercentCovered () const
std::string	getConditionHeaderString (unsigned Condition)
std::string	getTestVectorHeaderString () const
std::string	getTestVectorString (unsigned TestVectorIndex)
std::string	getConditionCoverageString (unsigned Condition)

Detailed Description

MCDC Record grouping all information together.

Definition at line 391 of file CoverageMapping.h.

Member Typedef Documentation

◆ BoolVector

using llvm::coverage::MCDCRecord::BoolVector = std::array<BitVector, 2>

Definition at line 453 of file CoverageMapping.h.

◆ CondIDMap

using llvm::coverage::MCDCRecord::CondIDMap = llvm::DenseMap<unsigned, unsigned>

Definition at line 456 of file CoverageMapping.h.

◆ LineColPairMap

using llvm::coverage::MCDCRecord::LineColPairMap = llvm::DenseMap<unsigned, LineColPair>

Definition at line 457 of file CoverageMapping.h.

◆ TestVectors

using llvm::coverage::MCDCRecord::TestVectors = llvm::SmallVector<std::pair<TestVector, CondState>>

Definition at line 452 of file CoverageMapping.h.

◆ TVPairMap

using llvm::coverage::MCDCRecord::TVPairMap = llvm::DenseMap<unsigned, TVRowPair>

Definition at line 455 of file CoverageMapping.h.

◆ TVRowPair

using llvm::coverage::MCDCRecord::TVRowPair = std::pair<unsigned, unsigned>

Definition at line 454 of file CoverageMapping.h.

Member Enumeration Documentation

◆ CondState

enum llvm::coverage::MCDCRecord::CondState

CondState represents the evaluation of a condition in an executed test vector, which can be True or False.

A DontCare is used to mask an unevaluatable condition resulting from short-circuit behavior of logical operators in languages like C/C++. When comparing the evaluation of a condition across executed test vectors, comparisons against a DontCare are effectively ignored.

Enumerator
MCDC_DontCare
MCDC_False
MCDC_True

Definition at line 398 of file CoverageMapping.h.

Constructor & Destructor Documentation

◆ MCDCRecord()

llvm::coverage::MCDCRecord::MCDCRecord	(	const CounterMappingRegion &	Region,
		TestVectors &&	TV,
		BoolVector &&	Folded,
		CondIDMap &&	PosToID,
		LineColPairMap &&	CondLoc )

inline

Definition at line 468 of file CoverageMapping.h.

References findIndependencePairs(), and llvm::move().

Member Function Documentation

◆ findIndependencePairs()

void MCDCRecord::findIndependencePairs ( )

Definition at line 253 of file CoverageMapping.cpp.

References A(), assert(), B(), llvm::find_if(), I, MCDC_False, and MCDC_True.

Referenced by MCDCRecord().

◆ getConditionCoverageString()

std::string llvm::coverage::MCDCRecord::getConditionCoverageString ( unsigned Condition )

inline

Definition at line 614 of file CoverageMapping.h.

References assert(), getConditionIndependencePair(), getNumConditions(), isCondFolded(), and isConditionIndependencePairCovered().

◆ getConditionHeaderString()

std::string llvm::coverage::MCDCRecord::getConditionHeaderString ( unsigned Condition )

inline

Definition at line 552 of file CoverageMapping.h.

◆ getConditionIndependencePair()

TVRowPair llvm::coverage::MCDCRecord::getConditionIndependencePair ( unsigned Condition )

inline

Return the Independence Pair that covers the given condition.

Because condition IDs are not associated based on their position in the expression, accessing conditions in the TestVectors requires a translation from a ordinal position to actual condition ID. This is done via PosToID[].

Definition at line 530 of file CoverageMapping.h.

References assert(), and isConditionIndependencePairCovered().

Referenced by getConditionCoverageString().

◆ getDecisionRegion()

const CounterMappingRegion & llvm::coverage::MCDCRecord::getDecisionRegion ( ) const

inline

Definition at line 479 of file CoverageMapping.h.

◆ getDecisions()

std::pair< unsigned, unsigned > llvm::coverage::MCDCRecord::getDecisions ( ) const

inline

Return the number of True and False decisions for all executed test vectors.

Definition at line 500 of file CoverageMapping.h.

References llvm::count(), llvm::make_second_range(), and MCDC_True.

◆ getNumConditions()

unsigned llvm::coverage::MCDCRecord::getNumConditions ( ) const

inline

Definition at line 480 of file CoverageMapping.h.

Referenced by getConditionCoverageString(), getPercentCovered(), getTestVectorHeaderString(), and getTestVectorString().

◆ getNumTestVectors()

unsigned llvm::coverage::MCDCRecord::getNumTestVectors ( ) const

inline

Definition at line 483 of file CoverageMapping.h.

Referenced by getTestVectorHeaderString(), and getTestVectorString().

◆ getPercentCovered()

float llvm::coverage::MCDCRecord::getPercentCovered ( ) const

inline

Definition at line 536 of file CoverageMapping.h.

References llvm::CallingConv::C, getNumConditions(), isCondFolded(), isConditionIndependencePairCovered(), and llvm::Total.

◆ getTestVectorHeaderString()

std::string llvm::coverage::MCDCRecord::getTestVectorHeaderString ( ) const

inline

Definition at line 560 of file CoverageMapping.h.

References getNumConditions(), getNumTestVectors(), and I.

◆ getTestVectorString()

std::string llvm::coverage::MCDCRecord::getTestVectorString ( unsigned TestVectorIndex )

inline

Definition at line 576 of file CoverageMapping.h.

References assert(), getNumConditions(), getNumTestVectors(), getTVCondition(), getTVResult(), isCondFolded(), MCDC_DontCare, MCDC_False, and MCDC_True.

◆ getTVCondition()

CondState llvm::coverage::MCDCRecord::getTVCondition	(	unsigned	TestVectorIndex,
		unsigned	Condition )

inline

Return the evaluation of a condition (indicated by Condition) in an executed test vector (indicated by TestVectorIndex), which will be True, False, or DontCare if the condition is unevaluatable.

Because condition IDs are not associated based on their position in the expression, accessing conditions in the TestVectors requires a translation from a ordinal position to actual condition ID. This is done via PosToID[].

Definition at line 494 of file CoverageMapping.h.

Referenced by getTestVectorString().

◆ getTVResult()

CondState llvm::coverage::MCDCRecord::getTVResult ( unsigned TestVectorIndex )

inline

Return the Result evaluation for an executed test vector.

See MCDCRecordProcessor::RecordTestVector().

Definition at line 509 of file CoverageMapping.h.

Referenced by getTestVectorString().

◆ isCondFolded()

bool llvm::coverage::MCDCRecord::isCondFolded ( unsigned Condition ) const

inline

Definition at line 484 of file CoverageMapping.h.

Referenced by getConditionCoverageString(), getPercentCovered(), and getTestVectorString().

◆ isConditionIndependencePairCovered()

bool llvm::coverage::MCDCRecord::isConditionIndependencePairCovered ( unsigned Condition ) const

inline

Determine whether a given condition (indicated by Condition) is covered by an Independence Pair.

Because condition IDs are not associated based on their position in the expression, accessing conditions in the TestVectors requires a translation from a ordinal position to actual condition ID. This is done via PosToID[].

Definition at line 518 of file CoverageMapping.h.

References assert().

Referenced by getConditionCoverageString(), getConditionIndependencePair(), and getPercentCovered().

The documentation for this struct was generated from the following files:

include/llvm/ProfileData/Coverage/CoverageMapping.h
lib/ProfileData/Coverage/CoverageMapping.cpp

Classes

Public Types

Public Member Functions

Detailed Description

Member Typedef Documentation

◆ BoolVector

◆ CondIDMap

◆ LineColPairMap

◆ TestVectors

◆ TVPairMap

◆ TVRowPair

Member Enumeration Documentation

◆ CondState

Constructor & Destructor Documentation

◆ MCDCRecord()

Member Function Documentation

◆ findIndependencePairs()

◆ getConditionCoverageString()

◆ getConditionHeaderString()

◆ getConditionIndependencePair()

◆ getDecisionRegion()

◆ getDecisions()

◆ getNumConditions()

◆ getNumTestVectors()

◆ getPercentCovered()

◆ getTestVectorHeaderString()

◆ getTestVectorString()

◆ getTVCondition()

◆ getTVResult()

◆ isCondFolded()

◆ isConditionIndependencePairCovered()