PredicateCorrelationTests.cpp File Reference

#include <gtest/gtest.h>
#include <jlm/llvm/ir/operators/lambda.hpp>
#include <jlm/llvm/opt/PredicateCorrelation.hpp>
#include <jlm/rvsdg/bitstring/constant.hpp>
#include <jlm/rvsdg/control.hpp>
#include <jlm/rvsdg/TestOperations.hpp>
#include <jlm/rvsdg/theta.hpp>
#include <jlm/rvsdg/view.hpp>

Include dependency graph for PredicateCorrelationTests.cpp:

Go to the source code of this file.

Classes
struct	ControlConstantCorrelationTest
struct	MatchConstantCorrelationTest
struct	MatchCorrelationTest

Functions
static ControlConstantCorrelationTest	setupControlConstantCorrelationTest (jlm::rvsdg::Graph &rvsdg, const std::pair< uint64_t, uint64_t > &gammaSubregionControlConstants)
static MatchConstantCorrelationTest	setupMatchConstantCorrelationTest (jlm::rvsdg::Graph &rvsdg, const std::pair< int64_t, int64_t > &gammaSubregionAlternatives)
static MatchCorrelationTest	setupThetaGammaMatchCorrelationTest (jlm::rvsdg::Graph &rvsdg)
	TEST (PredicateCorrelationTests, testControlConstantCorrelation)
	TEST (PredicateCorrelationTests, testMatchConstantCorrelationDetection)
	TEST (PredicateCorrelationTests, testMatchConstantCorrelation_Success)
	TEST (PredicateCorrelationTests, testMatchConstantCorrelation_Failure)
	TEST (PredicateCorrelationTests, testThetaGammaMatchCorrelationDetection)
	TEST (PredicateCorrelationTests, testThetaGammaCorrelationFixPoint)
	TEST (PredicateCorrelationTests, testDetermineGammaSubregionRoles_ControlConstantCorrelation)
	TEST (PredicateCorrelationTests, testDetermineGammaSubregionRoles_MatchConstantCorrelation)
	TEST (PredicateCorrelationTests, testDetermineGammaSubregionRoles_MatchCorrelation)
	TEST (PredicateCorrelationTests, testGammaGammaMatchCorrelationDetection)

Function Documentation

setupControlConstantCorrelationTest()

static ControlConstantCorrelationTest setupControlConstantCorrelationTest ( jlm::rvsdg::Graph &  rvsdg, const std::pair< uint64_t, uint64_t > &  gammaSubregionControlConstants  )

static

Definition at line 25 of file PredicateCorrelationTests.cpp.

setupMatchConstantCorrelationTest()

static MatchConstantCorrelationTest setupMatchConstantCorrelationTest ( jlm::rvsdg::Graph &  rvsdg, const std::pair< int64_t, int64_t > &  gammaSubregionAlternatives  )

static

Definition at line 69 of file PredicateCorrelationTests.cpp.

setupThetaGammaMatchCorrelationTest()

static MatchCorrelationTest setupThetaGammaMatchCorrelationTest ( jlm::rvsdg::Graph &  rvsdg )

static

Definition at line 109 of file PredicateCorrelationTests.cpp.

TEST() [1/10]

TEST	(	PredicateCorrelationTests	,
		testControlConstantCorrelation
	)

Definition at line 129 of file PredicateCorrelationTests.cpp.

TEST() [2/10]

TEST	(	PredicateCorrelationTests	,
		testDetermineGammaSubregionRoles_ControlConstantCorrelation
	)

Definition at line 329 of file PredicateCorrelationTests.cpp.

TEST() [3/10]

TEST	(	PredicateCorrelationTests	,
		testDetermineGammaSubregionRoles_MatchConstantCorrelation
	)

Definition at line 379 of file PredicateCorrelationTests.cpp.

TEST() [4/10]

TEST	(	PredicateCorrelationTests	,
		testDetermineGammaSubregionRoles_MatchCorrelation
	)

Definition at line 429 of file PredicateCorrelationTests.cpp.

TEST() [5/10]

TEST	(	PredicateCorrelationTests	,
		testGammaGammaMatchCorrelationDetection
	)

Definition at line 450 of file PredicateCorrelationTests.cpp.

TEST() [6/10]

TEST	(	PredicateCorrelationTests	,
		testMatchConstantCorrelation_Failure
	)

Definition at line 221 of file PredicateCorrelationTests.cpp.

TEST() [7/10]

TEST	(	PredicateCorrelationTests	,
		testMatchConstantCorrelation_Success
	)

Definition at line 194 of file PredicateCorrelationTests.cpp.

TEST() [8/10]

TEST	(	PredicateCorrelationTests	,
		testMatchConstantCorrelationDetection
	)

Definition at line 157 of file PredicateCorrelationTests.cpp.

TEST() [9/10]

TEST	(	PredicateCorrelationTests	,
		testThetaGammaCorrelationFixPoint
	)

Definition at line 280 of file PredicateCorrelationTests.cpp.

TEST() [10/10]

TEST	(	PredicateCorrelationTests	,
		testThetaGammaMatchCorrelationDetection
	)

Definition at line 253 of file PredicateCorrelationTests.cpp.