Separated smi check from HBoundsCheck.

src/ia32/lithium-ia32.h

Index: src/ia32/lithium-ia32.h
diff --git a/src/ia32/lithium-ia32.h b/src/ia32/lithium-ia32.h
index dbe54bddaf7cbbe8e6ffb24c511b1dc9423031c7..70ac76b41d167f696990d9d95caa6f2a56fe2fe1 100644
--- a/src/ia32/lithium-ia32.h
+++ b/src/ia32/lithium-ia32.h
@@ -86,6 +86,7 @@ class LCodeGen;
   V(DeclareGlobals)                             \
   V(DeleteProperty)                             \
   V(Deoptimize)                                 \
+  V(DeoptimizeIfTaggedIsNotSmi)                 \
   V(DivI)                                       \
   V(DoubleToI)                                  \
   V(DummyUse)                                   \
@@ -2275,6 +2276,19 @@ class LCheckSmi: public LTemplateInstruction<0, 1, 0> {
 };
 
 
+class LDeoptimizeIfTaggedIsNotSmi: public LTemplateInstruction<0, 1, 0> {

[Jakob Kummerow, 2013/02/06 13:43:59]

I think we don't need a new LInstruction.
Instead, I think the "representation.IsTagged() && !type.IsSmi()" logic should
go into the Canonicalization phase, i.e. the HDeoptimizeIfTaggedIsNotSmi should
just remove itself when it is not needed. When it is needed, we can simply
translate it to an LCheckSmi. Or am I missing something?

[Massi, 2013/02/06 19:12:31]

Done.

+ public:
+  explicit LDeoptimizeIfTaggedIsNotSmi(LOperand* value) {
+    inputs_[0] = value;
+  }
+
+  LOperand* value() { return inputs_[0]; }
+
+  DECLARE_CONCRETE_INSTRUCTION(DeoptimizeIfTaggedIsNotSmi,
+                               "deoptimize-if-tagged-is-not-smi")
+};
+
+
 class LClampDToUint8: public LTemplateInstruction<1, 1, 0> {
  public:
   explicit LClampDToUint8(LOperand* value) {