#include <mim/plug/gpu/phase/mem_checks.h>

Inheritance diagram for mim::plug::gpu::phase::MemChecks:

Public Types
using	Super = Analysis

Public Member Functions
	MemChecks (World &world, flags_t annex)
Public Member Functions inherited from mim::Analysis
	Analysis (World &world, std::string name)
	Analysis (World &world, flags_t annex)
virtual void	reset ()
	Clears the rewriter map and resets Phase::todo() for the next fixed-point iteration.
bool	is_bootstrapping () const
	< Disambiguates the Phase/Rewriter double base; for an Analysis both denote the same World.
World &	world ()
bool	is_sparse () const
	Does the current round only re-drain last round's dirty mutables?
void	make_dense ()
	Forces whole-World rounds unconditionally.
size_t	version () const
	Bumped on every observable lattice change; snapshot it around a code region to detect changes.
const auto &	lattice () const
	The whole map; used e.g. to diff two fixed-point runs.
const Def *	lattice (const Def *def) const
bool	is_top (const Def *def) const
Public Member Functions inherited from mim::Phase
	Phase (World &world, std::string name)
	Phase (World &world, flags_t annex)
virtual	~Phase ()=default
virtual std::unique_ptr< Phase >	recreate ()
	Creates a new instance; needed by a fixed-point PhaseMan.
virtual void	apply (const App *)
	Invoked if your Phase has additional args.
virtual void	apply (Phase &)
	Dito, but invoked by Phase::recreate.
virtual bool	redirects () const
	If true, Phase::create uses take_resolved().
virtual std::unique_ptr< Phase >	take_resolved ()
	The Phase to use instead; nullptr means elide.
World &	world ()
Driver &	driver ()
Log &	log () const
std::string_view	name () const
flags_t	annex () const
const Vector< std::string > &	args ()
	Command-line arguments passed to this Phase's plugin via -X <plugin>:<arg>.
bool	todo () const
void	invalidate (bool todo=true)
	Signals that another round of fixed-point iteration is required, either as part of.
virtual void	run ()
	Entry point and generates some debug output; invokes Phase::start.
void	profile_count (std::string_view key, uint64_t n=1)
	Adds `n` to the custom Profiler counter `key` of the current run; no-op unless profiling is enabled.
Public Member Functions inherited from mim::Rewriter
template<class D = Def>
D *	curr_mut () const
	Rewriter (std::unique_ptr< World > &&ptr)
	Rewriter (World &world)
virtual	~Rewriter ()
void	reset (std::unique_ptr< World > &&ptr)
void	reset ()
World &	world ()
virtual void	push ()
virtual void	pop ()
virtual const Def *	map (const Def old_def, const Def new_def)
const Def *	map (const Def *old_def, Defs new_defs)
const Def *	map (Defs old_defs, const Def *new_def)
const Def *	map (Defs old_defs, Defs new_defs)
virtual const Def *	lookup (const Def *old_def)
	Lookup old_def by searching in reverse through the stack of maps.
virtual const Def *	rewrite (const Def *)
virtual const Def *	rewrite_imm (const Def *)
virtual const Def *	rewrite_stub (Def , Def )
virtual DefVec	rewrite (Defs)
virtual const Def *	rewrite_imm_Seq (const Seq *seq)
virtual const Def *	rewrite_mut_Seq (Seq *seq)

Private Member Functions
const Def *	rewrite_imm_App (const App *) final
void	rewrite_external (Def *) final

Additional Inherited Members
Static Public Member Functions inherited from mim::Phase
static std::unique_ptr< Phase >	create (const Flags2Phases &phases, const Def *def)
template<class A, class P>
static void	hook (Flags2Phases &phases)
template<class P, class... Args>
static void	run (Args &&... args)
	Runs a single Phase.
Protected Member Functions inherited from mim::Analysis
virtual void	prepare ()
	Run before the main analysis.
virtual void	finalize ()
	Run after the main analysis - only in full rounds, so it always sees the complete abstract World.
void	start () override
	Actual entry.
virtual void	rewrite_annex (flags_t, Sym, const Def *)
const Def *	rewrite_imm_Proxy (const Proxy *proxy) override
	By default: ignore Proxys.
Def *	rewrite_mut (Def *) override
	Schedules `mut` for a breadth-first visit of its dependencies and records mut -> mut.
bool	lattice_force (const Def concr, const Def abstr)
	Non-monotone write of concr ↦ abstr into lattice() and map().
bool	lattice (const Def concr, const Def abstr)
	Writes concr ↦ abstr into lattice() and map().
bool	pin (const Def *def)
	Monotonically forces `def` to ⊤ (keep as is).
void	taint (Def *mut)
	Additionally schedules `mut` for the next sparse round.
Protected Member Functions inherited from mim::Rewriter
auto	enter (Def *new_mut)
	Updates curr_mut() to `new_mut` and restores it at the end of the scope.
Protected Attributes inherited from mim::Phase
std::string	name_
Protected Attributes inherited from mim::Rewriter
std::deque< Def2Def >	old2news_

Detailed Description

Definition at line 9 of file mem_checks.h.

Member Typedef Documentation

◆ Super

using mim::plug::gpu::phase::MemChecks::Super = Analysis

Definition at line 11 of file mem_checks.h.

Constructor & Destructor Documentation

◆ MemChecks()

mim::plug::gpu::phase::MemChecks::MemChecks	(	World &	world,
		flags_t	annex )

inline

Definition at line 13 of file mem_checks.h.

References mim::Analysis::Analysis(), mim::Phase::annex(), and mim::Analysis::world().

Member Function Documentation

◆ rewrite_external()

void mim::plug::gpu::phase::MemChecks::rewrite_external ( Def * def )

finalprivatevirtual

Reimplemented from mim::Analysis.

Definition at line 56 of file mem_checks.cpp.

References mim::Lit::as(), and mim::Analysis::rewrite_external().

◆ rewrite_imm_App()

const Def * mim::plug::gpu::phase::MemChecks::rewrite_imm_App ( const App * app )

finalprivate

Definition at line 41 of file mem_checks.cpp.

References mim::Axm::isa().

The documentation for this class was generated from the following files:

include/mim/plug/gpu/phase/mem_checks.h
src/mim/plug/gpu/phase/mem_checks.cpp

Public Types

Public Member Functions

Private Member Functions

Additional Inherited Members