Changeset 34945 in webkit for trunk/JavaScriptCore/kjs/JSObject.cpp

Timestamp:

Jul 1, 2008, 10:39:23 PM (17 years ago)

Author:

[email protected]

Message:

2008-07-01 Geoffrey Garen <​[email protected]>

Reviewed by Oliver Hunt.

Removed and/or reordered exception checks in array-style a[n] access.

SunSpider says 1.4% faster.

• VM/Machine.cpp: (KJS::Machine::privateExecute): No need to check for exceptions before calling toString, toNumber and/or get. If the call ends up being observable through toString, valueOf, or a getter, we short-circuit it there, instead. In the op_del_by_val case, I removed the incorrect comment without actually removing the code, since I didn't want to tempt the GCC fates!

• kjs/JSObject.cpp: (KJS::callDefaultValueFunction): Added exception check to prevent toString and valueOf functions from observing execution after an exception has been thrown. This removes some of the burden of exception checking from the machine.

(KJS::JSObject::defaultValue): Removed redundant exception check here.

• kjs/PropertySlot.cpp: (KJS::PropertySlot::functionGetter): Added exception check to prevent getter functions from observing execution after an exception has been thrown. This removes some of the burden of exception checking from the machine.

File:

• trunk/JavaScriptCore/kjs/JSObject.cpp (modified) (2 diffs)

trunk/JavaScriptCore/kjs/JSObject.cpp

@@ -227 +227 @@
     CallType callType = function->getCallData(callData);
     if (callType == CallTypeNone)
-        return 0;
+        return exec->exception();
+
+    // Prevent "toString" and "valueOf" from observing execution if an exception
+    // is pending.
+    if (exec->hadException())
+        return exec->exception();
+
     JSValue* result = call(exec, function, callType, callData, const_cast<JSObject*>(object), exec->emptyList());
     ASSERT(result->type() != GetterSetterType);
@@ -247 +253 @@
 JSValue* JSObject::defaultValue(ExecState* exec, JSType hint) const
 {
-    // We need this check to guard against the case where this object is rhs of
-    // a binary expression where lhs threw an exception in its conversion to
-    // primitive.
-    if (exec->hadException())
-        return exec->exception();
-
     // Must call toString first for Date objects.
     if ((hint == StringType) || (hint != NumberType && _proto == exec->lexicalGlobalObject()->datePrototype())) {