From 324238cc44e51c65637d29a938c435248d384154 Mon Sep 17 00:00:00 2001
From: Alon Zakai <alonzakai@gmail.com>
Date: Tue, 16 Apr 2019 10:00:19 -0700
Subject: Verify flat IR where it is expected, and give a nice error (#2009)

Fixes #2007 #2008
---
 src/passes/DataFlowOpts.cpp | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/passes/DataFlowOpts.cpp')

diff --git a/src/passes/DataFlowOpts.cpp b/src/passes/DataFlowOpts.cpp
index 702b3e7f4..42f01673f 100644
--- a/src/passes/DataFlowOpts.cpp
+++ b/src/passes/DataFlowOpts.cpp
@@ -27,6 +27,7 @@
 #include "wasm.h"
 #include "pass.h"
 #include "wasm-builder.h"
+#include "ir/flat.h"
 #include "ir/utils.h"
 #include "dataflow/node.h"
 #include "dataflow/graph.h"
@@ -48,6 +49,7 @@ struct DataFlowOpts : public WalkerPass<PostWalker<DataFlowOpts>> {
   DataFlow::Graph graph;
 
   void doWalkFunction(Function* func) {
+    Flat::verifyFlatness(func);
     // Build the data-flow IR.
     graph.build(func, getModule());
     nodeUsers.build(graph);
-- 
cgit v1.2.3