dart2js cps: Remove interceptors in cases where type propagation fails.

dart2js cps: Remove interceptors in cases where type propagation fails.

After calling a non-intercepted method on an object, that object is
known to be self-interceptor:

  x.foo$1()
  getInterceptor(x).$eq(x, y)
    ==>
  x.foo$1()
  x.$eq(0, y)

Type propagation would handle this if TypeMasks could represent a
type containing all self-intercepting classes (see issue #25646).

BUG=
R=kmillikin@google.com

Committed: https://github.com/dart-lang/sdk/commit/35b6203b9de51dd82d0a4780fbe12321c3a259ee

[asgerf, 2016-02-02 15:30:58]

asgerf@google.com changed reviewers:
+ kmillikin@google.com

[asgerf, 2016-02-02 15:30:59]

https://codereview.chromium.org/1655183002/diff/1/pkg/compiler/lib/src/cps_ir...
File pkg/compiler/lib/src/cps_ir/duplicate_branch.dart (right):

https://codereview.chromium.org/1655183002/diff/1/pkg/compiler/lib/src/cps_ir...
pkg/compiler/lib/src/cps_ir/duplicate_branch.dart:4: library
dart2js.cps_ir.duplicate_branch; // FIXME: Rename file.
Will rename before committing.

[asgerf, 2016-02-05 09:25:11]

asgerf@google.com changed reviewers:
+ sigmund@google.com

[Kevin Millikin (Google), 2016-02-05 10:28:05]

LGTM.

https://codereview.chromium.org/1655183002/diff/20001/pkg/compiler/lib/src/cp...
File pkg/compiler/lib/src/cps_ir/type_propagation.dart (right):

https://codereview.chromium.org/1655183002/diff/20001/pkg/compiler/lib/src/cp...
pkg/compiler/lib/src/cps_ir/type_propagation.dart:3111: print('${value.type} &&
${node.refineType} = $type');
Leftover debugging code.

[asgerf, 2016-02-09 16:52:13]

Description was changed from

==========
dart2js cps: Remove interceptors in cases where type propagation fails.

After calling a non-intercepted method on an object, that object is
known to be self-interceptor:

  x.foo$1()
  getInterceptor(x).$eq(x, y)
    ==>
  x.foo$1()
  x.$eq(0, y)

Type propagation would handle this if TypeMasks could represent a
type containing all self-intercepting classes (see issue #25646).

BUG=
==========

to

==========
dart2js cps: Remove interceptors in cases where type propagation fails.

After calling a non-intercepted method on an object, that object is
known to be self-interceptor:

  x.foo$1()
  getInterceptor(x).$eq(x, y)
    ==>
  x.foo$1()
  x.$eq(0, y)

Type propagation would handle this if TypeMasks could represent a
type containing all self-intercepting classes (see issue #25646).

BUG=
R=kmillikin@google.com

Committed:
https://github.com/dart-lang/sdk/commit/35b6203b9de51dd82d0a4780fbe12321c3a259ee
==========

[asgerf, 2016-02-09 16:52:15]

Committed patchset #3 (id:40001) manually as
35b6203b9de51dd82d0a4780fbe12321c3a259ee (presubmit successful).