#include <gtest/gtest.h>
#include <jlm/llvm/ir/LambdaMemoryState.hpp>
#include <jlm/llvm/ir/operators/IntegerOperations.hpp>
#include <jlm/llvm/ir/operators/Load.hpp>
#include <jlm/llvm/ir/operators/MemoryStateOperations.hpp>
#include <jlm/llvm/ir/operators/operators.hpp>
#include <jlm/llvm/ir/operators/StdLibIntrinsicOperations.hpp>
#include <jlm/llvm/ir/operators/Store.hpp>
#include <jlm/llvm/opt/alias-analyses/AgnosticModRefSummarizer.hpp>
#include <jlm/llvm/opt/alias-analyses/Andersen.hpp>
#include <jlm/llvm/opt/alias-analyses/EliminatedModRefSummarizer.hpp>
#include <jlm/llvm/opt/alias-analyses/MemoryStateEncoder.hpp>
#include <jlm/llvm/opt/alias-analyses/RegionAwareModRefSummarizer.hpp>
#include <jlm/llvm/TestRvsdgs.hpp>
#include <jlm/rvsdg/view.hpp>

Include dependency graph for MemoryStateEncoderTests.cpp:

Functions
template<class Analysis , class TModRefSummarizer >
static void	encodeStates (jlm::rvsdg::RvsdgModule &rvsdgModule)

template<class OP >
static bool	is (const jlm::rvsdg::Node &node, size_t numInputs, size_t numOutputs)

	TEST (MemoryStateEncoderTests, storeTest1AndersenAgnostic)

	TEST (MemoryStateEncoderTests, storeTest1AndersenRegionAware)

	TEST (MemoryStateEncoderTests, storeTest2AndersenAgnostic)

	TEST (MemoryStateEncoderTests, storeTest2AndersenRegionAware)

	TEST (MemoryStateEncoderTests, loadTest1AndersenAgnostic)

	TEST (MemoryStateEncoderTests, loadTest1AndersenRegionAware)

	TEST (MemoryStateEncoderTests, loadTest2AndersenAgnostic)

	TEST (MemoryStateEncoderTests, loadTest2AndersenRegionAware)

	TEST (MemoryStateEncoderTests, loadFromUndefAndersenAgnostic)

	TEST (MemoryStateEncoderTests, loadFromUndefAndersenRegionAware)

	TEST (MemoryStateEncoderTests, callTest1AndersenAgnostic)

	TEST (MemoryStateEncoderTests, callTest1AndersenRegionAware)

	TEST (MemoryStateEncoderTests, callTest2AndersenAgnostic)

	TEST (MemoryStateEncoderTests, callTest2AndersenRegionAware)

	TEST (MemoryStateEncoderTests, indirectCallTest1AndersenAgnostic)

	TEST (MemoryStateEncoderTests, indirectCallTest1AndersenRegionAware)

	TEST (MemoryStateEncoderTests, indirectCallTest2AndersenAgnostic)

	TEST (MemoryStateEncoderTests, indirectCallTest2AndersenRegionAware)

	TEST (MemoryStateEncoderTests, gammaTestAndersenAgnostic)

	TEST (MemoryStateEncoderTests, gammaTestAndersenRegionAware)

	TEST (MemoryStateEncoderTests, thetaTestAndersenAgnostic)

	TEST (MemoryStateEncoderTests, thetaTestAndersenRegionAware)

	TEST (MemoryStateEncoderTests, deltaTest1AndersenAgnostic)

	TEST (MemoryStateEncoderTests, deltaTest1AndersenRegionAware)

	TEST (MemoryStateEncoderTests, deltaTest2AndersenAgnostic)

	TEST (MemoryStateEncoderTests, deltaTest2AndersenRegionAware)

	TEST (MemoryStateEncoderTests, deltaTest3AndersenAgnostic)

	TEST (MemoryStateEncoderTests, deltaTest3AndersenRegionAware)

	TEST (MemoryStateEncoderTests, importTestAndersenAgnostic)

	TEST (MemoryStateEncoderTests, importTestAndersenRegionAware)

	TEST (MemoryStateEncoderTests, phiTest1AndersenAgnostic)

	TEST (MemoryStateEncoderTests, phiTest1AndersenRegionAware)

	TEST (MemoryStateEncoderTests, memCpyTestAndersenAgnostic)

	TEST (MemoryStateEncoderTests, memCpyAndersenRegionAware)

	TEST (MemoryStateEncoderTests, freeNullTestAndersenAgnostic)

	TEST (MemoryStateEncoderTests, LambdaMemoryStateArgumentMultipleUsers)

