[turbofan] Sparse representation for state values

src/compiler/common-operator.cc

 // Copyright 2014 the V8 project authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 
 #include "src/compiler/common-operator.h"
 
 #include "src/assembler.h"
 #include "src/base/lazy-instance.h"
 #include "src/compiler/linkage.h"
 #include "src/compiler/opcodes.h"
@@ skipping 153 matching lines @@
 
 size_t hash_value(RelocatablePtrConstantInfo const& p) {
   return base::hash_combine(p.value(), p.rmode(), p.type());
 }
 
 std::ostream& operator<<(std::ostream& os,
                          RelocatablePtrConstantInfo const& p) {
   return os << p.value() << "|" << p.rmode() << "|" << p.type();
 }
 
+bool operator==(TypedStateValueInfo const& lhs,
+                TypedStateValueInfo const& rhs) {
+  return lhs.machine_types() == rhs.machine_types() && lhs.mask() == rhs.mask();
+}
+
+bool operator!=(TypedStateValueInfo const& lhs,
+                TypedStateValueInfo const& rhs) {
+  return !(lhs == rhs);
+}
+
+size_t hash_value(TypedStateValueInfo const& p) {
+  return base::hash_combine(p.machine_types(), p.mask());
+}
+
+std::ostream& operator<<(std::ostream& os, TypedStateValueInfo const& p) {
+  return os << p.machine_types() << "|" << p.mask();

[Jarin, 2016/12/07 08:56:20]

Please update the printing to print something human readable - the mask will
look like a random number.

[Leszek Swirski, 2016/12/08 15:44:30]

Done.

+}
+
 size_t hash_value(RegionObservability observability) {
   return static_cast<size_t>(observability);
 }
 
 std::ostream& operator<<(std::ostream& os, RegionObservability observability) {
   switch (observability) {
     case RegionObservability::kObservable:
       return os << "observable";
     case RegionObservability::kNotObservable:
       return os << "not-observable";
@@ skipping 47 matching lines @@
 }
 
 OsrGuardType OsrGuardTypeOf(Operator const* op) {
   DCHECK_EQ(IrOpcode::kOsrGuard, op->opcode());
   return OpParameter<OsrGuardType>(op);
 }
 
 ZoneVector<MachineType> const* MachineTypesOf(Operator const* op) {
   DCHECK(op->opcode() == IrOpcode::kTypedObjectState ||
          op->opcode() == IrOpcode::kTypedStateValues);
+
+  if (op->opcode() == IrOpcode::kTypedStateValues) {
+    return OpParameter<TypedStateValueInfo>(op).machine_types();
+  }
   return OpParameter<const ZoneVector<MachineType>*>(op);
 }
 
 #define CACHED_OP_LIST(V)                                                     \
   V(Dead, Operator::kFoldable, 0, 0, 0, 1, 1, 1)                              \
   V(IfTrue, Operator::kKontrol, 0, 0, 1, 0, 0, 1)                             \
   V(IfFalse, Operator::kKontrol, 0, 0, 1, 0, 0, 1)                            \
   V(IfSuccess, Operator::kKontrol, 0, 0, 1, 0, 0, 1)                          \
   V(IfException, Operator::kKontrol, 0, 1, 1, 1, 1, 1)                        \
   V(IfDefault, Operator::kKontrol, 0, 0, 1, 0, 0, 1)                          \
@@ skipping 330 matching lines @@
               "Projection",           // name
               1, 0, 1, 1, 0, 0,       // counts,
               kIndex) {}              // parameter
   };
 #define CACHED_PROJECTION(index) \
   ProjectionOperator<index> kProjection##index##Operator;
   CACHED_PROJECTION_LIST(CACHED_PROJECTION)
 #undef CACHED_PROJECTION
 
   template <int kInputCount>
