2 files changed, 10 insertions, 1 deletions
diff --git a/tools/eliminator/eliminator-test-output.js b/tools/eliminator/eliminator-test-output.js
index 84c53033..dea7c1d5 100644
--- a/tools/eliminator/eliminator-test-output.js
+++ b/tools/eliminator/eliminator-test-output.js
@@ -55,6 +55,11 @@ function a() {
   tor(func());
   chak();
   tor(HEAP[9]);
+  barrier();
+  var $65, $image, $51$s2, $71;
+  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]);
 }
 function b() {
   var $148 = _sqlite3Strlen30($147);
diff --git a/tools/eliminator/eliminator-test.js b/tools/eliminator/eliminator-test.js
index b3343f89..6002b181 100644
--- a/tools/eliminator/eliminator-test.js
+++ b/tools/eliminator/eliminator-test.js
@@ -69,7 +69,11 @@ function a() {
   chak();
   $$e3 = HEAP[9];
   tor($$e3);
-  // TODO: (,a,b) 'seq'
+  barrier();
+  var $65, $image, $51$s2, $71;
+  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]);
 }
 function b() {
   var $148 = _sqlite3Strlen30($147);