DFG one state solver #45
Description
Unfortunately we can't bend fix or ocamlgraph to our needs because
-
fix assumes finite height lattices and does not support widening
-
ocamlgraph hardcodes the flow-sensitive mapping of vertex -> state
-
convert DFG to use expressions (https://github.com/agle/bincaml/blob/main/lib/lang/expr.ml#L457) with variables of type (int, type) with a a contibuous numbering from zero starting with the captures set, (using https://agle.github.io/bincaml/fix/fix/Fix/Numbering/index.html)
-
write a state doman that uses an array or vector rather than map
-
write worklist solver over dfg that stores a single state / treats variables as vertices rather than the graph vertices