Ref rewrite(Ref) override
An optimizer that combines several optimizations in an optimal way.
Inherit from this class using CRTP, if your Pass does not need state and a fixed-point iteration.
Helper class to retrieve Infer::arg if present.
DefMap< const Def * > Def2Def