#include <gtest/gtest.h>
#include <jlm/llvm/opt/alias-analyses/Andersen.hpp>
#include <jlm/llvm/opt/alias-analyses/PointerObjectSet.hpp>
#include <jlm/llvm/TestRvsdgs.hpp>
#include <cassert>

Include dependency graph for PointerObjectSetTests.cpp:

Functions
static bool	StringContains (std::string_view haystack, std::string_view needle)

	TEST (PointerObjectSetTests, TestFlagFunctions)

	TEST (PointerObjectSetTests, TestCreatePointerObjects)

	TEST (PointerObjectSetTests, TestPointerObjectUnification)

	TEST (PointerObjectSetTests, TestPointerObjectUnificationPointees)

	TEST (PointerObjectSetTests, TestAddToPointsToSet)

	TEST (PointerObjectSetTests, TestMakePointsToSetSuperset)

	TEST (PointerObjectSetTests, TestClonePointerObjectSet)

	TEST (PointerObjectSetTests, TestSupersetConstraint)

	TEST (PointerObjectSetTests, TestStoreConstraintDirectly)

	TEST (PointerObjectSetTests, TestLoadConstraintDirectly)

	TEST (PointerObjectSetTests, TestEscapedFunctionConstraint)

	TEST (PointerObjectSetTests, TestStoredAsScalarFlag)

	TEST (PointerObjectSetTests, TestLoadedAsScalarFlag)

	TEST (PointerObjectSetTests, TestFunctionCallConstraint)

	TEST (PointerObjectSetTests, TestAddPointsToExternalConstraint)

	TEST (PointerObjectSetTests, TestAddRegisterContentEscapedConstraint)

	TEST (PointerObjectSetTests, TestDrawSubsetGraph)

template<jlm::llvm::aa::Andersen::Configuration::Solver solver, typename... Args>
static void	TestPointerObjectConstraintSetSolve (Args... args)

	TEST (PointerObjectSetTests, TestPointerObjectConstraintSetSolveNaive)

	TEST (PointerObjectSetTests, TestPointerObjectConstraintSetSolveWorklist)

	TEST (PointerObjectSetTests, TestClonePointerObjectConstraintSet)

Function Documentation

◆ StringContains()

static bool StringContains	(	std::string_view	haystack,
		std::string_view	needle
	)

static

Definition at line 15 of file PointerObjectSetTests.cpp.

◆ TEST() [1/20]

TEST	(	PointerObjectSetTests	,
		TestAddPointsToExternalConstraint
	)

Definition at line 646 of file PointerObjectSetTests.cpp.

◆ TEST() [2/20]

TEST	(	PointerObjectSetTests	,
		TestAddRegisterContentEscapedConstraint
	)

Definition at line 688 of file PointerObjectSetTests.cpp.

◆ TEST() [3/20]

TEST	(	PointerObjectSetTests	,
		TestAddToPointsToSet
	)

Definition at line 219 of file PointerObjectSetTests.cpp.

◆ TEST() [4/20]

TEST	(	PointerObjectSetTests	,
		TestClonePointerObjectConstraintSet
	)

Definition at line 972 of file PointerObjectSetTests.cpp.

◆ TEST() [5/20]

TEST	(	PointerObjectSetTests	,
		TestClonePointerObjectSet
	)

Definition at line 275 of file PointerObjectSetTests.cpp.

◆ TEST() [6/20]

TEST	(	PointerObjectSetTests	,
		TestCreatePointerObjects
	)

Definition at line 68 of file PointerObjectSetTests.cpp.

◆ TEST() [7/20]

TEST	(	PointerObjectSetTests	,
		TestDrawSubsetGraph
	)

Definition at line 722 of file PointerObjectSetTests.cpp.

◆ TEST() [8/20]

TEST	(	PointerObjectSetTests	,
		TestEscapedFunctionConstraint
	)

Definition at line 453 of file PointerObjectSetTests.cpp.

◆ TEST() [9/20]

TEST	(	PointerObjectSetTests	,
		TestFlagFunctions
	)

Definition at line 21 of file PointerObjectSetTests.cpp.

◆ TEST() [10/20]

TEST	(	PointerObjectSetTests	,
		TestFunctionCallConstraint
	)

Definition at line 610 of file PointerObjectSetTests.cpp.

◆ TEST() [11/20]

TEST	(	PointerObjectSetTests	,
		TestLoadConstraintDirectly
	)

Definition at line 419 of file PointerObjectSetTests.cpp.

◆ TEST() [12/20]

TEST	(	PointerObjectSetTests	,
		TestLoadedAsScalarFlag
	)

Definition at line 550 of file PointerObjectSetTests.cpp.

◆ TEST() [13/20]

TEST	(	PointerObjectSetTests	,
		TestMakePointsToSetSuperset
	)

Definition at line 241 of file PointerObjectSetTests.cpp.

◆ TEST() [14/20]

TEST	(	PointerObjectSetTests	,
		TestPointerObjectConstraintSetSolveNaive
	)

Definition at line 941 of file PointerObjectSetTests.cpp.

◆ TEST() [15/20]

TEST	(	PointerObjectSetTests	,
		TestPointerObjectConstraintSetSolveWorklist
	)

Definition at line 947 of file PointerObjectSetTests.cpp.

◆ TEST() [16/20]

TEST	(	PointerObjectSetTests	,
		TestPointerObjectUnification
	)

Definition at line 141 of file PointerObjectSetTests.cpp.

◆ TEST() [17/20]

TEST	(	PointerObjectSetTests	,
		TestPointerObjectUnificationPointees
	)

Definition at line 174 of file PointerObjectSetTests.cpp.

◆ TEST() [18/20]

TEST	(	PointerObjectSetTests	,
		TestStoreConstraintDirectly
	)

Definition at line 379 of file PointerObjectSetTests.cpp.

◆ TEST() [19/20]

TEST	(	PointerObjectSetTests	,
		TestStoredAsScalarFlag
	)

Definition at line 494 of file PointerObjectSetTests.cpp.

◆ TEST() [20/20]

TEST	(	PointerObjectSetTests	,
		TestSupersetConstraint
	)

Definition at line 322 of file PointerObjectSetTests.cpp.

◆ TestPointerObjectConstraintSetSolve()

template<jlm::llvm::aa::Andersen::Configuration::Solver solver, typename... Args>

static void TestPointerObjectConstraintSetSolve ( Args... args )