From d0ba62047ed64a7169ec4565020adaff7b2649ed Mon Sep 17 00:00:00 2001
From: Alon Zakai <alonzakai@gmail.com>
Date: Mon, 28 Nov 2016 15:02:21 -0800
Subject: increase limit in RelooperJumpThreading (#847)

---
 src/passes/RelooperJumpThreading.cpp | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

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

diff --git a/src/passes/RelooperJumpThreading.cpp b/src/passes/RelooperJumpThreading.cpp
index bd257c568..e382bdec1 100644
--- a/src/passes/RelooperJumpThreading.cpp
+++ b/src/passes/RelooperJumpThreading.cpp
@@ -29,7 +29,7 @@ static Name LABEL("label");
 
 // We need to use new label names, which we cannot create in parallel, so pre-create them
 
-const Index MAX_NAME_INDEX = 1000;
+const Index MAX_NAME_INDEX = 10000;
 
 std::vector<Name>* innerNames = nullptr;
 std::vector<Name>* outerNames = nullptr;
@@ -41,8 +41,8 @@ struct NameEnsurer {
     innerNames = new std::vector<Name>;
     outerNames = new std::vector<Name>;
     for (Index i = 0; i < MAX_NAME_INDEX; i++) {
-      innerNames->push_back(Name(std::string("jumpthreading$inner$") + std::to_string(i)));
-      outerNames->push_back(Name(std::string("jumpthreading$outer$") + std::to_string(i)));
+      innerNames->push_back(Name(std::string("__rjti$") + std::to_string(i)));
+      outerNames->push_back(Name(std::string("__rjto$") + std::to_string(i)));
     }
   }
 };
-- 
cgit v1.2.3