wasm support part 1: nesting loop and if-else control flow structures (…

…#54)

* display dominate info in control flow graph doc

* fix loop entries may not in content when handling irreduceable cfg

* A buggy implementation of branch nesting

* fold if else

* fix rust toolchain version

crates/control-flow-graph-wasm/src/lib.rs

@@ -75,7 +75,7 @@ impl DominatorRelation {
             self.dominates_calculate(it, visited);
         }
     }
-    pub fn dorminates(&self, node: u32) -> Vec<u32> {
+    pub fn dominates(&self, node: u32) -> Vec<u32> {
         let mut visited = Vec::new();
         self.dominates_calculate(node, &mut visited);
         visited

doc/content/tools/graph_editor.md

@@ -162,9 +162,9 @@ function onNodeMouseEnter(node, event) {
         let hoveringNodeId = parseInt(hoveringNode.getAttribute("id").slice("node-".length));
         let dorminatorInfo = model.dominator_relation();
         if (dorminatorInfo) {
-            let dorminates = dorminatorInfo.dorminates(hoveringNodeId);
+            let dominates = dorminatorInfo.dominates(hoveringNodeId);
             let dominance_frontiers = dorminatorInfo.dominance_frontiers(model, hoveringNodeId);
-            for (let dorminate of dorminates) {
+            for (let dorminate of dominates) {
                 let idText = `node-${dorminate}`;
                 let node = document.getElementById(idText);
                 node.childNodes[0].setAttribute("stroke", "none");
@@ -180,9 +180,9 @@ function onNodeMouseEnter(node, event) {
     let hoveringNodeId = parseInt(hoveringNode.getAttribute("id").slice("node-".length));
     let dorminatorInfo = model.dominator_relation();
     if (dorminatorInfo) {
-        let dorminates = dorminatorInfo.dorminates(hoveringNodeId);
+        let dominates = dorminatorInfo.dominates(hoveringNodeId);
         let dominance_frontiers = dorminatorInfo.dominance_frontiers(model, hoveringNodeId);
-        for (let dorminate of dorminates) {
+        for (let dorminate of dominates) {
             let idText = `node-${dorminate}`;
             let node = document.getElementById(idText);
             node.childNodes[0].setAttribute("stroke", "#00FF33");
@@ -199,9 +199,9 @@ function onNodeMouseLeave(node, event) {
     let hoveringNodeId = parseInt(hoveringNode.getAttribute("id").slice("node-".length));
     let dorminatorInfo = model.dominator_relation();
     if (dorminatorInfo) {
-        let dorminates = dorminatorInfo.dorminates(hoveringNodeId);
+        let dominates = dorminatorInfo.dominates(hoveringNodeId);
         let dominance_frontiers = dorminatorInfo.dominance_frontiers(model, hoveringNodeId);
-        for (let dorminate of dorminates) {
+        for (let dorminate of dominates) {
             let idText = `node-${dorminate}`;
             let node = document.getElementById(idText);
             node.childNodes[0].setAttribute("stroke", "none");

rust-toolchain.toml

@@ -1,2 +1,2 @@
 [toolchain]
-channel = "nightly"
+channel = "nightly-2023-06-15"

src/backend/mod.rs

@@ -1,2 +1,4 @@
 /// RISC-V backend.
 pub mod riscv;
+
+pub mod wasm;