dart2js cps: Store the TypeMask for each primitive in a field.

dart2js cps: Store the TypeMask for each primitive in a field.

This should make it easier to use type information in other passes.

Some passes have been adapted to update the type field, even though it
is still only used in type propagation.

Refinement nodes are still removed pretty early since most passes are
not prepared to deal with them.

BUG=
R=kmillikin@google.com

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

[asgerf, 2015-09-08 14:49:48]

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

[asgerf, 2015-09-08 14:49:49]

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

https://codereview.chromium.org/1305863010/diff/20001/pkg/compiler/lib/src/cp...
pkg/compiler/lib/src/cps_ir/cps_ir_nodes.dart:1139: abstract class Variable<T
extends Variable<T>> extends Definition<T> {
I can't say I love this thing, but type propagation was really cumbersome to
rewrite without it.

[Kevin Millikin (Google), 2015-09-09 10:12:47]

lgtm

https://codereview.chromium.org/1305863010/diff/40001/pkg/compiler/lib/src/cp...
File pkg/compiler/lib/src/cps_ir/cps_ir_nodes.dart (right):

https://codereview.chromium.org/1305863010/diff/40001/pkg/compiler/lib/src/cp...
pkg/compiler/lib/src/cps_ir/cps_ir_nodes.dart:515: final TypeMask refineType;
refineType sounds like a verb.  How about refinedType?

[asgerf, 2015-09-09 13:08:10]

https://codereview.chromium.org/1305863010/diff/40001/pkg/compiler/lib/src/cp...
File pkg/compiler/lib/src/cps_ir/cps_ir_nodes.dart (right):

https://codereview.chromium.org/1305863010/diff/40001/pkg/compiler/lib/src/cp...
pkg/compiler/lib/src/cps_ir/cps_ir_nodes.dart:515: final TypeMask refineType;
On 2015/09/09 10:12:47, Kevin Millikin (Google) wrote:
> refineType sounds like a verb.  How about refinedType?

My issue with "refinedType" is that it sounds like this is the type after
refinement, i.e. the final type of the primitive.

[asgerf, 2015-09-15 11:05:39]

Committed patchset #4 (id:60001) manually as
79c0cb039f7c5a5b98af3d641aa5b6b30cb31927 (presubmit successful).