Inheritance diagram for PtGAliasAnalysisTest:

Collaboration diagram for PtGAliasAnalysisTest:

[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:

int* global = nullptr;
static int* local = nullptr;
extern int* imported;
 
int* getPtr();
 
void func(int** p) {
  int alloca1, alloca2, alloca3, alloca4;
 
  int* q = *p;
  *p = &alloca1;
 
  // Load global values into virtual registers
  int* globalLoad = global;
  int* localLoad = local;
  int* importedLoad = imported;
 
  // Store to global values
  global = &alloca2;
  local = &alloca3;
  imported = &alloca4;
 
  int* r = getPtr();
 
  // All alias queries happen here
}