do not scan into while

2 files changed, 18 insertions, 0 deletions

diff --git a/tools/eliminator/eliminator-test-output.js b/tools/eliminator/eliminator-test-output.js
index 662d04dd..a0e4f1e7 100644
--- a/tools/eliminator/eliminator-test-output.js
+++ b/tools/eliminator/eliminator-test-output.js
@@ -58,6 +58,15 @@ function a() {
   barrier();
   var $65, $image, $51$s2;
   HEAP32[$65 >> 2] = _int_ceildivpow2(HEAP32[$65 >> 2] - _int_ceildiv(HEAP32[$image >> 2], HEAP32[$51$s2]) | 0, HEAP32[$51$s2 + 10]);
+  barr();
+  var ONCE = sheep();
+  while (ONCE) {
+    work();
+  }
+  var ONCEb = 75;
+  while (ONCEb) {
+    work();
+  }
 }
 function b() {
   var $148 = _sqlite3Strlen30($147);
diff --git a/tools/eliminator/eliminator-test.js b/tools/eliminator/eliminator-test.js
index f57cf252..d2c1e8fe 100644
--- a/tools/eliminator/eliminator-test.js
+++ b/tools/eliminator/eliminator-test.js
@@ -74,6 +74,15 @@ function a() {
   var $66 = HEAP32[$65 >> 2];
   var $71 = $66 - _int_ceildiv(HEAP32[$image >> 2], HEAP32[$51$s2]) | 0;
   HEAP32[$65 >> 2] = _int_ceildivpow2($71, HEAP32[$51$s2 + 10]);
+  barr();
+  var ONCE = sheep();
+  while (ONCE) {
+    work();
+  }
+  var ONCEb = 75;
+  while (ONCEb) {
+    work();
+  }
 }
 function b() {
   var $148 = _sqlite3Strlen30($147);