Speed up Binops

src/types.h

 // Copyright 2013 the V8 project authors. All rights reserved.
 // Redistribution and use in source and binary forms, with or without
 // modification, are permitted provided that the following conditions are
 // met:
 //
 //     * Redistributions of source code must retain the above copyright
 //       notice, this list of conditions and the following disclaimer.
 //     * Redistributions in binary form must reproduce the above
 //       copyright notice, this list of conditions and the following
 //       disclaimer in the documentation and/or other materials provided
@@ skipping 110 matching lines @@
   V(Number,          kSigned32 | kUnsigned32 | kDouble)             \
   V(String,          kInternalizedString | kOtherString)            \
   V(UniqueName,      kSymbol | kInternalizedString)                 \
   V(Name,            kSymbol | kString)                             \
   V(NumberOrString,  kNumber | kString)                             \
   V(Object,          kUndetectable | kArray | kFunction |           \
                      kRegExp | kOtherObject)                        \
   V(Receiver,        kObject | kProxy)                              \
   V(Allocated,       kDouble | kName | kReceiver)                   \
   V(Any,             kOddball | kNumber | kAllocated | kInternal)   \
+  V(NonSmi,          kAny - kSmi)                                   \

[Jakob Kummerow, 2013/07/18 11:56:15]

I'm not sure this is what you want. Type::Smi denotes a value that can be stored
as a Smi, i.e. a number in int31/int32 range (depending on platform). It is
therefore not the same as HType's "IsNonPrimitive() || IsJSObject()". I think
I'd prefer an explicit union of Types instead (likely just Receiver, Undefined).

   V(Detectable,      kAllocated - kUndetectable)
 
 #define TYPE_LIST(V)     \
   PRIMITIVE_TYPE_LIST(V) \
   COMPOSED_TYPE_LIST(V)
 
 
 
 class Type : public Object {
  public:
@@ skipping 180 matching lines @@
     return Bounds(handle(Type::Union(b.lower, t), isl), b.upper);
   }
   static Bounds NarrowUpper(Bounds b, Handle<Type> t, Isolate* isl) {
     return Bounds(b.lower, handle(Type::Intersect(b.upper, t), isl));
   }
 };
 
 } }  // namespace v8::internal
 
 #endif  // V8_TYPES_H_