optipack 0.0.0-stage → 1.0.1

package/test/example.test.mjs

@@ -0,0 +1,115 @@
+/**
+ * Example pack end-to-end: run the CLI over example/, verify parse validity,
+ * manifest fidelity, effects-equivalence across the whole script graph, report
+ * snapshot, and determinism.
+ */
+import test from 'node:test';
+import assert from 'node:assert/strict';
+import fs from 'node:fs';
+import os from 'node:os';
+import path from 'node:path';
+import { spawnSync } from 'node:child_process';
+import { fileURLToPath } from 'node:url';
+
+const here = path.dirname(fileURLToPath(import.meta.url));
+const root = path.join(here, '..');
+const CLI = path.join(root, 'bin', 'optipack.js');
+const EXAMPLE = path.join(root, 'example');
+
+function mkOut(prefix) {
+  return fs.mkdtempSync(path.join(os.tmpdir(), prefix));
+}
+
+test('example: CLI produces a valid optimized pack + report', async () => {
+  const out = mkOut('optipack-example-');
+  const res = spawnSync(process.execPath, [CLI, EXAMPLE, out], { encoding: 'utf8' });
+  assert.equal(res.status, 0, res.stderr);
+
+  // Manifest and non-scripts copied verbatim.
+  assert.equal(
+    fs.readFileSync(path.join(out, 'manifest.json'), 'utf8'),
+    fs.readFileSync(path.join(EXAMPLE, 'manifest.json'), 'utf8')
+  );
+
+  // Report exists with the expected schema shape.
+  const report = JSON.parse(fs.readFileSync(path.join(out, 'optipack-report.json'), 'utf8'));
+  assert.equal(report.level, 'balanced');
+  assert.ok(Array.isArray(report.files) && report.files.length === 3);
+  assert.ok(report.files.every((f) => f.path.startsWith('scripts/')));
+  assert.ok(report.totals.transforms > 0, 'transforms applied');
+  for (const f of report.files) {
+    for (const key of ['path', 'hotFunctions', 'transforms', 'bails', 'lint', 'residualAllocs', 'bytes']) {
+      assert.ok(key in f, `report file has ${key}`);
+    }
+    assert.ok(f.bytes.after > 0);
+  }
+
+  // Every output script re-parses as ESM.
+  const { parseSource } = await import('../src/pipeline.js');
+  for (const f of ['scripts/main.js', 'scripts/util.js', 'scripts/drops.js']) {
+    const src = fs.readFileSync(path.join(out, f), 'utf8');
+    assert.doesNotThrow(() => parseSource(f, src), `${f} round-trips`);
+  }
+});
+
+test('example: effects-equivalence across the whole script graph', async () => {
+  const out = mkOut('optipack-example-');
+  const res = spawnSync(process.execPath, [CLI, EXAMPLE, out], { encoding: 'utf8' });
+  assert.equal(res.status, 0, res.stderr);
+
+  const { runVariant, assertSameEffects, pathToUrl } = await import('../src/harness/driver.js');
+  const scenario = {
+    reads: {
+      'location:p1': [{ x: 10, y: 64, z: 20 }, { x: 12, y: 65, z: 22 }],
+      'name:p1': ['Alex'],
+      'dp:p1:optipack:lastDist': [undefined],
+      'dp:p1:optipack:baseline': [undefined],
+      'dp:p1:optipack:drops': [undefined],
+      'world.dp:scan:0': [0],
+      'world.dp:scan:1': [0],
+      'world.dp:scan:2': [0],
+      'world.dp:scan:3': [0],
+    },
+    state: { players: [{ id: 'p1' }] },
+    steps: [
+      { op: 'fire', event: 'world.afterEvents.worldLoad', payload: {} },
+      { op: 'tick', n: 60 },
+      { op: 'fire', event: 'world.afterEvents.playerSpawn', payload: { player: { __entity: 'p1' } } },
+      { op: 'tick', n: 40 },
+    ],
+  };
+
+  const a = await runVariant(pathToUrl(path.join(EXAMPLE, 'scripts', 'main.js')), 'orig', scenario);
+  const b = await runVariant(pathToUrl(path.join(out, 'scripts', 'main.js')), 'opt', scenario);
+  assertSameEffects(a, b, 'example pack');
+  assert.ok(a.effects.length > 10, 'scenario exercised real effects');
+});
+
+test('example: report snapshot is stable', () => {
+  const out = mkOut('optipack-example-');
+  const res = spawnSync(process.execPath, [CLI, EXAMPLE, out, '--report', path.join(out, 'r.json')], { encoding: 'utf8' });
+  assert.equal(res.status, 0, res.stderr);
+  const actual = fs.readFileSync(path.join(out, 'r.json'), 'utf8');
+  const snapshotPath = path.join(here, 'example-report-snapshot.json');
+  if (process.env.UPDATE_SNAPSHOT) {
+    fs.writeFileSync(snapshotPath, actual);
+  }
+  assert.ok(fs.existsSync(snapshotPath), 'snapshot exists (run npm run update-snapshot)');
+  const expected = JSON.parse(fs.readFileSync(snapshotPath, 'utf8'));
+  const got = JSON.parse(actual);
+  assert.deepEqual(got, expected, 'report matches snapshot');
+});
+
+test('example: deterministic output — two runs are byte-identical', () => {
+  const out1 = mkOut('optipack-det1-');
+  const out2 = mkOut('optipack-det2-');
+  spawnSync(process.execPath, [CLI, EXAMPLE, out1], { encoding: 'utf8' });
+  spawnSync(process.execPath, [CLI, EXAMPLE, out2], { encoding: 'utf8' });
+  for (const f of ['scripts/main.js', 'scripts/util.js', 'scripts/drops.js', 'optipack-report.json']) {
+    assert.equal(
+      fs.readFileSync(path.join(out1, f), 'utf8'),
+      fs.readFileSync(path.join(out2, f), 'utf8'),
+      `${f} identical across runs`
+    );
+  }
+});

