Reaching Definitions Analysis for LocalGraph (#5817)

This change implements a reaching definitions analysis which is intended
to be equivalent to the information provided by LocalGraph, specifically
the Flower class of LocalGraph.

It also introduces a CRTP utility in visitor-transfer-function.h which
implements most commonly found visitor-type transfer function
functionalities. The MonotoneCFGAnalyzer is also modified to add a phase
to collect results after the analysis is solved from the final CFG
states.

1 files changed, 3 insertions, 4 deletions

diff --git a/src/analysis/cfg.h b/src/analysis/cfg.h
index 650a8c6fe..a7f67c041 100644
--- a/src/analysis/cfg.h
+++ b/src/analysis/cfg.h
@@ -45,10 +45,9 @@ struct BasicBlock {
   reverse_iterator rend() const { return insts.rend(); }
 
   // Iterables for predecessor and successor blocks.
-  struct Predecessors;
-  struct Successors;
-  Predecessors preds() const;
-  Successors succs() const;
+  struct BasicBlockIterable;
+  BasicBlockIterable preds() const;
+  BasicBlockIterable succs() const;
 
   void print(std::ostream& os, Module* wasm = nullptr, size_t start = 0) const;