Inheritance diagram for LocalAliasAnalysisArgumentAllocaTest:

Collaboration diagram for LocalAliasAnalysisArgumentAllocaTest:

[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 opaque(int* p);
 
int func(int* arg) {
    int local;
    opaque(&local); // alloca escapes here
 
    // store to local and load from arg should be NoAlias,
    // even though local has escaped the function
    local = 20;
    return *arg;
}