package/test/fetch-corpus.mjs

@@ -0,0 +1,92 @@
+/**
+ * Fetch the real-world benchmark corpus.
+ *
+ * Downloads MIT-licensed community behavior-pack scripts from JaylyDev/ScriptAPI
+ * (used with attribution; see the header comment of each fetched file for its
+ * original author), assembles a runnable pack under test/corpus/jayly-pack/,
+ * and records the source commit in SOURCES.json.
+ *
+ * The corpus is gitignored — run `npm run fetch-corpus` before benching it.
+ */
+import fs from 'node:fs';
+import path from 'node:path';
+import os from 'node:os';
+import { execSync } from 'node:child_process';
+import { fileURLToPath } from 'node:url';
+
+const here = path.dirname(fileURLToPath(import.meta.url));
+const corpusDir = path.join(here, 'corpus');
+const repo = 'JaylyDev/ScriptAPI';
+
+// Self-registering modules (subscribe or runInterval at import time) that the
+// corpus pack's entry imports. Others ship in scripts/ for relative imports.
+const ENTRY_IMPORTS = [
+  './anti-nuker/index.js',
+  './anti-32k/index.js',
+  './anti-32k-event/index.js',
+  './world-border/index.js',
+  './health-display/index.js',
+  './player-death-event/index.js',
+];
+
+const manifest = {
+  format_version: 2,
+  header: {
+    name: 'optipack bench corpus (JaylyDev/ScriptAPI)',
+    description: 'Real-world community scripts assembled for optipack A/B benchmarking. Scripts are MIT-licensed by their original authors.',
+    uuid: '3f7c2d91-8a44-4e0b-9c55-1b2c3d4e5f60',
+    version: [1, 0, 0],
+    min_engine_version: [1, 21, 0],
+  },
+  modules: [
+    { type: 'data', uuid: '4a8d3e02-9b55-4f1c-8d66-2c3d4e5f6a70', version: [1, 0, 0] },
+    { type: 'script', language: 'javascript', uuid: '5b9e4f13-ac66-402d-9e77-3d4e5f6a7b80', entry: 'scripts/main.js', version: [1, 0, 0] },
+  ],
+  dependencies: [{ module_name: '@minecraft/server', version: '2.0.0' }],
+};
+
+// 1. Download + extract.
+const tmp = fs.mkdtempSync(path.join(os.tmpdir(), 'optipack-corpus-'));
+const tgz = path.join(tmp, 'repo.tar.gz');
+console.log(`fetching ${repo} tarball...`);
+execSync(`curl -sL "https://github.com/${repo}/archive/refs/heads/main.tar.gz" -o "${tgz}"`, { stdio: 'inherit' });
+fs.mkdirSync(path.join(tmp, 'x'), { recursive: true });
+execSync(`tar -xzf "${tgz}" -C "${path.join(tmp, 'x')}"`);
+const extracted = fs.readdirSync(path.join(tmp, 'x'))[0];
+const commit = execSync(`git ls-remote https://github.com/${repo}.git HEAD`, { encoding: 'utf8' }).trim().split(/\s+/)[0];
+
+// 2. Assemble the corpus pack.
+const packDir = path.join(corpusDir, 'jayly-pack');
+fs.rmSync(corpusDir, { recursive: true, force: true });
+fs.mkdirSync(path.join(packDir, 'scripts'), { recursive: true });
+fs.cpSync(path.join(tmp, 'x', extracted, 'scripts'), path.join(packDir, 'scripts'), { recursive: true });
+fs.writeFileSync(path.join(packDir, 'manifest.json'), JSON.stringify(manifest, null, 2));
+
+const imports = ENTRY_IMPORTS.map((rel) => `import '${rel}';`).join('\n');
+const entry = [
+  '// optipack bench corpus entry — imports real-world community scripts',
+  '// (JaylyDev/ScriptAPI, MIT). Each module self-registers its handlers.',
+  imports,
+  '',
+].join('\n');
+fs.writeFileSync(path.join(packDir, 'scripts', 'main.js'), entry);
+
+// 3. Record provenance.
+fs.writeFileSync(
+  path.join(corpusDir, 'SOURCES.json'),
+  JSON.stringify({
+    sources: [{ repo, commit, license: 'MIT', fetched: new Date().toISOString() }],
+    note: 'Scripts belong to their original authors (see file headers). Fetched for optipack benchmarking only.',
+  }, null, 2) + '\n'
+);
+fs.rmSync(tmp, { recursive: true, force: true });
+
+const scriptCount = (function walk(dir) {
+  return fs.readdirSync(dir, { withFileTypes: true }).reduce((n, e) => {
+    const p = path.join(dir, e.name);
+    return n + (e.isDirectory() ? walk(p) : e.name.endsWith('.js') ? 1 : 0);
+  }, 0);
+})(path.join(packDir, 'scripts'));
+
+console.log(`corpus ready: ${packDir} (${scriptCount} script files, ${repo}@${commit.slice(0, 9)})`);
+console.log('next: node bin/optipack.js bench test/corpus/jayly-pack --scenario test/corpus/jayly-scenario.json');

