Simple typing of machine operators.

Simple typing of machine operators.

R=rossberg@chromium.org
BUG=

Committed: https://code.google.com/p/v8/source/detail?r=24601

[rossberg, 2014-10-14 12:20:06]

LGTM modulo comments

https://codereview.chromium.org/658523002/diff/1/src/compiler/typer.cc
File src/compiler/typer.cc (right):

https://codereview.chromium.org/658523002/diff/1/src/compiler/typer.cc#newcod...
src/compiler/typer.cc:915: return Bounds(Type::Integral32());
I believe this actually returns a pair, so it currently needs Internal

https://codereview.chromium.org/658523002/diff/1/src/compiler/typer.cc#newcod...
src/compiler/typer.cc:925: return Bounds(Type::Integral32());
Same here.

https://codereview.chromium.org/658523002/diff/1/src/compiler/typer.cc#newcod...
src/compiler/typer.cc:1044: Type::Number(), Type::UntaggedFloat64(), zone()));
Signed32

[neis1, 2014-10-14 12:26:57]

https://codereview.chromium.org/658523002/diff/1/src/compiler/typer.cc
File src/compiler/typer.cc (right):

https://codereview.chromium.org/658523002/diff/1/src/compiler/typer.cc#newcod...
src/compiler/typer.cc:915: return Bounds(Type::Integral32());
On 2014/10/14 12:20:06, rossberg wrote:
> I believe this actually returns a pair, so it currently needs Internal

Done.

https://codereview.chromium.org/658523002/diff/1/src/compiler/typer.cc#newcod...
src/compiler/typer.cc:925: return Bounds(Type::Integral32());
On 2014/10/14 12:20:06, rossberg wrote:
> Same here.

Done.

https://codereview.chromium.org/658523002/diff/1/src/compiler/typer.cc#newcod...
src/compiler/typer.cc:1044: Type::Number(), Type::UntaggedFloat64(), zone()));
On 2014/10/14 12:20:06, rossberg wrote:
> Signed32

Done.  Analogously below.

[neis, 2014-10-14 12:27:45]

Committed patchset #2 (id:20001) manually as 24601 (presubmit successful).