Use static type information on x64 in LikelySmiBinaryOperation

Use static type information on x64 in LikelySmiBinaryOperation.
Refactor check for smi operands, using type information, on ia32 and x64.

Committed: http://code.google.com/p/v8/source/detail?r=4831

[Vyacheslav Egorov (Chromium), 2010-06-08 14:50:04]

LGTM

http://codereview.chromium.org/2771001/diff/1/2
File src/x64/codegen-x64.cc (right):

http://codereview.chromium.org/2771001/diff/1/2#newcode7227
src/x64/codegen-x64.cc:7227: }
ia32 uses mighty CheckTwoForSminess function which also emits checks to verify
that statically computed types match types observed in runtime.

Maybe use something similar here?

[fschneider, 2010-06-09 09:08:40]

Drive-by comment: Don't forget to also do ConstantSmiBinaryOperation. But it's
fine to do this as a separate change.

[William Hesse, 2010-06-09 09:24:59]

I added a lot of refactoring to this, and added use of typeinfo to the ia32
LikelySmi division and mod case.

[Vyacheslav Egorov (Chromium), 2010-06-09 10:44:19]

LGTM