Better typing and type verification

src/compiler/opcodes.h

Index: src/compiler/opcodes.h
diff --git a/src/compiler/opcodes.h b/src/compiler/opcodes.h
index c89134f1fc0e95e5397d5edd4703482b56b71eed..bfbd687315f96c0236f2b9b75643e44413af2124 100644
--- a/src/compiler/opcodes.h
+++ b/src/compiler/opcodes.h
@@ -6,11 +6,9 @@
 #define V8_COMPILER_OPCODES_H_
 
 // Opcodes for control operators.
-#define CONTROL_OP_LIST(V) \
-  V(Start)                 \
+#define INNER_CONTROL_OP_LIST(V) \

[titzer, 2014/08/28 13:12:31]

I am not a fan of splitting up all the operators into tons of different lists.

[rossberg, 2014/08/28 15:35:50]

I know, me neither, really, but what (modular) alternative do you suggest?

   V(Dead)                  \
   V(Loop)                  \
-  V(End)                   \
   V(Branch)                \
   V(IfTrue)                \
   V(IfFalse)               \
@@ -21,6 +19,11 @@
   V(LazyDeoptimization)    \
   V(Deoptimize)
 
+#define CONTROL_OP_LIST(V) \
+  INNER_CONTROL_OP_LIST(V) \
+  V(Start)                 \
+  V(End)
+
 // Opcodes for common operators.
 #define LEAF_OP_LIST(V) \
   V(Int32Constant)      \
@@ -86,7 +89,8 @@
   V(JSToName)                      \
   V(JSToObject)
 
-#define JS_OTHER_UNOP_LIST(V) V(JSTypeOf)
+#define JS_OTHER_UNOP_LIST(V) \
+  V(JSTypeOf)
 
 #define JS_SIMPLE_UNOP_LIST(V) \
   JS_LOGIC_UNOP_LIST(V)        \