31 enum Lattice :
u8 { Dead, Prop, Keep };
32 enum :
u32 { Varxy, Appxy };
Optimistically performs β-reduction (aka inlining).
Performs η-expansion: f -> λx.f x, if f is a Lam with more than one user and does not appear in calle...
FPPass(PassMan &man, std::string name)
This is a thin wrapper for absl::InlinedVector<T, N, A> which is a drop-in replacement for std::vecto...
const Def * rewrite(const Def *) override
undo_t analyze(const Proxy *) override
CopyProp(PassMan &man, bool bb_only=false)
GIDMap< Lam *, To > LamMap