diff options
Diffstat (limited to 'src/passes/ReReloop.cpp')
| -rw-r--r-- | src/passes/ReReloop.cpp | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/passes/ReReloop.cpp b/src/passes/ReReloop.cpp index aae0ea262..760bab2b5 100644 --- a/src/passes/ReReloop.cpp +++ b/src/passes/ReReloop.cpp @@ -28,6 +28,7 @@ #include "wasm-traversal.h" #include "pass.h" #include "cfg/Relooper.h" +#include "ir/flat.h" #include "ir/utils.h" #ifdef RERELOOP_DEBUG @@ -297,6 +298,8 @@ struct ReReloop final : public Pass { } void runOnFunction(PassRunner* runner, Module* module, Function* function) override { + Flat::verifyFlatness(function); + // since control flow is flattened, this is pretty simple // first, traverse the function body. note how we don't need to traverse // into expressions, as we know they contain no control flow |