From e125ae76b29b84563892263663e66ff072852c99 Mon Sep 17 00:00:00 2001
From: Alon Zakai <alonzakai@gmail.com>
Date: Tue, 23 Aug 2016 14:38:29 -0700
Subject: don't simplify locals out of loops if they contain branching, as it
 may invalidate the branch

---
 src/ast_utils.h | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'src')

diff --git a/src/ast_utils.h b/src/ast_utils.h
index b81413d78..0bb0a821e 100644
--- a/src/ast_utils.h
+++ b/src/ast_utils.h
@@ -130,6 +130,9 @@ struct EffectAnalyzer : public PostWalker<EffectAnalyzer, Visitor<EffectAnalyzer
 
   bool checkPost(Expression* curr) {
     visit(curr);
+    if (curr->is<Loop>()) {
+      branches = true;
+    }
     return hasAnything();
   }
 
-- 
cgit v1.2.3