dart2js cps: Tolerate refinements in more cases.

dart2js cps: Tolerate refinements in more cases.

Useless branch elimination looks past dead refinements in the branches.

Redundant phi elimination ignores refinements, but is followed by an
UpdateRefinements pass to restore refinements again.

This is a step towards being able to land:
https://codereview.chromium.org/1576063003/

FIXES #25448

BUG=
R=sra@google.com

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

[asgerf, 2016-01-22 23:21:14]

Description was changed from

==========
dart2js cps: Avoid refinements blocking optimizations.

Useless branch elimination looks past dead refinements in the branches.

Redundant phi elimination ignores refinements, but is followed by an
UpdateRefinements pass to restore refinements again.

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

to

==========
dart2js cps: Avoid refinements blocking optimizations.

Useless branch elimination looks past dead refinements in the branches.

Redundant phi elimination ignores refinements, but is followed by an
UpdateRefinements pass to restore refinements again.

FIXES #25448

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

[asgerf, 2016-01-22 23:21:45]

Description was changed from

==========
dart2js cps: Avoid refinements blocking optimizations.

Useless branch elimination looks past dead refinements in the branches.

Redundant phi elimination ignores refinements, but is followed by an
UpdateRefinements pass to restore refinements again.

FIXES #25448

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

to

==========
dart2js cps: Tolerate refinements in more cases.

Useless branch elimination looks past dead refinements in the branches.

Redundant phi elimination ignores refinements, but is followed by an
UpdateRefinements pass to restore refinements again.

FIXES #25448

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

[asgerf, 2016-01-22 23:22:30]

Description was changed from

==========
dart2js cps: Tolerate refinements in more cases.

Useless branch elimination looks past dead refinements in the branches.

Redundant phi elimination ignores refinements, but is followed by an
UpdateRefinements pass to restore refinements again.

FIXES #25448

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

to

==========
dart2js cps: Tolerate refinements in more cases.

Useless branch elimination looks past dead refinements in the branches.

Redundant phi elimination ignores refinements, but is followed by an
UpdateRefinements pass to restore refinements again.

This is a step towards being able to land:
https://codereview.chromium.org/1576063003/

FIXES #25448

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

[asgerf, 2016-01-22 23:24:27]

asgerf@google.com changed reviewers:
+ kmillikin@google.com, sigmund@google.com, sra@google.com

[sra1, 2016-01-23 00:05:23]

lgtm

[asgerf, 2016-01-23 00:44:19]

Description was changed from

==========
dart2js cps: Tolerate refinements in more cases.

Useless branch elimination looks past dead refinements in the branches.

Redundant phi elimination ignores refinements, but is followed by an
UpdateRefinements pass to restore refinements again.

This is a step towards being able to land:
https://codereview.chromium.org/1576063003/

FIXES #25448

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

to

==========
dart2js cps: Tolerate refinements in more cases.

Useless branch elimination looks past dead refinements in the branches.

Redundant phi elimination ignores refinements, but is followed by an
UpdateRefinements pass to restore refinements again.

This is a step towards being able to land:
https://codereview.chromium.org/1576063003/

FIXES #25448

BUG=
R=sra@google.com

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

[asgerf, 2016-01-23 00:44:20]

Committed patchset #1 (id:1) manually as
cc1111e23b2573d6946076c7c18e6191ccb58955 (presubmit successful).