package/test/for-of-to-indexed/expected.js

@@ -0,0 +1,59 @@
+// S4: for-of conversion over provably-array iterables.
+const names = ['a', 'b', 'c'];
+export function sumLengths() {
+  let n = 0;
+  for (let _opI = 0; _opI < names.length; _opI++) {
+    const v = names[_opI];
+    {
+      n += v.length;
+    }
+  }
+  return n;
+}
+export function letters() {
+  let s = 0;
+  {
+    const _opArr = 'hello'.split('');
+    for (let _opI2 = 0; _opI2 < _opArr.length; _opI2++) {
+      const ch = _opArr[_opI2];
+      {
+        if (ch === 'l') s += 1;
+      }
+    }
+  }
+  return s;
+}
+export function mapped() {
+  const vals = ['a', 'bb'].map(v => v + '!');
+  let out = 0;
+  for (let _opI3 = 0; _opI3 < vals.length; _opI3++) {
+    const v = vals[_opI3];
+    {
+      out += v.length;
+    }
+  }
+  return out;
+}
+export function withDestructure(pairs) {
+  const entries = Object.entries({
+    a: 1,
+    b: 2
+  });
+  let total = 0;
+  for (let _opI4 = 0; _opI4 < entries.length; _opI4++) {
+    const _opEl = entries[_opI4];
+    const k = _opEl[0];
+    const v = _opEl[1];
+    {
+      total += v;
+    }
+  }
+  return total;
+}
+
+// Host returns are never converted (bail).
+export function hostIter(players) {
+  for (const p of players) {
+    p.x = 1;
+  }
+}

package/test/for-of-to-indexed/expects.json

@@ -0,0 +1,11 @@
+{
+    "transforms":  {
+                       "for-of-to-indexed":  4
+                   },
+    "bails":  [
+                  {
+                      "transform":  "S4",
+                      "reasonContains":  "not provably an array"
+                  }
+              ]
+}

package/test/for-of-to-indexed/input.js

