Inheritance diagram for LocalAliasAnalysisLoopVariantPointersTest:

Collaboration diagram for LocalAliasAnalysisLoopVariantPointersTest:

[legend]

Classes
struct	Outputs

Public Member Functions
const Outputs &	GetOutputs () const noexcept

Public Member Functions inherited from jlm::llvm::RvsdgTest
virtual	~RvsdgTest ()=default

jlm::llvm::LlvmRvsdgModule &	module ()

const rvsdg::Graph &	graph ()

void	InitializeTest ()

Private Member Functions
std::unique_ptr< jlm::llvm::LlvmRvsdgModule >	SetupRvsdg () override
	Create RVSDG for this test.

Private Attributes
Outputs	Outputs_ = {}

Detailed Description

Creates an RVSDG corresponding to the C code:

int globalArray[101];
 
int func(int* unknown) {
    int array[101];
    int i = 0;
    int* p = &array;
    int* q = &globalArray;
 
    do {
        *p = i;
        *q = i;
        p++;
        q++;
        i++;
    } while(i < 100);
    return *p + *q;
}