Inheritance diagram for LocalAliasAnalysisTest1:

Collaboration diagram for LocalAliasAnalysisTest1:

[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. More...

Private Attributes
Outputs	Outputs_ = {}

Detailed Description

This class sets up an RVSDG representing the following code:

char* getPtr();
 
extern int global;
extern short globalShort;
extern int array[10];
 
void func(int** p) {
  int alloca1, alloca2;
 
  // Calculate the same offset in two ways
  int* q = *p + 2;
  int* qPlus2 = *p + 4;
  int* qAgain = qPlus2 - 2;
 
  // Different offsets into storage instances
  int* arr1 = array + 1;
  int* arr2 = array + 2;
  int* arr3 = array + 3;
  int* arrUnknown = array + global;
 
  // Make alloca2 "escape" the function
  *p = &alloca2;
 
  char* bytePtr = getPtr();
  char* bytePtrPlus2 = bytePtr + 2;
 
  // All alias queries happen here
}