@@ -0,0 +1,43 @@
+// S4: for-of conversion over provably-array iterables.
+const names = ['a', 'b', 'c'];
+
+export function sumLengths() {
+  let n = 0;
+  for (const v of names) {
+    n += v.length;
+  }
+  return n;
+}
+
+export function letters() {
+  let s = 0;
+  for (const ch of 'hello'.split('')) {
+    if (ch === 'l') s += 1;
+  }
+  return s;
+}
+
+export function mapped() {
+  const vals = ['a', 'bb'].map((v) => v + '!');
+  let out = 0;
+  for (const v of vals) {
+    out += v.length;
+  }
+  return out;
+}
+
+export function withDestructure(pairs) {
+  const entries = Object.entries({ a: 1, b: 2 });
+  let total = 0;
+  for (const [k, v] of entries) {
+    total += v;
+  }
+  return total;
+}
+
+// Host returns are never converted (bail).
+export function hostIter(players) {
+  for (const p of players) {
+    p.x = 1;
+  }
+}

package/test/for-of-to-indexed-bail/expected.js

@@ -0,0 +1,25 @@
+// S4 bails: Map/Set/strings/host returns are never converted.
+const m = new Map();
+export function mapIter(m2) {
+  for (const [k, v] of m2) {
+    m.set(k, v);
+  }
+}
+export function stringIter(s) {
+  let n = 0;
+  for (const ch of s) {
+    n += 1;
+  }
+  return n;
+}
+export function hostReturns(players) {
+  for (const p of worldPlayers()) {
+    p.ping = 1;
+  }
+  for (const p of players) {
+    p.pong = 2;
+  }
+}
+function worldPlayers() {
+  return [];
+}

package/test/for-of-to-indexed-bail/expects.json

@@ -0,0 +1,11 @@
+{
+    "transforms":  {
+                       "for-of-to-indexed":  0
+                   },
+    "bails":  [
+                  {
+                      "transform":  "S4",
+                      "reasonContains":  "not provably an array"
+                  }
+              ]
+}

package/test/for-of-to-indexed-bail/input.js

@@ -0,0 +1,29 @@
+// S4 bails: Map/Set/strings/host returns are never converted.
+const m = new Map();
+
+export function mapIter(m2) {
+  for (const [k, v] of m2) {
+    m.set(k, v);
+  }
+}
+
+export function stringIter(s) {
+  let n = 0;
+  for (const ch of s) {
+    n += 1;
+  }
+  return n;
+}
+
+export function hostReturns(players) {
+  for (const p of worldPlayers()) {
+    p.ping = 1;
+  }
+  for (const p of players) {
+    p.pong = 2;
+  }
+}
+
+function worldPlayers() {
+  return [];
+}

package/test/gen-expected.mjs

@@ -0,0 +1,33 @@
+// One-off helper: generate expected.js for every fixture that lacks one.
+import fs from 'node:fs';
+import path from 'node:path';
+import { fileURLToPath } from 'node:url';
+
+const here = path.dirname(fileURLToPath(import.meta.url));
+const root = here; // fixtures live directly under test/
+
+const { normalizeConfig } = await import('../src/config.js');
+const { transformSource } = await import('../src/pipeline.js');
+
+const dirs = fs.readdirSync(root, { withFileTypes: true })
+  .filter((e) => e.isDirectory() && fs.existsSync(path.join(root, e.name, 'input.js')))
+  .map((e) => e.name)
+  .sort();
+
+const only = process.argv[2] || null;
+for (const dir of dirs) {
+  if (only && dir !== only) continue;
+  const fdir = path.join(root, dir);
+  if (fs.existsSync(path.join(fdir, 'expected.js'))) continue;
+  const input = fs.readFileSync(path.join(fdir, 'input.js'), 'utf8');
+  const configPath = path.join(fdir, 'config.json');
+  const raw = fs.existsSync(configPath) ? JSON.parse(fs.readFileSync(configPath, 'utf8')) : { level: 'balanced' };
+  const cfg = normalizeConfig(raw);
+  try {
+    const { code, fileReport } = transformSource('input.js', input, cfg);
+    fs.writeFileSync(path.join(fdir, 'expected.js'), code);
+    console.log(`${dir}: generated (${Object.keys(fileReport.transforms).join(', ') || 'no transforms'})`);
+  } catch (e) {
+    console.error(`${dir}: FAILED: ${e.message}`);
+  }
+}

package/test/getter-cache-cross-barrier/config.json

@@ -0,0 +1 @@
+{"level": "risky"}

package/test/getter-cache-cross-barrier/expected.js

@@ -0,0 +1,10 @@
+// R4: getter caching across call barriers (risky).
+import { world, system } from '@minecraft/server';
+function onTick(player) {
+  const _opC = player.location.x;
+  const before = _opC;
+  world.sendMessage('moving'); // call barrier — B1 would bail, R4 crosses it
+  const after = _opC;
+  world.sendMessage('moved=' + (after - before));
+}
+system.runInterval(() => onTick(world.getAllPlayers()[0]), 20);

