Source code

Revision control

Copy as Markdown

Other Tools

const ITERS = 1000;
// A function which when warp compiled should use
// OptimizedGetIterator elision, and rely on invalidation
function f(x) {
let sum = 0;
for (let i = 0; i < ITERS; i++) {
const [a, b, c] = x
sum = a + b + c;
}
return sum
}
// Run the function f 1000 times to warp compile it. Use 4 elements here to ensure
// the return property of the ArrayIteratorPrototype is called.
let arr = [1, 2, 3, 4];
for (let i = 0; i < 1000; i++) {
f(arr);
}
// Initialize the globally scoped counter
let counter = 0;
const ArrayIteratorPrototype = Object.getPrototypeOf([][Symbol.iterator]());
// Setting the return property should invalidate the warp script here.
ArrayIteratorPrototype.return = function () {
counter++;
return { done: true };
};
// Call f one more time
f(arr);
// Use assertEq to check the value of counter.
assertEq(counter, ITERS);