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 INNER_CONTROL_OP_LIST(V) \
   V(Dead)                  \
   V(Loop)                  \
   V(Branch)                \
   V(IfTrue)                \
   V(IfFalse)               \
   V(Merge)                 \
   V(Return)                \
   V(Throw)
 
 #define CONTROL_OP_LIST(V) \
   INNER_CONTROL_OP_LIST(V) \
   V(Start)                 \
   V(End)
 
+#define CONTROL_OP_LIST(V) \

[titzer, 2014/10/14 16:13:22]

You got this macro twice.

[rossberg, 2014/10/15 08:59:08]

Huh. Probably merge weirdness.

+  INNER_CONTROL_OP_LIST(V) \
+  V(Start)                 \
+  V(End)
+
 // Opcodes for common operators.
 #define LEAF_OP_LIST(V) \
   V(Int32Constant)      \
   V(Int64Constant)      \
   V(Float32Constant)    \
   V(Float64Constant)    \
   V(ExternalConstant)   \
   V(NumberConstant)     \
   V(HeapConstant)
 
@@ skipping 281 matching lines @@
         return false;
     }
   }
 };
 
 }  // namespace compiler
 }  // namespace internal
 }  // namespace v8
 
 #endif  // V8_COMPILER_OPCODES_H_