dart2js inferrer: don't infer widened type when unreachable

dart2js inferrer: don't infer widened type when unreachable

'&' and '|' were missing the case to return 'empty' if the argument was empty, causing the widened (default) type to be propagated.

There are a few bitwise operations in the streams code that have better code from being slightly more precise.

BUG=
R=sigmund@google.com

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

[sra1, 2016-07-27 22:08:35]

Patchset #1 (id:1) has been deleted

[sra1, 2016-07-27 22:08:44]

Patchset #1 (id:20001) has been deleted

[sra1, 2016-07-27 22:13:12]

Patchset #1 (id:40001) has been deleted

[sra1, 2016-07-27 22:18:18]

Patchset #1 (id:60001) has been deleted

[sra1, 2016-07-27 22:21:56]

Description was changed from

==========
dart2js inferrer: don't infer widened type when unreachable

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

to

==========
dart2js inferrer: don't infer widened type when unreachable

'&' and '|' were missing the case to return 'empty' if the argument was empty,
causing the widened (default) type to be propagated.

There are a few bitwise operations in the streams code that have better code
from being slightly more precise.

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

[sra1, 2016-07-27 22:21:56]

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

[Siggi Cherem (dart-lang), 2016-07-27 23:28:22]

lgtm - this looks familiar, is this code by any chance a reapply of a rollback?

[sra1, 2016-07-28 00:26:08]

Description was changed from

==========
dart2js inferrer: don't infer widened type when unreachable

'&' and '|' were missing the case to return 'empty' if the argument was empty,
causing the widened (default) type to be propagated.

There are a few bitwise operations in the streams code that have better code
from being slightly more precise.

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

to

==========
dart2js inferrer: don't infer widened type when unreachable

'&' and '|' were missing the case to return 'empty' if the argument was empty,
causing the widened (default) type to be propagated.

There are a few bitwise operations in the streams code that have better code
from being slightly more precise.

BUG=
R=sigmund@google.com

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

[sra1, 2016-07-28 00:26:09]

Committed patchset #2 (id:100001) manually as
478106bce28fe6d0e7e2f34845dc66f7f7c3ca0d (presubmit successful).