fschneider@google.com
9031c80c88
In unoptimized code equality is now just another instance call. The optimizer replaces it with a specialized implementation based on static type information and type feedback. Many of the manual optimizations of == in the optimizer are now just handled by the generic inliner, plus polymorphic inlining of == calls is now possible. This also eliminates the need for a lot of duplicated code in the backend. I adapted the inlining heuristics to compensate for the slightly larger inital flow graph size. Review URL: https://codereview.chromium.org//27307005 git-svn-id: https://dart.googlecode.com/svn/branches/bleeding_edge/dart@29800 260f80e4-7a28-3924-810f-c04153c831b5
80 lines
2.6 KiB
Dart
80 lines
2.6 KiB
Dart
// Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file
|
|
// for details. All rights reserved. Use of this source code is governed by a
|
|
// BSD-style license that can be found in the LICENSE file.
|
|
|
|
patch class Object {
|
|
|
|
// The VM has it's own implemention of equals.
|
|
bool operator ==(other) native "Object_equals";
|
|
|
|
// Helpers used to implement hashCode. If a hashCode is used, we remember it
|
|
// in a weak table in the VM. A new hashCode value is calculated using a
|
|
// number generator.
|
|
static final _hashCodeRnd = new Random();
|
|
|
|
static _getHash(obj) native "Object_getHash";
|
|
static _setHash(obj, hash) native "Object_setHash";
|
|
|
|
/* patch */ int get hashCode => _identityHashCode;
|
|
|
|
int get _identityHashCode {
|
|
var result = _getHash(this);
|
|
if (result == 0) {
|
|
// We want the hash to be a Smi value greater than 0.
|
|
result = _hashCodeRnd.nextInt(0x40000000);
|
|
while (result == 0) {
|
|
result = _hashCodeRnd.nextInt(0x40000000);
|
|
}
|
|
_setHash(this, result);
|
|
}
|
|
return result;
|
|
}
|
|
|
|
/* patch */ String toString() native "Object_toString";
|
|
// A statically dispatched version of Object.toString.
|
|
static String _toString(obj) native "Object_toString";
|
|
|
|
_noSuchMethod(bool isMethod,
|
|
String memberName,
|
|
int type,
|
|
List arguments,
|
|
Map<String, dynamic> namedArguments)
|
|
native "Object_noSuchMethod";
|
|
|
|
/* patch */ noSuchMethod(Invocation invocation) {
|
|
return _noSuchMethod(invocation.isMethod,
|
|
_collection_dev.Symbol.getName(invocation.memberName),
|
|
invocation._type,
|
|
invocation.positionalArguments,
|
|
_symbolMapToStringMap(invocation.namedArguments));
|
|
}
|
|
|
|
/* patch */ Type get runtimeType native "Object_runtimeType";
|
|
|
|
// Call this function instead of inlining instanceof, thus collecting
|
|
// type feedback and reducing code size of unoptimized code.
|
|
bool _instanceOf(instantiator,
|
|
instantiator_type_arguments,
|
|
type,
|
|
bool negate)
|
|
native "Object_instanceOf";
|
|
|
|
// Call this function instead of inlining 'as', thus collecting type
|
|
// feedback. Returns receiver.
|
|
_as(instantiator, instantiator_type_arguments, type) native "Object_as";
|
|
|
|
static _symbolMapToStringMap(Map<Symbol, dynamic> map) {
|
|
var result = new Map<String, dynamic>();
|
|
map.forEach((Symbol key, value) {
|
|
result[_collection_dev.Symbol.getName(key)] = value;
|
|
});
|
|
return result;
|
|
}
|
|
|
|
int get _cid native "Object_cid";
|
|
|
|
_leftShiftWithMask32(count, mask) {
|
|
return (this << count) & mask;
|
|
}
|
|
}
|