Function Documentation

◆ encodeStates()

template<class Analysis , class TModRefSummarizer >

static void encodeStates ( jlm::rvsdg::RvsdgModule & rvsdgModule )

static

Definition at line 25 of file MemoryStateEncoderTests.cpp.

◆ is()

template<class OP >

static bool is	(	const jlm::rvsdg::Node &	node,
		size_t	numInputs,
		size_t	numOutputs
	)

static

Definition at line 55 of file MemoryStateEncoderTests.cpp.

◆ TEST() [1/36]

TEST	(	MemoryStateEncoderTests	,
		callTest1AndersenAgnostic
	)

Definition at line 390 of file MemoryStateEncoderTests.cpp.

◆ TEST() [2/36]

TEST	(	MemoryStateEncoderTests	,
		callTest1AndersenRegionAware
	)

Definition at line 465 of file MemoryStateEncoderTests.cpp.

◆ TEST() [3/36]

TEST	(	MemoryStateEncoderTests	,
		callTest2AndersenAgnostic
	)

Definition at line 535 of file MemoryStateEncoderTests.cpp.

◆ TEST() [4/36]

TEST	(	MemoryStateEncoderTests	,
		callTest2AndersenRegionAware
	)

Definition at line 573 of file MemoryStateEncoderTests.cpp.

◆ TEST() [5/36]

TEST	(	MemoryStateEncoderTests	,
		deltaTest1AndersenAgnostic
	)

Definition at line 977 of file MemoryStateEncoderTests.cpp.

◆ TEST() [6/36]

TEST	(	MemoryStateEncoderTests	,
		deltaTest1AndersenRegionAware
	)

Definition at line 1005 of file MemoryStateEncoderTests.cpp.

◆ TEST() [7/36]

TEST	(	MemoryStateEncoderTests	,
		deltaTest2AndersenAgnostic
	)

Definition at line 1033 of file MemoryStateEncoderTests.cpp.

◆ TEST() [8/36]

TEST	(	MemoryStateEncoderTests	,
		deltaTest2AndersenRegionAware
	)

Definition at line 1068 of file MemoryStateEncoderTests.cpp.

◆ TEST() [9/36]

TEST	(	MemoryStateEncoderTests	,
		deltaTest3AndersenAgnostic
	)

Definition at line 1132 of file MemoryStateEncoderTests.cpp.

◆ TEST() [10/36]

TEST	(	MemoryStateEncoderTests	,
		deltaTest3AndersenRegionAware
	)

Definition at line 1180 of file MemoryStateEncoderTests.cpp.

◆ TEST() [11/36]

TEST	(	MemoryStateEncoderTests	,
		freeNullTestAndersenAgnostic
	)

Definition at line 1505 of file MemoryStateEncoderTests.cpp.

◆ TEST() [12/36]

TEST	(	MemoryStateEncoderTests	,
		gammaTestAndersenAgnostic
	)

Definition at line 878 of file MemoryStateEncoderTests.cpp.

◆ TEST() [13/36]

TEST	(	MemoryStateEncoderTests	,
		gammaTestAndersenRegionAware
	)

Definition at line 900 of file MemoryStateEncoderTests.cpp.

◆ TEST() [14/36]

TEST	(	MemoryStateEncoderTests	,
		importTestAndersenAgnostic
	)

Definition at line 1228 of file MemoryStateEncoderTests.cpp.

◆ TEST() [15/36]

TEST	(	MemoryStateEncoderTests	,
		importTestAndersenRegionAware
	)

Definition at line 1263 of file MemoryStateEncoderTests.cpp.

◆ TEST() [16/36]

TEST	(	MemoryStateEncoderTests	,
		indirectCallTest1AndersenAgnostic
	)

Definition at line 612 of file MemoryStateEncoderTests.cpp.

