#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/opt/DeadNodeElimination.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 26 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 56 of file MemoryStateEncoderTests.cpp.

◆ TEST() [1/36]

TEST	(	MemoryStateEncoderTests	,
		callTest1AndersenAgnostic
	)

Definition at line 391 of file MemoryStateEncoderTests.cpp.

◆ TEST() [2/36]

TEST	(	MemoryStateEncoderTests	,
		callTest1AndersenRegionAware
	)

Definition at line 466 of file MemoryStateEncoderTests.cpp.

◆ TEST() [3/36]

TEST	(	MemoryStateEncoderTests	,
		callTest2AndersenAgnostic
	)

Definition at line 536 of file MemoryStateEncoderTests.cpp.

◆ TEST() [4/36]

TEST	(	MemoryStateEncoderTests	,
		callTest2AndersenRegionAware
	)

Definition at line 574 of file MemoryStateEncoderTests.cpp.

◆ TEST() [5/36]

TEST	(	MemoryStateEncoderTests	,
		deltaTest1AndersenAgnostic
	)

Definition at line 989 of file MemoryStateEncoderTests.cpp.

◆ TEST() [6/36]

TEST	(	MemoryStateEncoderTests	,
		deltaTest1AndersenRegionAware
	)

Definition at line 1017 of file MemoryStateEncoderTests.cpp.

◆ TEST() [7/36]

TEST	(	MemoryStateEncoderTests	,
		deltaTest2AndersenAgnostic
	)

Definition at line 1045 of file MemoryStateEncoderTests.cpp.

◆ TEST() [8/36]

TEST	(	MemoryStateEncoderTests	,
		deltaTest2AndersenRegionAware
	)

Definition at line 1080 of file MemoryStateEncoderTests.cpp.

◆ TEST() [9/36]

TEST	(	MemoryStateEncoderTests	,
		deltaTest3AndersenAgnostic
	)

Definition at line 1144 of file MemoryStateEncoderTests.cpp.

◆ TEST() [10/36]

TEST	(	MemoryStateEncoderTests	,
		deltaTest3AndersenRegionAware
	)

Definition at line 1192 of file MemoryStateEncoderTests.cpp.

◆ TEST() [11/36]

TEST	(	MemoryStateEncoderTests	,
		freeNullTestAndersenAgnostic
	)

Definition at line 1516 of file MemoryStateEncoderTests.cpp.

◆ TEST() [12/36]

TEST	(	MemoryStateEncoderTests	,
		gammaTestAndersenAgnostic
	)

Definition at line 880 of file MemoryStateEncoderTests.cpp.

◆ TEST() [13/36]

TEST	(	MemoryStateEncoderTests	,
		gammaTestAndersenRegionAware
	)

Definition at line 902 of file MemoryStateEncoderTests.cpp.

◆ TEST() [14/36]

TEST	(	MemoryStateEncoderTests	,
		importTestAndersenAgnostic
	)

Definition at line 1239 of file MemoryStateEncoderTests.cpp.

◆ TEST() [15/36]

TEST	(	MemoryStateEncoderTests	,
		importTestAndersenRegionAware
	)

Definition at line 1274 of file MemoryStateEncoderTests.cpp.

◆ TEST() [16/36]

TEST	(	MemoryStateEncoderTests	,
		indirectCallTest1AndersenAgnostic
	)

Definition at line 613 of file MemoryStateEncoderTests.cpp.

◆ TEST() [17/36]

TEST	(	MemoryStateEncoderTests	,
		indirectCallTest1AndersenRegionAware
	)

Definition at line 677 of file MemoryStateEncoderTests.cpp.

◆ TEST() [18/36]

TEST	(	MemoryStateEncoderTests	,
		indirectCallTest2AndersenAgnostic
	)

Definition at line 726 of file MemoryStateEncoderTests.cpp.

◆ TEST() [19/36]

TEST	(	MemoryStateEncoderTests	,
		indirectCallTest2AndersenRegionAware
	)

Definition at line 781 of file MemoryStateEncoderTests.cpp.

◆ TEST() [20/36]

TEST	(	MemoryStateEncoderTests	,
		LambdaMemoryStateArgumentMultipleUsers
	)

Definition at line 1537 of file MemoryStateEncoderTests.cpp.

◆ TEST() [21/36]

TEST	(	MemoryStateEncoderTests	,
		loadFromUndefAndersenAgnostic
	)

Definition at line 352 of file MemoryStateEncoderTests.cpp.

◆ TEST() [22/36]

TEST	(	MemoryStateEncoderTests	,
		loadFromUndefAndersenRegionAware
	)

Definition at line 373 of file MemoryStateEncoderTests.cpp.

◆ TEST() [23/36]

TEST	(	MemoryStateEncoderTests	,
		loadTest1AndersenAgnostic
	)

Definition at line 204 of file MemoryStateEncoderTests.cpp.

◆ TEST() [24/36]

TEST	(	MemoryStateEncoderTests	,
		loadTest1AndersenRegionAware
	)

Definition at line 235 of file MemoryStateEncoderTests.cpp.

◆ TEST() [25/36]

TEST	(	MemoryStateEncoderTests	,
		loadTest2AndersenAgnostic
	)

Definition at line 266 of file MemoryStateEncoderTests.cpp.

◆ TEST() [26/36]

TEST	(	MemoryStateEncoderTests	,
		loadTest2AndersenRegionAware
	)

Definition at line 338 of file MemoryStateEncoderTests.cpp.

◆ TEST() [27/36]

TEST	(	MemoryStateEncoderTests	,
		memCpyAndersenRegionAware
	)

Definition at line 1456 of file MemoryStateEncoderTests.cpp.

◆ TEST() [28/36]

TEST	(	MemoryStateEncoderTests	,
		memCpyTestAndersenAgnostic
	)

Definition at line 1394 of file MemoryStateEncoderTests.cpp.

◆ TEST() [29/36]

TEST	(	MemoryStateEncoderTests	,
		phiTest1AndersenAgnostic
	)

Definition at line 1338 of file MemoryStateEncoderTests.cpp.

◆ TEST() [30/36]

TEST	(	MemoryStateEncoderTests	,
		phiTest1AndersenRegionAware
	)

Definition at line 1373 of file MemoryStateEncoderTests.cpp.

◆ TEST() [31/36]

TEST	(	MemoryStateEncoderTests	,
		storeTest1AndersenAgnostic
	)

Definition at line 61 of file MemoryStateEncoderTests.cpp.

◆ TEST() [32/36]

TEST	(	MemoryStateEncoderTests	,
		storeTest1AndersenRegionAware
	)

Definition at line 109 of file MemoryStateEncoderTests.cpp.

◆ TEST() [33/36]

TEST	(	MemoryStateEncoderTests	,
		storeTest2AndersenAgnostic
	)

Definition at line 123 of file MemoryStateEncoderTests.cpp.

◆ TEST() [34/36]

TEST	(	MemoryStateEncoderTests	,
		storeTest2AndersenRegionAware
	)

Definition at line 190 of file MemoryStateEncoderTests.cpp.

◆ TEST() [35/36]

TEST	(	MemoryStateEncoderTests	,
		thetaTestAndersenAgnostic
	)

Definition at line 925 of file MemoryStateEncoderTests.cpp.

◆ TEST() [36/36]

TEST	(	MemoryStateEncoderTests	,
		thetaTestAndersenRegionAware
	)

Definition at line 957 of file MemoryStateEncoderTests.cpp.

Functions