package/test/getter-cache-cross-barrier/expects.json

@@ -0,0 +1,6 @@
+{
+    "warnings":  1,
+    "transforms":  {
+                       "getter-cache-cross-barrier":  1
+                   }
+}

package/test/getter-cache-cross-barrier/input.js

@@ -0,0 +1,11 @@
+// R4: getter caching across call barriers (risky).
+import { world, system } from '@minecraft/server';
+
+function onTick(player) {
+  const before = player.location.x;
+  world.sendMessage('moving'); // call barrier — B1 would bail, R4 crosses it
+  const after = player.location.x;
+  world.sendMessage('moved=' + (after - before));
+}
+
+system.runInterval(() => onTick(world.getAllPlayers()[0]), 20);

package/test/getter-cache-cross-barrier/scenario.json

@@ -0,0 +1,28 @@
+{
+    "reads":  {
+                  "location:p1":  [
+                                      {
+                                          "y":  64,
+                                          "z":  2,
+                                          "x":  1
+                                      }
+                                  ]
+              },
+    "entry":  "scripts/input.js",
+    "steps":  [
+                  {
+                      "n":  5,
+                      "op":  "tick"
+                  }
+              ],
+    "state":  {
+                  "players":  [
+                                  {
+                                      "id":  "p1"
+                                  },
+                                  {
+                                      "id":  "p2"
+                                  }
+                              ]
+              }
+}

package/test/harness/fixture.js

