Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(476)

Unified Diff: sdk/lib/_internal/compiler/implementation/enqueue.dart

Issue 17413013: Revert "Support runtime check of function types." (Closed) Base URL: https://dart.googlecode.com/svn/branches/bleeding_edge/dart
Patch Set: Created 7 years, 6 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View side-by-side diff with in-line comments
Download patch
Index: sdk/lib/_internal/compiler/implementation/enqueue.dart
diff --git a/sdk/lib/_internal/compiler/implementation/enqueue.dart b/sdk/lib/_internal/compiler/implementation/enqueue.dart
index 561e9642419bb00ee87c26e213d1734bbfab8c9e..1352ceaf87e01300c5033dbec7cc80964f4d660e 100644
--- a/sdk/lib/_internal/compiler/implementation/enqueue.dart
+++ b/sdk/lib/_internal/compiler/implementation/enqueue.dart
@@ -177,6 +177,9 @@ abstract class Enqueuer {
cls.implementation.forEachMember(processInstantiatedClassMember);
}
+ /**
+ * Documentation wanted -- johnniwinther
+ */
void processInstantiatedClassMember(ClassElement cls, Element member) {
assert(invariant(member, member.isDeclaration));
if (isProcessed(member)) return;
@@ -229,15 +232,10 @@ abstract class Enqueuer {
if (member.name == Compiler.NO_SUCH_METHOD) {
enableNoSuchMethod(member);
}
- if (member.name == Compiler.CALL_OPERATOR_NAME &&
- !cls.typeVariables.isEmpty) {
- registerGenericCallMethod(member, compiler.globalDependencies);
- }
// If there is a property access with the same name as a method we
// need to emit the method.
if (universe.hasInvokedGetter(member, compiler)) {
- registerClosurizedMember(member, compiler.globalDependencies);
- // We will emit a closure, so make sure the closure class is
+ // We will emit a closure, so make sure the bound closure class is
// generated.
registerInstantiatedClass(compiler.boundClosureClass,
// Precise dependency is not important here.
@@ -410,15 +408,11 @@ abstract class Enqueuer {
String memberName = n.slowToString();
Link<Element> members = map[memberName];
if (members != null) {
- // [f] might add elements to [: map[memberName] :] during the loop below
- // so we create a new list for [: map[memberName] :] and prepend the
- // [remaining] members after the loop.
- map[memberName] = const Link<Element>();
LinkBuilder<Element> remaining = new LinkBuilder<Element>();
for (; !members.isEmpty; members = members.tail) {
if (!f(members.head)) remaining.addLast(members.head);
}
- map[memberName] = remaining.toLink(map[memberName]);
+ map[memberName] = remaining.toLink();
}
}
@@ -433,9 +427,6 @@ abstract class Enqueuer {
void handleUnseenSelector(SourceString methodName, Selector selector) {
processInstanceMembers(methodName, (Element member) {
if (selector.appliesUnnamed(member, compiler)) {
- if (member.isFunction() && selector.isGetter()) {
- registerClosurizedMember(member, compiler.globalDependencies);
- }
if (member.isField() && member.getEnclosingClass().isNative()) {
if (selector.isGetter() || selector.isCall()) {
nativeEnqueuer.registerFieldLoad(member);
@@ -547,12 +538,12 @@ abstract class Enqueuer {
}
void registerIsCheck(DartType type, TreeElements elements) {
- type = universe.registerIsCheck(type, compiler);
// Even in checked mode, type annotations for return type and argument
// types do not imply type checks, so there should never be a check
// against the type variable of a typedef.
assert(type.kind != TypeKind.TYPE_VARIABLE ||
!type.element.enclosingElement.isTypedef());
+ universe.isChecks.add(type);
compiler.backend.registerIsCheck(type, this, elements);
}
@@ -570,23 +561,6 @@ abstract class Enqueuer {
compiler.backend.registerAsCheck(type, elements);
}
- void registerGenericCallMethod(Element element, TreeElements elements) {
- compiler.backend.registerGenericCallMethod(element, this, elements);
- universe.genericCallMethods.add(element);
- }
-
- void registerClosurizedMember(Element element, TreeElements elements) {
- if (element.computeType(compiler).containsTypeVariables) {
- registerClosurizedGenericMember(element, elements);
- }
- universe.closurizedMembers.add(element);
- }
-
- void registerClosurizedGenericMember(Element element, TreeElements elements) {
- compiler.backend.registerGenericClosure(element, this, elements);
- universe.closurizedGenericMembers.add(element);
- }
-
void forEach(f(WorkItem work));
void forEachPostProcessTask(f(PostProcessTask work)) {}
@@ -681,7 +655,7 @@ class ResolutionEnqueuer extends Enqueuer {
// runtime type.
compiler.enabledRuntimeType = true;
// TODO(ahe): Record precise dependency here.
- compiler.backend.registerRuntimeType(this, compiler.globalDependencies);
+ compiler.backend.registerRuntimeType(compiler.globalDependencies);
} else if (element == compiler.functionApplyMethod) {
compiler.enabledFunctionApply = true;
} else if (element == compiler.invokeOnMethod) {

Powered by Google App Engine
This is Rietveld 408576698