std::string_view name() const
RWPhase(World &world, std::string name, Analysis *analysis=nullptr)
World & world()=delete
Hides both and forbids direct access.
The World represents the whole program and manages creation of MimIR nodes (Defs).
void start() final
Actual entry.
bool analyze() final
Runs the optional pre-analysis on RWPhase::old_world(), typically to a fixed point,...
SplitOffKernels(World &world, flags_t annex)
SplitOffKernels(World &world, std::string name)
const Def * rewrite_mut_Lam(Lam *) final
GIDSet< const Def * > DefSet