@@ -0,0 +1,117 @@
+/**
+ * Fixture runner for per-transform unit tests.
+ *
+ * A fixture directory contains:
+ *   input.js     — source fed through the full pipeline
+ *   expected.js  — (optional) exact expected output; when absent the input
+ *                  must come out unchanged (bail fixtures)
+ *   config.json  — (optional) { level, transforms, hotPath, lint } user config
+ *   expects.json — (optional) assertions on the report:
+ *                  { transforms: {id: count}, bails: [{transform, reasonContains}],
+ *                    lint: [{rule}], warnings: n }
+ *   scenario.json— (optional) differential scenario { entry, reads, state, steps }
+ */
+import fs from 'node:fs';
+import path from 'node:path';
+import os from 'node:os';
+
+export async function runFixtureDir(dir) {
+  const inputPath = path.join(dir, 'input.js');
+  const input = fs.readFileSync(inputPath, 'utf8');
+  const expectedPath = path.join(dir, 'expected.js');
+  const hasExpected = fs.existsSync(expectedPath);
+  const expected = hasExpected ? fs.readFileSync(expectedPath, 'utf8') : null;
+
+  const configPath = path.join(dir, 'config.json');
+  const config = fs.existsSync(configPath)
+    ? JSON.parse(fs.readFileSync(configPath, 'utf8').replace(/^\uFEFF/, ''))
+    : { level: 'balanced' };
+
+  const expectsPath = path.join(dir, 'expects.json');
+  const expects = fs.existsSync(expectsPath) ? JSON.parse(fs.readFileSync(expectsPath, 'utf8')) : null;
+
+  const scenarioPath = path.join(dir, 'scenario.json');
+  const scenario = fs.existsSync(scenarioPath) ? JSON.parse(fs.readFileSync(scenarioPath, 'utf8')) : null;
+
+  const { normalizeConfig } = await import('../../src/config.js');
+  const { runPack } = await import('../../src/pipeline.js');
+
+  const inputDir = fs.mkdtempSync(path.join(os.tmpdir(), 'optipack-fx-in-'));
+  const outputDir = fs.mkdtempSync(path.join(os.tmpdir(), 'optipack-fx-out-'));
+  fs.mkdirSync(path.join(inputDir, 'scripts'), { recursive: true });
+  fs.writeFileSync(path.join(inputDir, 'scripts', 'input.js'), input);
+  const cfg = normalizeConfig(config);
+  const report = runPack(inputDir, outputDir, cfg);
+  const output = fs.readFileSync(path.join(outputDir, 'scripts', 'input.js'), 'utf8');
+
+  const result = { input, output, expected, report, expects, scenario, outputDir, config: cfg };
+
+  // Exact output comparison.
+  const want = hasExpected ? expected : input;
+  const got = output.replace(/\r\n/g, '\n');
+  const wantNorm = want.replace(/\r\n/g, '\n');
+  if (got !== wantNorm) {
+    throw new Error(
+      `fixture output mismatch for ${path.basename(dir)}:\n` +
+      `--- expected ---\n${wantNorm}\n--- actual ---\n${got}`
+    );
+  }
+
+  // Report expectations.
+  if (expects) {
+    const file = report.files[0];
+    if (expects.transforms) {
+      for (const [id, count] of Object.entries(expects.transforms)) {
+        const gotCount = (file.transforms[id] || 0);
+        if (gotCount !== count) {
+          throw new Error(`fixture ${path.basename(dir)}: expected ${count} of ${id}, got ${gotCount}`);
+        }
+      }
+    }
+    if (expects.noTransforms) {
+      const total = Object.values(file.transforms).reduce((a, b) => a + b, 0);
+      if (total !== 0) {
+        throw new Error(`fixture ${path.basename(dir)}: expected no transforms, got ${JSON.stringify(file.transforms)}`);
+      }
+    }
+    if (expects.bails) {
+      for (const wantBail of expects.bails) {
+        const found = file.bails.find((b) =>
+          b.transform === wantBail.transform &&
+          (wantBail.reasonContains === undefined || b.reason.includes(wantBail.reasonContains)) &&
+          (wantBail.line === undefined || b.line === wantBail.line));
+        if (!found) {
+          throw new Error(`fixture ${path.basename(dir)}: expected bail ${JSON.stringify(wantBail)}, have ${JSON.stringify(file.bails)}`);
+        }
+      }
+    }
+    if (expects.lint) {
+      for (const wantLint of expects.lint) {
+        const found = file.lint.find((l) => l.rule === wantLint.rule &&
+          (wantLint.line === undefined || l.line === wantLint.line));
+        if (!found) {
+          throw new Error(`fixture ${path.basename(dir)}: expected lint ${JSON.stringify(wantLint)}, have ${JSON.stringify(file.lint)}`);
+        }
+      }
+    }
+    if (expects.warnings !== undefined) {
+      if (report.warnings.length !== expects.warnings) {
+        throw new Error(`fixture ${path.basename(dir)}: expected ${expects.warnings} warnings, got ${report.warnings.length}`);
+      }
+    }
+    if (expects.hotFunctions !== undefined) {
+      if (file.hotFunctions !== expects.hotFunctions) {
+        throw new Error(`fixture ${path.basename(dir)}: expected ${expects.hotFunctions} hot functions, got ${file.hotFunctions}`);
+      }
+    }
+  }
+
+  return result;
+}
+
+export function fixtureDirs(baseDir) {
+  return fs.readdirSync(baseDir, { withFileTypes: true })
+    .filter((e) => e.isDirectory() && fs.existsSync(path.join(baseDir, e.name, 'input.js')))
+    .map((e) => path.join(baseDir, e.name))
+    .sort();
+}

package/test/hoist-invariant-members/expected.js

@@ -0,0 +1,37 @@
+// S7: loop-invariant member hoisting inside hot functions.
+import { world, system } from '@minecraft/server';
+
+// Before-loop hoist: player.location read once instead of 10 times.
+function onTick(player) {
+  let total = 0;
+  const _opH = player.location.y;
+  for (let i = 0; i < 10; i++) {
+    total += _opH;
+  }
+  world.setDynamicProperty('total', total);
+}
+
+// Two chains, each used twice per iteration: both hoisted.
+function onTick2(chest) {
+  let dx = 0;
+  const _opC = chest.location;
+  const _opH2 = _opC.x;
+  const _opH3 = _opC.y;
+  for (let i = 0; i < 5; i++) {
+    dx += _opH2 + _opH3;
+  }
+  world.setDynamicProperty('dx', dx);
+}
+
+// Loop body with a call: barrier, bails.
+function onTick3(player) {
+  let total = 0;
+  for (let i = 0; i < 4; i++) {
+    total += player.location.y;
+    world.sendMessage('tick');
+  }
+  world.setDynamicProperty('total3', total);
+}
+system.runInterval(onTick, 20);
+system.runInterval(onTick2, 20);
+system.runInterval(onTick3, 20);

package/test/hoist-invariant-members/expects.json

@@ -0,0 +1,11 @@
+{
+    "transforms":  {
+                       "hoist-invariant-members":  2
+                   },
+    "bails":  [
+                  {
+                      "transform":  "S7",
+                      "reasonContains":  "mutation barrier"
+                  }
+              ]
+}