◆ TEST() [17/36]

TEST	(	MemoryStateEncoderTests	,
		indirectCallTest1AndersenRegionAware
	)

Definition at line 676 of file MemoryStateEncoderTests.cpp.

◆ TEST() [18/36]

TEST	(	MemoryStateEncoderTests	,
		indirectCallTest2AndersenAgnostic
	)

Definition at line 725 of file MemoryStateEncoderTests.cpp.

◆ TEST() [19/36]

TEST	(	MemoryStateEncoderTests	,
		indirectCallTest2AndersenRegionAware
	)

Definition at line 780 of file MemoryStateEncoderTests.cpp.

◆ TEST() [20/36]

TEST	(	MemoryStateEncoderTests	,
		LambdaMemoryStateArgumentMultipleUsers
	)

Definition at line 1526 of file MemoryStateEncoderTests.cpp.

◆ TEST() [21/36]

TEST	(	MemoryStateEncoderTests	,
		loadFromUndefAndersenAgnostic
	)

Definition at line 351 of file MemoryStateEncoderTests.cpp.

◆ TEST() [22/36]

TEST	(	MemoryStateEncoderTests	,
		loadFromUndefAndersenRegionAware
	)

Definition at line 372 of file MemoryStateEncoderTests.cpp.

◆ TEST() [23/36]

TEST	(	MemoryStateEncoderTests	,
		loadTest1AndersenAgnostic
	)

Definition at line 203 of file MemoryStateEncoderTests.cpp.

◆ TEST() [24/36]

TEST	(	MemoryStateEncoderTests	,
		loadTest1AndersenRegionAware
	)

Definition at line 234 of file MemoryStateEncoderTests.cpp.

◆ TEST() [25/36]

TEST	(	MemoryStateEncoderTests	,
		loadTest2AndersenAgnostic
	)

Definition at line 265 of file MemoryStateEncoderTests.cpp.

◆ TEST() [26/36]

TEST	(	MemoryStateEncoderTests	,
		loadTest2AndersenRegionAware
	)

Definition at line 337 of file MemoryStateEncoderTests.cpp.

◆ TEST() [27/36]

TEST	(	MemoryStateEncoderTests	,
		memCpyAndersenRegionAware
	)

Definition at line 1445 of file MemoryStateEncoderTests.cpp.

◆ TEST() [28/36]

TEST	(	MemoryStateEncoderTests	,
		memCpyTestAndersenAgnostic
	)

Definition at line 1383 of file MemoryStateEncoderTests.cpp.

◆ TEST() [29/36]

TEST	(	MemoryStateEncoderTests	,
		phiTest1AndersenAgnostic
	)

Definition at line 1327 of file MemoryStateEncoderTests.cpp.

◆ TEST() [30/36]

TEST	(	MemoryStateEncoderTests	,
		phiTest1AndersenRegionAware
	)

Definition at line 1362 of file MemoryStateEncoderTests.cpp.

◆ TEST() [31/36]

TEST	(	MemoryStateEncoderTests	,
		storeTest1AndersenAgnostic
	)

Definition at line 60 of file MemoryStateEncoderTests.cpp.

◆ TEST() [32/36]

TEST	(	MemoryStateEncoderTests	,
		storeTest1AndersenRegionAware
	)

Definition at line 108 of file MemoryStateEncoderTests.cpp.

◆ TEST() [33/36]

TEST	(	MemoryStateEncoderTests	,
		storeTest2AndersenAgnostic
	)

Definition at line 122 of file MemoryStateEncoderTests.cpp.

◆ TEST() [34/36]

TEST	(	MemoryStateEncoderTests	,
		storeTest2AndersenRegionAware
	)

Definition at line 189 of file MemoryStateEncoderTests.cpp.

◆ TEST() [35/36]

TEST	(	MemoryStateEncoderTests	,
		thetaTestAndersenAgnostic
	)

Definition at line 923 of file MemoryStateEncoderTests.cpp.

◆ TEST() [36/36]

TEST	(	MemoryStateEncoderTests	,
		thetaTestAndersenRegionAware
	)

Definition at line 950 of file MemoryStateEncoderTests.cpp.

Functions