Better typing and type verification

src/compiler/opcodes.h

 // Copyright 2013 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.
 
 #ifndef V8_COMPILER_OPCODES_H_
 #define V8_COMPILER_OPCODES_H_
 
 // Opcodes for control operators.
-#define CONTROL_OP_LIST(V) \
-  V(Start)                 \
+#define INNER_CONTROL_OP_LIST(V) \
   V(Dead)                  \
   V(Loop)                  \
-  V(End)                   \
   V(Branch)                \
   V(IfTrue)                \
   V(IfFalse)               \
   V(Merge)                 \
   V(Return)                \
   V(Throw)                 \
   V(Continuation)          \
   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)      \
   V(Int64Constant)      \
   V(Float64Constant)    \
   V(ExternalConstant)   \
   V(NumberConstant)     \
   V(HeapConstant)
 
 #define INNER_OP_LIST(V) \
@@ skipping 45 matching lines @@
 
 #define JS_LOGIC_UNOP_LIST(V) V(JSUnaryNot)
 
 #define JS_CONVERSION_UNOP_LIST(V) \
   V(JSToBoolean)                   \
   V(JSToNumber)                    \
   V(JSToString)                    \
   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)        \
   JS_CONVERSION_UNOP_LIST(V)   \
   JS_OTHER_UNOP_LIST(V)
 
 #define JS_OBJECT_OP_LIST(V) \
   V(JSCreate)                \
   V(JSLoadProperty)          \
   V(JSLoadNamed)             \
@@ skipping 195 matching lines @@
         return false;
     }
   }
 };
 
 }  // namespace compiler
 }  // namespace internal
 }  // namespace v8
 
 #endif  // V8_COMPILER_OPCODES_H_