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 = llvm::SmallVector< bool >

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, TVPairMap &&IndependencePairs, BoolVector &&Folded, CondIDMap &&PosToID, LineColPairMap &&CondLoc)

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.

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 378 of file CoverageMapping.h.

Member Typedef Documentation

◆ BoolVector

using llvm::coverage::MCDCRecord::BoolVector = llvm::SmallVector<bool>

Definition at line 440 of file CoverageMapping.h.

◆ CondIDMap

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

Definition at line 443 of file CoverageMapping.h.

◆ LineColPairMap

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

Definition at line 444 of file CoverageMapping.h.

◆ TestVectors

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

Definition at line 439 of file CoverageMapping.h.

◆ TVPairMap

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

Definition at line 442 of file CoverageMapping.h.

◆ TVRowPair

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

Definition at line 441 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 385 of file CoverageMapping.h.

Constructor & Destructor Documentation

◆ MCDCRecord()

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

inline

Definition at line 455 of file CoverageMapping.h.

Member Function Documentation

◆ getConditionCoverageString()

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

inline

Definition at line 586 of file CoverageMapping.h.

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

◆ getConditionHeaderString()

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

inline

Definition at line 524 of file CoverageMapping.h.

References OS.

◆ 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 503 of file CoverageMapping.h.

References assert(), and isConditionIndependencePairCovered().

Referenced by getConditionCoverageString().

◆ getDecisionRegion()

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

inline

Definition at line 463 of file CoverageMapping.h.

◆ getNumConditions()

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

inline

Definition at line 464 of file CoverageMapping.h.

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

◆ getNumTestVectors()

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

inline

Definition at line 467 of file CoverageMapping.h.

References llvm::SmallVectorBase< Size_T >::size().

Referenced by getTestVectorHeaderString(), and getTestVectorString().

◆ getPercentCovered()

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

inline

Definition at line 508 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 532 of file CoverageMapping.h.

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

◆ getTestVectorString()

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

inline

Definition at line 548 of file CoverageMapping.h.

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

◆ 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 476 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 482 of file CoverageMapping.h.

Referenced by getTestVectorString().

◆ isCondFolded()

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

inline

Definition at line 468 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 491 of file CoverageMapping.h.

References llvm::DenseMapBase< DerivedT, KeyT, ValueT, KeyInfoT, BucketT >::contains(), llvm::DenseMapBase< DerivedT, KeyT, ValueT, KeyInfoT, BucketT >::end(), llvm::DenseMapBase< DerivedT, KeyT, ValueT, KeyInfoT, BucketT >::find(), and llvm_unreachable.

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

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

include/llvm/ProfileData/Coverage/CoverageMapping.h

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

◆ getConditionCoverageString()

◆ getConditionHeaderString()

◆ getConditionIndependencePair()

◆ getDecisionRegion()

◆ getNumConditions()

◆ getNumTestVectors()

◆ getPercentCovered()

◆ getTestVectorHeaderString()

◆ getTestVectorString()

◆ getTVCondition()

◆ getTVResult()

◆ isCondFolded()

◆ isConditionIndependencePairCovered()