-  struct StateValuesOperator final : public Operator {
+  struct StateValuesOperator final : public Operator1<uint32_t> {

[Jarin, 2016/12/07 08:56:19]

To get a good printing, it would be better to introduce a struct for the mask
and then define << for the struct (unfortunately, you will also have to do
hash_value, == and !=).

[Leszek Swirski, 2016/12/08 15:44:30]

Done.

     StateValuesOperator()
-        : Operator(                           // --
-              IrOpcode::kStateValues,         // opcode
-              Operator::kPure,                // flags
-              "StateValues",                  // name
-              kInputCount, 0, 0, 1, 0, 0) {}  // counts
+        : Operator1<uint32_t>(             // --
+              IrOpcode::kStateValues,      // opcode
+              Operator::kPure,             // flags
+              "StateValues",               // name
+              kInputCount, 0, 0, 1, 0, 0,  // counts
+              0) {}                        // parameter
   };
 #define CACHED_STATE_VALUES(input_count) \
   StateValuesOperator<input_count> kStateValues##input_count##Operator;
   CACHED_STATE_VALUES_LIST(CACHED_STATE_VALUES)
 #undef CACHED_STATE_VALUES
 };
 
 
 static base::LazyInstance<CommonOperatorGlobalCache>::type kCache =
     LAZY_INSTANCE_INITIALIZER;
@@ skipping 385 matching lines @@
   switch (region_observability) {
     case RegionObservability::kObservable:
       return &cache_.kBeginRegionObservableOperator;
     case RegionObservability::kNotObservable:
       return &cache_.kBeginRegionNotObservableOperator;
   }
   UNREACHABLE();
   return nullptr;
 }
 
-const Operator* CommonOperatorBuilder::StateValues(int arguments) {
-  switch (arguments) {
+const Operator* CommonOperatorBuilder::StateValues(int arguments,
+                                                   uint32_t bitmask) {
+  if (bitmask == 0) {
+    switch (arguments) {
 #define CACHED_STATE_VALUES(arguments) \
   case arguments:                      \
     return &cache_.kStateValues##arguments##Operator;
-    CACHED_STATE_VALUES_LIST(CACHED_STATE_VALUES)
+      CACHED_STATE_VALUES_LIST(CACHED_STATE_VALUES)
 #undef CACHED_STATE_VALUES
-    default:
-      break;
+      default:
+        break;
+    }
   }
+
   // Uncached.
-  return new (zone()) Operator(                 // --
+  return new (zone()) Operator1<uint32_t>(      // --
       IrOpcode::kStateValues, Operator::kPure,  // opcode
       "StateValues",                            // name
-      arguments, 0, 0, 1, 0, 0);                // counts
+      arguments, 0, 0, 1, 0, 0,                 // counts
+      bitmask);                                 // parameter
 }
 
 const Operator* CommonOperatorBuilder::TypedStateValues(
-    const ZoneVector<MachineType>* types) {
-  return new (zone()) Operator1<const ZoneVector<MachineType>*>(  // --
-      IrOpcode::kTypedStateValues, Operator::kPure,               // opcode
-      "TypedStateValues",                                         // name
-      static_cast<int>(types->size()), 0, 0, 1, 0, 0,             // counts
-      types);                                                     // parameter
+    const ZoneVector<MachineType>* types, uint32_t bitmask) {
+  return new (zone()) Operator1<TypedStateValueInfo>(  // --
+      IrOpcode::kTypedStateValues, Operator::kPure,    // opcode
+      "TypedStateValues",                              // name
+      static_cast<int>(types->size()), 0, 0, 1, 0, 0,  // counts
+      TypedStateValueInfo(types, bitmask));            // parameters
 }
 
 const Operator* CommonOperatorBuilder::ObjectState(int pointer_slots) {
   return new (zone()) Operator1<int>(           // --
       IrOpcode::kObjectState, Operator::kPure,  // opcode
       "ObjectState",                            // name
       pointer_slots, 0, 0, 1, 0, 0,             // counts
       pointer_slots);                           // parameter
 }
 
@@ skipping 99 matching lines @@
 CommonOperatorBuilder::CreateFrameStateFunctionInfo(
     FrameStateType type, int parameter_count, int local_count,
     Handle<SharedFunctionInfo> shared_info) {
   return new (zone()->New(sizeof(FrameStateFunctionInfo)))
       FrameStateFunctionInfo(type, parameter_count, local_count, shared_info);
 }
 
 }  // namespace compiler
 }  // namespace internal
 }  // namespace v8