A MemorySSAWalker that does AA walks to disambiguate accesses. More...

Inheritance diagram for llvm::MemorySSA::CachingWalker:

Collaboration diagram for llvm::MemorySSA::CachingWalker:

Public Member Functions
	CachingWalker (MemorySSA M, ClobberWalkerBase W)

	~CachingWalker () override=default

MemoryAccess *	getClobberingMemoryAccess (MemoryAccess *MA) override
	Does the same thing as getClobberingMemoryAccess(const Instruction *I), but takes a MemoryAccess instead of an Instruction. More...

MemoryAccess *	getClobberingMemoryAccess (MemoryAccess *MA, const MemoryLocation &Loc) override
	Given a potentially clobbering memory access and a new location, calling this will give you the nearest dominating clobbering MemoryAccess (by skipping non-aliasing def links). More...

void	invalidateInfo (MemoryAccess *MA) override
	Given a memory access, invalidate anything this walker knows about that access. More...

void	verify (const MemorySSA *MSSA) override

Public Member Functions inherited from llvm::MemorySSAWalker
	MemorySSAWalker (MemorySSA *)

virtual	~MemorySSAWalker ()=default

MemoryAccess *	getClobberingMemoryAccess (const Instruction *I)
	Given a memory Mod/Ref/ModRef'ing instruction, calling this will give you the nearest dominating MemoryAccess that Mod's the location the instruction accesses (by skipping any def which AA can prove does not alias the location(s) accessed by the instruction given). More...

Additional Inherited Members
Public Types inherited from llvm::MemorySSAWalker
using	MemoryAccessSet = SmallVector< MemoryAccess *, 8 >

Protected Attributes inherited from llvm::MemorySSAWalker
MemorySSA *	MSSA

Detailed Description

A MemorySSAWalker that does AA walks to disambiguate accesses.

It no longer does caching on its own, but the name has been retained for the moment.

Definition at line 973 of file MemorySSA.cpp.

Constructor & Destructor Documentation

◆ CachingWalker()

llvm::MemorySSA::CachingWalker::CachingWalker	(	MemorySSA *	M,
		ClobberWalkerBase *	W
	)

inline

Definition at line 977 of file MemorySSA.cpp.

References llvm::MemorySSAWalker::getClobberingMemoryAccess().

◆ ~CachingWalker()

llvm::MemorySSA::CachingWalker::~CachingWalker ( )

overridedefault

Member Function Documentation

◆ getClobberingMemoryAccess() [1/2]

MemoryAccess * MemorySSA::CachingWalker::getClobberingMemoryAccess ( MemoryAccess * )

overridevirtual

Does the same thing as getClobberingMemoryAccess(const Instruction *I), but takes a MemoryAccess instead of an Instruction.

Implements llvm::MemorySSAWalker.

Definition at line 2328 of file MemorySSA.cpp.

◆ getClobberingMemoryAccess() [2/2]

MemoryAccess * MemorySSA::CachingWalker::getClobberingMemoryAccess	(	MemoryAccess *	,
		const MemoryLocation &
	)

overridevirtual

Given a potentially clobbering memory access and a new location, calling this will give you the nearest dominating clobbering MemoryAccess (by skipping non-aliasing def links).

This version of the function is mainly used to disambiguate phi translated pointers, where the value of a pointer may have changed from the initial memory access. Note that this expects to be handed either a MemoryUse, or an already potentially clobbering access. Unlike the above API, if given a MemoryDef that clobbers the pointer as the starting access, it will return that MemoryDef, whereas the above would return the clobber starting from the use side of the memory def.

Implements llvm::MemorySSAWalker.

Definition at line 2333 of file MemorySSA.cpp.

◆ invalidateInfo()

void llvm::MemorySSA::CachingWalker::invalidateInfo ( MemoryAccess * )

inlineoverridevirtual

Given a memory access, invalidate anything this walker knows about that access.

This API is used by walkers that store information to perform basic cache invalidation. This will be called by MemorySSA at appropriate times for the walker it uses or returns.

Reimplemented from llvm::MemorySSAWalker.

Definition at line 987 of file MemorySSA.cpp.