30 bool should_expand(
Lam* lam);
31 Lam* make_scalar(
const Def* def);
Performs η-expansion: f -> λx.f x, if f is a Lam with more than one user and does not appear in calle...
An optimizer that combines several optimizations in an optimal way.
RWPass(World &world, std::string name)
void init(PassMan *) final
Scalarize(World &world, flags_t annex)
const Def * rewrite(const Def *) override
The World represents the whole program and manages creation of MimIR nodes (Defs).