1 files changed, 35 insertions, 0 deletions
diff --git a/deps/v8/test/mjsunit/maglev/nested-continuations.js b/deps/v8/test/mjsunit/maglev/nested-continuations.js
new file mode 100644
index 0000000000..2bdca505ce
--- /dev/null
+++ b/deps/v8/test/mjsunit/maglev/nested-continuations.js
@@ -0,0 +1,35 @@
+// Copyright 2023 the V8 project authors. All rights reserved.
+// Use of this source code is governed by a BSD-style license that can be
+// found in the LICENSE file.
+//
+// Flags: --maglev --allow-natives-syntax
+
+function Foo() {}
+Object.defineProperty(Foo, Symbol.hasInstance, { value: Math.round });
+
+let foo = new Foo();
+
+function bar(f) {
+  // `f instanceof Foo` runs `%ToBoolean(Foo[Symbol.hasInstance](f))`, where
+  // `Foo[Symbol.hasInstance]` is `Math.round`.
+  //
+  // So with sufficient builtin inlining, this will call
+  // `%ToBoolean(round(%ToNumber(f)))`, which will call `f.valueOf`. If this
+  // deopts (which in this test it will), we need to make sure to both round it,
+  // and then convert that rounded value to a boolean.
+  return f instanceof Foo;
+}
+
+foo.valueOf = () => {
+  %DeoptimizeFunction(bar);
+  // Return a value which, when rounded, has ToBoolean false, and when not
+  // rounded, has ToBoolean true.
+  return 0.2;
+}
+
+%PrepareFunctionForOptimization(bar);
+assertFalse(bar(foo));
+assertFalse(bar(foo));
+
+%OptimizeMaglevOnNextCall(bar);
+assertFalse(bar(foo));