llir-opt
0.0.1
Low-Level Post-Link Optimiser for OCaml and C
|
#include <passes/sccp/solver.h>
Public Member Functions | |
SCCPSolver (Prog &prog, const Target *target) | |
Solves constraints for the whole program. | |
Lattice & | GetValue (Ref< Inst > inst) |
Returns a lattice value. | |
bool | IsExecutable (const Block &block) |
Checks if a block is executable. | |
Helper class to compute value for all instructions in the program.