mem__checks_8h_source.html

#pragma once


#include "mim/phase.h"


#include "mim/plug/gpu/gpu.h"


namespace mim::plug::gpu::phase {


class MemChecks : public Analysis {

public:

    using Super = Analysis;


    MemChecks(World& world, flags_t annex)

        : Analysis(world, annex) {}


private:

    const Def* rewrite_imm_App(const App*) final;

    void rewrite_external(Def*) final;

};


} // namespace mim::plug::gpu::phase


mim::Analysis::Analysis
Analysis(World &world, std::string name)
Definition phase.h:153

mim::Analysis::world
World & world()
Definition phase.h:77

mim::App
Definition lam.h:224

mim::Def
Base class for all Defs.
Definition def.h:261

mim::Phase::annex
flags_t annex() const
Definition phase.h:81

mim::World
The World represents the whole program and manages creation of MimIR nodes (Defs).
Definition world.h:36

mim::plug::gpu::phase::MemChecks::rewrite_imm_App
const Def * rewrite_imm_App(const App *) final
Definition mem_checks.cpp:41

mim::plug::gpu::phase::MemChecks::Super
Analysis Super
Definition mem_checks.h:11

mim::plug::gpu::phase::MemChecks::MemChecks
MemChecks(World &world, flags_t annex)
Definition mem_checks.h:13

mim::plug::gpu::phase::MemChecks::rewrite_external
void rewrite_external(Def *) final
Definition mem_checks.cpp:56

gpu.h

mim::plug::gpu::phase
Definition mem_checks.h:7

mim::flags_t
u64 flags_t
Definition types.h:39

phase.h