Inline simple setter calls.

test/mjsunit/compiler/inline-accessors.js

+// Copyright 2012 the V8 project authors. All rights reserved.
+// Redistribution and use in source and binary forms, with or without
+// modification, are permitted provided that the following conditions are
+// met:
+//
+//     * Redistributions of source code must retain the above copyright
+//       notice, this list of conditions and the following disclaimer.
+//     * Redistributions in binary form must reproduce the above
+//       copyright notice, this list of conditions and the following
+//       disclaimer in the documentation and/or other materials provided
+//       with the distribution.
+//     * Neither the name of Google Inc. nor the names of its
+//       contributors may be used to endorse or promote products derived
+//       from this software without specific prior written permission.
+//
+// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
+// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
+// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
+// A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
+// OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
+// SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
+// LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
+// DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
+// THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
+// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
+// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
+
+// Flags: --allow-natives-syntax --inline-accessors
+
+var accessorCallCount, setterValue, obj, forceDeopt;
+
+// -----------------------------------------------------------------------------
+// Helpers for testing inlining of getters.
+
+function TestInlinedGetter(context, expected) {
+  forceDeopt = 0;
+  accessorCallCount = 0;
+
+  assertEquals(expected, context());
+  assertEquals(1, accessorCallCount);
+
+  assertEquals(expected, context());
+  assertEquals(2, accessorCallCount);
+
+  %OptimizeFunctionOnNextCall(context);
+  assertEquals(expected, context());
+  assertEquals(3, accessorCallCount);
+
+  %DeoptimizeFunction(context);
+  %ClearFunctionTypeFeedback(context);
+}
+
+
+function TestGetterInAllContexts(obj, expected) {
+  function value_context() {
+    return obj.getterProperty;
+  }
+  TestInlinedGetter(value_context, expected);
+
+  function test_context() {
+    if (obj.getterProperty) {
+      return 111;
+    } else {
+      return 222;
+    }
+  }
+  TestInlinedGetter(test_context, expected ? 111 : 222);
+
+  function effect_context() {
+    obj.getterProperty;
+    return 5678;
+  }
+  TestInlinedGetter(effect_context, 5678);
+}
+
+// -----------------------------------------------------------------------------
+// Test getter returning something 'true'ish in all contexts.
+
+function getter1() {

[Michael Starzinger, 2012/08/08 15:01:29]

It might be a good idea to assert that the receiver is passed correctly in all
of the getters and setters. Something like the following ...

assertSame(obj, this);

[Sven Panne, 2012/08/09 12:15:32]

Done.

+  accessorCallCount++;
+  forceDeopt + 1;
+  return 1234;
+}
+
+function Constr1() { }
+obj = Object.defineProperty(new Constr1(), "getterProperty", { get: getter1 });
+TestGetterInAllContexts(obj, 1234);
+TestGetterInAllContexts(Object.create(obj), 1234);
+
+// -----------------------------------------------------------------------------
+// Test getter returning false in all contexts.
+
+function getter2() {
+  accessorCallCount++;
+  forceDeopt + 1;
+  return false;
+}
+
+function Constr2() { }
+obj = Object.defineProperty(new Constr2(), "getterProperty", { get: getter2 });
+TestGetterInAllContexts(obj, false);
+TestGetterInAllContexts(Object.create(obj), false);
+
+// -----------------------------------------------------------------------------
+// Test getter without a return in all contexts.
+
+function getter3() {
+  accessorCallCount++;
+  forceDeopt + 1;
+}
+
+function Constr3() { }
+obj = Object.defineProperty(new Constr3(), "getterProperty", { get: getter3 });
+TestGetterInAllContexts(obj, undefined);
+TestGetterInAllContexts(Object.create(obj), undefined);
+
+// -----------------------------------------------------------------------------
+// Test getter with a mismatch in the number of arguments in all contexts.
+
+function getter4(a) {
+  assertEquals(undefined, a);
+  accessorCallCount++;
+  forceDeopt + 1;
+  return 9876;
+}
+
+function Constr4() { }
+obj = Object.defineProperty(new Constr4(), "getterProperty", { get: getter4 });
+TestGetterInAllContexts(obj, 9876);
+TestGetterInAllContexts(Object.create(obj), 9876);
+
+// -----------------------------------------------------------------------------
+// Helpers for testing inlining of setters.
+
+function TestInlinedSetter(context, value, expected) {
+  accessorCallCount = 0;
+
+  assertEquals(expected, context(value));
+  assertEquals(value, setterValue);
+  assertEquals(1, accessorCallCount);
+
+  assertEquals(expected, context(value));
+  assertEquals(value, setterValue);
+  assertEquals(2, accessorCallCount);
+
+  %OptimizeFunctionOnNextCall(context);
+  assertEquals(expected, context(value));
+  assertEquals(value, setterValue);
+  assertEquals(3, accessorCallCount);
+
+  %DeoptimizeFunction(context);
+  %ClearFunctionTypeFeedback(context);
+}
+
+function TestSetterInAllContexts(obj) {
+  function value_context(value) {
+    return obj.setterProperty = value;
+  }
+  TestInlinedSetter(value_context, 111, 111);
+
+  function test_context(value) {
+    if (obj.setterProperty = value) {
+      return 333;
+    } else {
+      return 444;
+    }
+  }
+  TestInlinedSetter(test_context, true, 333);
+  TestInlinedSetter(test_context, false, 444);
+
+  function effect_context(value) {
+    obj.setterProperty = value;
+    return 666;
+  }
+  TestInlinedSetter(effect_context, 555, 666);
+}
+
+// -----------------------------------------------------------------------------
+// Test setter returning nothing in all contexts.
+
+function setter1(value) {
+  accessorCallCount++;
+  forceDeopt + 1;
+  setterValue = value;
+}
+
+function Constr5() { }
+obj = Object.defineProperty(new Constr5(), "setterProperty", { set: setter1 });
+TestSetterInAllContexts(obj);
+TestSetterInAllContexts(Object.create(obj));
+
+// -----------------------------------------------------------------------------
+// Test setter returning something different than the RHS in all contexts.
+
+function setter2(value) {
+  accessorCallCount++;
+  forceDeopt + 1;
+  setterValue = value;
+  return 1000000;
+}
+
+function Constr6() { }
+obj = Object.defineProperty(new Constr6(), "setterProperty", { set: setter2 });
+TestSetterInAllContexts(obj);
+TestSetterInAllContexts(Object.create(obj));
+
+// -----------------------------------------------------------------------------
+// Test setter with too few arguments in all contexts.
+// TODO(svenpanne) Write me!
+
+// -----------------------------------------------------------------------------
+// Test setter with too many arguments in all contexts.
+// TODO(svenpanne) Write me!