Inheritance diagram for LocalAliasAnalysisTest2:

Collaboration diagram for LocalAliasAnalysisTest2:

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

void func(int1_t x, int32_t* ptr) {
  int32_t alloca1
  int64_t alloca2;
  int32_t alloca3[2];
 
  // Using a gamma node
  int32_t* allocaUnknown;
  if (x)
    allocaUnknown = &alloca1;
  else
    allocaUnknown = (int32_t*) &alloca2;
 
  int32_t* allocaUnknownPlus1 = allocaUnknown + 1;
  int32_t* alloca3Plus1 = alloca3 + 1;
 
  // Using a select operation
  int32_t* alloca3UnknownOffset = x ? alloca3 : alloca3Plus1;
 
  // Using a select operation that is actually a nop
  int32_t* alloca3KnownOffset = x ? alloca3Plus1 : alloca3Plus1;
 
  // All alias queries happen here
}