llir-opt
0.0.1
Low-Level Post-Link Optimiser for OCaml and C
|
Public Member Functions | |
GlobalReducer (std::unique_ptr< Prog > &&prog, const char *name) | |
std::unique_ptr< Prog > | Run (const Timeout &timeout) |
virtual std::set< std::string_view > | Enumerate (const Prog &prog)=0 |
Enumerate all reduction candidates. | |
virtual void | Reduce (Prog &prog, std::set< std::string_view > Deleted)=0 |
Delete the symbols. | |